Overview of job-results

flexible query (experimental) | view original jobs on star-exec:5386,

Statistics

3812 pairs, 156180.8 / 112903.0 s

Results

Legend

YES NO MAYBE CERTIFIED ERROR OTHER / Nothing
The results are displayed in the following pattern: cpu-time / wallclock-time (complexity-score)
Jobs Integ Trans Syste 32452
Solver Ctrl AProVE_JRE2 T2 - 2014-07-06v1 CppInv
Scores 184 217 562 747
tion_Systems/From_AProVE_2014/AG313.jar-obl-8.smt2 0.2 / 0.2 s 1.2 / 0.8 s 0.7 / 0.7 s 0.1 / 0.1 s
AProVE_2014/AProVE12-cyclic-Iterate.jar-obl-9.smt2 1.4 / 1.5 s 3.4 / 1.5 s 1.3 / 1.3 s 0.7 / 0.7 s
_AProVE_2014/AProVE12-cyclic-Length.jar-obl-9.smt2 0.8 / 0.9 s 2.7 / 1.3 s 5.4 / 5.3 s 0.3 / 0.3 s
m_AProVE_2014/AProVE12-cyclic-Visit.jar-obl-9.smt2 0.5 / 0.6 s 2.6 / 1.3 s 5.0 / 5.0 s 5.4 / 4.5 s
Systems/From_AProVE_2014/AProVEMath.jar-obl-8.smt2 1.6 / 1.7 s 2.9 / 1.4 s 0.7 / 0.7 s 1.0 / 1.0 s
rom_AProVE_2014/AProVEMathRecursive.jar-obl-8.smt2 15.0 / 16.0 s 5.7 / 2.9 s 0.8 / 0.7 s 2.3 / 2.3 s
ition_Systems/From_AProVE_2014/AckR.jar-obl-8.smt2 1.0 / 1.1 s 2.7 / 1.4 s 0.7 / 0.7 s 0.3 / 0.3 s
_Systems/From_AProVE_2014/Ackermann.jar-obl-8.smt2 1.0 / 1.0 s 2.1 / 1.2 s 0.7 / 0.7 s 0.3 / 0.3 s
Systems/From_AProVE_2014/Alternate.jar-obl-10.smt2 284.6 / 300.0 s 305.6 / 300.0 s 5.5 / 5.3 s 10.2 / 10.1 s
m_AProVE_2014/AlternatingGrowReduce.jar-obl-9.smt2 0.9 / 1.0 s 2.9 / 1.4 s 38.1 / 32.7 s 189.3 / 189.3 s
_AProVE_2014/AlternatingGrowReduce2.jar-obl-9.smt2 0.8 / 0.9 s 9.3 / 4.1 s 33.3 / 28.6 s 125.3 / 125.9 s
ProVE_2014/AlternatingGrowReduceRec.jar-obl-9.smt2 1.0 / 1.1 s 3.2 / 1.5 s 46.9 / 40.0 s 182.5 / 182.5 s
roVE_2014/AlternatingGrowReduceRec2.jar-obl-9.smt2 0.8 / 0.9 s 10.1 / 4.5 s 41.3 / 35.3 s 132.5 / 132.5 s
ition_Systems/From_AProVE_2014/AppE.jar-obl-9.smt2 1.1 / 1.2 s 3.3 / 1.5 s 4.9 / 4.8 s 0.4 / 0.4 s
sition_Systems/From_AProVE_2014/Avg.jar-obl-8.smt2 0.6 / 0.7 s 1.8 / 1.0 s 0.7 / 0.7 s 0.2 / 0.2 s
14/BMOG_CAV_12_MarkingGraphVisitor.jar-obl-11.smt2 16.9 / 18.1 s 28.8 / 17.4 s 5.4 / 5.3 s 31.3 / 31.3 s
tion_Systems/From_AProVE_2014/BTree.jar-obl-9.smt2 5.7 / 6.1 s 4.4 / 2.0 s 0.8 / 0.7 s 0.4 / 0.5 s
ion_Systems/From_AProVE_2014/BTreeR.jar-obl-9.smt2 5.6 / 5.9 s 7.3 / 4.0 s 4.9 / 4.9 s 0.8 / 0.8 s
ms/From_AProVE_2014/BinTreeChanger.jar-obl-10.smt2 8.1 / 8.7 s 399.1 / 300.0 s 25.1 / 21.7 s 73.1 / 73.1 s
stems/From_AProVE_2014/BinarySearch.jar-obl-9.smt2 245.5 / 258.7 s 214.5 / 200.2 s 17.5 / 16.7 s 315.3 / 300.0 s
s/From_AProVE_2014/BinarySearchTree.jar-obl-8.smt2 0.8 / 0.8 s 1.7 / 1.0 s 0.7 / 0.7 s 0.2 / 0.3 s
n_Systems/From_AProVE_2014/Binomial.jar-obl-9.smt2 283.2 / 300.0 s 32.1 / 25.9 s 1.8 / 1.6 s 13.2 / 13.1 s
tion_Systems/From_AProVE_2014/Break.jar-obl-8.smt2 0.2 / 0.2 s 1.1 / 0.7 s 0.7 / 0.7 s 0.1 / 0.1 s
Systems/From_AProVE_2014/BubbleSort.jar-obl-8.smt2 8.0 / 8.6 s 4.9 / 2.0 s 0.8 / 0.8 s 0.8 / 0.9 s
stems/From_AProVE_2014/BubbleSortR.jar-obl-10.smt2 1.2 / 1.2 s 10.2 / 5.7 s 5.1 / 5.0 s 1.5 / 1.5 s
tion_Systems/From_AProVE_2014/CAppE.jar-obl-9.smt2 0.4 / 0.5 s 1.5 / 0.9 s 0.7 / 0.7 s 0.2 / 0.2 s
tion_Systems/From_AProVE_2014/Carre.jar-obl-9.smt2 12.9 / 13.8 s 8.2 / 3.2 s 4.9 / 4.9 s 1.5 / 1.5 s
ion_Systems/From_AProVE_2014/Choose.jar-obl-8.smt2 0.3 / 0.3 s 1179.6 / 300.0 s 6.5 / 6.3 s 28.8 / 27.8 s
Systems/From_AProVE_2014/ChooseLife.jar-obl-8.smt2 0.3 / 0.3 s 6.9 / 3.3 s 6.1 / 5.9 s 28.8 / 27.8 s
tems/From_AProVE_2014/ClassAnalysis.jar-obl-8.smt2 0.2 / 0.2 s 1.4 / 0.9 s 0.7 / 0.7 s 0.1 / 0.1 s
s/From_AProVE_2014/ClassAnalysisRec.jar-obl-8.smt2 0.3 / 0.3 s 1.8 / 1.0 s 0.7 / 0.7 s 0.1 / 0.1 s
on_Systems/From_AProVE_2014/Collatz.jar-obl-8.smt2 3.5 / 3.8 s 345.4 / 300.0 s 0.9 / 0.9 s 300.2 / 300.0 s
n_Systems/From_AProVE_2014/Continue.jar-obl-8.smt2 0.0 / 0.0 s 1.3 / 0.8 s 0.8 / 0.8 s 2.6 / 1.6 s
_Systems/From_AProVE_2014/Continue1.jar-obl-8.smt2 0.3 / 0.4 s 1.3 / 0.9 s 4.9 / 4.8 s 0.2 / 0.2 s
on_Systems/From_AProVE_2014/Convert.jar-obl-9.smt2 1.2 / 1.2 s 3.0 / 1.5 s 0.9 / 0.9 s 28.2 / 27.2 s
Systems/From_AProVE_2014/ConvertRec.jar-obl-9.smt2 3.1 / 3.4 s 18.8 / 13.1 s 1.0 / 1.0 s 66.7 / 64.2 s
n_Systems/From_AProVE_2014/Count.jar-obl-10-2.smt2 6.4 / 6.8 s 298.4 / 288.5 s 1.9 / 1.8 s 295.0 / 295.6 s
ion_Systems/From_AProVE_2014/Count.jar-obl-10.smt2 3.0 / 3.2 s 10.9 / 5.7 s 5.6 / 5.5 s 156.3 / 145.1 s
tems/From_AProVE_2014/CountMetaList.jar-obl-9.smt2 1.6 / 1.7 s 3.9 / 1.8 s 0.9 / 0.9 s 101.1 / 102.7 s
s/From_AProVE_2014/CountMetaListRec.jar-obl-9.smt2 1.6 / 1.7 s 4.7 / 2.1 s 5.1 / 5.1 s 69.1 / 69.1 s
stems/From_AProVE_2014/CountUpRound.jar-obl-8.smt2 2.0 / 2.2 s 2.8 / 1.4 s 4.8 / 4.8 s 0.4 / 0.4 s
ms/From_AProVE_2014/CyclicAnalysis.jar-obl-10.smt2 2.6 / 2.8 s 5.9 / 2.7 s 5.0 / 4.9 s 0.6 / 0.7 s
/From_AProVE_2014/CyclicAnalysisRec.jar-obl-9.smt2 1.9 / 2.0 s 11.0 / 6.9 s 0.7 / 0.7 s 1.0 / 1.0 s
Systems/From_AProVE_2014/CyclicList.jar-obl-9.smt2 1.0 / 1.1 s 3.2 / 1.5 s 0.7 / 0.7 s 0.4 / 0.4 s
ystems/From_AProVE_2014/CyclicPair2.jar-obl-8.smt2 0.2 / 0.2 s 1.5 / 0.9 s 0.7 / 0.7 s 0.1 / 0.1 s
m_AProVE_2014/CyclicalListDuplicate.jar-obl-9.smt2 1.6 / 1.7 s 325.8 / 300.0 s 113.6 / 94.3 s 65.2 / 64.0 s
ition_Systems/From_AProVE_2014/Diff.jar-obl-8.smt2 15.4 / 16.5 s 4.7 / 2.1 s 0.9 / 0.9 s 2.1 / 2.1 s
Systems/From_AProVE_2014/Distances.jar-obl-19.smt2 0.4 / 0.4 s 305.8 / 300.0 s 12.4 / 11.1 s 300.3 / 300.0 s
_Systems/From_AProVE_2014/DivMinus.jar-obl-11.smt2 23.1 / 24.7 s 15.6 / 9.1 s 5.7 / 5.5 s 297.7 / 300.0 s
n_Systems/From_AProVE_2014/DivMinus.jar-obl-8.smt2 0.3 / 0.3 s 1.5 / 1.0 s 0.7 / 0.7 s 0.1 / 0.1 s
_Systems/From_AProVE_2014/DivMinus2.jar-obl-8.smt2 5.2 / 5.6 s 3.9 / 1.8 s 5.7 / 5.6 s 0.7 / 0.7 s
ystems/From_AProVE_2014/DivTernary.jar-obl-10.smt2 99.6 / 106.0 s 166.9 / 153.0 s 6.5 / 6.2 s 62.0 / 58.5 s
ystems/From_AProVE_2014/DivTernary2.jar-obl-9.smt2 2.2 / 2.4 s 5.4 / 2.6 s 5.1 / 5.1 s 41.1 / 40.0 s
ms/From_AProVE_2014/DivWithoutMinus.jar-obl-8.smt2 0.6 / 0.6 s 2.7 / 1.3 s 0.7 / 0.7 s 0.3 / 0.3 s
on_Systems/From_AProVE_2014/Domino.jar-obl-27.smt2 297.1 / 300.0 s 304.8 / 300.0 s 15.5 / 13.3 s 67.7 / 67.4 s
ion_Systems/From_AProVE_2014/Double.jar-obl-8.smt2 0.6 / 0.7 s 1.6 / 0.9 s 0.7 / 0.7 s 0.2 / 0.2 s
on_Systems/From_AProVE_2014/Double2.jar-obl-8.smt2 0.1 / 0.2 s 1.1 / 0.7 s 0.7 / 0.7 s 0.1 / 0.1 s
on_Systems/From_AProVE_2014/Double3.jar-obl-8.smt2 0.1 / 0.2 s 1.1 / 0.7 s 0.7 / 0.7 s 0.1 / 0.1 s
Systems/From_AProVE_2014/DupTreeRec.jar-obl-9.smt2 30.0 / 32.1 s 11.0 / 5.5 s 5.0 / 5.0 s 1.0 / 1.0 s
_Systems/From_AProVE_2014/Duplicate.jar-obl-8.smt2 0.3 / 0.3 s 1.2 / 0.9 s 0.7 / 0.7 s 0.1 / 0.1 s
ems/From_AProVE_2014/DuplicateNodes.jar-obl-9.smt2 3.4 / 3.6 s 9.5 / 6.0 s 0.9 / 0.9 s 2.4 / 2.4 s
/From_AProVE_2014/DuplicateTreePath.jar-obl-9.smt2 16.3 / 17.4 s 11.4 / 6.1 s 5.1 / 5.0 s 1.1 / 1.2 s
stems/From_AProVE_2014/EqUserDefRec.jar-obl-8.smt2 0.2 / 0.3 s 1.2 / 0.8 s 0.7 / 0.7 s 0.1 / 0.1 s
on_Systems/From_AProVE_2014/Et1-rec.jar-obl-8.smt2 0.4 / 0.4 s 696.4 / 300.0 s 5.4 / 5.3 s 51.0 / 50.9 s
sition_Systems/From_AProVE_2014/Et1.jar-obl-8.smt2 0.2 / 0.3 s 9.5 / 3.3 s 1.0 / 1.0 s 51.0 / 51.0 s
on_Systems/From_AProVE_2014/Et2-rec.jar-obl-8.smt2 0.6 / 0.7 s 3.8 / 1.6 s 5.4 / 5.4 s 1.0 / 1.0 s
sition_Systems/From_AProVE_2014/Et2.jar-obl-8.smt2 0.8 / 0.8 s 12.1 / 7.2 s 5.6 / 5.4 s 2.4 / 2.4 s
on_Systems/From_AProVE_2014/Et3-rec.jar-obl-8.smt2 0.4 / 0.5 s 867.8 / 300.0 s 5.3 / 5.2 s 50.9 / 51.0 s
sition_Systems/From_AProVE_2014/Et3.jar-obl-9.smt2 0.4 / 0.4 s 49.9 / 14.2 s 1.2 / 1.1 s 86.7 / 86.7 s
on_Systems/From_AProVE_2014/Et4-rec.jar-obl-8.smt2 0.8 / 0.9 s 25.2 / 19.3 s 5.7 / 5.6 s 22.1 / 22.1 s
sition_Systems/From_AProVE_2014/Et4.jar-obl-8.smt2 1.0 / 1.0 s 35.5 / 28.5 s 5.7 / 5.6 s 103.1 / 103.0 s
on_Systems/From_AProVE_2014/Et5-rec.jar-obl-8.smt2 1.1 / 1.2 s 6.5 / 2.8 s 0.8 / 0.8 s 0.7 / 0.7 s
sition_Systems/From_AProVE_2014/Et5.jar-obl-8.smt2 1.3 / 1.3 s 7.4 / 3.1 s 4.9 / 4.9 s 1.1 / 1.2 s
on_Systems/From_AProVE_2014/Et6-rec.jar-obl-8.smt2 1.1 / 1.2 s 5.9 / 2.6 s 4.9 / 4.9 s 0.7 / 0.7 s
sition_Systems/From_AProVE_2014/Et6.jar-obl-8.smt2 1.3 / 1.4 s 7.4 / 3.1 s 4.9 / 4.9 s 1.2 / 1.2 s
on_Systems/From_AProVE_2014/EvenOdd.jar-obl-8.smt2 7.1 / 7.6 s 3.1 / 1.4 s 6.0 / 5.8 s 28.6 / 27.6 s
sition_Systems/From_AProVE_2014/Exc.jar-obl-8.smt2 0.3 / 0.4 s 1.3 / 0.9 s 4.9 / 4.8 s 0.1 / 0.1 s
ition_Systems/From_AProVE_2014/Exc1.jar-obl-8.smt2 0.3 / 0.3 s 3.1 / 1.7 s 5.7 / 5.6 s 7.0 / 5.7 s
ition_Systems/From_AProVE_2014/Exc2.jar-obl-8.smt2 0.3 / 0.3 s 3.4 / 1.8 s 5.7 / 5.6 s 7.0 / 5.8 s
ition_Systems/From_AProVE_2014/Exc3.jar-obl-8.smt2 0.3 / 0.4 s 1.3 / 0.9 s 0.7 / 0.7 s 0.1 / 0.1 s
ition_Systems/From_AProVE_2014/Exc4.jar-obl-8.smt2 0.3 / 0.3 s 3.6 / 1.9 s 5.7 / 5.6 s 7.3 / 5.9 s
ition_Systems/From_AProVE_2014/Exc5.jar-obl-8.smt2 0.3 / 0.4 s 1.4 / 0.9 s 0.7 / 0.7 s 0.1 / 0.1 s
on_Systems/From_AProVE_2014/FactSLR.jar-obl-8.smt2 0.6 / 0.6 s 3.2 / 1.4 s 5.4 / 5.3 s 0.6 / 0.6 s
on_Systems/From_AProVE_2014/FactSum.jar-obl-9.smt2 0.3 / 0.4 s 1.4 / 0.8 s 0.7 / 0.7 s 0.2 / 0.2 s
ystems/From_AProVE_2014/FactSumList.jar-obl-8.smt2 7.9 / 8.4 s 3.6 / 1.5 s 0.7 / 0.7 s 0.5 / 0.5 s
_Systems/From_AProVE_2014/Factorial.jar-obl-8.smt2 0.2 / 0.2 s 1.1 / 0.7 s 0.7 / 0.7 s 0.1 / 0.1 s
ion_Systems/From_AProVE_2014/FibSLR.jar-obl-8.smt2 0.6 / 0.7 s 3.9 / 1.6 s 5.4 / 5.3 s 0.9 / 1.0 s
_Systems/From_AProVE_2014/Fibonacci.jar-obl-8.smt2 3.7 / 4.0 s 1.9 / 1.1 s 0.7 / 0.7 s 0.2 / 0.2 s
n_Systems/From_AProVE_2014/Flatten.jar-obl-10.smt2 5.0 / 5.4 s 10.2 / 5.8 s 1.3 / 1.2 s 49.8 / 48.7 s
ystems/From_AProVE_2014/FlattenRTA.jar-obl-10.smt2 5.4 / 5.8 s 14.3 / 8.6 s 1.4 / 1.3 s 96.3 / 96.7 s
ystems/From_AProVE_2014/FlattenTree.jar-obl-9.smt2 2.7 / 2.9 s 8.0 / 4.0 s 5.4 / 5.3 s 50.4 / 49.3 s
rom_AProVE_2014/FlattenTreeListRec.jar-obl-10.smt2 5.4 / 5.7 s 10.8 / 6.1 s 5.5 / 5.4 s 38.0 / 37.0 s
ems/From_AProVE_2014/FlattenTreeRec.jar-obl-9.smt2 2.6 / 2.8 s 7.5 / 3.8 s 5.3 / 5.2 s 36.5 / 35.5 s
_Systems/From_AProVE_2014/Fractale1.jar-obl-8.smt2 86.9 / 92.3 s 8.5 / 4.0 s 5.0 / 5.0 s 1.8 / 1.8 s
sition_Systems/From_AProVE_2014/GCD.jar-obl-8.smt2 2.8 / 3.0 s 3.3 / 1.6 s 0.7 / 0.7 s 0.8 / 0.8 s
ition_Systems/From_AProVE_2014/GCD2.jar-obl-8.smt2 3.5 / 3.8 s 2.9 / 1.4 s 4.9 / 4.8 s 0.6 / 0.7 s
ition_Systems/From_AProVE_2014/GCD3.jar-obl-8.smt2 2.7 / 2.9 s 3.5 / 1.6 s 0.7 / 0.7 s 0.3 / 0.3 s
ition_Systems/From_AProVE_2014/GCD4.jar-obl-8.smt2 2.7 / 2.9 s 2.5 / 1.2 s 0.7 / 0.7 s 0.3 / 0.3 s
ition_Systems/From_AProVE_2014/GCD5.jar-obl-8.smt2 1.3 / 1.3 s 3.5 / 1.5 s 5.0 / 4.9 s 58.8 / 58.8 s
on_Systems/From_AProVE_2014/Gopher.jar-obl-10.smt2 4.2 / 4.5 s 9.2 / 4.6 s 0.9 / 0.8 s 1.2 / 1.2 s
ion_Systems/From_AProVE_2014/Graph.jar-obl-17.smt2 62.8 / 67.2 s 306.2 / 300.0 s 36.7 / 30.7 s 301.6 / 300.0 s
_Systems/From_AProVE_2014/GrowTreeR.jar-obl-9.smt2 30.3 / 32.4 s 12.0 / 5.9 s 0.9 / 0.9 s 1.2 / 1.3 s
ition_Systems/From_AProVE_2014/HanR.jar-obl-8.smt2 0.5 / 0.6 s 2.0 / 1.1 s 0.7 / 0.7 s 0.2 / 0.2 s
tion_Systems/From_AProVE_2014/Hanoi.jar-obl-8.smt2 0.2 / 0.2 s 1.1 / 0.7 s 0.7 / 0.7 s 0.1 / 0.1 s
ems/From_AProVE_2014/Infix2Postfix.jar-obl-11.smt2 56.4 / 60.0 s 35.8 / 25.9 s 5.6 / 5.4 s 4.2 / 4.2 s
ition_Systems/From_AProVE_2014/Init.jar-obl-8.smt2 0.0 / 0.0 s 1.4 / 0.8 s 0.8 / 0.8 s 2.6 / 1.7 s
tems/From_AProVE_2014/IntListDupRec.jar-obl-9.smt2 1.5 / 1.6 s 4.6 / 1.9 s 0.8 / 0.7 s 0.6 / 0.6 s
tems/From_AProVE_2014/IntListSumRec.jar-obl-9.smt2 0.7 / 0.7 s 2.8 / 1.3 s 0.7 / 0.7 s 0.2 / 0.3 s
ion_Systems/From_AProVE_2014/IntRTA.jar-obl-8.smt2 0.5 / 0.6 s 2.2 / 1.1 s 0.7 / 0.7 s 0.1 / 0.1 s
Systems/From_AProVE_2014/Iterations.jar-obl-8.smt2 164.6 / 176.0 s 35.1 / 11.6 s 1.2 / 1.1 s 299.6 / 300.0 s
n_Systems/From_AProVE_2014/Kernel68.jar-obl-9.smt2 166.6 / 177.9 s 20.6 / 14.9 s 2.0 / 1.8 s 310.3 / 300.0 s
n_Systems/From_AProVE_2014/Kernel88.jar-obl-9.smt2 41.6 / 44.1 s 6.8 / 3.3 s 5.0 / 4.9 s 0.4 / 0.5 s
n_Systems/From_AProVE_2014/Kernel93.jar-obl-9.smt2 4.8 / 5.1 s 11.8 / 5.8 s 3.2 / 2.8 s 50.6 / 49.4 s
n_Systems/From_AProVE_2014/Kernel95.jar-obl-9.smt2 6.2 / 6.6 s 6.9 / 2.9 s 0.9 / 0.8 s 4.0 / 4.0 s
ystems/From_AProVE_2014/KnapsackDP.jar-obl-11.smt2 0.1 / 0.1 s 878.1 / 300.1 s 2.1 / 1.9 s 14.7 / 14.6 s
stems/From_AProVE_2014/LeUserDefRec.jar-obl-8.smt2 0.2 / 0.2 s 1.2 / 0.8 s 0.7 / 0.7 s 0.1 / 0.1 s
ystems/From_AProVE_2014/LessLeaves.jar-obl-10.smt2 9.2 / 9.8 s 19.6 / 14.6 s 5.2 / 5.1 s 59.6 / 59.6 s
ems/From_AProVE_2014/LessLeavesRec.jar-obl-10.smt2 280.6 / 300.0 s 305.9 / 300.0 s 7.7 / 7.2 s 303.0 / 300.0 s
ystems/From_AProVE_2014/LinkedList.jar-obl-10.smt2 0.6 / 0.7 s 3.2 / 1.5 s 1.0 / 0.9 s 48.8 / 48.8 s
tion_Systems/From_AProVE_2014/List.jar-obl-12.smt2 1.4 / 1.5 s 14.3 / 5.5 s 5.1 / 5.0 s 58.1 / 58.1 s
ystems/From_AProVE_2014/ListContent.jar-obl-9.smt2 0.4 / 0.4 s 1.9 / 1.1 s 0.9 / 0.8 s 4.8 / 3.8 s
m_AProVE_2014/ListContentArbitrary.jar-obl-10.smt2 0.6 / 0.7 s 2.3 / 1.2 s 0.7 / 0.7 s 0.3 / 0.3 s
s/From_AProVE_2014/ListContentTail.jar-obl-10.smt2 5.6 / 5.9 s 6.5 / 2.7 s 4.9 / 4.9 s 0.7 / 0.7 s
tems/From_AProVE_2014/ListDuplicate.jar-obl-9.smt2 0.8 / 0.9 s 3.3 / 1.5 s 0.7 / 0.7 s 0.3 / 0.3 s
n_Systems/From_AProVE_2014/ListInt.jar-obl-12.smt2 4.3 / 4.6 s 32.0 / 22.3 s 5.2 / 5.1 s 215.4 / 215.3 s
_AProVE_2014/ListReverseAcyclicList.jar-obl-9.smt2 0.4 / 0.5 s 2.2 / 1.1 s 0.7 / 0.7 s 0.2 / 0.2 s
_AProVE_2014/ListReverseCyclicList.jar-obl-10.smt2 6.0 / 6.4 s 6.1 / 2.8 s 5.3 / 5.2 s 0.7 / 0.7 s
roVE_2014/ListReversePanhandleList.jar-obl-11.smt2 6.5 / 6.9 s 7.4 / 4.0 s 1.2 / 1.1 s 0.9 / 0.9 s
sition_Systems/From_AProVE_2014/Log.jar-obl-8.smt2 1.4 / 1.5 s 3.6 / 1.6 s 5.7 / 5.6 s 1.0 / 1.0 s
tion_Systems/From_AProVE_2014/LogAG.jar-obl-8.smt2 2.3 / 2.5 s 3.1 / 1.4 s 1.3 / 1.2 s 0.3 / 0.3 s
Systems/From_AProVE_2014/LogBuiltIn.jar-obl-8.smt2 0.7 / 0.7 s 1.7 / 0.9 s 0.7 / 0.7 s 0.1 / 0.1 s
stems/From_AProVE_2014/LogIterative.jar-obl-8.smt2 2.0 / 2.1 s 2.3 / 1.1 s 0.7 / 0.7 s 0.1 / 0.1 s
on_Systems/From_AProVE_2014/LogMult.jar-obl-8.smt2 0.4 / 0.4 s 1.2 / 0.8 s 0.8 / 0.8 s 63.7 / 63.8 s
stems/From_AProVE_2014/LogRecursive.jar-obl-8.smt2 3.1 / 3.3 s 3.2 / 1.5 s 0.7 / 0.7 s 0.3 / 0.3 s
ition_Systems/From_AProVE_2014/Loop.jar-obl-8.smt2 0.0 / 0.0 s 1.3 / 0.8 s 0.8 / 0.8 s 2.6 / 1.6 s
tion_Systems/From_AProVE_2014/Loop1.jar-obl-8.smt2 0.3 / 0.4 s 1.5 / 0.9 s 0.7 / 0.7 s 0.1 / 0.1 s
ems/From_AProVE_2014/LoopingNonterm.jar-obl-8.smt2 0.4 / 0.4 s 6.7 / 2.8 s 0.8 / 0.8 s 9.6 / 8.6 s
tion_Systems/From_AProVE_2014/Main.jar-obl-11.smt2 281.3 / 300.0 s 205.5 / 195.4 s 3.4 / 3.0 s 300.1 / 300.0 s
_Systems/From_AProVE_2014/MainCopy.jar-obl-10.smt2 2.3 / 2.5 s 11.5 / 6.6 s 1.1 / 1.0 s 116.3 / 57.1 s
ystems/From_AProVE_2014/MainDelete.jar-obl-10.smt2 4.7 / 5.0 s 134.9 / 120.2 s 5.4 / 5.3 s 204.4 / 204.2 s
_Systems/From_AProVE_2014/MainFind.jar-obl-10.smt2 2.9 / 3.1 s 37.7 / 24.6 s 1.1 / 1.1 s 40.3 / 39.1 s
n_Systems/From_AProVE_2014/MainGet.jar-obl-10.smt2 2.2 / 2.3 s 15.3 / 10.4 s 5.2 / 5.1 s 35.4 / 35.4 s
_Systems/From_AProVE_2014/MainMove.jar-obl-11.smt2 115.2 / 122.1 s 289.2 / 276.8 s 1.5 / 1.4 s 122.5 / 121.3 s
on_Systems/From_AProVE_2014/Matrix.jar-obl-16.smt2 90.3 / 96.3 s 306.1 / 300.1 s 3.3 / 2.8 s 301.1 / 300.0 s
/From_AProVE_2014/McCarthyIterative.jar-obl-8.smt2 0.4 / 0.5 s 2.1 / 1.1 s 4.9 / 4.8 s 154.0 / 154.0 s
Systems/From_AProVE_2014/MergeSort.jar-obl-12.smt2 40.7 / 43.3 s 32.1 / 25.4 s 5.4 / 5.3 s 113.5 / 112.7 s
stems/From_AProVE_2014/MinusBuiltIn.jar-obl-8.smt2 0.2 / 0.2 s 1.2 / 0.8 s 0.7 / 0.7 s 0.1 / 0.1 s
n_Systems/From_AProVE_2014/MinusMin.jar-obl-8.smt2 1.8 / 1.9 s 2.6 / 1.3 s 1.1 / 1.1 s 0.1 / 0.2 s
s/From_AProVE_2014/MinusUserDefined.jar-obl-8.smt2 0.6 / 0.6 s 215.9 / 208.0 s 15.4 / 13.0 s 0.4 / 0.4 s
s/From_AProVE_2014/MirrorBinTreeRec.jar-obl-9.smt2 285.6 / 300.0 s 110.4 / 100.7 s 5.4 / 5.3 s 6.2 / 6.2 s
From_AProVE_2014/MirrorMultiTreeRec.jar-obl-9.smt2 29.3 / 31.3 s 14.1 / 7.3 s 0.9 / 0.9 s 1.2 / 1.3 s
Systems/From_AProVE_2014/MirrorTree.jar-obl-9.smt2 2.9 / 3.1 s 9.0 / 5.0 s 0.8 / 0.8 s 1.3 / 1.3 s
sition_Systems/From_AProVE_2014/Mod.jar-obl-8.smt2 3.2 / 3.4 s 3.5 / 1.6 s 5.7 / 5.5 s 0.7 / 0.7 s
Systems/From_AProVE_2014/MultiLasso.jar-obl-8.smt2 1.9 / 2.0 s 21.0 / 15.1 s 648.2 / 241.5 s 58.9 / 57.9 s
From_AProVE_2014/MysteriousProgram.jar-obl-12.smt2 90.9 / 97.7 s 318.2 / 300.0 s 270.7 / 170.5 s 300.0 / 300.0 s
tion_Systems/From_AProVE_2014/NO_00.jar-obl-8.smt2 0.0 / 0.0 s 1.3 / 0.8 s 0.8 / 0.8 s 2.6 / 1.7 s
tion_Systems/From_AProVE_2014/NO_01.jar-obl-8.smt2 0.0 / 0.0 s 1.3 / 0.8 s 0.8 / 0.8 s 2.6 / 1.6 s
tion_Systems/From_AProVE_2014/NO_02.jar-obl-8.smt2 0.0 / 0.0 s 1.3 / 0.8 s 0.8 / 0.8 s 2.6 / 1.7 s
tion_Systems/From_AProVE_2014/NO_03.jar-obl-8.smt2 0.3 / 0.3 s 306.4 / 300.0 s 10.0 / 9.2 s 8.7 / 7.7 s
tion_Systems/From_AProVE_2014/NO_04.jar-obl-8.smt2 0.0 / 0.0 s 1.3 / 0.8 s 0.8 / 0.8 s 2.6 / 1.6 s
tion_Systems/From_AProVE_2014/NO_05.jar-obl-9.smt2 0.5 / 0.6 s 5.0 / 2.1 s 523.3 / 300.0 s 55.9 / 47.9 s
tion_Systems/From_AProVE_2014/NO_06.jar-obl-8.smt2 0.0 / 0.0 s 1.3 / 0.8 s 0.8 / 0.8 s 2.6 / 1.6 s
tion_Systems/From_AProVE_2014/NO_10.jar-obl-8.smt2 0.2 / 0.3 s 1157.0 / 300.1 s 5.9 / 5.7 s 28.2 / 27.2 s
tion_Systems/From_AProVE_2014/NO_11.jar-obl-8.smt2 0.3 / 0.3 s 1092.2 / 300.1 s 5.3 / 5.3 s 238.3 / 230.2 s
tion_Systems/From_AProVE_2014/NO_12.jar-obl-8.smt2 0.5 / 0.6 s 532.1 / 300.0 s 395.7 / 300.0 s 28.7 / 27.7 s
tion_Systems/From_AProVE_2014/NO_13.jar-obl-8.smt2 0.4 / 0.5 s 8.5 / 3.9 s 19.0 / 16.6 s 49.1 / 48.1 s
tion_Systems/From_AProVE_2014/NO_20.jar-obl-8.smt2 0.0 / 0.0 s 1.3 / 0.8 s 0.8 / 0.8 s 2.6 / 1.6 s
tion_Systems/From_AProVE_2014/NO_21.jar-obl-8.smt2 0.0 / 0.0 s 1.3 / 0.8 s 0.8 / 0.8 s 2.6 / 1.6 s
tion_Systems/From_AProVE_2014/NO_22.jar-obl-8.smt2 0.4 / 0.4 s 6.8 / 3.5 s 20.5 / 18.1 s 28.6 / 27.6 s
tion_Systems/From_AProVE_2014/NO_23.jar-obl-8.smt2 0.3 / 0.3 s 3.4 / 1.8 s 8.0 / 7.5 s 28.8 / 27.8 s
tion_Systems/From_AProVE_2014/NO_24.jar-obl-8.smt2 0.3 / 0.3 s 3.9 / 1.9 s 5.0 / 4.9 s 51.1 / 51.1 s
ition_Systems/From_AProVE_2014/Nest.jar-obl-8.smt2 0.4 / 0.5 s 1.5 / 0.9 s 0.7 / 0.7 s 0.2 / 0.2 s
ion_Systems/From_AProVE_2014/Nested.jar-obl-8.smt2 1.9 / 2.0 s 2.3 / 1.2 s 0.7 / 0.7 s 0.3 / 0.3 s
ystems/From_AProVE_2014/NestedLoop.jar-obl-10.smt2 1.0 / 1.1 s 13.0 / 5.2 s 406.3 / 300.0 s 1.1 / 1.1 s
rom_AProVE_2014/NonPeriodicNonterm2.jar-obl-8.smt2 0.6 / 0.6 s 896.0 / 300.1 s 12.5 / 11.2 s 16.2 / 15.2 s
ition_Systems/From_AProVE_2014/Norm.jar-obl-9.smt2 75.0 / 80.5 s 31.5 / 25.8 s 5.9 / 5.7 s 300.3 / 300.0 s
n_Systems/From_AProVE_2014/Overflow.jar-obl-8.smt2 0.2 / 0.2 s 1.2 / 0.8 s 0.2 / 0.2 s 0.0 / 0.0 s
ems/From_AProVE_2014/PartitionList.jar-obl-16.smt2 126.8 / 134.6 s 305.2 / 300.0 s 2.1 / 1.9 s 16.3 / 16.1 s
tion_Systems/From_AProVE_2014/Parts.jar-obl-9.smt2 21.0 / 22.5 s 8.9 / 4.5 s 5.0 / 5.0 s 1.6 / 1.6 s
on_Systems/From_AProVE_2014/PastaA1.jar-obl-8.smt2 1.6 / 1.8 s 2.9 / 1.4 s 4.9 / 4.8 s 0.3 / 0.3 s
n_Systems/From_AProVE_2014/PastaA10.jar-obl-8.smt2 0.4 / 0.4 s 1.6 / 0.9 s 12.5 / 11.2 s 143.0 / 143.0 s
on_Systems/From_AProVE_2014/PastaA4.jar-obl-8.smt2 0.2 / 0.2 s 1.2 / 0.8 s 0.7 / 0.7 s 0.1 / 0.1 s
on_Systems/From_AProVE_2014/PastaA5.jar-obl-8.smt2 0.3 / 0.3 s 5.5 / 2.4 s 5.1 / 5.1 s 0.1 / 0.1 s
on_Systems/From_AProVE_2014/PastaA6.jar-obl-8.smt2 0.4 / 0.4 s 526.0 / 300.0 s 5.1 / 5.1 s 0.1 / 0.1 s
on_Systems/From_AProVE_2014/PastaA7.jar-obl-8.smt2 0.3 / 0.3 s 1.3 / 0.9 s 0.7 / 0.7 s 0.1 / 0.1 s
on_Systems/From_AProVE_2014/PastaA8.jar-obl-8.smt2 0.2 / 0.2 s 1.2 / 0.8 s 0.7 / 0.7 s 0.1 / 0.1 s
on_Systems/From_AProVE_2014/PastaA9.jar-obl-8.smt2 0.4 / 0.4 s 1.4 / 0.9 s 0.7 / 0.7 s 0.1 / 0.1 s
on_Systems/From_AProVE_2014/PastaB1.jar-obl-8.smt2 0.2 / 0.2 s 1.2 / 0.8 s 0.7 / 0.7 s 0.1 / 0.1 s
n_Systems/From_AProVE_2014/PastaB10.jar-obl-8.smt2 0.5 / 0.6 s 2.6 / 1.3 s 0.7 / 0.7 s 0.4 / 0.4 s
n_Systems/From_AProVE_2014/PastaB11.jar-obl-8.smt2 0.6 / 0.7 s 3.0 / 1.4 s 6.8 / 6.5 s 0.5 / 0.5 s
n_Systems/From_AProVE_2014/PastaB12.jar-obl-8.smt2 0.3 / 0.4 s 1.5 / 0.9 s 4.9 / 4.8 s 0.2 / 0.2 s
n_Systems/From_AProVE_2014/PastaB13.jar-obl-8.smt2 3.6 / 3.9 s 4.3 / 1.8 s 0.9 / 0.9 s 0.7 / 0.7 s
n_Systems/From_AProVE_2014/PastaB14.jar-obl-8.smt2 0.3 / 0.3 s 1.9 / 1.0 s 0.7 / 0.7 s 0.1 / 0.1 s
n_Systems/From_AProVE_2014/PastaB15.jar-obl-8.smt2 0.4 / 0.4 s 2.6 / 1.3 s 0.7 / 0.7 s 0.1 / 0.2 s
n_Systems/From_AProVE_2014/PastaB16.jar-obl-8.smt2 1.4 / 1.5 s 1.5 / 0.9 s 0.7 / 0.7 s 0.2 / 0.2 s
n_Systems/From_AProVE_2014/PastaB17.jar-obl-8.smt2 3.0 / 3.2 s 3.2 / 1.5 s 0.7 / 0.7 s 0.3 / 0.3 s
n_Systems/From_AProVE_2014/PastaB18.jar-obl-8.smt2 0.5 / 0.5 s 2.3 / 1.2 s 0.8 / 0.8 s 0.3 / 0.3 s
on_Systems/From_AProVE_2014/PastaB2.jar-obl-8.smt2 0.2 / 0.2 s 1.2 / 0.8 s 0.7 / 0.7 s 0.1 / 0.1 s
on_Systems/From_AProVE_2014/PastaB3.jar-obl-8.smt2 0.1 / 0.1 s 1.1 / 0.7 s 0.7 / 0.7 s 0.1 / 0.1 s
on_Systems/From_AProVE_2014/PastaB4.jar-obl-8.smt2 0.1 / 0.1 s 1.0 / 0.7 s 0.7 / 0.7 s 0.1 / 0.1 s
on_Systems/From_AProVE_2014/PastaB5.jar-obl-8.smt2 0.2 / 0.2 s 1.2 / 0.8 s 0.7 / 0.7 s 0.1 / 0.1 s
on_Systems/From_AProVE_2014/PastaB6.jar-obl-8.smt2 0.2 / 0.2 s 1.2 / 0.8 s 0.7 / 0.7 s 0.1 / 0.1 s
on_Systems/From_AProVE_2014/PastaB7.jar-obl-8.smt2 0.3 / 0.3 s 1.3 / 0.8 s 0.7 / 0.7 s 0.1 / 0.1 s
on_Systems/From_AProVE_2014/PastaB8.jar-obl-8.smt2 1.7 / 1.9 s 2.5 / 1.3 s 4.9 / 4.8 s 0.5 / 0.5 s
on_Systems/From_AProVE_2014/PastaC1.jar-obl-8.smt2 2.9 / 3.1 s 3.0 / 1.4 s 0.7 / 0.7 s 0.3 / 0.3 s
n_Systems/From_AProVE_2014/PastaC10.jar-obl-8.smt2 0.4 / 0.4 s 305.5 / 300.0 s 5.3 / 5.2 s 0.1 / 0.1 s
n_Systems/From_AProVE_2014/PastaC11.jar-obl-8.smt2 0.4 / 0.5 s 2.0 / 1.1 s 0.7 / 0.7 s 0.3 / 0.3 s
on_Systems/From_AProVE_2014/PastaC2.jar-obl-8.smt2 2.4 / 2.6 s 2.4 / 1.2 s 4.9 / 4.8 s 0.3 / 0.3 s
on_Systems/From_AProVE_2014/PastaC3.jar-obl-8.smt2 0.8 / 0.8 s 2.1 / 1.1 s 0.7 / 0.7 s 0.2 / 0.3 s
on_Systems/From_AProVE_2014/PastaC5.jar-obl-8.smt2 0.6 / 0.7 s 1.8 / 1.1 s 0.7 / 0.7 s 0.2 / 0.2 s
on_Systems/From_AProVE_2014/PastaC7.jar-obl-8.smt2 0.3 / 0.4 s 1.4 / 0.9 s 0.7 / 0.7 s 0.1 / 0.1 s
on_Systems/From_AProVE_2014/PastaC9.jar-obl-8.smt2 0.8 / 0.8 s 2.6 / 1.3 s 4.9 / 4.8 s 0.3 / 0.3 s
n_Systems/From_AProVE_2014/PlusSwap.jar-obl-8.smt2 0.2 / 0.3 s 1.2 / 0.8 s 1.1 / 1.0 s 0.1 / 0.1 s
ion_Systems/From_AProVE_2014/Power.jar-obl-10.smt2 28.5 / 30.5 s 9.9 / 5.5 s 5.0 / 5.0 s 6.2 / 6.2 s
ion_Systems/From_AProVE_2014/Queen.jar-obl-10.smt2 2.6 / 2.7 s 739.3 / 300.0 s 1.1 / 1.0 s 3.7 / 3.7 s
stems/From_AProVE_2014/QuicksortRec.jar-obl-9.smt2 67.5 / 72.2 s 65.2 / 57.7 s 1.3 / 1.2 s 11.1 / 11.1 s
ition_Systems/From_AProVE_2014/RSA.jar-obl-17.smt2 191.2 / 202.6 s 305.8 / 300.0 s 15.0 / 13.6 s 57.9 / 57.9 s
ystems/From_AProVE_2014/RandomHard.jar-obl-10.smt2 83.8 / 89.3 s 17.3 / 9.6 s 5.6 / 5.4 s 79.5 / 79.4 s
ystems/From_AProVE_2014/Recursions.jar-obl-13.smt2 2.7 / 2.8 s 5.8 / 2.8 s 0.8 / 0.8 s 0.9 / 0.9 s
_Systems/From_AProVE_2014/RetValRec.jar-obl-8.smt2 0.4 / 0.4 s 1103.4 / 300.1 s 0.9 / 0.8 s 53.5 / 52.5 s
ystems/From_AProVE_2014/RotateTree.jar-obl-10.smt2 4.5 / 4.8 s 10.1 / 5.1 s 0.9 / 0.9 s 1.3 / 1.3 s
ion_Systems/From_AProVE_2014/Round3.jar-obl-8.smt2 0.8 / 0.9 s 2.5 / 1.3 s 0.7 / 0.7 s 52.6 / 52.6 s
ms/From_AProVE_2014/RunningPointers.jar-obl-9.smt2 0.4 / 0.4 s 2.1 / 1.1 s 0.7 / 0.7 s 0.2 / 0.2 s
ystems/From_AProVE_2014/Samefringe.jar-obl-10.smt2 3.9 / 4.1 s 15.4 / 10.2 s 5.2 / 5.1 s 52.0 / 51.9 s
ystems/From_AProVE_2014/SearchTreeR.jar-obl-9.smt2 3.8 / 4.0 s 7.2 / 3.3 s 0.9 / 0.8 s 2.2 / 2.2 s
n_Systems/From_AProVE_2014/Sequence.jar-obl-9.smt2 0.3 / 0.4 s 1.3 / 0.8 s 0.7 / 0.7 s 0.2 / 0.2 s
on_Systems/From_AProVE_2014/Sharing.jar-obl-8.smt2 0.2 / 0.2 s 1.3 / 0.8 s 0.7 / 0.7 s 0.1 / 0.1 s
ms/From_AProVE_2014/SharingAnalysis.jar-obl-9.smt2 0.8 / 0.9 s 2.8 / 1.3 s 0.7 / 0.7 s 0.3 / 0.3 s
From_AProVE_2014/SharingAnalysisRec.jar-obl-9.smt2 0.9 / 1.0 s 3.3 / 1.6 s 0.7 / 0.7 s 0.3 / 0.4 s
ystems/From_AProVE_2014/SharingPair.jar-obl-8.smt2 0.5 / 0.5 s 313.4 / 300.0 s 0.9 / 0.8 s 30.6 / 29.6 s
n_Systems/From_AProVE_2014/Shuffle.jar-obl-10.smt2 1.1 / 1.2 s 4.4 / 1.9 s 5.3 / 5.2 s 64.9 / 64.9 s
Systems/From_AProVE_2014/SortCount.jar-obl-10.smt2 3.1 / 3.3 s 314.8 / 300.0 s 374.1 / 300.0 s 72.8 / 72.7 s
ystems/From_AProVE_2014/StupidArray.jar-obl-8.smt2 0.1 / 0.1 s 1.4 / 0.8 s 0.7 / 0.7 s 0.1 / 0.1 s
on_Systems/From_AProVE_2014/Sudoku.jar-obl-14.smt2 90.2 / 96.0 s 247.4 / 231.6 s 4.7 / 4.1 s 292.0 / 300.0 s
n_Systems/From_AProVE_2014/Swingers.jar-obl-8.smt2 0.3 / 0.4 s 7.3 / 3.1 s 0.8 / 0.8 s 28.5 / 27.5 s
ition_Systems/From_AProVE_2014/Take.jar-obl-8.smt2 0.5 / 0.6 s 2.5 / 1.2 s 0.7 / 0.7 s 0.1 / 0.1 s
s/From_AProVE_2014/TaylorSeriesIte.jar-obl-13.smt2 79.3 / 83.9 s 73.5 / 65.5 s 1.6 / 1.5 s 300.3 / 300.0 s
s/From_AProVE_2014/TaylorSeriesRec.jar-obl-13.smt2 84.4 / 89.3 s 58.8 / 51.2 s 5.6 / 5.5 s 300.0 / 300.0 s
/From_AProVE_2014/TermCreateCollect.jar-obl-9.smt2 11.7 / 12.6 s 6.0 / 2.7 s 4.9 / 4.9 s 0.9 / 0.9 s
ms/From_AProVE_2014/TerminatorRec01.jar-obl-8.smt2 2.8 / 3.0 s 2.9 / 1.4 s 0.7 / 0.7 s 0.4 / 0.4 s
ms/From_AProVE_2014/TerminatorRec02.jar-obl-8.smt2 0.2 / 0.2 s 1.2 / 0.8 s 0.7 / 0.7 s 0.1 / 0.1 s
ms/From_AProVE_2014/TerminatorRec03.jar-obl-8.smt2 0.4 / 0.4 s 3.0 / 1.7 s 10.3 / 9.4 s 7.9 / 6.9 s
ms/From_AProVE_2014/TerminatorRec04.jar-obl-9.smt2 0.5 / 0.5 s 1179.0 / 300.1 s 5.7 / 5.5 s 5.1 / 4.1 s
s/From_AProVE_2014/TermsCreateMatch.jar-obl-9.smt2 32.7 / 34.9 s 22.1 / 13.1 s 1.0 / 0.9 s 1.3 / 1.3 s
tion_Systems/From_AProVE_2014/Test1.jar-obl-8.smt2 1.6 / 1.7 s 348.8 / 300.0 s 2.6 / 2.3 s 205.8 / 208.1 s
ion_Systems/From_AProVE_2014/Test10.jar-obl-9.smt2 4.2 / 4.5 s 2.7 / 1.4 s 4.9 / 4.8 s 0.4 / 0.4 s
ion_Systems/From_AProVE_2014/Test11.jar-obl-8.smt2 2.3 / 2.4 s 128.6 / 120.6 s 5.6 / 5.5 s 2.5 / 2.5 s
ion_Systems/From_AProVE_2014/Test12.jar-obl-8.smt2 0.9 / 1.0 s 18.4 / 6.7 s 5.5 / 5.4 s 0.6 / 0.6 s
stems/From_AProVE_2014/Test13Loops.jar-obl-10.smt2 1.3 / 1.4 s 926.4 / 300.1 s 8.4 / 7.8 s 29.3 / 28.2 s
tion_Systems/From_AProVE_2014/Test2.jar-obl-8.smt2 1.3 / 1.4 s 349.2 / 300.0 s 2.3 / 2.1 s 256.2 / 256.2 s
ion_Systems/From_AProVE_2014/Test3.jar-obl-10.smt2 4.7 / 5.0 s 22.9 / 15.8 s 1.7 / 1.6 s 25.7 / 25.6 s
ion_Systems/From_AProVE_2014/Test4.jar-obl-10.smt2 0.3 / 0.3 s 306.7 / 300.0 s 3.3 / 2.9 s 42.1 / 41.9 s
ion_Systems/From_AProVE_2014/Test5.jar-obl-11.smt2 3.8 / 4.1 s 36.5 / 29.4 s 2.0 / 1.9 s 309.4 / 300.0 s
ion_Systems/From_AProVE_2014/Test6.jar-obl-13.smt2 234.7 / 250.9 s 305.4 / 300.0 s 388.1 / 300.0 s 300.7 / 300.0 s
ion_Systems/From_AProVE_2014/Test7.jar-obl-11.smt2 1.3 / 1.4 s 8.0 / 3.4 s 1.1 / 1.1 s 70.0 / 70.0 s
ion_Systems/From_AProVE_2014/Test8.jar-obl-12.smt2 1.2 / 1.3 s 14.0 / 5.0 s 7.3 / 6.9 s 0.7 / 0.7 s
ion_Systems/From_AProVE_2014/Test9.jar-obl-20.smt2 5.8 / 6.2 s 12.7 / 8.9 s 1.3 / 1.1 s 1.9 / 1.9 s
Systems/From_AProVE_2014/TestJulia6.jar-obl-8.smt2 0.0 / 0.0 s 1.3 / 0.8 s 0.8 / 0.8 s 2.6 / 1.6 s
Systems/From_AProVE_2014/TestJulia7.jar-obl-8.smt2 0.2 / 0.3 s 1.4 / 0.8 s 0.8 / 0.8 s 4.3 / 3.4 s
s/From_AProVE_2014/TimesPlusUserDef.jar-obl-9.smt2 1.2 / 1.2 s 3.1 / 1.5 s 4.9 / 4.8 s 0.4 / 0.4 s
/From_AProVE_2014/TreeLeftmostDepth.jar-obl-9.smt2 4.2 / 4.4 s 8.5 / 3.8 s 0.8 / 0.8 s 0.7 / 0.9 s
s/From_AProVE_2014/TreeLeftmostPath.jar-obl-9.smt2 4.0 / 4.2 s 8.7 / 4.0 s 0.8 / 0.8 s 1.3 / 1.3 s
on_Systems/From_AProVE_2014/TriTas.jar-obl-12.smt2 12.5 / 13.3 s 1057.0 / 300.0 s 1.2 / 1.1 s 3.6 / 3.7 s
ion_Systems/From_AProVE_2014/TwoWay.jar-obl-8.smt2 0.2 / 0.2 s 1.2 / 0.8 s 0.7 / 0.7 s 0.1 / 0.1 s
Systems/From_AProVE_2014/TypeSwitch.jar-obl-8.smt2 0.8 / 0.8 s 7.8 / 3.5 s 0.9 / 0.8 s 29.2 / 28.2 s
om_AProVE_2014/Velroyen08-alternDiv.jar-obl-8.smt2 0.4 / 0.4 s 1179.7 / 300.1 s 10.3 / 9.4 s 8.9 / 8.1 s
ProVE_2014/Velroyen08-alternDivWide.jar-obl-8.smt2 0.5 / 0.5 s 1180.4 / 300.1 s 15.1 / 13.5 s 113.0 / 111.9 s
E_2014/Velroyen08-alternDivWidening.jar-obl-8.smt2 0.8 / 0.9 s 7.4 / 3.5 s 28.4 / 24.6 s 38.3 / 37.4 s
m_AProVE_2014/Velroyen08-alternKonv.jar-obl-8.smt2 0.6 / 0.6 s 6.1 / 2.7 s 13.8 / 12.5 s 205.0 / 205.0 s
oVE_2014/Velroyen08-alternatingIncr.jar-obl-8.smt2 2.0 / 2.1 s 428.1 / 300.0 s 0.9 / 0.9 s 67.3 / 67.2 s
From_AProVE_2014/Velroyen08-collatz.jar-obl-8.smt2 3.5 / 3.7 s 340.1 / 300.0 s 0.9 / 0.9 s 299.9 / 300.0 s
_AProVE_2014/Velroyen08-complInterv.jar-obl-8.smt2 0.3 / 0.3 s 471.2 / 300.0 s 5.7 / 5.5 s 300.1 / 300.0 s
AProVE_2014/Velroyen08-complInterv2.jar-obl-8.smt2 0.4 / 0.4 s 3.1 / 1.7 s 0.9 / 0.9 s 5.1 / 4.1 s
AProVE_2014/Velroyen08-complInterv3.jar-obl-8.smt2 0.3 / 0.3 s 1180.4 / 300.0 s 8.0 / 7.4 s 9.4 / 8.4 s
_AProVE_2014/Velroyen08-complxStruc.jar-obl-8.smt2 1.6 / 1.7 s 309.4 / 300.0 s 83.1 / 70.7 s 51.2 / 50.1 s
om_AProVE_2014/Velroyen08-convLower.jar-obl-8.smt2 0.4 / 0.4 s 4.5 / 2.3 s 0.9 / 0.9 s 5.8 / 4.9 s
/From_AProVE_2014/Velroyen08-cousot.jar-obl-8.smt2 0.4 / 0.4 s 1132.3 / 300.0 s 5.9 / 5.7 s 13.5 / 12.5 s
ms/From_AProVE_2014/Velroyen08-even.jar-obl-9.smt2 0.6 / 0.6 s 1181.4 / 300.0 s 6.6 / 6.3 s 6.9 / 6.0 s
ms/From_AProVE_2014/Velroyen08-ex01.jar-obl-8.smt2 0.3 / 0.3 s 1180.7 / 300.1 s 6.1 / 5.9 s 28.2 / 27.2 s
ms/From_AProVE_2014/Velroyen08-ex02.jar-obl-8.smt2 0.4 / 0.4 s 4.0 / 1.9 s 0.9 / 0.9 s 5.3 / 4.3 s
ms/From_AProVE_2014/Velroyen08-ex03.jar-obl-8.smt2 0.5 / 0.6 s 4.4 / 2.1 s 4.9 / 5.0 s 8.7 / 7.6 s
ms/From_AProVE_2014/Velroyen08-ex04.jar-obl-8.smt2 0.3 / 0.3 s 973.3 / 300.3 s 6.0 / 5.8 s 28.3 / 27.2 s
ms/From_AProVE_2014/Velroyen08-ex05.jar-obl-8.smt2 0.3 / 0.3 s 4.2 / 1.9 s 0.8 / 0.8 s 4.7 / 3.7 s
ms/From_AProVE_2014/Velroyen08-ex06.jar-obl-8.smt2 3.7 / 4.0 s 4.4 / 2.1 s 5.5 / 5.4 s 31.1 / 30.0 s
ms/From_AProVE_2014/Velroyen08-ex07.jar-obl-9.smt2 0.7 / 0.7 s 311.8 / 300.0 s 0.9 / 0.9 s 5.9 / 5.0 s
ms/From_AProVE_2014/Velroyen08-ex08.jar-obl-8.smt2 1.2 / 1.3 s 1165.2 / 300.0 s 38.1 / 32.3 s 51.6 / 50.6 s
rom_AProVE_2014/Velroyen08-ex09half.jar-obl-8.smt2 3.3 / 3.6 s 3.5 / 1.5 s 0.9 / 0.9 s 62.7 / 62.8 s
om_AProVE_2014/Velroyen08-factorial.jar-obl-8.smt2 0.6 / 0.7 s 1170.0 / 300.1 s 6.9 / 6.5 s 75.5 / 75.5 s
ems/From_AProVE_2014/Velroyen08-fib.jar-obl-8.smt2 0.6 / 0.6 s 966.5 / 300.0 s 29.7 / 25.0 s 56.5 / 55.5 s
ms/From_AProVE_2014/Velroyen08-flip.jar-obl-8.smt2 0.3 / 0.3 s 5.5 / 2.2 s 5.0 / 4.9 s 9.5 / 8.4 s
s/From_AProVE_2014/Velroyen08-flip2.jar-obl-8.smt2 0.7 / 0.8 s 24.1 / 18.9 s 51.9 / 43.8 s 108.5 / 108.5 s
s/From_AProVE_2014/Velroyen08-gauss.jar-obl-8.smt2 0.5 / 0.5 s 1182.9 / 300.1 s 6.8 / 6.4 s 7.7 / 6.7 s
ms/From_AProVE_2014/Velroyen08-lcm.jar-obl-10.smt2 1.8 / 1.9 s 363.0 / 300.0 s 5.3 / 5.2 s 46.1 / 44.8 s
From_AProVE_2014/Velroyen08-marbie1.jar-obl-8.smt2 0.3 / 0.3 s 1179.3 / 300.1 s 5.6 / 5.5 s 5.4 / 4.5 s
From_AProVE_2014/Velroyen08-marbie2.jar-obl-8.smt2 0.3 / 0.3 s 935.9 / 300.0 s 6.1 / 5.9 s 28.2 / 27.2 s
/From_AProVE_2014/Velroyen08-middle.jar-obl-8.smt2 0.3 / 0.4 s 1148.5 / 300.0 s 5.8 / 5.7 s 28.5 / 27.4 s
AProVE_2014/Velroyen08-mirrorInterv.jar-obl-8.smt2 0.9 / 1.0 s 786.2 / 300.1 s 14.4 / 12.6 s 107.8 / 106.9 s
oVE_2014/Velroyen08-mirrorIntervSim.jar-obl-8.smt2 0.4 / 0.4 s 28.8 / 26.7 s 14.7 / 13.0 s 46.3 / 46.3 s
_AProVE_2014/Velroyen08-moduloLower.jar-obl-8.smt2 2.6 / 2.8 s 5.6 / 2.3 s 0.9 / 0.9 s 57.6 / 56.6 s
rom_AProVE_2014/Velroyen08-moduloUp.jar-obl-8.smt2 0.8 / 0.8 s 5.8 / 2.0 s 0.8 / 0.8 s 29.1 / 29.1 s
m_AProVE_2014/Velroyen08-narrowKonv.jar-obl-8.smt2 0.5 / 0.6 s 311.3 / 300.0 s 4.9 / 4.3 s 34.9 / 27.8 s
om_AProVE_2014/Velroyen08-narrowing.jar-obl-8.smt2 195.3 / 208.6 s 24.1 / 13.2 s 385.4 / 300.0 s 308.1 / 300.0 s
s/From_AProVE_2014/Velroyen08-plait.jar-obl-8.smt2 23.5 / 25.1 s 155.0 / 132.5 s 372.2 / 300.0 s 64.9 / 64.8 s
/From_AProVE_2014/Velroyen08-sunset.jar-obl-8.smt2 0.7 / 0.8 s 304.5 / 300.0 s 24.0 / 20.7 s 105.2 / 104.2 s
From_AProVE_2014/Velroyen08-trueDiv.jar-obl-8.smt2 0.3 / 0.3 s 1170.6 / 300.0 s 6.1 / 5.9 s 6.9 / 5.9 s
roVE_2014/Velroyen08-twoFloatInterv.jar-obl-8.smt2 47.1 / 50.5 s 14.6 / 9.0 s 10.8 / 9.7 s 46.5 / 46.1 s
om_AProVE_2014/Velroyen08-upAndDown.jar-obl-8.smt2 1.0 / 1.1 s 308.6 / 300.0 s 94.4 / 78.9 s 36.0 / 34.9 s
ProVE_2014/Velroyen08-upAndDownIneq.jar-obl-8.smt2 1.0 / 1.1 s 308.6 / 300.0 s 148.8 / 122.4 s 36.4 / 35.4 s
m_AProVE_2014/Velroyen08-whileBreak.jar-obl-8.smt2 6.6 / 7.1 s 5.1 / 2.2 s 29.8 / 25.8 s 23.3 / 22.2 s
om_AProVE_2014/Velroyen08-whileDecr.jar-obl-8.smt2 0.2 / 0.2 s 1.1 / 0.8 s 0.7 / 0.7 s 0.1 / 0.1 s
om_AProVE_2014/Velroyen08-whileIncr.jar-obl-8.smt2 0.2 / 0.3 s 1180.9 / 300.1 s 5.6 / 5.5 s 4.7 / 3.8 s
ProVE_2014/Velroyen08-whileIncrPart.jar-obl-8.smt2 0.3 / 0.4 s 1179.8 / 300.0 s 10.6 / 9.6 s 10.0 / 9.0 s
_AProVE_2014/Velroyen08-whileNested.jar-obl-8.smt2 0.4 / 0.4 s 1127.6 / 300.1 s 6.5 / 6.2 s 28.5 / 27.5 s
E_2014/Velroyen08-whileNestedOffset.jar-obl-8.smt2 0.4 / 0.4 s 1121.8 / 300.0 s 6.7 / 6.3 s 28.5 / 27.5 s
om_AProVE_2014/Velroyen08-whilePart.jar-obl-8.smt2 0.4 / 0.4 s 3.1 / 1.7 s 5.0 / 5.0 s 4.9 / 3.9 s
_AProVE_2014/Velroyen08-whileSingle.jar-obl-8.smt2 0.5 / 0.6 s 4.1 / 2.0 s 0.9 / 0.9 s 5.3 / 4.4 s
rom_AProVE_2014/Velroyen08-whileSum.jar-obl-8.smt2 6.8 / 7.4 s 803.8 / 300.0 s 1.8 / 1.7 s 40.1 / 38.7 s
om_AProVE_2014/Velroyen08-whileTrue.jar-obl-8.smt2 0.3 / 0.3 s 930.6 / 300.1 s 6.1 / 5.9 s 28.2 / 27.2 s
on_Systems/From_AProVE_2014/Virtual.jar-obl-9.smt2 0.5 / 0.6 s 5.7 / 2.7 s 1.0 / 1.0 s 0.2 / 0.3 s
/From_AProVE_2014/alternDivWide_rec.jar-obl-8.smt2 0.7 / 0.7 s 7.6 / 3.1 s 14.6 / 13.0 s 89.2 / 89.2 s
m_AProVE_2014/alternDivWidening_rec.jar-obl-8.smt2 0.9 / 0.9 s 1123.9 / 300.0 s 24.6 / 21.6 s 43.6 / 42.5 s
tems/From_AProVE_2014/alternDiv_rec.jar-obl-8.smt2 0.5 / 0.5 s 1182.5 / 300.0 s 10.7 / 9.7 s 20.3 / 19.4 s
ems/From_AProVE_2014/alternKonv_rec.jar-obl-8.smt2 0.6 / 0.7 s 6.4 / 2.9 s 13.9 / 12.5 s 197.6 / 197.6 s
s/From_AProVE_2014/complInterv2_rec.jar-obl-8.smt2 0.4 / 0.5 s 3.0 / 1.7 s 0.9 / 0.9 s 5.1 / 4.1 s
s/From_AProVE_2014/complInterv3_rec.jar-obl-8.smt2 0.3 / 0.3 s 1181.6 / 300.0 s 8.0 / 7.4 s 10.2 / 9.2 s
ms/From_AProVE_2014/complxStruc_rec.jar-obl-8.smt2 24.1 / 25.9 s 308.1 / 294.9 s 194.9 / 160.3 s 50.6 / 49.6 s
tems/From_AProVE_2014/convLower_rec.jar-obl-8.smt2 0.4 / 0.4 s 4.3 / 2.3 s 0.9 / 0.9 s 5.8 / 4.9 s
From_AProVE_2014/costa09-example_1.jar-obl-10.smt2 0.9 / 1.0 s 2.9 / 1.4 s 0.7 / 0.7 s 0.4 / 0.4 s
/From_AProVE_2014/costa09-example_2.jar-obl-8.smt2 1.1 / 1.2 s 2.3 / 1.1 s 0.7 / 0.7 s 0.1 / 0.1 s
/From_AProVE_2014/costa09-example_3.jar-obl-8.smt2 0.3 / 0.4 s 1.3 / 0.8 s 0.7 / 0.7 s 0.1 / 0.1 s
/From_AProVE_2014/costa09-example_4.jar-obl-8.smt2 0.3 / 0.4 s 1.5 / 0.9 s 0.7 / 0.7 s 0.1 / 0.1 s
/From_AProVE_2014/costa09-example_5.jar-obl-8.smt2 0.0 / 0.0 s 1.3 / 0.8 s 0.8 / 0.8 s 2.7 / 1.6 s
Systems/From_AProVE_2014/cousot_rec.jar-obl-8.smt2 20.5 / 22.1 s 7.9 / 4.5 s 8.0 / 7.4 s 31.0 / 30.0 s
n_Systems/From_AProVE_2014/even_rec.jar-obl-8.smt2 0.3 / 0.4 s 1180.5 / 300.0 s 5.7 / 5.6 s 5.2 / 4.3 s
n_Systems/From_AProVE_2014/ex01_rec.jar-obl-8.smt2 0.3 / 0.4 s 1181.2 / 300.0 s 5.6 / 5.5 s 4.7 / 3.6 s
n_Systems/From_AProVE_2014/ex02_rec.jar-obl-8.smt2 0.4 / 0.4 s 4.0 / 2.0 s 0.9 / 0.9 s 5.6 / 4.6 s
n_Systems/From_AProVE_2014/ex03_rec.jar-obl-8.smt2 0.5 / 0.6 s 4.2 / 2.1 s 0.9 / 0.9 s 6.3 / 5.3 s
n_Systems/From_AProVE_2014/ex04_rec.jar-obl-8.smt2 0.2 / 0.3 s 1025.9 / 300.1 s 5.7 / 5.6 s 28.3 / 27.2 s
n_Systems/From_AProVE_2014/ex05_rec.jar-obl-8.smt2 0.2 / 0.2 s 2.6 / 1.5 s 0.8 / 0.8 s 3.6 / 2.6 s
n_Systems/From_AProVE_2014/ex06_rec.jar-obl-8.smt2 0.2 / 0.2 s 1.4 / 0.9 s 0.8 / 0.8 s 3.8 / 3.0 s
n_Systems/From_AProVE_2014/ex07_rec.jar-obl-8.smt2 0.2 / 0.2 s 1.3 / 0.8 s 0.8 / 0.8 s 3.7 / 2.7 s
n_Systems/From_AProVE_2014/ex08_rec.jar-obl-8.smt2 10.9 / 11.6 s 652.7 / 300.0 s 122.7 / 99.2 s 76.2 / 75.1 s
_Systems/From_AProVE_2014/flip2_rec.jar-obl-8.smt2 0.9 / 1.0 s 15.0 / 9.6 s 32.5 / 27.7 s 127.6 / 127.8 s
n_Systems/From_AProVE_2014/flip_rec.jar-obl-8.smt2 0.3 / 0.3 s 4.7 / 2.1 s 0.8 / 0.8 s 10.2 / 9.1 s
s/From_AProVE_2014/juHashMapCreate.jar-obl-10.smt2 87.9 / 93.7 s 29.3 / 20.4 s 1.3 / 1.2 s 300.1 / 300.0 s
m_AProVE_2014/juHashMapCreateClear.jar-obl-11.smt2 89.5 / 95.4 s 41.1 / 31.3 s 1.3 / 1.2 s 300.1 / 300.0 s
VE_2014/juHashMapCreateContainsKey.jar-obl-11.smt2 115.3 / 122.8 s 128.2 / 117.4 s 1.6 / 1.4 s 300.5 / 300.0 s
_2014/juHashMapCreateContainsValue.jar-obl-11.smt2 71.1 / 75.8 s 149.2 / 136.5 s 1.6 / 1.4 s 300.4 / 300.0 s
rom_AProVE_2014/juHashMapCreateGet.jar-obl-11.smt2 115.2 / 122.9 s 256.0 / 118.1 s 1.6 / 1.4 s 300.0 / 300.0 s
AProVE_2014/juHashMapCreateIsEmpty.jar-obl-10.smt2 88.2 / 93.8 s 35.7 / 27.0 s 1.3 / 1.2 s 298.7 / 300.0 s
4/juHashMapCreateIteratorEntryLoop.jar-obl-12.smt2 173.2 / 185.1 s 112.2 / 101.4 s 1.7 / 1.5 s 299.6 / 300.0 s
014/juHashMapCreateIteratorKeyLoop.jar-obl-12.smt2 172.3 / 183.6 s 113.8 / 103.1 s 1.7 / 1.5 s 300.6 / 300.0 s
4/juHashMapCreateIteratorValueLoop.jar-obl-12.smt2 172.6 / 184.3 s 111.6 / 101.3 s 1.7 / 1.5 s 300.6 / 300.0 s
rom_AProVE_2014/juHashMapCreatePut.jar-obl-10.smt2 88.6 / 94.4 s 46.2 / 36.4 s 5.4 / 5.3 s 298.1 / 300.0 s
_AProVE_2014/juHashMapCreateRemove.jar-obl-11.smt2 140.0 / 148.6 s 135.0 / 123.1 s 5.8 / 5.6 s 300.6 / 300.0 s
om_AProVE_2014/juHashMapCreateSize.jar-obl-10.smt2 87.5 / 93.1 s 28.5 / 20.4 s 5.4 / 5.3 s 300.6 / 300.0 s
From_AProVE_2014/juLinkedListCreate.jar-obl-8.smt2 2.0 / 2.2 s 4.6 / 2.2 s 0.7 / 0.7 s 0.4 / 0.4 s
m_AProVE_2014/juLinkedListCreateAdd.jar-obl-8.smt2 2.4 / 2.6 s 9.1 / 5.2 s 5.0 / 4.9 s 0.6 / 0.6 s
roVE_2014/juLinkedListCreateAddAll.jar-obl-11.smt2 16.3 / 16.9 s 306.8 / 300.0 s 16.0 / 13.9 s 297.1 / 300.0 s
VE_2014/juLinkedListCreateAddAllAt.jar-obl-17.smt2 66.2 / 67.6 s 305.6 / 300.0 s 34.0 / 28.1 s 300.6 / 300.0 s
ProVE_2014/juLinkedListCreateAddAt.jar-obl-10.smt2 12.9 / 13.5 s 218.7 / 211.6 s 1.6 / 1.4 s 9.2 / 9.1 s
oVE_2014/juLinkedListCreateAddFirst.jar-obl-8.smt2 2.4 / 2.6 s 9.1 / 5.2 s 5.0 / 4.9 s 0.6 / 0.6 s
roVE_2014/juLinkedListCreateAddLast.jar-obl-8.smt2 2.4 / 2.6 s 9.2 / 5.2 s 0.8 / 0.8 s 0.6 / 0.6 s
AProVE_2014/juLinkedListCreateClear.jar-obl-9.smt2 3.9 / 4.1 s 15.6 / 10.5 s 0.9 / 0.9 s 0.9 / 0.9 s
VE_2014/juLinkedListCreateContains.jar-obl-16.smt2 283.6 / 300.0 s 305.7 / 300.0 s 6.9 / 5.8 s 111.7 / 111.2 s
2014/juLinkedListCreateContainsAll.jar-obl-11.smt2 287.4 / 300.0 s 305.8 / 300.0 s 24.6 / 22.6 s 301.6 / 300.0 s
edListCreateDescendingIteratorLoop.jar-obl-13.smt2 96.8 / 102.9 s 283.5 / 275.9 s 1.8 / 1.6 s 4.4 / 4.5 s
roVE_2014/juLinkedListCreateElement.jar-obl-8.smt2 2.9 / 3.0 s 14.1 / 9.2 s 0.9 / 0.9 s 0.7 / 0.7 s
roVE_2014/juLinkedListCreateEquals.jar-obl-13.smt2 286.0 / 300.0 s 305.0 / 300.0 s 4.0 / 3.5 s 52.5 / 52.1 s
_AProVE_2014/juLinkedListCreateGet.jar-obl-10.smt2 7.3 / 7.7 s 21.5 / 16.7 s 1.0 / 1.0 s 1.7 / 1.7 s
oVE_2014/juLinkedListCreateGetFirst.jar-obl-8.smt2 3.3 / 3.5 s 29.5 / 24.6 s 0.9 / 0.9 s 0.8 / 0.8 s
roVE_2014/juLinkedListCreateGetLast.jar-obl-8.smt2 2.9 / 3.0 s 14.1 / 9.4 s 0.9 / 0.9 s 0.7 / 0.7 s
oVE_2014/juLinkedListCreateIndexOf.jar-obl-16.smt2 283.9 / 300.0 s 305.5 / 300.0 s 7.0 / 5.9 s 126.0 / 125.0 s
roVE_2014/juLinkedListCreateIsEmpty.jar-obl-8.smt2 2.4 / 2.6 s 9.1 / 5.2 s 5.0 / 4.9 s 0.6 / 0.6 s
014/juLinkedListCreateIteratorLoop.jar-obl-10.smt2 16.6 / 17.3 s 107.8 / 100.9 s 5.6 / 5.6 s 3.2 / 3.2 s
2014/juLinkedListCreateLastIndexOf.jar-obl-16.smt2 284.0 / 300.0 s 305.0 / 300.0 s 7.9 / 6.7 s 185.0 / 183.9 s
juLinkedListCreateListIteratorLoop.jar-obl-10.smt2 16.7 / 17.3 s 108.9 / 101.9 s 1.5 / 1.3 s 3.3 / 3.3 s
AProVE_2014/juLinkedListCreateOffer.jar-obl-8.smt2 2.4 / 2.6 s 9.2 / 5.2 s 0.8 / 0.8 s 0.6 / 0.6 s
E_2014/juLinkedListCreateOfferFirst.jar-obl-8.smt2 2.4 / 2.6 s 9.1 / 5.2 s 0.8 / 0.8 s 1.0 / 1.0 s
VE_2014/juLinkedListCreateOfferLast.jar-obl-8.smt2 2.4 / 2.6 s 9.1 / 5.2 s 0.8 / 0.8 s 0.6 / 0.6 s
_AProVE_2014/juLinkedListCreatePeek.jar-obl-8.smt2 2.9 / 3.0 s 14.2 / 9.4 s 0.9 / 0.8 s 0.7 / 0.7 s
VE_2014/juLinkedListCreatePeekFirst.jar-obl-8.smt2 2.9 / 3.0 s 14.0 / 9.3 s 0.9 / 0.9 s 0.7 / 0.7 s
oVE_2014/juLinkedListCreatePeekLast.jar-obl-8.smt2 2.9 / 3.0 s 14.1 / 9.3 s 0.9 / 0.9 s 0.7 / 0.7 s
_AProVE_2014/juLinkedListCreatePoll.jar-obl-8.smt2 3.3 / 3.5 s 29.1 / 24.5 s 0.9 / 0.9 s 0.7 / 0.7 s
VE_2014/juLinkedListCreatePollFirst.jar-obl-8.smt2 3.4 / 3.5 s 29.1 / 24.5 s 0.9 / 0.9 s 0.7 / 0.7 s
oVE_2014/juLinkedListCreatePollLast.jar-obl-8.smt2 5.6 / 5.8 s 110.1 / 105.0 s 1.0 / 0.9 s 1.3 / 1.3 s
m_AProVE_2014/juLinkedListCreatePop.jar-obl-8.smt2 3.4 / 3.6 s 28.9 / 24.3 s 0.9 / 0.9 s 1.3 / 1.3 s
_AProVE_2014/juLinkedListCreatePush.jar-obl-8.smt2 2.4 / 2.6 s 9.2 / 5.3 s 0.8 / 0.8 s 1.0 / 1.0 s
roVE_2014/juLinkedListCreateRemove.jar-obl-10.smt2 22.3 / 23.3 s 305.5 / 300.0 s 2.0 / 1.8 s 7.7 / 7.6 s
E_2014/juLinkedListCreateRemoveAll.jar-obl-11.smt2 152.3 / 153.8 s 305.1 / 300.0 s 328.1 / 300.0 s 306.6 / 300.0 s
VE_2014/juLinkedListCreateRemoveAt.jar-obl-10.smt2 22.3 / 23.2 s 305.5 / 300.0 s 2.1 / 1.8 s 13.1 / 13.0 s
14/juLinkedListCreateRemoveElement.jar-obl-16.smt2 286.0 / 300.0 s 305.1 / 300.0 s 8.6 / 7.2 s 218.9 / 217.8 s
_2014/juLinkedListCreateRemoveFirst.jar-obl-8.smt2 3.4 / 3.5 s 29.0 / 24.4 s 5.1 / 5.0 s 0.7 / 0.7 s
kedListCreateRemoveFirstOccurrence.jar-obl-16.smt2 286.6 / 300.0 s 304.9 / 300.0 s 8.6 / 7.2 s 168.7 / 167.5 s
E_2014/juLinkedListCreateRemoveLast.jar-obl-8.smt2 5.6 / 5.8 s 107.3 / 103.1 s 1.0 / 0.9 s 1.2 / 1.2 s
nkedListCreateRemoveLastOccurrence.jar-obl-16.smt2 289.9 / 300.0 s 303.0 / 300.0 s 10.3 / 8.6 s 300.4 / 300.0 s
2014/juLinkedListCreateRemoveRange.jar-obl-14.smt2 283.4 / 300.0 s 305.6 / 300.0 s 3.8 / 3.3 s 32.2 / 32.3 s
_AProVE_2014/juLinkedListCreateSet.jar-obl-10.smt2 8.0 / 8.5 s 30.0 / 24.9 s 1.2 / 1.1 s 2.9 / 2.9 s
_AProVE_2014/juLinkedListCreateSize.jar-obl-8.smt2 2.0 / 2.2 s 4.6 / 2.2 s 4.9 / 4.8 s 0.4 / 0.4 s
roVE_2014/juLinkedListCreateSubList.jar-obl-8.smt2 2.4 / 2.6 s 9.1 / 5.2 s 0.8 / 0.8 s 0.6 / 0.6 s
roVE_2014/juLinkedListCreateToArray.jar-obl-9.smt2 5.8 / 6.2 s 16.1 / 10.7 s 5.1 / 5.0 s 0.9 / 0.9 s
rom_AProVE_2014/mirrorIntervSim_rec.jar-obl-8.smt2 0.4 / 0.4 s 28.9 / 26.7 s 15.6 / 13.5 s 42.3 / 41.3 s
s/From_AProVE_2014/mirrorInterv_rec.jar-obl-8.smt2 1.1 / 1.2 s 729.4 / 300.0 s 21.3 / 18.3 s 110.3 / 109.2 s
ems/From_AProVE_2014/narrowKonv_rec.jar-obl-8.smt2 0.5 / 0.6 s 311.1 / 300.0 s 4.8 / 4.1 s 24.1 / 17.2 s
tems/From_AProVE_2014/narrowing_rec.jar-obl-8.smt2 280.5 / 300.0 s 38.5 / 23.0 s 65.0 / 54.2 s 307.8 / 300.0 s
ms/From_AProVE_2014/sumGeneric2_rec.jar-obl-8.smt2 0.5 / 0.5 s 1179.2 / 300.0 s 6.0 / 5.8 s 28.9 / 27.9 s
ems/From_AProVE_2014/sumGeneric_rec.jar-obl-8.smt2 0.3 / 0.4 s 1056.3 / 300.0 s 5.9 / 5.7 s 28.7 / 27.7 s
on_Systems/From_AProVE_2014/sum_rec.jar-obl-8.smt2 0.3 / 0.3 s 1184.6 / 300.0 s 5.6 / 5.4 s 28.3 / 27.2 s
Systems/From_AProVE_2014/sunset_rec.jar-obl-8.smt2 0.6 / 0.7 s 304.4 / 300.0 s 8.4 / 7.1 s 33.7 / 32.7 s
ystems/From_AProVE_2014/trueDiv_rec.jar-obl-8.smt2 0.3 / 0.4 s 1172.7 / 300.1 s 5.9 / 5.8 s 8.8 / 8.0 s
/From_AProVE_2014/upAndDownIneq_rec.jar-obl-8.smt2 3.4 / 3.7 s 311.3 / 300.0 s 306.4 / 300.0 s 38.2 / 37.1 s
tems/From_AProVE_2014/upAndDown_rec.jar-obl-8.smt2 1.3 / 1.4 s 307.6 / 300.0 s 278.8 / 228.5 s 33.7 / 32.7 s
m_AProVE_2014/whileNestedOffset_rec.jar-obl-9.smt2 0.4 / 0.5 s 1180.8 / 300.1 s 5.8 / 5.7 s 107.2 / 52.7 s
ms/From_AProVE_2014/whileNested_rec.jar-obl-9.smt2 0.4 / 0.5 s 1178.2 / 300.1 s 5.7 / 5.6 s 28.4 / 27.3 s
tems/From_AProVE_2014/whilePart_rec.jar-obl-8.smt2 0.4 / 0.4 s 3.0 / 1.7 s 5.0 / 5.0 s 4.9 / 3.8 s
ms/From_AProVE_2014/whileSingle_rec.jar-obl-8.smt2 0.5 / 0.6 s 4.0 / 1.9 s 0.9 / 0.9 s 5.8 / 4.9 s
Integer_Transition_Systems/From_T2/1.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 12.2 / 11.1 s
teger_Transition_Systems/From_T2/1394-fail.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 20.2 / 18.0 s 300.6 / 300.0 s
er_Transition_Systems/From_T2/1394-succeed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 20.5 / 18.1 s 300.6 / 300.0 s
ansition_Systems/From_T2/1394complete-fail.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 24.7 / 22.0 s 300.6 / 300.0 s
ition_Systems/From_T2/1394complete-succeed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 31.2 / 28.2 s 298.6 / 300.0 s
Integer_Transition_Systems/From_T2/232.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.3 / 0.3 s
Integer_Transition_Systems/From_T2/241.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.3 / 0.3 s
Integer_Transition_Systems/From_T2/3.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.8 s 7.1 / 6.1 s
Integer_Transition_Systems/From_T2/5.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
Integer_Transition_Systems/From_T2/6.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.8 s 7.0 / 6.1 s
Integer_Transition_Systems/From_T2/7.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.8 s 13.2 / 12.2 s
Integer_Transition_Systems/From_T2/Prim_4.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 64.1 / 53.8 s 54.4 / 53.0 s
ger_Transition_Systems/From_T2/acqrel-fail.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.0 / 0.9 s 300.1 / 300.0 s
Transition_Systems/From_T2/acqrel-succeed2.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.1 / 5.1 s 7.7 / 6.7 s
eger_Transition_Systems/From_T2/afagp-fail.t2.smt2 0.1 / 0.1 s 0.8 / 0.6 s 4.2 / 3.2 s 300.1 / 300.0 s
Integer_Transition_Systems/From_T2/afagx1.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.9 / 0.9 s 12.0 / 11.0 s
Integer_Transition_Systems/From_T2/agafp.t2.smt2 0.2 / 0.2 s 0.9 / 0.7 s 6.5 / 5.0 s 238.7 / 237.4 s
Integer_Transition_Systems/From_T2/andrey.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.1 / 0.1 s
tion_Systems/From_T2/apchild-accepted-fail.t2.smt2 0.0 / 0.1 s 0.8 / 0.5 s 4.7 / 3.7 s 300.1 / 300.0 s
ransition_Systems/From_T2/apchild-accepted.t2.smt2 0.0 / 0.0 s 0.8 / 0.5 s 4.7 / 3.8 s 300.1 / 300.0 s
er_Transition_Systems/From_T2/apchild-live.t2.smt2 0.1 / 0.1 s 0.8 / 0.5 s 6.3 / 5.0 s 300.1 / 300.0 s
sition_Systems/From_T2/apchildlive-succeed.t2.smt2 0.0 / 0.0 s 0.8 / 0.5 s 4.2 / 3.4 s 300.1 / 300.0 s
Integer_Transition_Systems/From_T2/arith.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.1 / 0.2 s
tion_Systems/From_T2/armc-difficult_defect.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.2 / 5.1 s 0.1 / 0.1 s
nsition_Systems/From_T2/armc-difficult_foo.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 24.6 / 23.1 s 299.1 / 300.0 s
sition_Systems/From_T2/armc-difficult_foo2.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
sition_Systems/From_T2/armc-difficult_foo3.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 218.9 / 175.0 s 300.6 / 300.0 s
ransition_Systems/From_T2/armc-difficult_k.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.4 / 0.4 s
Integer_Transition_Systems/From_T2/array.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
Integer_Transition_Systems/From_T2/array2.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/array3.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.3 / 0.3 s
eger_Transition_Systems/From_T2/array_free.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.2 / 0.2 s
eger_Transition_Systems/From_T2/array_init.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.1 / 0.1 s
ansition_Systems/From_T2/array_init_assign.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.2 / 0.2 s
ger_Transition_Systems/From_T2/ase_example.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.5 / 0.5 s
Integer_Transition_Systems/From_T2/ax_test.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.8 s 4.2 / 3.2 s
teger_Transition_Systems/From_T2/ax_test_2.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.0 / 4.9 s 3.7 / 2.6 s
teger_Transition_Systems/From_T2/ax_test_3.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.0 / 4.9 s 4.0 / 2.9 s
Integer_Transition_Systems/From_T2/bakery.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.5 / 4.6 s 43.1 / 42.0 s
teger_Transition_Systems/From_T2/bakerybug.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.4 / 4.5 s 46.7 / 45.5 s
Integer_Transition_Systems/From_T2/bf10.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 1.5 / 1.5 s
Integer_Transition_Systems/From_T2/bf11.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 1.5 / 1.5 s
Integer_Transition_Systems/From_T2/bf12.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 1.5 / 1.5 s
Integer_Transition_Systems/From_T2/bf13.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 1.5 / 1.5 s
Integer_Transition_Systems/From_T2/bf14.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 1.5 / 1.5 s
Integer_Transition_Systems/From_T2/bf15.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 1.4 / 1.5 s
Integer_Transition_Systems/From_T2/bf16.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 1.4 / 1.4 s
Integer_Transition_Systems/From_T2/bf17.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 1.4 / 1.4 s
Integer_Transition_Systems/From_T2/bf18.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 1.4 / 1.4 s
Integer_Transition_Systems/From_T2/bf19.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 1.4 / 1.4 s
Integer_Transition_Systems/From_T2/bf20.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 1.4 / 1.4 s
Integer_Transition_Systems/From_T2/bf5.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 1.3 / 1.4 s
Integer_Transition_Systems/From_T2/bf6.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 1.4 / 1.4 s
Integer_Transition_Systems/From_T2/bf7.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 1.5 / 1.5 s
Integer_Transition_Systems/From_T2/bf8.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 1.4 / 1.4 s
Integer_Transition_Systems/From_T2/bf9.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 1.5 / 1.5 s
Integer_Transition_Systems/From_T2/bio.t2.smt2 0.1 / 0.1 s 0.8 / 0.6 s 299.5 / 256.6 s 300.1 / 300.0 s
eger_Transition_Systems/From_T2/bitcount16.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.5 / 0.5 s
eger_Transition_Systems/From_T2/bitcount32.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 5.6 / 5.6 s
_Transition_Systems/From_T2/brockschmidt_1.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 7.9 / 7.4 s 1.4 / 1.4 s
tems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 15.2 / 10.2 s 300.5 / 300.0 s
T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 15.2 / 10.3 s 300.6 / 300.0 s
Integer_Transition_Systems/From_T2/broydn.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 15.9 / 10.6 s 300.7 / 300.0 s
_Transition_Systems/From_T2/brp_withassume.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 391.6 / 300.0 s 300.5 / 300.0 s
Integer_Transition_Systems/From_T2/bs.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 158.8 / 158.6 s
nteger_Transition_Systems/From_T2/bsort100.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 1.0 / 1.0 s
eger_Transition_Systems/From_T2/bubbleSort.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.0 / 4.9 s 0.5 / 0.5 s
tion_Systems/From_T2/bubblesort_inner_loop.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.2 / 0.2 s
Integer_Transition_Systems/From_T2/byron-1.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.4 / 5.3 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/byron-2.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 0.4 / 0.4 s
Integer_Transition_Systems/From_T2/byron-3.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.2 / 5.1 s 11.7 / 11.8 s
Integer_Transition_Systems/From_T2/byron-4.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 0.2 / 0.2 s
Integer_Transition_Systems/From_T2/cfg.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 7.5 / 7.5 s
Integer_Transition_Systems/From_T2/cnt.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.6 s 2.2 / 2.2 s
Integer_Transition_Systems/From_T2/collatz.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 43.3 / 43.3 s
r_Transition_Systems/From_T2/complex_guard.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.1 / 0.1 s
nteger_Transition_Systems/From_T2/compress.t2.smt2 0.0 / 0.1 s 0.8 / 0.5 s 7.6 / 5.5 s 300.1 / 300.0 s
teger_Transition_Systems/From_T2/constants.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 0.2 / 0.2 s
Integer_Transition_Systems/From_T2/consts1.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 28.2 / 27.2 s
teger_Transition_Systems/From_T2/consts1nt.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 28.3 / 27.2 s
Integer_Transition_Systems/From_T2/consts2.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 4.1 / 4.1 s
teger_Transition_Systems/From_T2/consts2nt.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 4.5 / 3.5 s
Integer_Transition_Systems/From_T2/consts3.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.1 / 0.1 s
teger_Transition_Systems/From_T2/consts3nt.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 4.3 / 3.3 s
Integer_Transition_Systems/From_T2/consts4.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 4.9 / 4.0 s
teger_Transition_Systems/From_T2/consts4nt.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 5.0 / 5.0 s
Integer_Transition_Systems/From_T2/consts5.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 14.5 / 14.5 s
teger_Transition_Systems/From_T2/consts5nt.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 32.0 / 32.0 s
Integer_Transition_Systems/From_T2/cover.t2.smt2 0.4 / 0.4 s 1.1 / 0.9 s 78.6 / 52.5 s 300.1 / 300.0 s
Integer_Transition_Systems/From_T2/crc.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.1 / 1.0 s 11.1 / 11.0 s
Integer_Transition_Systems/From_T2/create.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.7 s 0.3 / 0.3 s
eger_Transition_Systems/From_T2/create_seg.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.7 s 0.4 / 0.4 s
Transition_Systems/From_T2/create_via_tmps.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.8 / 0.8 s
Integer_Transition_Systems/From_T2/ctl.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.5 s 10.3 / 9.5 s
Integer_Transition_Systems/From_T2/curious.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 3.7 / 2.8 s
nteger_Transition_Systems/From_T2/curious2.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
nteger_Transition_Systems/From_T2/curious4.t2.smt2 0.1 / 0.1 s 0.8 / 0.6 s 4.5 / 3.4 s 300.1 / 300.0 s
Integer_Transition_Systems/From_T2/d.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.9 / 0.8 s 22.9 / 23.0 s
Integer_Transition_Systems/From_T2/db.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.0 / 0.0 s
Integer_Transition_Systems/From_T2/db2.t2.smt2 0.4 / 0.4 s 1.1 / 0.9 s 25.7 / 18.0 s 300.1 / 300.0 s
Integer_Transition_Systems/From_T2/db3.t2.smt2 0.4 / 0.4 s 1.1 / 0.9 s 31.6 / 21.6 s 300.1 / 300.0 s
ion_Systems/From_T2/dead.neg-st88b-succeed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 33.1 / 32.1 s
Integer_Transition_Systems/From_T2/defect.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.8 s 2.6 / 1.6 s
Integer_Transition_Systems/From_T2/destroy.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 2.1 / 2.1 s
ger_Transition_Systems/From_T2/destroy_seg.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.7 s 2.6 / 2.7 s
ransition_Systems/From_T2/destroy_seg_leak.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.4 / 1.2 s 51.2 / 49.8 s
_Transition_Systems/From_T2/disj_nightmare.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 9.8 / 8.8 s
nsition_Systems/From_T2/disj_nightmare_abi.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 3.3 / 2.9 s 1.2 / 1.2 s
er_Transition_Systems/From_T2/dropbuf-live.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
Integer_Transition_Systems/From_T2/dropbuf.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 7.8 / 7.3 s 46.1 / 44.8 s
teger_Transition_Systems/From_T2/dsa_test1.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
eger_Transition_Systems/From_T2/dsa_test10.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.3 / 0.3 s
eger_Transition_Systems/From_T2/dsa_test12.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
eger_Transition_Systems/From_T2/dsa_test13.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
eger_Transition_Systems/From_T2/dsa_test15.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.2 / 0.2 s
teger_Transition_Systems/From_T2/dsa_test6.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.1 / 0.1 s
teger_Transition_Systems/From_T2/dsa_test8.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
teger_Transition_Systems/From_T2/dsa_test9.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
Integer_Transition_Systems/From_T2/dummy.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.9 / 5.7 s 7.1 / 6.2 s
ger_Transition_Systems/From_T2/e-1394-fail.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 14.6 / 12.4 s 300.6 / 300.0 s
_Transition_Systems/From_T2/e-1394-succeed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 18.6 / 16.5 s 300.5 / 300.0 s
sition_Systems/From_T2/e-1394complete-fail.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 22.4 / 19.9 s 300.5 / 300.0 s
ion_Systems/From_T2/e-1394complete-succeed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 22.2 / 19.8 s 300.3 / 300.0 s
r_Transition_Systems/From_T2/e-acqrel-fail.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.0 / 1.0 s 9.7 / 8.7 s
ransition_Systems/From_T2/e-acqrel-succeed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.2 / 5.1 s 30.5 / 28.4 s
r_Transition_Systems/From_T2/e-pgarch-fail.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 11.3 / 10.2 s
ransition_Systems/From_T2/e-pgarch-succeed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.5 s 11.8 / 10.7 s
r_Transition_Systems/From_T2/e-popl07-fail.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 13.3 / 10.1 s 14.0 / 12.5 s
ransition_Systems/From_T2/e-popl07-succeed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 8.8 / 5.5 s 11.1 / 10.1 s
_Transition_Systems/From_T2/e-smagill-fail.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 7.1 / 6.1 s
ansition_Systems/From_T2/e-smagill-succeed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 6.6 / 6.3 s 6.8 / 5.6 s
er_Transition_Systems/From_T2/e-st88b-fail.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 34.8 / 33.8 s
Integer_Transition_Systems/From_T2/edn.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 2.1 / 1.8 s 89.1 / 86.2 s
Integer_Transition_Systems/From_T2/efegp.t2.smt2 0.0 / 0.1 s 0.8 / 0.5 s 1.8 / 1.5 s 300.1 / 300.0 s
tems/From_T2/elmhes.c.i.elmhes.pl.t2.fixed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 3.6 / 3.1 s 17.3 / 17.3 s
Integer_Transition_Systems/From_T2/elmhes.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 4.7 / 4.2 s 18.8 / 18.8 s
Integer_Transition_Systems/From_T2/eric.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 24.1 / 20.6 s 321.2 / 294.2 s
Integer_Transition_Systems/From_T2/eric1.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 379.7 / 300.0 s 0.6 / 0.6 s
Integer_Transition_Systems/From_T2/eric2.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 392.7 / 300.0 s 303.2 / 300.0 s
Integer_Transition_Systems/From_T2/eric3.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 9.3 / 8.4 s 28.3 / 27.3 s
Integer_Transition_Systems/From_T2/ex1.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 6.1 / 5.9 s 28.2 / 27.2 s
Integer_Transition_Systems/From_T2/ex10.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 12.7 / 11.0 s 10.2 / 9.2 s
Integer_Transition_Systems/From_T2/ex11.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 44.0 / 36.6 s 31.6 / 30.6 s
Integer_Transition_Systems/From_T2/ex12.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/ex13.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
Integer_Transition_Systems/From_T2/ex14.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/ex15.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
Integer_Transition_Systems/From_T2/ex16.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 32.2 / 32.0 s
Integer_Transition_Systems/From_T2/ex17.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 142.8 / 128.1 s
Integer_Transition_Systems/From_T2/ex18.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.6 / 0.6 s
Integer_Transition_Systems/From_T2/ex19.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 7.1 / 6.7 s 28.2 / 27.1 s
Integer_Transition_Systems/From_T2/ex2.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 28.1 / 27.1 s
Integer_Transition_Systems/From_T2/ex20.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.2 / 0.2 s
Integer_Transition_Systems/From_T2/ex21.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.3 / 0.3 s
Integer_Transition_Systems/From_T2/ex22.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.1 / 1.0 s 155.0 / 155.0 s
Integer_Transition_Systems/From_T2/ex23.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/ex26.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.3 / 0.3 s
Integer_Transition_Systems/From_T2/ex27.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.6 / 1.3 s 286.8 / 286.6 s
Integer_Transition_Systems/From_T2/ex29.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/ex3.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/ex30.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.3 / 0.3 s
Integer_Transition_Systems/From_T2/ex31.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 23.6 / 22.5 s
Integer_Transition_Systems/From_T2/ex32.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.3 / 0.3 s
Integer_Transition_Systems/From_T2/ex33.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
Integer_Transition_Systems/From_T2/ex34.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
Integer_Transition_Systems/From_T2/ex36.t2.smt2 0.1 / 0.1 s 0.8 / 0.5 s 15.5 / 10.8 s 170.4 / 167.8 s
Integer_Transition_Systems/From_T2/ex4.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.7 / 0.7 s
Integer_Transition_Systems/From_T2/ex40.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 6.2 / 5.9 s 28.3 / 27.3 s
Integer_Transition_Systems/From_T2/ex6.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.2 s
Integer_Transition_Systems/From_T2/ex7.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.1 / 0.2 s
Integer_Transition_Systems/From_T2/ex8.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.3 / 5.2 s 5.6 / 4.6 s
Integer_Transition_Systems/From_T2/ex9.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.5 / 5.4 s 5.9 / 5.0 s
Integer_Transition_Systems/From_T2/example.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.1 / 0.2 s
er_Transition_Systems/From_T2/fake-succeed.t2.smt2 0.1 / 0.1 s 0.8 / 0.6 s 5.3 / 4.1 s 300.1 / 300.0 s
teger_Transition_Systems/From_T2/fast_poll.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.6 / 1.3 s 300.6 / 300.0 s
Integer_Transition_Systems/From_T2/fdct.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 1.3 / 1.3 s
Integer_Transition_Systems/From_T2/fermat.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.1 / 5.0 s 1.1 / 1.1 s
Integer_Transition_Systems/From_T2/fibcall.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.2 / 0.2 s
Integer_Transition_Systems/From_T2/fir.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 2.1 / 2.1 s
nteger_Transition_Systems/From_T2/firewire.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 445.4 / 300.0 s 300.3 / 300.0 s
nteger_Transition_Systems/From_T2/flipflop.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.8 s 4.3 / 3.3 s
Integer_Transition_Systems/From_T2/florian.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.1 / 0.1 s
_Transition_Systems/From_T2/florian_new_ex.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 74.5 / 58.9 s 1.8 / 1.9 s
er_Transition_Systems/From_T2/florian_pldi.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.9 / 0.8 s 0.8 / 0.8 s
er_Transition_Systems/From_T2/florian_sas1.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 13.2 / 11.8 s 0.7 / 0.7 s
er_Transition_Systems/From_T2/florian_sas2.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 10.5 / 10.5 s
r_Transition_Systems/From_T2/florian_sumit.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 116.0 / 86.2 s 300.3 / 300.0 s
ystems/From_T2/fourn.c.i.fourn.pl.t2.fixed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 15.0 / 13.6 s 300.6 / 300.0 s
m_T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 15.2 / 13.7 s 300.5 / 300.0 s
Integer_Transition_Systems/From_T2/fourn.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 15.2 / 13.7 s 301.1 / 300.0 s
r_Transition_Systems/From_T2/fuhs-inflasso.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.3 / 0.3 s
Integer_Transition_Systems/From_T2/fun1.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.7 s 310.0 / 300.0 s
Integer_Transition_Systems/From_T2/fun10.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 40.5 / 35.3 s 63.2 / 60.5 s
Integer_Transition_Systems/From_T2/fun10b.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 33.7 / 29.3 s 60.3 / 57.6 s
Integer_Transition_Systems/From_T2/fun11.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 28.7 / 27.6 s
Integer_Transition_Systems/From_T2/fun1b.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.7 s 310.6 / 300.0 s
Integer_Transition_Systems/From_T2/fun2.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.7 s 309.6 / 301.3 s
Integer_Transition_Systems/From_T2/fun2b.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.7 s 14.9 / 14.9 s
Integer_Transition_Systems/From_T2/fun3.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.7 s 13.9 / 14.0 s
nteger_Transition_Systems/From_T2/fun4-alt.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 18.0 / 15.8 s 118.9 / 119.0 s
Integer_Transition_Systems/From_T2/fun4.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 29.5 / 28.5 s
Integer_Transition_Systems/From_T2/fun5.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.4 s 28.9 / 27.8 s
Integer_Transition_Systems/From_T2/fun6.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.7 s 300.9 / 300.0 s
Integer_Transition_Systems/From_T2/fun7.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.5 s 144.2 / 143.5 s
Integer_Transition_Systems/From_T2/fun8.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.6 s 1.6 / 1.6 s
Integer_Transition_Systems/From_T2/fun9.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 15.7 / 13.8 s 80.8 / 71.7 s
nteger_Transition_Systems/From_T2/graycode.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 6.8 / 6.8 s
Integer_Transition_Systems/From_T2/heidy1.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 6.0 / 5.8 s 28.1 / 27.4 s
Integer_Transition_Systems/From_T2/heidy10.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.2 / 0.2 s
Integer_Transition_Systems/From_T2/heidy2.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 6.0 / 5.8 s 19.3 / 8.7 s
Integer_Transition_Systems/From_T2/heidy3.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.0 / 5.0 s 4.5 / 3.5 s
Integer_Transition_Systems/From_T2/heidy5.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/heidy6.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 7.2 / 6.8 s 28.3 / 27.3 s
Integer_Transition_Systems/From_T2/heidy7.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.9 / 5.7 s 20.0 / 19.0 s
Integer_Transition_Systems/From_T2/heidy8.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.2 / 5.1 s 20.1 / 19.0 s
Integer_Transition_Systems/From_T2/heidy9.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.1 / 0.1 s
on_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2.smt2 0.0 / 0.1 s 0.8 / 0.5 s 8.7 / 6.1 s 300.4 / 300.0 s
/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.smt2 0.0 / 0.1 s 0.8 / 0.5 s 8.8 / 6.2 s 300.4 / 300.0 s
Integer_Transition_Systems/From_T2/hqr.t2.smt2 0.0 / 0.1 s 0.8 / 0.5 s 9.6 / 6.7 s 300.9 / 300.0 s
Integer_Transition_Systems/From_T2/huh.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 1.0 / 1.0 s
Integer_Transition_Systems/From_T2/iecs.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.2 / 5.2 s 0.1 / 0.1 s
eger_Transition_Systems/From_T2/insertsort.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 28.4 / 27.4 s
teger_Transition_Systems/From_T2/intSqRoot.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.0 / 5.1 s 21.4 / 20.5 s
tems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2.smt2 0.0 / 0.0 s 0.8 / 0.5 s 2.4 / 1.9 s 8.8 / 8.8 s
Integer_Transition_Systems/From_T2/jacobi.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 2.4 / 1.8 s 8.8 / 8.9 s
r_Transition_Systems/From_T2/janne_complex.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 298.1 / 300.0 s
er_Transition_Systems/From_T2/java_AG313.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.3 / 0.3 s
ansition_Systems/From_T2/java_AProVEMath.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.0 / 0.9 s 1.5 / 1.5 s
Systems/From_T2/java_AProVEMathRecursive.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 8.6 / 8.0 s 1.7 / 1.7 s
ransition_Systems/From_T2/java_Ackermann.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 9.1 / 8.4 s 0.7 / 0.7 s
eger_Transition_Systems/From_T2/java_Avg.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 30.3 / 25.7 s 154.1 / 154.1 s
er_Transition_Systems/From_T2/java_Break.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.2 / 0.2 s
ansition_Systems/From_T2/java_BubbleSort.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.0 / 0.9 s 7.9 / 8.0 s
ransition_Systems/From_T2/java_Continue1.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.2 / 0.2 s
ger_Transition_Systems/From_T2/java_Diff.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 11.8 / 10.7 s 299.5 / 300.0 s
ransition_Systems/From_T2/java_DivMinus1.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.3 / 0.3 s
ransition_Systems/From_T2/java_DivMinus2.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 78.6 / 62.9 s 300.2 / 300.0 s
ion_Systems/From_T2/java_DivWithoutMinus.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 6.9 / 6.5 s 1.8 / 1.8 s
_Transition_Systems/From_T2/java_Double1.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 16.1 / 13.9 s 108.3 / 109.3 s
_Transition_Systems/From_T2/java_Double2.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.7 s 0.3 / 0.3 s
_Transition_Systems/From_T2/java_Double3.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.8 s 0.4 / 0.4 s
ransition_Systems/From_T2/java_Duplicate.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.2 / 0.2 s
sition_Systems/From_T2/java_EqUserDefRec.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.2 / 0.2 s
_Transition_Systems/From_T2/java_FactSum.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.8 s 0.4 / 0.5 s
ransition_Systems/From_T2/java_Factorial.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.1 / 0.2 s
sition_Systems/From_T2/java_FibRecursive.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.7 s 0.3 / 0.3 s
er_Transition_Systems/From_T2/java_Hanoi.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.0 / 5.0 s 0.5 / 0.6 s
sition_Systems/From_T2/java_LeUserDefRec.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.2 / 0.2 s
ansition_Systems/From_T2/java_LogBuiltIn.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.3 / 0.3 s
sition_Systems/From_T2/java_MinusBuiltIn.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.2 / 0.2 s
Transition_Systems/From_T2/java_MinusMin.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 4.9 / 4.9 s 0.3 / 0.3 s
r_Transition_Systems/From_T2/java_Nested.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.5 / 0.5 s
ansition_Systems/From_T2/java_NestedLoop.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.3 / 1.2 s 1.6 / 1.6 s
Transition_Systems/From_T2/java_PlusSwap.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.3 / 1.3 s 2.2 / 2.2 s
ansition_Systems/From_T2/java_Recursions.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.2 / 1.1 s 1.9 / 1.9 s
Transition_Systems/From_T2/java_Sequence.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.4 / 0.4 s
on_Systems/From_T2/java_TimesPlusUserDef.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.9 / 0.9 s 0.6 / 0.6 s
eger_Transition_Systems/From_T2/jfdctint.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 0.6 / 0.6 s
nteger_Transition_Systems/From_T2/jfdctint.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 1.0 / 1.0 s
Integer_Transition_Systems/From_T2/l1.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.1 / 5.0 s 6.1 / 5.0 s
Integer_Transition_Systems/From_T2/loop3.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 248.2 / 157.5 s 59.8 / 53.8 s
r_Transition_Systems/From_T2/loop_on_input.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.3 / 0.3 s
tems/From_T2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 4.8 / 4.2 s 18.2 / 18.2 s
Integer_Transition_Systems/From_T2/ludcmp.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 8.0 / 7.0 s 7.4 / 7.4 s
Integer_Transition_Systems/From_T2/magic.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.4 / 4.5 s 142.6 / 142.4 s
Integer_Transition_Systems/From_T2/matmul.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 1.2 / 1.2 s
Integer_Transition_Systems/From_T2/matmult.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.6 s 3.3 / 3.3 s
eger_Transition_Systems/From_T2/matrixsqrt.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.1 / 1.0 s 1.7 / 1.7 s
Integer_Transition_Systems/From_T2/mc91.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 134.2 / 134.2 s
nteger_Transition_Systems/From_T2/mc91test.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 126.0 / 125.9 s
Integer_Transition_Systems/From_T2/minmax.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 0.0 / 0.1 s
Integer_Transition_Systems/From_T2/n-1.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 5.4 / 4.5 s
Integer_Transition_Systems/From_T2/n-10.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 58.0 / 52.1 s
Integer_Transition_Systems/From_T2/n-12.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 4.7 / 3.6 s
Integer_Transition_Systems/From_T2/n-12a.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.8 s 3.6 / 2.6 s
Integer_Transition_Systems/From_T2/n-13.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.7 / 1.5 s 4.5 / 3.5 s
Integer_Transition_Systems/From_T2/n-14.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 6.2 / 5.2 s
Integer_Transition_Systems/From_T2/n-15.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.6 / 5.5 s 4.6 / 3.6 s
Integer_Transition_Systems/From_T2/n-15a.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 145.0 / 145.3 s
Integer_Transition_Systems/From_T2/n-16a.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.8 s 4.6 / 3.7 s
Integer_Transition_Systems/From_T2/n-17.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.6 / 5.5 s 4.5 / 3.5 s
Integer_Transition_Systems/From_T2/n-18.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.8 / 5.7 s 4.5 / 3.5 s
Integer_Transition_Systems/From_T2/n-18a.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.8 s 4.7 / 3.7 s
Integer_Transition_Systems/From_T2/n-1c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 44.4 / 43.2 s
Integer_Transition_Systems/From_T2/n-1d.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 67.5 / 66.4 s
Integer_Transition_Systems/From_T2/n-20.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.7 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/n-21.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 15.3 / 14.3 s
Integer_Transition_Systems/From_T2/n-3.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 6.2 / 6.0 s 5.5 / 4.5 s
Integer_Transition_Systems/From_T2/n-32.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.9 / 0.8 s 7.5 / 6.6 s
Integer_Transition_Systems/From_T2/n-33.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.1 / 5.1 s 55.6 / 54.4 s
Integer_Transition_Systems/From_T2/n-36.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 300.8 / 300.0 s
Integer_Transition_Systems/From_T2/n-37.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 7.8 / 7.2 s 28.5 / 27.5 s
Integer_Transition_Systems/From_T2/n-38.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
Integer_Transition_Systems/From_T2/n-3a.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 15.4 / 14.5 s
Integer_Transition_Systems/From_T2/n-4.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 13.3 / 12.3 s
Integer_Transition_Systems/From_T2/n-40.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 32.6 / 31.6 s
Integer_Transition_Systems/From_T2/n-46.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 6.5 / 6.2 s 28.0 / 27.0 s
Integer_Transition_Systems/From_T2/n-48.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 7.2 / 6.8 s 7.4 / 6.5 s
Integer_Transition_Systems/From_T2/n-5.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 35.9 / 32.1 s
Integer_Transition_Systems/From_T2/n-6.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 130.7 / 129.7 s
Integer_Transition_Systems/From_T2/n-6a.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 6.5 / 5.6 s
Integer_Transition_Systems/From_T2/n-7.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 9.5 / 8.4 s
Integer_Transition_Systems/From_T2/n-8.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 18.1 / 17.0 s
Integer_Transition_Systems/From_T2/n-8a.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.9 / 0.9 s 6.7 / 5.7 s
Integer_Transition_Systems/From_T2/n-9.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 18.3 / 17.3 s
Systems/From_T2/n_firewire_instrumented-PP.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 423.4 / 300.0 s 312.6 / 300.0 s
Integer_Transition_Systems/From_T2/nakata.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 398.1 / 300.0 s 300.7 / 300.0 s
ansition_Systems/From_T2/nakata_withassume.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 384.0 / 300.0 s 300.7 / 300.0 s
Integer_Transition_Systems/From_T2/ndes.t2.smt2 0.1 / 0.1 s 0.8 / 0.6 s 15.1 / 11.0 s 300.1 / 300.0 s
tion_Systems/From_T2/neg-1394complete-fail.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 30.7 / 27.7 s 300.5 / 300.0 s
n_Systems/From_T2/neg-1394complete-succeed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 24.6 / 21.9 s 300.5 / 300.0 s
Transition_Systems/From_T2/neg-acqrel-fail.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.0 / 1.0 s 81.0 / 79.9 s
on_Systems/From_T2/neg-e-1394complete-fail.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 21.9 / 19.5 s 300.5 / 300.0 s
Systems/From_T2/neg-e-1394complete-succeed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 21.9 / 19.5 s 300.5 / 300.0 s
ansition_Systems/From_T2/neg-e-acqrel-fail.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.2 / 5.1 s 21.6 / 18.6 s
ition_Systems/From_T2/neg-e-acqrel-succeed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.2 / 5.1 s 6.7 / 5.7 s
ansition_Systems/From_T2/neg-e-pgarch-fail.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 7.7 / 6.7 s
ition_Systems/From_T2/neg-e-pgarch-succeed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 6.9 / 5.9 s
ition_Systems/From_T2/neg-e-popl07-succeed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 6.4 / 6.1 s 11.7 / 10.2 s
Transition_Systems/From_T2/neg-pgarch-fail.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 13.5 / 12.5 s
nsition_Systems/From_T2/neg-pgarch-succeed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 11.2 / 10.1 s
Transition_Systems/From_T2/neg-popl07-fail.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 12.9 / 9.5 s 11.9 / 10.7 s
nsition_Systems/From_T2/neg-popl07-succeed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 9.0 / 5.6 s 32.0 / 30.8 s
ansition_Systems/From_T2/neg-smagilla-fail.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 5.4 / 4.5 s
ition_Systems/From_T2/neg-smagilla-succeed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 13.5 / 6.5 s 6.9 / 5.9 s
_Transition_Systems/From_T2/neg-st88b-fail.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 33.4 / 32.4 s
Integer_Transition_Systems/From_T2/neg.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
Integer_Transition_Systems/From_T2/nested.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.5 / 0.5 s
Integer_Transition_Systems/From_T2/nested2.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.4 / 0.4 s
nteger_Transition_Systems/From_T2/non_term.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.9 / 5.7 s 4.7 / 3.7 s
Integer_Transition_Systems/From_T2/ns.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.5 s 3.7 / 3.7 s
_Transition_Systems/From_T2/oct_vs_subpoly.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.8 / 1.6 s 28.1 / 27.1 s
eger_Transition_Systems/From_T2/opt-tree.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 3.8 / 3.2 s 300.4 / 300.0 s
Integer_Transition_Systems/From_T2/p-1.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.1 / 5.0 s 19.9 / 18.8 s
Integer_Transition_Systems/From_T2/p-10.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.1 / 5.1 s 22.8 / 20.7 s
Integer_Transition_Systems/From_T2/p-12.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/p-13.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
Integer_Transition_Systems/From_T2/p-14.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/p-15.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/p-19.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.1 / 5.0 s 34.6 / 33.4 s
Integer_Transition_Systems/From_T2/p-19a.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.1 / 5.1 s 34.8 / 29.3 s
Integer_Transition_Systems/From_T2/p-1a.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.0 / 0.9 s 28.2 / 24.4 s
Integer_Transition_Systems/From_T2/p-1b.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/p-1c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.1 / 5.0 s 27.5 / 24.1 s
Integer_Transition_Systems/From_T2/p-1d.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 0.2 / 0.2 s
Integer_Transition_Systems/From_T2/p-20.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.1 / 5.0 s 0.2 / 0.2 s
Integer_Transition_Systems/From_T2/p-21.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.3 / 0.3 s
Integer_Transition_Systems/From_T2/p-22.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/p-3.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 0.2 / 0.2 s
Integer_Transition_Systems/From_T2/p-32.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.9 / 0.8 s 7.4 / 6.3 s
Integer_Transition_Systems/From_T2/p-33.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.1 / 5.0 s 116.4 / 115.4 s
Integer_Transition_Systems/From_T2/p-34.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.9 / 5.7 s 104.7 / 98.6 s
Integer_Transition_Systems/From_T2/p-36.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 123.1 / 110.8 s
Integer_Transition_Systems/From_T2/p-37.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 0.2 / 0.2 s
Integer_Transition_Systems/From_T2/p-38.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 0.0 / 0.1 s
Integer_Transition_Systems/From_T2/p-4.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.3 / 0.3 s
Integer_Transition_Systems/From_T2/p-40.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.2 / 0.2 s
Integer_Transition_Systems/From_T2/p-41.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
Integer_Transition_Systems/From_T2/p-42.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.3 / 0.3 s
_Transition_Systems/From_T2/p-43-terminate.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.6 s 17.9 / 17.9 s
Integer_Transition_Systems/From_T2/p-43.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 1.7 / 1.7 s
Integer_Transition_Systems/From_T2/p-44.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/p-45.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.2 / 0.2 s
Integer_Transition_Systems/From_T2/p-46.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 34.8 / 33.7 s
Integer_Transition_Systems/From_T2/p-49.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/p-5.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 35.9 / 32.2 s
Integer_Transition_Systems/From_T2/p-50.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
Integer_Transition_Systems/From_T2/p-52.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.1 / 5.1 s 26.2 / 25.1 s
Integer_Transition_Systems/From_T2/p-53.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
Integer_Transition_Systems/From_T2/p-55.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 0.3 / 0.3 s
Integer_Transition_Systems/From_T2/p-56.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/p-58.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.0 / 0.0 s
Integer_Transition_Systems/From_T2/p-60.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.1 / 0.2 s
Integer_Transition_Systems/From_T2/p-61.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.2 / 0.2 s
Integer_Transition_Systems/From_T2/p-62.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
Integer_Transition_Systems/From_T2/p-63.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.6 / 5.5 s 0.2 / 0.2 s
Integer_Transition_Systems/From_T2/p-7.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/p-7b.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/p-8.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.1 / 5.0 s 10.9 / 9.8 s
Integer_Transition_Systems/From_T2/p.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 25.8 / 22.0 s 299.9 / 300.0 s
Integer_Transition_Systems/From_T2/p_armc.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 13.7 / 12.1 s 299.9 / 300.0 s
_Transition_Systems/From_T2/pearl-necklace.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.7 s 0.6 / 0.6 s
nteger_Transition_Systems/From_T2/peculiar.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.4 / 1.3 s 8.3 / 7.2 s
nteger_Transition_Systems/From_T2/pentagon.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 381.6 / 300.0 s 78.8 / 78.0 s
Integer_Transition_Systems/From_T2/pgarch.t2.smt2 0.4 / 0.4 s 1.2 / 0.9 s 14.4 / 10.8 s 300.1 / 300.0 s
ger_Transition_Systems/From_T2/polling.bug.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.7 / 1.4 s 235.9 / 233.7 s
Integer_Transition_Systems/From_T2/polling.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.5 / 1.2 s 219.0 / 216.4 s
teger_Transition_Systems/From_T2/polyrank1.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.1 / 5.1 s 5.7 / 5.7 s
teger_Transition_Systems/From_T2/polyrank2.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.2 / 5.1 s 45.3 / 45.3 s
teger_Transition_Systems/From_T2/polyrank3.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.9 / 5.7 s 24.5 / 24.5 s
teger_Transition_Systems/From_T2/polyrank4.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 6.4 / 6.1 s 34.3 / 34.3 s
teger_Transition_Systems/From_T2/polyrank5.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 7.7 / 7.2 s 89.5 / 89.5 s
teger_Transition_Systems/From_T2/polyrank6.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.7 / 5.6 s 11.9 / 11.9 s
teger_Transition_Systems/From_T2/polyrank7.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 6.4 / 6.1 s 10.7 / 9.7 s
ger_Transition_Systems/From_T2/popl07-fail.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.9 / 5.7 s 9.1 / 8.0 s
_Transition_Systems/From_T2/popl07-succeed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.9 / 5.7 s 11.9 / 10.8 s
Integer_Transition_Systems/From_T2/ppblock.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 10.5 / 9.4 s 43.4 / 42.5 s
eger_Transition_Systems/From_T2/ppblockbug.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 13.3 / 11.7 s 71.1 / 70.3 s
ger_Transition_Systems/From_T2/ppblockterm.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 70.4 / 55.2 s 33.9 / 32.9 s
_Transition_Systems/From_T2/ppblocktermbug.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 78.6 / 61.1 s 43.2 / 42.2 s
Integer_Transition_Systems/From_T2/prime.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.9 / 0.8 s 36.0 / 35.0 s
Integer_Transition_Systems/From_T2/print.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.8 / 1.5 s 14.6 / 14.5 s
tems/From_T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 6.7 / 6.0 s 20.5 / 20.4 s
Integer_Transition_Systems/From_T2/qrdcmp.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 13.0 / 11.6 s 9.1 / 9.1 s
Integer_Transition_Systems/From_T2/queens.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.6 s 300.1 / 300.0 s
Integer_Transition_Systems/From_T2/queue_1.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.9 / 0.9 s 1.5 / 1.5 s
nteger_Transition_Systems/From_T2/queue_10.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.5 s 1.8 / 1.8 s
teger_Transition_Systems/From_T2/queue_100.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.5 s 1.8 / 2.0 s
eger_Transition_Systems/From_T2/queue_1000.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.5 s 1.8 / 1.9 s
eger_Transition_Systems/From_T2/randomwalk.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 47.6 / 38.5 s 300.1 / 300.0 s
tion_Systems/From_T2/randomwalk_withassume.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 219.5 / 158.5 s 1.9 / 1.9 s
sition_Systems/From_T2/refine_disj_problem.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 5.7 / 4.7 s
Integer_Transition_Systems/From_T2/rev_nt2.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 78.7 / 77.5 s
Integer_Transition_Systems/From_T2/rev_nt3.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 7.4 / 7.0 s 44.0 / 42.7 s
Integer_Transition_Systems/From_T2/rev_nt4.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
Integer_Transition_Systems/From_T2/reverse.t2.smt2 0.1 / 0.1 s 0.8 / 0.5 s 2.8 / 2.3 s 18.8 / 18.7 s
er_Transition_Systems/From_T2/reverse_div4.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.9 / 0.8 s 39.2 / 37.9 s
nsition_Systems/From_T2/reverse_seg_cyclic.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.4 / 1.2 s 6.0 / 6.1 s
Integer_Transition_Systems/From_T2/rewrite.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.0 / 4.9 s 5.3 / 4.4 s
ystems/From_T2/rlft3.c.i.rlft3.pl.t2.fixed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 35.6 / 29.7 s 41.1 / 39.6 s
Integer_Transition_Systems/From_T2/rlft3.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 37.9 / 31.7 s 68.8 / 67.3 s
ystems/From_T2/ruslan-benchmarks_misc_n-38.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 33.0 / 26.4 s 53.2 / 51.9 s
nteger_Transition_Systems/From_T2/s1-saved.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.5 / 1.3 s 7.9 / 7.8 s
eger_Transition_Systems/From_T2/s1-striped.t2.smt2 0.1 / 0.1 s 0.8 / 0.6 s 2.3 / 1.8 s 300.5 / 300.0 s
Integer_Transition_Systems/From_T2/s1.t2.smt2 0.1 / 0.1 s 0.8 / 0.6 s 2.3 / 1.8 s 300.5 / 300.0 s
Integer_Transition_Systems/From_T2/s2.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.1 / 0.2 s
Integer_Transition_Systems/From_T2/s3-work.t2.smt2 0.3 / 0.3 s 1.0 / 0.8 s 17.3 / 13.1 s 302.9 / 300.0 s
Integer_Transition_Systems/From_T2/s3.t2.smt2 3.6 / 3.6 s 4.4 / 4.1 s 106.3 / 76.7 s 300.0 / 300.0 s
Integer_Transition_Systems/From_T2/s4.t2.smt2 9.0 / 9.1 s 10.0 / 9.8 s 394.9 / 283.0 s 300.0 / 300.0 s
teger_Transition_Systems/From_T2/sas07.cex.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 2.4 / 2.1 s 3.4 / 3.4 s
Integer_Transition_Systems/From_T2/select.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.9 / 0.8 s 298.3 / 300.0 s
eger_Transition_Systems/From_T2/selectSort.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.0 / 0.9 s 1.1 / 1.1 s
Transition_Systems/From_T2/send-more-money.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.7 / 1.4 s 0.5 / 0.5 s
Integer_Transition_Systems/From_T2/seq.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.1 / 0.1 s
Transition_Systems/From_T2/sequential_swap.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
Integer_Transition_Systems/From_T2/simple.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.6 / 5.4 s 4.7 / 3.7 s
ger_Transition_Systems/From_T2/simpleWhile.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 4.9 / 4.8 s 0.2 / 0.2 s
ion_Systems/From_T2/simple_array_inversion.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.1 / 0.1 s
on_Systems/From_T2/simple_control_on_input.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.1 / 0.1 s
ger_Transition_Systems/From_T2/simple_fail.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
eger_Transition_Systems/From_T2/simple_pre.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
ger_Transition_Systems/From_T2/simple_pre1.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
ger_Transition_Systems/From_T2/simple_pre2.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
ger_Transition_Systems/From_T2/simple_pre3.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
ransition_Systems/From_T2/simple_swap_call.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
ger_Transition_Systems/From_T2/simple_test.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.7 s 0.5 / 0.5 s
er_Transition_Systems/From_T2/simple_test2.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.0 / 4.9 s 4.3 / 3.3 s
ansition_Systems/From_T2/slayer-1-filtered.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.4 / 1.2 s 2.4 / 2.4 s
ger_Transition_Systems/From_T2/slayer-1-rf.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.8 / 5.6 s 2.9 / 2.9 s
ansition_Systems/From_T2/slayer-2-filtered.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.1 / 0.1 s
ansition_Systems/From_T2/slayer-3-filtered.t2.smt2 0.1 / 0.1 s 0.8 / 0.5 s 18.5 / 15.7 s 344.1 / 300.0 s
er_Transition_Systems/From_T2/slayer-3-new.t2.smt2 1.0 / 1.1 s 1.8 / 1.5 s 43.6 / 32.4 s 300.1 / 300.0 s
nteger_Transition_Systems/From_T2/slayer-3.t2.smt2 1.3 / 1.3 s 2.0 / 1.7 s 50.8 / 37.6 s 300.1 / 300.0 s
ansition_Systems/From_T2/slayer-4-filtered.t2.smt2 0.9 / 0.9 s 1.7 / 1.4 s 368.9 / 300.0 s 300.8 / 300.0 s
ansition_Systems/From_T2/slayer-5-filtered.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 23.2 / 20.1 s 102.5 / 101.9 s
nsition_Systems/From_T2/slayer-n1-filtered.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 6.1 / 5.9 s 34.4 / 33.2 s
teger_Transition_Systems/From_T2/slayer-n1.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.8 s 45.2 / 44.5 s
nsition_Systems/From_T2/slayer-n2-filtered.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 28.3 / 27.3 s
nsition_Systems/From_T2/slayer-n3-filtered.t2.smt2 0.0 / 0.0 s 0.8 / 0.5 s 1.2 / 1.1 s 1.0 / 1.0 s
nsition_Systems/From_T2/slayer-n5-filtered.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 21.0 / 18.2 s 153.3 / 152.7 s
ransition_Systems/From_T2/smagillb-succeed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.3 / 1.2 s 7.9 / 6.9 s
r_Transition_Systems/From_T2/smagillc-fail.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 11.0 / 5.4 s 6.9 / 5.9 s
Integer_Transition_Systems/From_T2/small01.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 28.1 / 27.1 s
Integer_Transition_Systems/From_T2/small02.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 6.9 / 6.5 s 8.2 / 7.2 s
Integer_Transition_Systems/From_T2/small03.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.9 / 5.8 s 28.1 / 27.1 s
Integer_Transition_Systems/From_T2/small04.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 6.0 / 5.9 s 28.1 / 27.1 s
Integer_Transition_Systems/From_T2/small05.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.8 / 5.7 s 7.1 / 6.1 s
Integer_Transition_Systems/From_T2/small06.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.3 / 0.3 s
Integer_Transition_Systems/From_T2/small07.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.8 s 0.6 / 0.6 s
Integer_Transition_Systems/From_T2/small08.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.8 s 1.1 / 1.2 s
Integer_Transition_Systems/From_T2/small09.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 4.9 / 4.9 s 0.6 / 0.7 s
Integer_Transition_Systems/From_T2/small10.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.9 / 0.9 s 119.9 / 119.9 s
Integer_Transition_Systems/From_T2/small11.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.8 s 2.7 / 1.6 s
Integer_Transition_Systems/From_T2/small12.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/small13.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.1 / 1.1 s 0.2 / 0.3 s
Integer_Transition_Systems/From_T2/small14.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 9.6 / 8.7 s 40.9 / 40.0 s
Integer_Transition_Systems/From_T2/small15.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 6.4 / 6.1 s 88.1 / 88.1 s
Integer_Transition_Systems/From_T2/small16.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.9 / 5.7 s 69.4 / 68.5 s
Integer_Transition_Systems/From_T2/small17.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.8 s 60.3 / 59.2 s
Integer_Transition_Systems/From_T2/small18.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.8 s 70.2 / 69.2 s
Integer_Transition_Systems/From_T2/small19.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.2 / 1.1 s 0.3 / 0.3 s
Integer_Transition_Systems/From_T2/small20.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.3 / 0.3 s
Integer_Transition_Systems/From_T2/small21.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.3 / 0.3 s
Integer_Transition_Systems/From_T2/small22.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.3 / 5.2 s 24.6 / 23.5 s
Integer_Transition_Systems/From_T2/small23.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 6.1 / 5.9 s 49.4 / 48.4 s
Integer_Transition_Systems/From_T2/small24.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.8 s 3.7 / 2.7 s
Integer_Transition_Systems/From_T2/small26.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/small27.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.0 / 0.0 s
Integer_Transition_Systems/From_T2/small28.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/small29.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.8 s 3.8 / 2.8 s
Integer_Transition_Systems/From_T2/small31.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.6 s 2.6 / 1.6 s
Integer_Transition_Systems/From_T2/small32.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.0 / 0.0 s
Integer_Transition_Systems/From_T2/small33.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.0 / 0.0 s
Integer_Transition_Systems/From_T2/small34.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/small35.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 6.1 / 5.9 s 18.8 / 17.8 s
Integer_Transition_Systems/From_T2/sort.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.8 / 0.7 s 6.9 / 6.9 s
tems/From_T2/spctrm.c.i.spctrm.pl.t2.fixed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 34.5 / 31.6 s 299.4 / 300.0 s
Integer_Transition_Systems/From_T2/spctrm.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 38.5 / 35.6 s 301.9 / 300.0 s
Integer_Transition_Systems/From_T2/spiral.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.4 / 0.4 s 300.0 / 300.0 s
nteger_Transition_Systems/From_T2/st88.bug.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 32.9 / 32.0 s
Integer_Transition_Systems/From_T2/st88.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 32.4 / 31.4 s
teger_Transition_Systems/From_T2/statemate.t2.smt2 0.4 / 0.4 s 1.1 / 0.9 s 251.7 / 163.4 s 300.1 / 300.0 s
Integer_Transition_Systems/From_T2/stored.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.1 / 5.0 s 17.7 / 16.7 s
ition_Systems/From_T2/streamserver-succeed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.1 / 0.9 s 85.0 / 82.9 s
ransition_Systems/From_T2/streamserver.bug.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.4 / 1.1 s 300.6 / 300.0 s
r_Transition_Systems/From_T2/subpoly_crash.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.9 / 5.7 s 7.1 / 6.1 s
Integer_Transition_Systems/From_T2/sudoku.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 15.8 / 13.3 s 300.7 / 300.0 s
tems/From_T2/svdcmp.c.i.svdcmp.pl.t2.fixed.t2.smt2 0.0 / 0.1 s 0.8 / 0.5 s 19.6 / 13.2 s 300.7 / 300.0 s
Integer_Transition_Systems/From_T2/svdcmp.t2.smt2 0.0 / 0.1 s 0.8 / 0.5 s 21.1 / 14.2 s 300.6 / 300.0 s
er_Transition_Systems/From_T2/test_byron_2.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.0 / 5.0 s 9.2 / 8.2 s
tems/From_T2/toeplz.c.i.toeplz.pl.t2.fixed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 2.6 / 2.3 s 6.6 / 6.7 s
Integer_Transition_Systems/From_T2/toeplz.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 2.6 / 2.3 s 7.1 / 7.1 s
_Systems/From_T2/tqli.c.i.tqli.pl.t2.fixed.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.2 / 1.0 s 301.5 / 300.0 s
Integer_Transition_Systems/From_T2/tqli.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.3 / 1.1 s 296.0 / 300.0 s
nteger_Transition_Systems/From_T2/traverse.t2.smt2 0.0 / 0.0 s 0.8 / 0.5 s 1.6 / 1.3 s 7.9 / 7.9 s
teger_Transition_Systems/From_T2/traverse2.t2.smt2 0.0 / 0.1 s 0.8 / 0.5 s 2.1 / 1.7 s 12.8 / 12.8 s
er_Transition_Systems/From_T2/traverse_seg.t2.smt2 0.0 / 0.0 s 0.8 / 0.5 s 1.9 / 1.6 s 10.6 / 10.6 s
r_Transition_Systems/From_T2/traverse_seg2.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.6 / 1.4 s 8.3 / 8.3 s
_Transition_Systems/From_T2/traverse_twice.t2.smt2 0.1 / 0.1 s 0.8 / 0.5 s 2.8 / 2.3 s 17.4 / 17.4 s
eger_Transition_Systems/From_T2/two_arrays.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 1.3 / 1.3 s
ger_Transition_Systems/From_T2/two_arrays1.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.7 / 0.7 s 2.2 / 2.3 s
ger_Transition_Systems/From_T2/two_arrays2.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.3 / 5.2 s 2.1 / 2.2 s
ger_Transition_Systems/From_T2/two_arrays6.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.3 / 5.2 s 2.1 / 2.1 s
Integer_Transition_Systems/From_T2/ud.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.1 / 1.0 s 14.7 / 14.8 s
ger_Transition_Systems/From_T2/vmcai_bytes.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 0.0 / 0.0 s
Integer_Transition_Systems/From_T2/w1.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.4 / 5.3 s 4.7 / 3.7 s
Integer_Transition_Systems/From_T2/w2_nt.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.5 s 33.1 / 32.2 s
Integer_Transition_Systems/From_T2/walk.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 21.0 / 17.8 s 60.7 / 62.0 s
nteger_Transition_Systems/From_T2/weakness.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.3 / 5.2 s 50.6 / 50.7 s
nteger_Transition_Systems/From_T2/whatwhat.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 5.3 / 5.2 s 0.1 / 0.1 s
Integer_Transition_Systems/From_T2/wrap.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 2.0 / 1.8 s 4.7 / 4.7 s
eger_Transition_Systems/From_T2/wrong_loop.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.5 / 0.5 s 104.3 / 103.3 s
nteger_Transition_Systems/From_T2/zeroconf.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 420.1 / 300.0 s 300.3 / 300.0 s
sition_Systems/From_T2/zeroconf_withassume.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 411.3 / 300.0 s 13.1 / 13.1 s
_Transition_Systems/From_T2/zlib-adler32.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.1 / 0.9 s 194.7 / 194.6 s
sition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 1.2 / 1.0 s 89.1 / 88.9 s
er_Transition_Systems/From_T2/zlib-crc32.c.t2.smt2 0.0 / 0.0 s 0.7 / 0.5 s 0.6 / 0.6 s 44.0 / 43.9 s