tion_Systems/From_AProVE_2014/AG313.jar-obl-8.smt2
|
YES
0.8 /
0.9
|
YES
0.1 /
0.1
|
YES
2.2 /
1.6
|
AProVE_2014/AProVE12-cyclic-Iterate.jar-obl-9.smt2
|
YES
1.1 /
1.1
|
.
1.1 /
1.6
|
YES
4.0 /
8.6
|
_AProVE_2014/AProVE12-cyclic-Length.jar-obl-9.smt2
|
YES
1.1 /
1.3
|
.
0.9 /
1.0
|
YES
3.6 /
6.8
|
m_AProVE_2014/AProVE12-cyclic-Visit.jar-obl-9.smt2
|
NO
1.1 /
1.0
|
.
0.6 /
1.7
|
.
288.1 /
300.0
|
Systems/From_AProVE_2014/AProVEMath.jar-obl-8.smt2
|
YES
0.9 /
2.0
|
YES
1.0 /
5.4
|
YES
2.5 /
6.0
|
rom_AProVE_2014/AProVEMathRecursive.jar-obl-8.smt2
|
YES
0.8 /
0.8
|
YES
4.3 /
4.9
|
YES
3.0 /
6.4
|
ition_Systems/From_AProVE_2014/AckR.jar-obl-8.smt2
|
YES
0.9 /
1.3
|
YES
0.5 /
2.3
|
YES
2.3 /
1.7
|
_Systems/From_AProVE_2014/Ackermann.jar-obl-8.smt2
|
YES
0.8 /
0.8
|
YES
0.3 /
0.4
|
YES
2.2 /
1.6
|
Systems/From_AProVE_2014/Alternate.jar-obl-10.smt2
|
YES
1.6 /
1.4
|
.
169.1 /
300.0
|
YES
6.2 /
3.0
|
m_AProVE_2014/AlternatingGrowReduce.jar-obl-9.smt2
|
.
55.6 /
67.4
|
.
0.8 /
1.0
|
YES
7.6 /
17.1
|
_AProVE_2014/AlternatingGrowReduce2.jar-obl-9.smt2
|
.
39.0 /
35.2
|
.
0.7 /
0.8
|
.
248.8 /
300.1
|
ProVE_2014/AlternatingGrowReduceRec.jar-obl-9.smt2
|
.
52.9 /
64.2
|
.
0.8 /
0.9
|
YES
7.7 /
4.8
|
roVE_2014/AlternatingGrowReduceRec2.jar-obl-9.smt2
|
.
63.8 /
57.1
|
.
0.8 /
1.0
|
.
416.2 /
300.0
|
ition_Systems/From_AProVE_2014/AppE.jar-obl-9.smt2
|
YES
0.8 /
0.8
|
YES
0.6 /
0.7
|
YES
2.4 /
1.7
|
sition_Systems/From_AProVE_2014/Avg.jar-obl-8.smt2
|
YES
0.8 /
0.7
|
.
0.5 /
2.2
|
YES
2.2 /
1.6
|
14/BMOG_CAV_12_MarkingGraphVisitor.jar-obl-11.smt2
|
NO
9.4 /
23.9
|
.
9.7 /
11.1
|
.
234.6 /
300.0
|
tion_Systems/From_AProVE_2014/BTree.jar-obl-9.smt2
|
YES
0.9 /
1.1
|
YES
1.7 /
4.0
|
YES
2.7 /
5.5
|
ion_Systems/From_AProVE_2014/BTreeR.jar-obl-9.smt2
|
YES
0.9 /
0.9
|
YES
2.1 /
5.4
|
YES
2.8 /
1.8
|
ms/From_AProVE_2014/BinTreeChanger.jar-obl-10.smt2
|
.
37.8 /
31.4
|
.
9.1 /
10.3
|
.
444.6 /
300.0
|
stems/From_AProVE_2014/BinarySearch.jar-obl-9.smt2
|
YES
19.9 /
18.1
|
.
279.0 /
300.0
|
YES
8.6 /
4.0
|
s/From_AProVE_2014/BinarySearchTree.jar-obl-8.smt2
|
YES
0.8 /
2.0
|
YES
0.5 /
0.6
|
YES
2.2 /
1.6
|
n_Systems/From_AProVE_2014/Binomial.jar-obl-9.smt2
|
YES
6.2 /
8.7
|
.
224.0 /
300.1
|
YES
5.2 /
7.1
|
tion_Systems/From_AProVE_2014/Break.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
0.1 /
0.2
|
YES
2.1 /
1.6
|
Systems/From_AProVE_2014/BubbleSort.jar-obl-8.smt2
|
YES
0.9 /
0.8
|
YES
7.1 /
7.9
|
YES
2.6 /
4.6
|
stems/From_AProVE_2014/BubbleSortR.jar-obl-10.smt2
|
YES
1.0 /
0.9
|
YES
32.6 /
145.0
|
YES
3.3 /
2.0
|
tion_Systems/From_AProVE_2014/CAppE.jar-obl-9.smt2
|
YES
0.8 /
0.7
|
YES
0.3 /
0.3
|
YES
2.4 /
4.6
|
tion_Systems/From_AProVE_2014/Carre.jar-obl-9.smt2
|
YES
1.3 /
1.1
|
YES
10.6 /
11.8
|
YES
2.9 /
1.9
|
ion_Systems/From_AProVE_2014/Choose.jar-obl-8.smt2
|
NO
1.0 /
1.0
|
.
0.3 /
2.0
|
NO
3.9 /
2.7
|
Systems/From_AProVE_2014/ChooseLife.jar-obl-8.smt2
|
NO
1.6 /
1.4
|
.
0.3 /
0.3
|
.
344.1 /
300.1
|
tems/From_AProVE_2014/ClassAnalysis.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
0.1 /
0.2
|
YES
2.4 /
12.2
|
s/From_AProVE_2014/ClassAnalysisRec.jar-obl-8.smt2
|
YES
0.8 /
1.8
|
YES
0.1 /
0.1
|
YES
2.2 /
1.6
|
on_Systems/From_AProVE_2014/Collatz.jar-obl-8.smt2
|
.
9.4 /
8.0
|
.
3.4 /
17.7
|
.
533.4 /
300.1
|
n_Systems/From_AProVE_2014/Continue.jar-obl-8.smt2
|
NO
0.8 /
2.3
|
.
0.1 /
0.6
|
NO
2.2 /
2.6
|
_Systems/From_AProVE_2014/Continue1.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
0.3 /
1.5
|
YES
2.2 /
1.6
|
on_Systems/From_AProVE_2014/Convert.jar-obl-9.smt2
|
NO
0.9 /
1.9
|
.
0.8 /
1.7
|
NO
2.8 /
2.0
|
Systems/From_AProVE_2014/ConvertRec.jar-obl-9.smt2
|
NO
1.8 /
1.9
|
.
2.2 /
2.5
|
NO
3.7 /
2.4
|
n_Systems/From_AProVE_2014/Count.jar-obl-10-2.smt2
|
NO
2.3 /
2.1
|
.
5.1 /
5.5
|
.
227.3 /
300.0
|
ion_Systems/From_AProVE_2014/Count.jar-obl-10.smt2
|
NO
1.4 /
1.3
|
.
2.5 /
14.4
|
NO
5.9 /
4.7
|
tems/From_AProVE_2014/CountMetaList.jar-obl-9.smt2
|
NO
1.1 /
1.4
|
.
1.2 /
1.4
|
NO
3.0 /
2.3
|
s/From_AProVE_2014/CountMetaListRec.jar-obl-9.smt2
|
NO
1.4 /
2.8
|
.
1.1 /
1.6
|
NO
3.1 /
3.6
|
stems/From_AProVE_2014/CountUpRound.jar-obl-8.smt2
|
YES
0.8 /
0.9
|
YES
1.4 /
1.6
|
YES
2.3 /
1.6
|
ms/From_AProVE_2014/CyclicAnalysis.jar-obl-10.smt2
|
YES
0.9 /
0.9
|
YES
1.6 /
1.7
|
YES
2.8 /
5.1
|
/From_AProVE_2014/CyclicAnalysisRec.jar-obl-9.smt2
|
YES
1.4 /
1.2
|
YES
1.2 /
1.3
|
YES
3.5 /
23.9
|
Systems/From_AProVE_2014/CyclicList.jar-obl-9.smt2
|
YES
0.8 /
0.8
|
YES
0.7 /
1.1
|
YES
2.4 /
1.7
|
ystems/From_AProVE_2014/CyclicPair2.jar-obl-8.smt2
|
YES
0.8 /
0.8
|
YES
0.1 /
0.2
|
YES
2.2 /
1.6
|
m_AProVE_2014/CyclicalListDuplicate.jar-obl-9.smt2
|
.
132.1 /
112.2
|
.
1.9 /
10.9
|
.
136.9 /
300.0
|
ition_Systems/From_AProVE_2014/Diff.jar-obl-8.smt2
|
YES
1.2 /
3.6
|
.
9.7 /
14.5
|
YES
2.7 /
1.9
|
Systems/From_AProVE_2014/Distances.jar-obl-19.smt2
|
YES
120.9 /
172.7
|
.
267.9 /
300.0
|
YES
13.1 /
5.8
|
_Systems/From_AProVE_2014/DivMinus.jar-obl-11.smt2
|
NO
1.8 /
1.6
|
.
21.0 /
57.9
|
NO
16.7 /
12.4
|
n_Systems/From_AProVE_2014/DivMinus.jar-obl-8.smt2
|
YES
0.8 /
0.8
|
YES
0.2 /
0.2
|
YES
2.3 /
1.7
|
_Systems/From_AProVE_2014/DivMinus2.jar-obl-8.smt2
|
YES
1.3 /
1.2
|
YES
5.3 /
12.5
|
YES
10.1 /
6.3
|
ystems/From_AProVE_2014/DivTernary.jar-obl-10.smt2
|
NO
2.0 /
1.8
|
.
93.1 /
173.4
|
NO
14.5 /
6.4
|
ystems/From_AProVE_2014/DivTernary2.jar-obl-9.smt2
|
NO
1.0 /
1.0
|
.
1.6 /
2.3
|
NO
4.7 /
2.8
|
ms/From_AProVE_2014/DivWithoutMinus.jar-obl-8.smt2
|
YES
0.8 /
0.8
|
YES
0.3 /
0.3
|
YES
2.2 /
1.7
|
on_Systems/From_AProVE_2014/Domino.jar-obl-27.smt2
|
YES
136.7 /
111.1
|
.
216.4 /
300.0
|
YES
64.0 /
114.1
|
ion_Systems/From_AProVE_2014/Double.jar-obl-8.smt2
|
YES
0.8 /
0.8
|
YES
0.4 /
0.5
|
YES
2.4 /
3.3
|
on_Systems/From_AProVE_2014/Double2.jar-obl-8.smt2
|
YES
0.8 /
1.9
|
YES
0.1 /
0.1
|
YES
2.1 /
1.6
|
on_Systems/From_AProVE_2014/Double3.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
0.1 /
0.1
|
YES
2.6 /
4.8
|
Systems/From_AProVE_2014/DupTreeRec.jar-obl-9.smt2
|
YES
1.1 /
1.1
|
.
10.6 /
15.3
|
YES
3.9 /
6.4
|
_Systems/From_AProVE_2014/Duplicate.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
0.2 /
0.3
|
YES
2.2 /
1.6
|
ems/From_AProVE_2014/DuplicateNodes.jar-obl-9.smt2
|
YES
1.0 /
2.7
|
YES
2.3 /
8.6
|
YES
3.0 /
1.9
|
/From_AProVE_2014/DuplicateTreePath.jar-obl-9.smt2
|
YES
1.0 /
1.0
|
YES
6.6 /
24.8
|
YES
3.8 /
6.0
|
stems/From_AProVE_2014/EqUserDefRec.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
0.1 /
0.1
|
YES
2.5 /
3.7
|
on_Systems/From_AProVE_2014/Et1-rec.jar-obl-8.smt2
|
YES
1.1 /
1.0
|
.
0.4 /
2.3
|
YES
2.9 /
2.1
|
sition_Systems/From_AProVE_2014/Et1.jar-obl-8.smt2
|
YES
1.0 /
2.3
|
.
0.3 /
1.9
|
YES
2.4 /
1.7
|
on_Systems/From_AProVE_2014/Et2-rec.jar-obl-8.smt2
|
YES
1.9 /
1.8
|
.
0.5 /
0.6
|
YES
4.1 /
11.7
|
sition_Systems/From_AProVE_2014/Et2.jar-obl-8.smt2
|
YES
2.0 /
1.8
|
.
0.7 /
0.8
|
YES
12.9 /
9.5
|
on_Systems/From_AProVE_2014/Et3-rec.jar-obl-8.smt2
|
YES
1.2 /
1.6
|
.
0.4 /
0.5
|
YES
2.7 /
4.2
|
sition_Systems/From_AProVE_2014/Et3.jar-obl-9.smt2
|
YES
1.3 /
1.2
|
.
0.3 /
0.3
|
YES
2.7 /
1.9
|
on_Systems/From_AProVE_2014/Et4-rec.jar-obl-8.smt2
|
YES
1.3 /
1.2
|
.
0.7 /
0.8
|
YES
8.7 /
5.5
|
sition_Systems/From_AProVE_2014/Et4.jar-obl-8.smt2
|
YES
2.6 /
2.4
|
.
0.9 /
1.0
|
YES
15.0 /
11.4
|
on_Systems/From_AProVE_2014/Et5-rec.jar-obl-8.smt2
|
YES
0.8 /
0.8
|
YES
1.4 /
1.6
|
YES
2.6 /
1.8
|
sition_Systems/From_AProVE_2014/Et5.jar-obl-8.smt2
|
YES
0.8 /
0.8
|
YES
1.3 /
1.4
|
YES
2.7 /
4.7
|
on_Systems/From_AProVE_2014/Et6-rec.jar-obl-8.smt2
|
YES
0.8 /
0.8
|
YES
1.1 /
1.2
|
YES
3.0 /
2.1
|
sition_Systems/From_AProVE_2014/Et6.jar-obl-8.smt2
|
YES
0.9 /
0.8
|
YES
1.4 /
1.5
|
YES
2.9 /
1.9
|
on_Systems/From_AProVE_2014/EvenOdd.jar-obl-8.smt2
|
NO
0.9 /
1.9
|
.
3.6 /
4.1
|
NO
2.9 /
2.1
|
sition_Systems/From_AProVE_2014/Exc.jar-obl-8.smt2
|
YES
0.8 /
0.7
|
YES
0.3 /
0.4
|
YES
2.2 /
1.6
|
ition_Systems/From_AProVE_2014/Exc1.jar-obl-8.smt2
|
NO
1.0 /
1.5
|
.
0.2 /
0.2
|
NO
9.3 /
5.9
|
ition_Systems/From_AProVE_2014/Exc2.jar-obl-8.smt2
|
NO
1.2 /
2.0
|
.
0.2 /
0.2
|
NO
13.0 /
7.9
|
ition_Systems/From_AProVE_2014/Exc3.jar-obl-8.smt2
|
YES
0.8 /
2.2
|
YES
0.3 /
0.3
|
YES
2.3 /
3.3
|
ition_Systems/From_AProVE_2014/Exc4.jar-obl-8.smt2
|
NO
1.2 /
1.2
|
.
0.2 /
0.3
|
NO
12.2 /
29.8
|
ition_Systems/From_AProVE_2014/Exc5.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
0.3 /
0.3
|
YES
2.4 /
1.8
|
on_Systems/From_AProVE_2014/FactSLR.jar-obl-8.smt2
|
YES
1.8 /
1.7
|
.
0.5 /
0.5
|
YES
3.2 /
2.3
|
on_Systems/From_AProVE_2014/FactSum.jar-obl-9.smt2
|
YES
0.7 /
0.8
|
YES
0.1 /
0.2
|
YES
2.5 /
4.3
|
ystems/From_AProVE_2014/FactSumList.jar-obl-8.smt2
|
YES
0.9 /
1.7
|
YES
4.5 /
24.8
|
YES
2.6 /
1.9
|
_Systems/From_AProVE_2014/Factorial.jar-obl-8.smt2
|
YES
0.8 /
1.3
|
YES
0.1 /
0.1
|
YES
2.2 /
1.6
|
ion_Systems/From_AProVE_2014/FibSLR.jar-obl-8.smt2
|
YES
1.9 /
2.8
|
.
0.5 /
0.6
|
YES
3.8 /
5.7
|
_Systems/From_AProVE_2014/Fibonacci.jar-obl-8.smt2
|
YES
0.8 /
0.7
|
YES
0.7 /
0.7
|
YES
2.2 /
2.6
|
n_Systems/From_AProVE_2014/Flatten.jar-obl-10.smt2
|
NO
1.5 /
1.4
|
.
3.8 /
11.0
|
NO
5.6 /
3.4
|
ystems/From_AProVE_2014/FlattenRTA.jar-obl-10.smt2
|
NO
1.2 /
1.8
|
.
3.7 /
8.4
|
NO
4.4 /
2.6
|
ystems/From_AProVE_2014/FlattenTree.jar-obl-9.smt2
|
NO
1.1 /
1.6
|
.
2.3 /
13.2
|
NO
36.5 /
34.4
|
rom_AProVE_2014/FlattenTreeListRec.jar-obl-10.smt2
|
NO
1.5 /
1.3
|
.
4.3 /
12.5
|
NO
3.9 /
7.0
|
ems/From_AProVE_2014/FlattenTreeRec.jar-obl-9.smt2
|
NO
1.2 /
1.1
|
.
2.0 /
2.2
|
NO
3.4 /
2.2
|
_Systems/From_AProVE_2014/Fractale1.jar-obl-8.smt2
|
YES
1.0 /
0.9
|
YES
18.6 /
20.8
|
YES
3.6 /
2.1
|
sition_Systems/From_AProVE_2014/GCD.jar-obl-8.smt2
|
YES
0.8 /
1.0
|
YES
0.5 /
0.6
|
YES
2.5 /
1.8
|
ition_Systems/From_AProVE_2014/GCD2.jar-obl-8.smt2
|
YES
0.8 /
0.8
|
YES
0.5 /
0.6
|
YES
2.3 /
1.7
|
ition_Systems/From_AProVE_2014/GCD3.jar-obl-8.smt2
|
YES
0.8 /
0.9
|
YES
1.7 /
1.9
|
YES
2.3 /
1.7
|
ition_Systems/From_AProVE_2014/GCD4.jar-obl-8.smt2
|
YES
0.9 /
2.8
|
YES
1.8 /
2.1
|
YES
2.3 /
1.7
|
ition_Systems/From_AProVE_2014/GCD5.jar-obl-8.smt2
|
.
0.9 /
10.2
|
YES
0.3 /
0.8
|
YES
2.6 /
1.8
|
on_Systems/From_AProVE_2014/Gopher.jar-obl-10.smt2
|
YES
1.2 /
1.2
|
YES
3.6 /
4.0
|
YES
3.1 /
1.9
|
ion_Systems/From_AProVE_2014/Graph.jar-obl-17.smt2
|
.
87.9 /
93.0
|
.
163.5 /
217.2
|
NO
13.1 /
6.0
|
_Systems/From_AProVE_2014/GrowTreeR.jar-obl-9.smt2
|
YES
1.0 /
1.0
|
YES
10.1 /
11.1
|
YES
3.5 /
2.0
|
ition_Systems/From_AProVE_2014/HanR.jar-obl-8.smt2
|
YES
0.8 /
2.3
|
YES
0.2 /
0.3
|
YES
2.5 /
4.6
|
tion_Systems/From_AProVE_2014/Hanoi.jar-obl-8.smt2
|
YES
0.8 /
1.8
|
YES
0.1 /
0.5
|
YES
2.2 /
1.6
|
ems/From_AProVE_2014/Infix2Postfix.jar-obl-11.smt2
|
YES
1.7 /
1.5
|
YES
51.6 /
57.3
|
YES
5.3 /
2.6
|
ition_Systems/From_AProVE_2014/Init.jar-obl-8.smt2
|
NO
0.8 /
2.4
|
.
0.0 /
0.1
|
NO
2.2 /
1.7
|
tems/From_AProVE_2014/IntListDupRec.jar-obl-9.smt2
|
YES
0.8 /
0.8
|
YES
0.8 /
1.2
|
YES
2.7 /
6.6
|
tems/From_AProVE_2014/IntListSumRec.jar-obl-9.smt2
|
YES
0.8 /
0.8
|
YES
0.3 /
0.4
|
YES
2.3 /
4.0
|
ion_Systems/From_AProVE_2014/IntRTA.jar-obl-8.smt2
|
YES
0.8 /
0.7
|
YES
0.5 /
0.5
|
YES
2.5 /
6.6
|
Systems/From_AProVE_2014/Iterations.jar-obl-8.smt2
|
YES
2.6 /
3.3
|
.
91.2 /
300.0
|
YES
3.4 /
2.1
|
n_Systems/From_AProVE_2014/Kernel68.jar-obl-9.smt2
|
YES
3.2 /
6.6
|
YES
29.7 /
35.8
|
YES
6.1 /
2.9
|
n_Systems/From_AProVE_2014/Kernel88.jar-obl-9.smt2
|
YES
1.3 /
2.9
|
YES
8.3 /
62.4
|
YES
3.5 /
6.4
|
n_Systems/From_AProVE_2014/Kernel93.jar-obl-9.smt2
|
NO
2.8 /
5.8
|
.
2.9 /
3.3
|
.
678.1 /
300.0
|
n_Systems/From_AProVE_2014/Kernel95.jar-obl-9.smt2
|
YES
1.3 /
2.7
|
YES
2.9 /
3.2
|
YES
3.1 /
2.1
|
ystems/From_AProVE_2014/KnapsackDP.jar-obl-11.smt2
|
.
34.5 /
33.0
|
.
11.8 /
55.0
|
.
150.1 /
300.1
|
stems/From_AProVE_2014/LeUserDefRec.jar-obl-8.smt2
|
YES
0.8 /
0.7
|
YES
0.1 /
0.6
|
YES
2.4 /
4.0
|
ystems/From_AProVE_2014/LessLeaves.jar-obl-10.smt2
|
NO
1.4 /
1.7
|
.
7.6 /
8.5
|
NO
4.6 /
2.8
|
ems/From_AProVE_2014/LessLeavesRec.jar-obl-10.smt2
|
NO
3.2 /
2.7
|
.
265.4 /
300.0
|
.
498.8 /
300.0
|
ystems/From_AProVE_2014/LinkedList.jar-obl-10.smt2
|
NO
1.1 /
1.1
|
.
0.5 /
0.6
|
NO
3.0 /
2.8
|
tion_Systems/From_AProVE_2014/List.jar-obl-12.smt2
|
NO
1.1 /
1.1
|
.
1.2 /
4.8
|
NO
3.6 /
4.7
|
ystems/From_AProVE_2014/ListContent.jar-obl-9.smt2
|
NO
0.8 /
1.0
|
.
0.3 /
0.4
|
NO
2.7 /
1.9
|
m_AProVE_2014/ListContentArbitrary.jar-obl-10.smt2
|
YES
0.9 /
9.4
|
YES
0.4 /
0.5
|
YES
2.6 /
4.1
|
s/From_AProVE_2014/ListContentTail.jar-obl-10.smt2
|
YES
1.1 /
2.3
|
YES
2.3 /
2.5
|
YES
2.9 /
2.0
|
tems/From_AProVE_2014/ListDuplicate.jar-obl-9.smt2
|
YES
0.8 /
1.6
|
YES
0.5 /
0.6
|
YES
2.6 /
5.2
|
n_Systems/From_AProVE_2014/ListInt.jar-obl-12.smt2
|
NO
1.7 /
3.8
|
.
3.1 /
3.5
|
NO
4.6 /
6.6
|
_AProVE_2014/ListReverseAcyclicList.jar-obl-9.smt2
|
YES
0.8 /
1.4
|
YES
0.3 /
0.3
|
YES
2.5 /
1.9
|
_AProVE_2014/ListReverseCyclicList.jar-obl-10.smt2
|
YES
1.0 /
0.9
|
YES
2.9 /
3.2
|
YES
3.3 /
9.9
|
roVE_2014/ListReversePanhandleList.jar-obl-11.smt2
|
YES
1.2 /
3.0
|
YES
3.2 /
3.6
|
YES
3.2 /
2.0
|
sition_Systems/From_AProVE_2014/Log.jar-obl-8.smt2
|
.
201.5 /
300.0
|
.
1.1 /
1.3
|
YES
9.2 /
5.5
|
tion_Systems/From_AProVE_2014/LogAG.jar-obl-8.smt2
|
.
181.6 /
300.0
|
.
1.4 /
1.6
|
YES
8.3 /
9.2
|
Systems/From_AProVE_2014/LogBuiltIn.jar-obl-8.smt2
|
YES
0.8 /
2.0
|
YES
0.4 /
0.4
|
YES
2.2 /
1.7
|
stems/From_AProVE_2014/LogIterative.jar-obl-8.smt2
|
YES
0.8 /
1.5
|
YES
0.4 /
1.8
|
YES
2.5 /
4.0
|
on_Systems/From_AProVE_2014/LogMult.jar-obl-8.smt2
|
.
0.8 /
0.8
|
YES
0.3 /
0.3
|
YES
2.2 /
1.6
|
stems/From_AProVE_2014/LogRecursive.jar-obl-8.smt2
|
YES
0.9 /
2.1
|
YES
0.9 /
1.4
|
YES
2.5 /
1.8
|
ition_Systems/From_AProVE_2014/Loop.jar-obl-8.smt2
|
NO
0.7 /
0.7
|
.
0.1 /
0.1
|
NO
2.2 /
1.6
|
tion_Systems/From_AProVE_2014/Loop1.jar-obl-8.smt2
|
YES
0.8 /
1.1
|
YES
0.4 /
2.2
|
YES
2.5 /
1.8
|
ems/From_AProVE_2014/LoopingNonterm.jar-obl-8.smt2
|
NO
0.9 /
2.0
|
.
0.4 /
2.3
|
NO
2.9 /
2.6
|
tion_Systems/From_AProVE_2014/Main.jar-obl-11.smt2
|
YES
3.4 /
2.9
|
.
213.0 /
300.0
|
YES
6.6 /
8.0
|
_Systems/From_AProVE_2014/MainCopy.jar-obl-10.smt2
|
NO
1.2 /
1.4
|
.
2.2 /
10.9
|
NO
5.8 /
12.5
|
ystems/From_AProVE_2014/MainDelete.jar-obl-10.smt2
|
NO
1.8 /
1.6
|
.
4.1 /
4.5
|
NO
6.6 /
8.3
|
_Systems/From_AProVE_2014/MainFind.jar-obl-10.smt2
|
NO
1.7 /
3.3
|
.
2.8 /
10.4
|
NO
5.7 /
3.2
|
n_Systems/From_AProVE_2014/MainGet.jar-obl-10.smt2
|
NO
1.4 /
1.3
|
.
1.6 /
1.8
|
NO
4.5 /
2.8
|
_Systems/From_AProVE_2014/MainMove.jar-obl-11.smt2
|
NO
2.5 /
2.1
|
.
50.4 /
57.4
|
NO
7.2 /
6.9
|
on_Systems/From_AProVE_2014/Matrix.jar-obl-16.smt2
|
NO
39.1 /
32.9
|
.
57.9 /
300.0
|
.
883.9 /
300.1
|
/From_AProVE_2014/McCarthyIterative.jar-obl-8.smt2
|
YES
0.8 /
0.8
|
.
0.4 /
0.8
|
YES
2.2 /
1.6
|
Systems/From_AProVE_2014/MergeSort.jar-obl-12.smt2
|
YES
2.1 /
1.8
|
YES
40.7 /
57.4
|
YES
5.9 /
7.1
|
stems/From_AProVE_2014/MinusBuiltIn.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
0.2 /
0.7
|
YES
2.2 /
1.6
|
n_Systems/From_AProVE_2014/MinusMin.jar-obl-8.smt2
|
YES
1.0 /
1.0
|
.
1.9 /
4.4
|
YES
5.0 /
7.4
|
s/From_AProVE_2014/MinusUserDefined.jar-obl-8.smt2
|
.
310.2 /
300.0
|
.
0.6 /
1.1
|
YES
16.1 /
31.6
|
s/From_AProVE_2014/MirrorBinTreeRec.jar-obl-9.smt2
|
YES
1.3 /
1.2
|
.
204.8 /
300.0
|
YES
5.5 /
7.3
|
From_AProVE_2014/MirrorMultiTreeRec.jar-obl-9.smt2
|
YES
1.0 /
1.0
|
YES
9.0 /
10.1
|
YES
3.4 /
2.2
|
Systems/From_AProVE_2014/MirrorTree.jar-obl-9.smt2
|
YES
0.9 /
2.0
|
YES
1.8 /
5.7
|
YES
3.0 /
6.9
|
sition_Systems/From_AProVE_2014/Mod.jar-obl-8.smt2
|
YES
1.2 /
1.1
|
YES
3.2 /
3.6
|
YES
15.0 /
9.6
|
Systems/From_AProVE_2014/MultiLasso.jar-obl-8.smt2
|
.
358.6 /
300.0
|
.
1.7 /
1.9
|
.
581.9 /
300.0
|
From_AProVE_2014/MysteriousProgram.jar-obl-12.smt2
|
.
15.2 /
12.7
|
.
67.0 /
75.3
|
.
837.2 /
300.0
|
tion_Systems/From_AProVE_2014/NO_00.jar-obl-8.smt2
|
NO
0.8 /
2.4
|
.
0.0 /
0.1
|
NO
2.3 /
1.6
|
tion_Systems/From_AProVE_2014/NO_01.jar-obl-8.smt2
|
NO
0.7 /
0.7
|
.
0.0 /
0.1
|
NO
2.2 /
2.8
|
tion_Systems/From_AProVE_2014/NO_02.jar-obl-8.smt2
|
NO
0.8 /
0.8
|
.
0.1 /
0.3
|
NO
2.5 /
4.2
|
tion_Systems/From_AProVE_2014/NO_03.jar-obl-8.smt2
|
.
4.3 /
7.7
|
.
0.2 /
0.3
|
.
337.0 /
300.0
|
tion_Systems/From_AProVE_2014/NO_04.jar-obl-8.smt2
|
NO
0.7 /
0.9
|
.
0.0 /
0.1
|
NO
2.3 /
1.6
|
tion_Systems/From_AProVE_2014/NO_05.jar-obl-9.smt2
|
.
7.2 /
7.1
|
.
0.4 /
2.0
|
.
168.0 /
223.6
|
tion_Systems/From_AProVE_2014/NO_06.jar-obl-8.smt2
|
NO
0.7 /
0.7
|
.
0.1 /
0.1
|
NO
2.3 /
1.7
|
tion_Systems/From_AProVE_2014/NO_10.jar-obl-8.smt2
|
NO
1.9 /
2.1
|
.
0.2 /
0.3
|
NO
2.5 /
22.3
|
tion_Systems/From_AProVE_2014/NO_11.jar-obl-8.smt2
|
.
8.7 /
7.3
|
.
0.3 /
0.3
|
.
533.6 /
300.1
|
tion_Systems/From_AProVE_2014/NO_12.jar-obl-8.smt2
|
.
236.5 /
300.0
|
.
0.4 /
0.7
|
.
325.7 /
300.0
|
tion_Systems/From_AProVE_2014/NO_13.jar-obl-8.smt2
|
NO
1.0 /
1.0
|
.
0.4 /
0.5
|
.
579.3 /
300.0
|
tion_Systems/From_AProVE_2014/NO_20.jar-obl-8.smt2
|
NO
0.7 /
0.7
|
.
0.0 /
0.1
|
NO
2.3 /
1.7
|
tion_Systems/From_AProVE_2014/NO_21.jar-obl-8.smt2
|
NO
0.7 /
0.8
|
.
0.0 /
0.1
|
NO
2.2 /
1.6
|
tion_Systems/From_AProVE_2014/NO_22.jar-obl-8.smt2
|
NO
1.0 /
1.0
|
.
0.3 /
0.3
|
.
671.3 /
300.0
|
tion_Systems/From_AProVE_2014/NO_23.jar-obl-8.smt2
|
.
3.6 /
9.5
|
.
0.2 /
1.5
|
.
163.1 /
300.0
|
tion_Systems/From_AProVE_2014/NO_24.jar-obl-8.smt2
|
NO
1.0 /
3.0
|
.
0.3 /
0.3
|
.
197.4 /
300.1
|
ition_Systems/From_AProVE_2014/Nest.jar-obl-8.smt2
|
YES
0.8 /
2.5
|
YES
0.3 /
0.4
|
YES
2.4 /
3.7
|
ion_Systems/From_AProVE_2014/Nested.jar-obl-8.smt2
|
YES
0.8 /
0.8
|
YES
1.9 /
5.2
|
YES
2.2 /
1.7
|
ystems/From_AProVE_2014/NestedLoop.jar-obl-10.smt2
|
YES
15.2 /
14.7
|
.
0.8 /
0.9
|
YES
12.3 /
6.8
|
rom_AProVE_2014/NonPeriodicNonterm2.jar-obl-8.smt2
|
.
10.2 /
16.7
|
.
0.5 /
1.1
|
.
624.2 /
300.0
|
ition_Systems/From_AProVE_2014/Norm.jar-obl-9.smt2
|
NO
1.9 /
2.2
|
.
25.7 /
28.6
|
NO
7.8 /
7.3
|
n_Systems/From_AProVE_2014/Overflow.jar-obl-8.smt2
|
YES
0.9 /
2.3
|
YES
0.2 /
0.2
|
YES
2.1 /
4.5
|
ems/From_AProVE_2014/PartitionList.jar-obl-16.smt2
|
YES
6.7 /
5.0
|
YES
58.3 /
63.5
|
YES
9.5 /
5.4
|
tion_Systems/From_AProVE_2014/Parts.jar-obl-9.smt2
|
YES
1.1 /
2.4
|
YES
12.6 /
14.3
|
YES
3.0 /
7.4
|
on_Systems/From_AProVE_2014/PastaA1.jar-obl-8.smt2
|
YES
0.8 /
0.8
|
YES
1.4 /
6.2
|
YES
2.2 /
1.6
|
n_Systems/From_AProVE_2014/PastaA10.jar-obl-8.smt2
|
.
8.6 /
11.9
|
YES
0.3 /
1.1
|
YES
6.9 /
3.9
|
on_Systems/From_AProVE_2014/PastaA4.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
0.2 /
0.2
|
YES
2.2 /
1.5
|
on_Systems/From_AProVE_2014/PastaA5.jar-obl-8.smt2
|
YES
0.9 /
0.9
|
.
0.3 /
0.3
|
YES
4.9 /
2.8
|
on_Systems/From_AProVE_2014/PastaA6.jar-obl-8.smt2
|
YES
1.0 /
1.0
|
.
0.4 /
0.5
|
YES
5.8 /
3.1
|
on_Systems/From_AProVE_2014/PastaA7.jar-obl-8.smt2
|
YES
0.8 /
1.8
|
YES
0.2 /
0.3
|
YES
2.2 /
4.0
|
on_Systems/From_AProVE_2014/PastaA8.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
0.2 /
0.3
|
YES
2.2 /
1.6
|
on_Systems/From_AProVE_2014/PastaA9.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
0.3 /
0.5
|
YES
2.2 /
1.6
|
on_Systems/From_AProVE_2014/PastaB1.jar-obl-8.smt2
|
YES
0.8 /
2.1
|
YES
0.2 /
0.2
|
YES
2.2 /
1.6
|
n_Systems/From_AProVE_2014/PastaB10.jar-obl-8.smt2
|
YES
0.8 /
1.0
|
YES
0.3 /
0.3
|
YES
2.7 /
2.1
|
n_Systems/From_AProVE_2014/PastaB11.jar-obl-8.smt2
|
YES
1.3 /
1.4
|
.
0.7 /
3.2
|
YES
7.5 /
14.5
|
n_Systems/From_AProVE_2014/PastaB12.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
0.2 /
0.2
|
YES
2.5 /
5.2
|
n_Systems/From_AProVE_2014/PastaB13.jar-obl-8.smt2
|
YES
0.8 /
1.0
|
YES
3.5 /
3.8
|
YES
2.8 /
2.0
|
n_Systems/From_AProVE_2014/PastaB14.jar-obl-8.smt2
|
YES
0.8 /
0.8
|
YES
0.2 /
0.2
|
YES
2.2 /
1.6
|
n_Systems/From_AProVE_2014/PastaB15.jar-obl-8.smt2
|
YES
0.8 /
0.8
|
YES
0.4 /
0.4
|
YES
2.4 /
1.8
|
n_Systems/From_AProVE_2014/PastaB16.jar-obl-8.smt2
|
YES
0.9 /
0.8
|
YES
0.9 /
1.0
|
YES
2.2 /
1.7
|
n_Systems/From_AProVE_2014/PastaB17.jar-obl-8.smt2
|
YES
0.9 /
2.7
|
YES
3.0 /
11.9
|
YES
2.2 /
1.6
|
n_Systems/From_AProVE_2014/PastaB18.jar-obl-8.smt2
|
YES
0.8 /
1.0
|
YES
0.3 /
0.3
|
YES
2.6 /
4.9
|
on_Systems/From_AProVE_2014/PastaB2.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
0.2 /
0.2
|
YES
2.2 /
1.6
|
on_Systems/From_AProVE_2014/PastaB3.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
0.1 /
0.5
|
YES
2.3 /
1.7
|
on_Systems/From_AProVE_2014/PastaB4.jar-obl-8.smt2
|
YES
0.8 /
0.8
|
YES
0.1 /
0.1
|
YES
2.4 /
4.9
|
on_Systems/From_AProVE_2014/PastaB5.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
0.1 /
0.5
|
YES
2.2 /
2.1
|
on_Systems/From_AProVE_2014/PastaB6.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
0.1 /
0.1
|
YES
2.2 /
1.6
|
on_Systems/From_AProVE_2014/PastaB7.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
0.3 /
0.3
|
YES
2.2 /
1.6
|
on_Systems/From_AProVE_2014/PastaB8.jar-obl-8.smt2
|
YES
0.9 /
2.9
|
YES
0.9 /
1.0
|
YES
2.2 /
2.5
|
on_Systems/From_AProVE_2014/PastaC1.jar-obl-8.smt2
|
YES
0.8 /
0.8
|
YES
1.9 /
2.7
|
YES
2.3 /
1.6
|
n_Systems/From_AProVE_2014/PastaC10.jar-obl-8.smt2
|
YES
1.1 /
1.3
|
.
0.6 /
2.0
|
YES
8.8 /
13.3
|
n_Systems/From_AProVE_2014/PastaC11.jar-obl-8.smt2
|
YES
0.8 /
0.8
|
YES
0.3 /
1.8
|
YES
2.2 /
1.6
|
on_Systems/From_AProVE_2014/PastaC2.jar-obl-8.smt2
|
YES
0.8 /
0.8
|
YES
2.1 /
11.4
|
YES
2.3 /
4.4
|
on_Systems/From_AProVE_2014/PastaC3.jar-obl-8.smt2
|
YES
0.8 /
0.8
|
YES
0.8 /
0.8
|
YES
2.3 /
1.7
|
on_Systems/From_AProVE_2014/PastaC5.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
0.4 /
2.3
|
YES
2.4 /
2.1
|
on_Systems/From_AProVE_2014/PastaC7.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
0.2 /
0.2
|
YES
2.2 /
3.3
|
on_Systems/From_AProVE_2014/PastaC9.jar-obl-8.smt2
|
YES
0.9 /
2.4
|
YES
0.4 /
0.4
|
YES
2.5 /
5.0
|
n_Systems/From_AProVE_2014/PlusSwap.jar-obl-8.smt2
|
YES
0.9 /
0.9
|
.
0.3 /
0.3
|
YES
2.6 /
1.9
|
ion_Systems/From_AProVE_2014/Power.jar-obl-10.smt2
|
YES
1.2 /
1.2
|
YES
19.8 /
22.3
|
YES
3.5 /
2.3
|
ion_Systems/From_AProVE_2014/Queen.jar-obl-10.smt2
|
NO
2.0 /
2.8
|
.
2.7 /
3.0
|
NO
4.0 /
5.5
|
stems/From_AProVE_2014/QuicksortRec.jar-obl-9.smt2
|
YES
1.6 /
1.5
|
YES
22.0 /
24.7
|
YES
4.8 /
2.5
|
ition_Systems/From_AProVE_2014/RSA.jar-obl-17.smt2
|
.
38.1 /
28.7
|
.
103.6 /
300.1
|
YES
466.5 /
148.5
|
ystems/From_AProVE_2014/RandomHard.jar-obl-10.smt2
|
.
1.8 /
1.6
|
.
90.9 /
130.5
|
.
349.3 /
300.0
|
ystems/From_AProVE_2014/Recursions.jar-obl-13.smt2
|
YES
1.1 /
1.0
|
YES
2.6 /
18.8
|
YES
2.8 /
1.8
|
_Systems/From_AProVE_2014/RetValRec.jar-obl-8.smt2
|
YES
0.8 /
0.8
|
.
0.3 /
0.4
|
YES
3.1 /
5.5
|
ystems/From_AProVE_2014/RotateTree.jar-obl-10.smt2
|
YES
1.1 /
1.1
|
YES
3.4 /
3.8
|
YES
3.1 /
1.9
|
ion_Systems/From_AProVE_2014/Round3.jar-obl-8.smt2
|
YES
1.9 /
5.4
|
.
0.7 /
0.8
|
YES
6.9 /
13.6
|
ms/From_AProVE_2014/RunningPointers.jar-obl-9.smt2
|
YES
0.7 /
0.7
|
YES
0.3 /
0.4
|
YES
2.3 /
1.7
|
ystems/From_AProVE_2014/Samefringe.jar-obl-10.smt2
|
NO
1.2 /
1.1
|
.
2.5 /
2.8
|
NO
4.4 /
9.1
|
ystems/From_AProVE_2014/SearchTreeR.jar-obl-9.smt2
|
YES
0.9 /
0.9
|
YES
3.4 /
3.7
|
YES
2.9 /
6.6
|
n_Systems/From_AProVE_2014/Sequence.jar-obl-9.smt2
|
YES
0.7 /
0.7
|
YES
0.3 /
0.3
|
YES
2.3 /
5.0
|
on_Systems/From_AProVE_2014/Sharing.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
0.1 /
0.1
|
YES
2.2 /
1.6
|
ms/From_AProVE_2014/SharingAnalysis.jar-obl-9.smt2
|
YES
0.9 /
3.1
|
YES
0.7 /
0.7
|
YES
2.4 /
1.7
|
From_AProVE_2014/SharingAnalysisRec.jar-obl-9.smt2
|
YES
1.0 /
0.9
|
YES
0.7 /
0.7
|
YES
2.6 /
1.8
|
ystems/From_AProVE_2014/SharingPair.jar-obl-8.smt2
|
NO
0.9 /
0.8
|
.
0.4 /
1.0
|
NO
3.0 /
3.9
|
n_Systems/From_AProVE_2014/Shuffle.jar-obl-10.smt2
|
NO
1.0 /
1.2
|
.
0.9 /
0.9
|
NO
5.9 /
4.2
|
Systems/From_AProVE_2014/SortCount.jar-obl-10.smt2
|
.
134.4 /
109.3
|
.
3.2 /
14.8
|
.
713.8 /
300.1
|
ystems/From_AProVE_2014/StupidArray.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
0.0 /
0.0
|
YES
2.2 /
1.6
|
on_Systems/From_AProVE_2014/Sudoku.jar-obl-14.smt2
|
YES
30.1 /
35.0
|
YES
51.2 /
61.9
|
YES
7.1 /
9.7
|
n_Systems/From_AProVE_2014/Swingers.jar-obl-8.smt2
|
NO
0.8 /
0.8
|
.
0.3 /
0.3
|
NO
2.5 /
1.8
|
ition_Systems/From_AProVE_2014/Take.jar-obl-8.smt2
|
YES
0.8 /
0.8
|
YES
0.5 /
2.0
|
YES
2.4 /
3.9
|
s/From_AProVE_2014/TaylorSeriesIte.jar-obl-13.smt2
|
YES
5.9 /
4.6
|
.
88.8 /
300.1
|
YES
4.4 /
8.1
|
s/From_AProVE_2014/TaylorSeriesRec.jar-obl-13.smt2
|
YES
5.1 /
4.1
|
YES
257.0 /
261.2
|
YES
4.5 /
2.4
|
/From_AProVE_2014/TermCreateCollect.jar-obl-9.smt2
|
YES
1.0 /
2.6
|
YES
3.3 /
3.7
|
YES
2.8 /
1.8
|
ms/From_AProVE_2014/TerminatorRec01.jar-obl-8.smt2
|
YES
0.9 /
2.7
|
YES
1.3 /
2.0
|
YES
2.4 /
1.8
|
ms/From_AProVE_2014/TerminatorRec02.jar-obl-8.smt2
|
YES
0.7 /
0.8
|
YES
0.1 /
0.9
|
YES
2.2 /
1.6
|
ms/From_AProVE_2014/TerminatorRec03.jar-obl-8.smt2
|
.
6.9 /
5.8
|
.
0.4 /
0.4
|
.
226.9 /
300.0
|
ms/From_AProVE_2014/TerminatorRec04.jar-obl-9.smt2
|
NO
1.0 /
1.0
|
.
0.5 /
5.0
|
NO
2.4 /
1.8
|
s/From_AProVE_2014/TermsCreateMatch.jar-obl-9.smt2
|
YES
1.5 /
3.3
|
YES
16.5 /
78.4
|
YES
4.1 /
8.1
|
tion_Systems/From_AProVE_2014/Test1.jar-obl-8.smt2
|
YES
4.9 /
4.8
|
.
1.6 /
6.6
|
YES
75.9 /
69.2
|
ion_Systems/From_AProVE_2014/Test10.jar-obl-9.smt2
|
YES
1.0 /
2.2
|
YES
1.2 /
1.3
|
YES
2.4 /
4.6
|
ion_Systems/From_AProVE_2014/Test11.jar-obl-8.smt2
|
YES
2.9 /
2.7
|
.
2.0 /
2.3
|
YES
92.4 /
48.6
|
ion_Systems/From_AProVE_2014/Test12.jar-obl-8.smt2
|
YES
2.3 /
2.1
|
.
0.7 /
0.8
|
YES
8.6 /
14.4
|
stems/From_AProVE_2014/Test13Loops.jar-obl-10.smt2
|
.
4.3 /
3.9
|
.
1.1 /
1.2
|
.
343.3 /
300.0
|
tion_Systems/From_AProVE_2014/Test2.jar-obl-8.smt2
|
.
221.1 /
300.0
|
.
1.3 /
2.3
|
YES
44.9 /
39.8
|
ion_Systems/From_AProVE_2014/Test3.jar-obl-10.smt2
|
YES
6.4 /
5.3
|
.
3.6 /
22.1
|
YES
7.4 /
3.3
|
ion_Systems/From_AProVE_2014/Test4.jar-obl-10.smt2
|
.
274.0 /
277.8
|
.
276.1 /
300.0
|
.
305.2 /
300.1
|
ion_Systems/From_AProVE_2014/Test5.jar-obl-11.smt2
|
YES
4.6 /
3.8
|
.
3.1 /
8.6
|
YES
10.1 /
4.5
|
ion_Systems/From_AProVE_2014/Test6.jar-obl-13.smt2
|
.
293.4 /
300.0
|
.
231.2 /
249.3
|
.
885.4 /
300.1
|
ion_Systems/From_AProVE_2014/Test7.jar-obl-11.smt2
|
NO
1.8 /
1.7
|
.
1.1 /
6.9
|
.
333.6 /
300.0
|
ion_Systems/From_AProVE_2014/Test8.jar-obl-12.smt2
|
YES
3.1 /
13.3
|
.
1.0 /
1.7
|
YES
7.5 /
3.8
|
ion_Systems/From_AProVE_2014/Test9.jar-obl-20.smt2
|
YES
1.4 /
1.3
|
YES
2.4 /
2.7
|
YES
3.1 /
2.0
|
Systems/From_AProVE_2014/TestJulia6.jar-obl-8.smt2
|
NO
0.8 /
0.8
|
.
0.0 /
0.1
|
NO
2.3 /
1.7
|
Systems/From_AProVE_2014/TestJulia7.jar-obl-8.smt2
|
NO
0.8 /
0.8
|
.
0.2 /
0.2
|
NO
2.4 /
1.8
|
s/From_AProVE_2014/TimesPlusUserDef.jar-obl-9.smt2
|
YES
0.8 /
0.8
|
YES
0.7 /
0.7
|
YES
2.7 /
1.9
|
/From_AProVE_2014/TreeLeftmostDepth.jar-obl-9.smt2
|
YES
0.9 /
0.9
|
YES
2.5 /
2.6
|
YES
2.8 /
1.8
|
s/From_AProVE_2014/TreeLeftmostPath.jar-obl-9.smt2
|
YES
0.9 /
0.9
|
YES
2.4 /
2.6
|
YES
2.8 /
2.7
|
on_Systems/From_AProVE_2014/TriTas.jar-obl-12.smt2
|
NO
7.8 /
6.2
|
.
13.4 /
47.9
|
NO
4.9 /
2.9
|
ion_Systems/From_AProVE_2014/TwoWay.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
0.1 /
0.1
|
YES
2.3 /
4.7
|
Systems/From_AProVE_2014/TypeSwitch.jar-obl-8.smt2
|
NO
0.9 /
1.1
|
.
0.9 /
3.8
|
NO
3.3 /
7.3
|
om_AProVE_2014/Velroyen08-alternDiv.jar-obl-8.smt2
|
.
6.9 /
5.9
|
.
0.4 /
0.5
|
.
853.9 /
300.1
|
ProVE_2014/Velroyen08-alternDivWide.jar-obl-8.smt2
|
NO
4.2 /
3.6
|
.
0.4 /
1.0
|
.
559.7 /
300.0
|
E_2014/Velroyen08-alternDivWidening.jar-obl-8.smt2
|
.
34.4 /
30.6
|
.
0.6 /
0.7
|
.
837.5 /
300.1
|
m_AProVE_2014/Velroyen08-alternKonv.jar-obl-8.smt2
|
.
7.1 /
5.9
|
.
0.5 /
0.6
|
.
556.2 /
300.1
|
oVE_2014/Velroyen08-alternatingIncr.jar-obl-8.smt2
|
.
2.0 /
1.8
|
.
1.7 /
3.0
|
.
418.7 /
300.1
|
From_AProVE_2014/Velroyen08-collatz.jar-obl-8.smt2
|
.
9.8 /
9.2
|
.
2.8 /
3.2
|
.
596.8 /
300.0
|
_AProVE_2014/Velroyen08-complInterv.jar-obl-8.smt2
|
.
1.4 /
1.3
|
.
0.3 /
0.3
|
.
962.6 /
300.0
|
AProVE_2014/Velroyen08-complInterv2.jar-obl-8.smt2
|
NO
1.0 /
1.0
|
.
0.3 /
0.4
|
NO
2.4 /
1.8
|
AProVE_2014/Velroyen08-complInterv3.jar-obl-8.smt2
|
NO
1.0 /
3.1
|
.
0.3 /
0.3
|
NO
3.7 /
14.4
|
_AProVE_2014/Velroyen08-complxStruc.jar-obl-8.smt2
|
.
114.0 /
102.9
|
.
1.1 /
1.3
|
.
420.9 /
300.0
|
om_AProVE_2014/Velroyen08-convLower.jar-obl-8.smt2
|
NO
1.0 /
1.0
|
.
0.3 /
0.7
|
NO
2.6 /
1.9
|
/From_AProVE_2014/Velroyen08-cousot.jar-obl-8.smt2
|
NO
0.9 /
0.9
|
.
0.3 /
0.9
|
NO
2.5 /
1.9
|
ms/From_AProVE_2014/Velroyen08-even.jar-obl-9.smt2
|
NO
1.2 /
3.5
|
.
0.6 /
2.1
|
NO
2.9 /
2.1
|
ms/From_AProVE_2014/Velroyen08-ex01.jar-obl-8.smt2
|
NO
1.0 /
1.9
|
.
0.3 /
0.6
|
NO
2.6 /
1.9
|
ms/From_AProVE_2014/Velroyen08-ex02.jar-obl-8.smt2
|
NO
1.1 /
1.6
|
.
0.3 /
0.4
|
NO
2.6 /
1.9
|
ms/From_AProVE_2014/Velroyen08-ex03.jar-obl-8.smt2
|
NO
1.0 /
1.0
|
.
0.5 /
0.6
|
NO
2.7 /
3.0
|
ms/From_AProVE_2014/Velroyen08-ex04.jar-obl-8.smt2
|
.
1.8 /
4.1
|
.
0.3 /
0.3
|
NO
3.0 /
5.9
|
ms/From_AProVE_2014/Velroyen08-ex05.jar-obl-8.smt2
|
NO
0.8 /
0.8
|
.
0.2 /
0.3
|
NO
2.6 /
1.8
|
ms/From_AProVE_2014/Velroyen08-ex06.jar-obl-8.smt2
|
NO
1.5 /
3.3
|
.
1.3 /
1.5
|
NO
3.6 /
2.5
|
ms/From_AProVE_2014/Velroyen08-ex07.jar-obl-9.smt2
|
NO
1.0 /
1.0
|
.
0.5 /
0.5
|
NO
2.9 /
2.0
|
ms/From_AProVE_2014/Velroyen08-ex08.jar-obl-8.smt2
|
.
38.6 /
69.5
|
.
1.0 /
2.8
|
.
708.6 /
300.0
|
rom_AProVE_2014/Velroyen08-ex09half.jar-obl-8.smt2
|
NO
0.9 /
0.9
|
.
3.8 /
4.5
|
.
402.3 /
300.1
|
om_AProVE_2014/Velroyen08-factorial.jar-obl-8.smt2
|
.
2.3 /
2.0
|
.
0.6 /
0.7
|
.
926.5 /
300.1
|
ems/From_AProVE_2014/Velroyen08-fib.jar-obl-8.smt2
|
.
2.8 /
2.4
|
.
0.5 /
0.6
|
NO
2.8 /
2.0
|
ms/From_AProVE_2014/Velroyen08-flip.jar-obl-8.smt2
|
NO
0.9 /
0.9
|
.
0.3 /
0.3
|
NO
2.7 /
7.0
|
s/From_AProVE_2014/Velroyen08-flip2.jar-obl-8.smt2
|
.
10.4 /
10.2
|
.
0.6 /
0.7
|
.
307.9 /
300.1
|
s/From_AProVE_2014/Velroyen08-gauss.jar-obl-8.smt2
|
NO
1.1 /
1.1
|
.
0.4 /
0.4
|
NO
2.9 /
3.0
|
ms/From_AProVE_2014/Velroyen08-lcm.jar-obl-10.smt2
|
NO
2.2 /
4.8
|
.
1.4 /
1.5
|
.
858.8 /
300.1
|
From_AProVE_2014/Velroyen08-marbie1.jar-obl-8.smt2
|
NO
0.9 /
0.9
|
.
0.2 /
0.5
|
NO
2.4 /
4.5
|
From_AProVE_2014/Velroyen08-marbie2.jar-obl-8.smt2
|
.
1.9 /
6.2
|
.
0.3 /
0.4
|
NO
2.6 /
2.8
|
/From_AProVE_2014/Velroyen08-middle.jar-obl-8.smt2
|
NO
0.9 /
0.9
|
.
0.3 /
3.1
|
NO
2.5 /
1.8
|
AProVE_2014/Velroyen08-mirrorInterv.jar-obl-8.smt2
|
NO
1.1 /
1.1
|
.
0.7 /
0.8
|
.
773.7 /
300.0
|
oVE_2014/Velroyen08-mirrorIntervSim.jar-obl-8.smt2
|
NO
1.1 /
1.1
|
.
0.4 /
0.4
|
NO
9.6 /
7.7
|
_AProVE_2014/Velroyen08-moduloLower.jar-obl-8.smt2
|
.
0.9 /
2.2
|
.
1.8 /
1.9
|
NO
3.0 /
5.6
|
rom_AProVE_2014/Velroyen08-moduloUp.jar-obl-8.smt2
|
.
0.9 /
0.9
|
.
0.9 /
1.0
|
.
305.3 /
300.0
|
m_AProVE_2014/Velroyen08-narrowKonv.jar-obl-8.smt2
|
.
1.6 /
3.9
|
.
0.4 /
0.4
|
.
478.5 /
300.0
|
om_AProVE_2014/Velroyen08-narrowing.jar-obl-8.smt2
|
.
98.3 /
82.0
|
.
131.7 /
209.2
|
.
868.9 /
300.1
|
s/From_AProVE_2014/Velroyen08-plait.jar-obl-8.smt2
|
.
381.8 /
300.0
|
.
19.7 /
21.8
|
.
673.2 /
300.1
|
/From_AProVE_2014/Velroyen08-sunset.jar-obl-8.smt2
|
NO
1.5 /
1.3
|
.
0.5 /
0.6
|
.
906.3 /
300.0
|
From_AProVE_2014/Velroyen08-trueDiv.jar-obl-8.smt2
|
NO
1.0 /
3.2
|
.
0.4 /
2.0
|
NO
2.7 /
4.2
|
roVE_2014/Velroyen08-twoFloatInterv.jar-obl-8.smt2
|
NO
9.0 /
7.6
|
.
34.1 /
71.0
|
.
971.8 /
300.1
|
om_AProVE_2014/Velroyen08-upAndDown.jar-obl-8.smt2
|
.
95.0 /
85.2
|
.
1.0 /
1.6
|
.
712.1 /
300.0
|
ProVE_2014/Velroyen08-upAndDownIneq.jar-obl-8.smt2
|
.
14.4 /
12.1
|
.
0.9 /
0.9
|
.
266.8 /
300.0
|
m_AProVE_2014/Velroyen08-whileBreak.jar-obl-8.smt2
|
NO
1.1 /
2.4
|
.
4.4 /
5.0
|
NO
5.0 /
9.8
|
om_AProVE_2014/Velroyen08-whileDecr.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
0.1 /
0.1
|
YES
2.2 /
1.5
|
om_AProVE_2014/Velroyen08-whileIncr.jar-obl-8.smt2
|
NO
0.8 /
0.8
|
.
0.2 /
0.3
|
NO
2.7 /
6.0
|
ProVE_2014/Velroyen08-whileIncrPart.jar-obl-8.smt2
|
NO
0.8 /
0.8
|
.
0.3 /
0.3
|
NO
2.6 /
1.9
|
_AProVE_2014/Velroyen08-whileNested.jar-obl-8.smt2
|
NO
1.1 /
2.0
|
.
0.4 /
4.7
|
NO
3.0 /
5.7
|
E_2014/Velroyen08-whileNestedOffset.jar-obl-8.smt2
|
NO
1.0 /
1.0
|
.
0.4 /
2.2
|
NO
2.8 /
2.0
|
om_AProVE_2014/Velroyen08-whilePart.jar-obl-8.smt2
|
NO
1.0 /
0.9
|
.
0.3 /
0.4
|
NO
2.5 /
1.8
|
_AProVE_2014/Velroyen08-whileSingle.jar-obl-8.smt2
|
NO
1.0 /
0.9
|
.
0.5 /
0.5
|
NO
2.7 /
5.5
|
rom_AProVE_2014/Velroyen08-whileSum.jar-obl-8.smt2
|
.
8.5 /
7.9
|
.
6.6 /
26.3
|
.
480.9 /
300.1
|
om_AProVE_2014/Velroyen08-whileTrue.jar-obl-8.smt2
|
.
1.6 /
1.9
|
.
0.3 /
0.4
|
NO
2.6 /
1.9
|
on_Systems/From_AProVE_2014/Virtual.jar-obl-9.smt2
|
YES
1.2 /
3.3
|
.
0.6 /
0.7
|
YES
5.2 /
3.0
|
/From_AProVE_2014/alternDivWide_rec.jar-obl-8.smt2
|
.
28.8 /
25.6
|
.
0.7 /
1.4
|
.
626.5 /
300.1
|
m_AProVE_2014/alternDivWidening_rec.jar-obl-8.smt2
|
.
17.2 /
37.5
|
.
0.7 /
0.8
|
.
768.4 /
300.1
|
tems/From_AProVE_2014/alternDiv_rec.jar-obl-8.smt2
|
.
7.2 /
6.0
|
.
0.4 /
0.5
|
.
516.3 /
300.0
|
ems/From_AProVE_2014/alternKonv_rec.jar-obl-8.smt2
|
.
39.9 /
34.0
|
.
0.5 /
0.5
|
.
477.0 /
300.0
|
s/From_AProVE_2014/complInterv2_rec.jar-obl-8.smt2
|
NO
1.0 /
1.9
|
.
0.3 /
0.4
|
NO
2.8 /
6.1
|
s/From_AProVE_2014/complInterv3_rec.jar-obl-8.smt2
|
NO
1.0 /
0.9
|
.
0.3 /
9.2
|
NO
4.4 /
24.7
|
ms/From_AProVE_2014/complxStruc_rec.jar-obl-8.smt2
|
.
151.5 /
176.1
|
.
17.8 /
72.6
|
.
515.6 /
300.1
|
tems/From_AProVE_2014/convLower_rec.jar-obl-8.smt2
|
NO
1.0 /
1.0
|
.
0.4 /
5.4
|
NO
2.6 /
2.9
|
From_AProVE_2014/costa09-example_1.jar-obl-10.smt2
|
YES
0.9 /
1.0
|
YES
1.0 /
1.1
|
YES
2.5 /
4.1
|
/From_AProVE_2014/costa09-example_2.jar-obl-8.smt2
|
YES
0.8 /
2.5
|
YES
0.4 /
2.3
|
YES
2.3 /
1.6
|
/From_AProVE_2014/costa09-example_3.jar-obl-8.smt2
|
YES
0.8 /
2.2
|
YES
0.3 /
0.4
|
YES
2.2 /
1.6
|
/From_AProVE_2014/costa09-example_4.jar-obl-8.smt2
|
YES
0.8 /
0.8
|
YES
0.2 /
1.3
|
YES
2.3 /
1.7
|
/From_AProVE_2014/costa09-example_5.jar-obl-8.smt2
|
NO
0.7 /
0.7
|
.
0.0 /
0.1
|
NO
2.5 /
4.5
|
Systems/From_AProVE_2014/cousot_rec.jar-obl-8.smt2
|
NO
1.0 /
1.1
|
.
13.5 /
15.3
|
NO
2.8 /
4.2
|
n_Systems/From_AProVE_2014/even_rec.jar-obl-8.smt2
|
NO
0.8 /
0.8
|
.
0.3 /
0.4
|
NO
2.7 /
7.4
|
n_Systems/From_AProVE_2014/ex01_rec.jar-obl-8.smt2
|
NO
0.8 /
0.8
|
.
0.3 /
0.3
|
NO
2.6 /
1.9
|
n_Systems/From_AProVE_2014/ex02_rec.jar-obl-8.smt2
|
NO
1.1 /
2.0
|
.
0.3 /
0.4
|
NO
2.6 /
2.7
|
n_Systems/From_AProVE_2014/ex03_rec.jar-obl-8.smt2
|
NO
0.9 /
0.9
|
.
0.5 /
0.5
|
NO
2.7 /
1.9
|
n_Systems/From_AProVE_2014/ex04_rec.jar-obl-8.smt2
|
NO
0.8 /
0.8
|
.
0.2 /
0.3
|
NO
2.8 /
6.2
|
n_Systems/From_AProVE_2014/ex05_rec.jar-obl-8.smt2
|
NO
0.8 /
2.4
|
.
0.2 /
0.2
|
NO
2.5 /
6.6
|
n_Systems/From_AProVE_2014/ex06_rec.jar-obl-8.smt2
|
NO
0.9 /
1.0
|
.
0.2 /
0.3
|
NO
2.4 /
1.7
|
n_Systems/From_AProVE_2014/ex07_rec.jar-obl-8.smt2
|
NO
0.8 /
0.8
|
.
0.2 /
0.3
|
NO
2.6 /
4.6
|
n_Systems/From_AProVE_2014/ex08_rec.jar-obl-8.smt2
|
.
14.4 /
12.3
|
.
9.7 /
47.9
|
.
902.2 /
300.1
|
_Systems/From_AProVE_2014/flip2_rec.jar-obl-8.smt2
|
.
44.3 /
65.7
|
.
0.8 /
0.8
|
.
323.4 /
300.0
|
n_Systems/From_AProVE_2014/flip_rec.jar-obl-8.smt2
|
NO
0.8 /
1.0
|
.
0.3 /
0.3
|
NO
2.8 /
4.2
|
s/From_AProVE_2014/juHashMapCreate.jar-obl-10.smt2
|
YES
2.1 /
4.7
|
YES
66.6 /
73.4
|
YES
6.2 /
3.0
|
m_AProVE_2014/juHashMapCreateClear.jar-obl-11.smt2
|
YES
2.2 /
1.8
|
.
66.3 /
90.6
|
YES
6.0 /
7.4
|
VE_2014/juHashMapCreateContainsKey.jar-obl-11.smt2
|
YES
2.4 /
2.0
|
YES
87.7 /
112.8
|
YES
6.9 /
3.2
|
_2014/juHashMapCreateContainsValue.jar-obl-11.smt2
|
YES
2.9 /
2.3
|
YES
189.7 /
292.9
|
YES
8.0 /
3.6
|
rom_AProVE_2014/juHashMapCreateGet.jar-obl-11.smt2
|
YES
2.3 /
4.1
|
YES
86.4 /
95.6
|
YES
7.1 /
3.2
|
AProVE_2014/juHashMapCreateIsEmpty.jar-obl-10.smt2
|
YES
1.8 /
1.6
|
.
77.5 /
271.0
|
YES
6.0 /
3.0
|
4/juHashMapCreateIteratorEntryLoop.jar-obl-12.smt2
|
YES
2.7 /
3.1
|
YES
153.4 /
248.1
|
YES
6.9 /
3.3
|
014/juHashMapCreateIteratorKeyLoop.jar-obl-12.smt2
|
YES
3.0 /
2.5
|
YES
148.4 /
203.8
|
YES
6.9 /
3.2
|
4/juHashMapCreateIteratorValueLoop.jar-obl-12.smt2
|
YES
3.0 /
5.5
|
YES
142.0 /
190.7
|
YES
7.5 /
3.5
|
rom_AProVE_2014/juHashMapCreatePut.jar-obl-10.smt2
|
YES
2.5 /
9.8
|
YES
65.5 /
73.2
|
YES
6.5 /
3.1
|
_AProVE_2014/juHashMapCreateRemove.jar-obl-11.smt2
|
YES
2.7 /
10.1
|
YES
101.9 /
223.2
|
YES
9.1 /
9.4
|
om_AProVE_2014/juHashMapCreateSize.jar-obl-10.smt2
|
YES
2.2 /
6.4
|
YES
77.5 /
102.6
|
YES
6.2 /
3.0
|
From_AProVE_2014/juLinkedListCreate.jar-obl-8.smt2
|
YES
1.1 /
3.1
|
YES
1.1 /
1.2
|
YES
3.3 /
7.1
|
m_AProVE_2014/juLinkedListCreateAdd.jar-obl-8.smt2
|
YES
0.9 /
0.9
|
YES
1.3 /
3.1
|
YES
4.1 /
2.2
|
roVE_2014/juLinkedListCreateAddAll.jar-obl-11.smt2
|
.
18.0 /
14.8
|
.
14.8 /
15.9
|
NO
11.3 /
5.1
|
VE_2014/juLinkedListCreateAddAllAt.jar-obl-17.smt2
|
.
85.7 /
67.7
|
.
68.5 /
120.8
|
NO
19.9 /
25.6
|
ProVE_2014/juLinkedListCreateAddAt.jar-obl-10.smt2
|
YES
2.0 /
1.7
|
.
11.9 /
15.1
|
YES
6.4 /
5.2
|
oVE_2014/juLinkedListCreateAddFirst.jar-obl-8.smt2
|
YES
0.9 /
0.9
|
YES
1.3 /
1.4
|
YES
4.1 /
2.3
|
roVE_2014/juLinkedListCreateAddLast.jar-obl-8.smt2
|
YES
0.9 /
0.9
|
YES
1.5 /
2.9
|
YES
4.0 /
2.2
|
AProVE_2014/juLinkedListCreateClear.jar-obl-9.smt2
|
YES
1.5 /
1.4
|
YES
2.4 /
2.6
|
YES
4.2 /
4.0
|
VE_2014/juLinkedListCreateContains.jar-obl-16.smt2
|
YES
14.5 /
31.3
|
.
268.9 /
300.0
|
YES
12.5 /
6.4
|
2014/juLinkedListCreateContainsAll.jar-obl-11.smt2
|
YES
44.9 /
63.0
|
.
284.7 /
300.0
|
YES
124.5 /
83.5
|
edListCreateDescendingIteratorLoop.jar-obl-13.smt2
|
YES
3.6 /
3.4
|
YES
64.0 /
71.4
|
YES
9.3 /
4.1
|
roVE_2014/juLinkedListCreateElement.jar-obl-8.smt2
|
YES
1.1 /
2.5
|
YES
1.6 /
1.8
|
YES
4.9 /
2.5
|
roVE_2014/juLinkedListCreateEquals.jar-obl-13.smt2
|
YES
7.7 /
5.7
|
.
235.0 /
300.0
|
YES
12.8 /
6.1
|
_AProVE_2014/juLinkedListCreateGet.jar-obl-10.smt2
|
YES
1.7 /
1.5
|
YES
8.7 /
13.4
|
YES
4.2 /
2.3
|
oVE_2014/juLinkedListCreateGetFirst.jar-obl-8.smt2
|
YES
1.0 /
2.8
|
YES
2.0 /
2.2
|
YES
4.8 /
2.5
|
roVE_2014/juLinkedListCreateGetLast.jar-obl-8.smt2
|
YES
1.0 /
0.9
|
YES
1.8 /
7.8
|
YES
4.7 /
2.4
|
oVE_2014/juLinkedListCreateIndexOf.jar-obl-16.smt2
|
YES
12.5 /
14.7
|
.
221.2 /
300.1
|
YES
14.2 /
17.3
|
roVE_2014/juLinkedListCreateIsEmpty.jar-obl-8.smt2
|
YES
0.9 /
0.9
|
YES
1.3 /
1.3
|
YES
4.1 /
2.2
|
014/juLinkedListCreateIteratorLoop.jar-obl-10.smt2
|
YES
2.2 /
1.9
|
YES
13.0 /
47.9
|
YES
6.6 /
3.1
|
2014/juLinkedListCreateLastIndexOf.jar-obl-16.smt2
|
YES
16.6 /
28.8
|
.
279.4 /
300.0
|
YES
13.9 /
6.7
|
juLinkedListCreateListIteratorLoop.jar-obl-10.smt2
|
YES
2.3 /
1.9
|
YES
11.0 /
11.8
|
YES
7.4 /
3.5
|
AProVE_2014/juLinkedListCreateOffer.jar-obl-8.smt2
|
YES
1.0 /
2.3
|
YES
1.3 /
1.4
|
YES
4.1 /
2.2
|
E_2014/juLinkedListCreateOfferFirst.jar-obl-8.smt2
|
YES
1.1 /
1.7
|
YES
1.3 /
1.4
|
YES
4.2 /
2.3
|
VE_2014/juLinkedListCreateOfferLast.jar-obl-8.smt2
|
YES
1.0 /
0.9
|
YES
1.3 /
1.4
|
YES
4.4 /
2.7
|
_AProVE_2014/juLinkedListCreatePeek.jar-obl-8.smt2
|
YES
1.0 /
0.9
|
YES
1.6 /
1.7
|
YES
4.5 /
2.3
|
VE_2014/juLinkedListCreatePeekFirst.jar-obl-8.smt2
|
YES
1.0 /
1.2
|
YES
1.6 /
1.8
|
YES
5.2 /
6.5
|
oVE_2014/juLinkedListCreatePeekLast.jar-obl-8.smt2
|
YES
1.0 /
0.9
|
YES
1.6 /
5.0
|
YES
4.5 /
2.3
|
_AProVE_2014/juLinkedListCreatePoll.jar-obl-8.smt2
|
YES
1.0 /
1.0
|
YES
2.0 /
2.2
|
YES
5.6 /
6.4
|
VE_2014/juLinkedListCreatePollFirst.jar-obl-8.smt2
|
YES
1.0 /
1.2
|
YES
2.1 /
2.3
|
YES
5.0 /
2.5
|
oVE_2014/juLinkedListCreatePollLast.jar-obl-8.smt2
|
YES
1.2 /
1.1
|
YES
4.6 /
7.2
|
YES
6.4 /
11.6
|
m_AProVE_2014/juLinkedListCreatePop.jar-obl-8.smt2
|
YES
1.0 /
0.9
|
YES
2.0 /
2.2
|
YES
5.2 /
2.7
|
_AProVE_2014/juLinkedListCreatePush.jar-obl-8.smt2
|
YES
1.0 /
2.9
|
YES
1.6 /
1.7
|
YES
4.4 /
7.6
|
roVE_2014/juLinkedListCreateRemove.jar-obl-10.smt2
|
YES
4.5 /
3.5
|
YES
22.7 /
24.1
|
YES
8.5 /
3.8
|
E_2014/juLinkedListCreateRemoveAll.jar-obl-11.smt2
|
.
308.2 /
272.3
|
.
180.5 /
243.3
|
.
438.7 /
300.1
|
VE_2014/juLinkedListCreateRemoveAt.jar-obl-10.smt2
|
YES
2.7 /
2.4
|
YES
21.8 /
23.1
|
YES
9.4 /
14.4
|
14/juLinkedListCreateRemoveElement.jar-obl-16.smt2
|
YES
21.0 /
15.4
|
.
222.8 /
300.0
|
YES
16.9 /
9.3
|
_2014/juLinkedListCreateRemoveFirst.jar-obl-8.smt2
|
YES
1.2 /
1.9
|
YES
2.2 /
2.7
|
YES
5.0 /
2.6
|
kedListCreateRemoveFirstOccurrence.jar-obl-16.smt2
|
YES
20.3 /
31.6
|
.
282.1 /
300.0
|
YES
16.0 /
8.6
|
E_2014/juLinkedListCreateRemoveLast.jar-obl-8.smt2
|
YES
1.2 /
1.1
|
YES
4.1 /
4.3
|
YES
6.0 /
2.9
|
nkedListCreateRemoveLastOccurrence.jar-obl-16.smt2
|
YES
24.8 /
18.1
|
.
260.6 /
300.0
|
YES
21.5 /
33.7
|
2014/juLinkedListCreateRemoveRange.jar-obl-14.smt2
|
YES
7.0 /
5.5
|
.
254.5 /
300.0
|
YES
10.6 /
9.1
|
_AProVE_2014/juLinkedListCreateSet.jar-obl-10.smt2
|
YES
1.6 /
2.4
|
YES
9.4 /
60.4
|
YES
4.9 /
2.4
|
_AProVE_2014/juLinkedListCreateSize.jar-obl-8.smt2
|
YES
1.2 /
3.2
|
YES
1.1 /
1.2
|
YES
3.2 /
6.3
|
roVE_2014/juLinkedListCreateSubList.jar-obl-8.smt2
|
YES
0.9 /
2.1
|
YES
1.3 /
1.4
|
YES
4.2 /
2.3
|
roVE_2014/juLinkedListCreateToArray.jar-obl-9.smt2
|
YES
1.5 /
1.3
|
YES
3.8 /
7.8
|
YES
4.1 /
2.2
|
rom_AProVE_2014/mirrorIntervSim_rec.jar-obl-8.smt2
|
NO
1.0 /
1.0
|
.
0.4 /
0.4
|
NO
2.7 /
1.9
|
s/From_AProVE_2014/mirrorInterv_rec.jar-obl-8.smt2
|
NO
7.9 /
6.6
|
.
0.7 /
0.8
|
.
561.6 /
300.1
|
ems/From_AProVE_2014/narrowKonv_rec.jar-obl-8.smt2
|
.
1.8 /
1.8
|
.
0.4 /
0.4
|
.
150.7 /
300.0
|
tems/From_AProVE_2014/narrowing_rec.jar-obl-8.smt2
|
.
49.2 /
41.0
|
.
230.9 /
254.6
|
.
511.1 /
300.0
|
ms/From_AProVE_2014/sumGeneric2_rec.jar-obl-8.smt2
|
NO
0.9 /
0.9
|
.
0.4 /
0.4
|
NO
2.7 /
1.9
|
ems/From_AProVE_2014/sumGeneric_rec.jar-obl-8.smt2
|
NO
0.8 /
0.8
|
.
0.4 /
2.1
|
NO
2.6 /
2.8
|
on_Systems/From_AProVE_2014/sum_rec.jar-obl-8.smt2
|
NO
0.8 /
0.8
|
.
0.2 /
0.2
|
NO
2.4 /
1.8
|
Systems/From_AProVE_2014/sunset_rec.jar-obl-8.smt2
|
NO
1.7 /
1.6
|
.
0.5 /
0.6
|
.
478.0 /
300.0
|
ystems/From_AProVE_2014/trueDiv_rec.jar-obl-8.smt2
|
NO
0.8 /
0.8
|
.
0.3 /
0.3
|
NO
2.5 /
1.8
|
/From_AProVE_2014/upAndDownIneq_rec.jar-obl-8.smt2
|
.
24.9 /
54.9
|
.
2.9 /
5.2
|
.
565.0 /
300.0
|
tems/From_AProVE_2014/upAndDown_rec.jar-obl-8.smt2
|
.
21.1 /
17.8
|
.
1.4 /
7.5
|
.
201.3 /
300.1
|
m_AProVE_2014/whileNestedOffset_rec.jar-obl-9.smt2
|
NO
0.9 /
0.9
|
.
0.3 /
0.4
|
NO
2.7 /
1.9
|
ms/From_AProVE_2014/whileNested_rec.jar-obl-9.smt2
|
NO
0.9 /
0.9
|
.
0.3 /
0.4
|
NO
2.9 /
5.8
|
tems/From_AProVE_2014/whilePart_rec.jar-obl-8.smt2
|
NO
1.0 /
1.0
|
.
0.3 /
0.3
|
NO
2.5 /
1.9
|
ms/From_AProVE_2014/whileSingle_rec.jar-obl-8.smt2
|
NO
0.9 /
0.9
|
.
0.6 /
3.1
|
NO
2.6 /
2.9
|
Integer_Transition_Systems/From_T2/1.t2.smt2
|
NO
1.3 /
1.2
|
.
70.7 /
239.2
|
NO
5.2 /
6.3
|
teger_Transition_Systems/From_T2/1394-fail.t2.smt2
|
NO
38.1 /
33.6
|
.
178.8 /
300.1
|
NO
20.0 /
12.5
|
er_Transition_Systems/From_T2/1394-succeed.t2.smt2
|
NO
36.6 /
31.7
|
.
60.9 /
300.1
|
NO
20.7 /
22.9
|
ansition_Systems/From_T2/1394complete-fail.t2.smt2
|
NO
35.1 /
29.6
|
.
269.0 /
300.0
|
NO
20.0 /
12.8
|
on_Systems/From_T2/1394complete-fail.t2_fixed.smt2
|
NO
37.5 /
67.6
|
.
273.8 /
300.0
|
NO
19.5 /
12.4
|
ition_Systems/From_T2/1394complete-succeed.t2.smt2
|
NO
38.4 /
33.0
|
.
145.5 /
300.0
|
NO
18.5 /
27.9
|
Systems/From_T2/1394complete-succeed.t2_fixed.smt2
|
NO
38.6 /
33.2
|
.
277.0 /
300.0
|
NO
18.9 /
12.2
|
Integer_Transition_Systems/From_T2/2.t2.smt2
|
NO
1.5 /
1.3
|
.
68.5 /
76.2
|
NO
4.3 /
2.5
|
Integer_Transition_Systems/From_T2/232.t2.smt2
|
YES
0.8 /
0.8
|
YES
2.4 /
21.1
|
YES
2.2 /
1.6
|
Integer_Transition_Systems/From_T2/241.t2.smt2
|
YES
0.9 /
1.2
|
YES
2.1 /
2.4
|
YES
2.2 /
1.6
|
Integer_Transition_Systems/From_T2/3.t2.smt2
|
NO
0.9 /
1.8
|
.
0.2 /
0.4
|
NO
2.3 /
1.7
|
Integer_Transition_Systems/From_T2/5.t2.smt2
|
YES
0.5 /
0.5
|
YES
0.0 /
0.0
|
YES
2.1 /
1.5
|
Integer_Transition_Systems/From_T2/6.t2.smt2
|
NO
0.9 /
1.1
|
.
0.2 /
0.2
|
NO
2.7 /
5.8
|
Integer_Transition_Systems/From_T2/7.t2.smt2
|
NO
0.9 /
0.8
|
.
1.0 /
1.1
|
NO
2.3 /
1.7
|
Integer_Transition_Systems/From_T2/Prim_4.t2.smt2
|
NO
8.1 /
7.3
|
.
144.9 /
300.0
|
NO
7.8 /
9.3
|
Integer_Transition_Systems/From_T2/Prim_5.t2.smt2
|
NO
7.8 /
6.9
|
.
219.6 /
300.1
|
NO
7.8 /
3.8
|
ger_Transition_Systems/From_T2/acqrel-fail.t2.smt2
|
NO
1.1 /
1.0
|
.
1.9 /
7.6
|
NO
2.8 /
1.9
|
Transition_Systems/From_T2/acqrel-succeed2.t2.smt2
|
NO
1.0 /
1.0
|
.
4.3 /
4.9
|
NO
2.6 /
3.9
|
eger_Transition_Systems/From_T2/afagp-fail.t2.smt2
|
.
234.4 /
300.0
|
.
281.9 /
300.0
|
NO
83.4 /
72.9
|
ransition_Systems/From_T2/afagp-fail.t2_fixed.smt2
|
NO
149.7 /
141.6
|
.
158.2 /
300.0
|
NO
126.6 /
143.9
|
Integer_Transition_Systems/From_T2/afagx1.t2.smt2
|
NO
0.9 /
0.9
|
.
0.5 /
0.5
|
NO
2.5 /
1.8
|
Integer_Transition_Systems/From_T2/agafp.t2.smt2
|
NO
144.5 /
119.6
|
.
298.5 /
300.0
|
.
276.1 /
300.0
|
ger_Transition_Systems/From_T2/agafp.t2_fixed.smt2
|
NO
208.2 /
258.0
|
.
232.2 /
300.0
|
.
286.8 /
300.0
|
Integer_Transition_Systems/From_T2/andrey.t2.smt2
|
YES
0.7 /
0.7
|
YES
0.1 /
0.2
|
YES
2.4 /
3.1
|
tion_Systems/From_T2/apchild-accepted-fail.t2.smt2
|
NO
93.7 /
85.7
|
.
249.9 /
300.0
|
.
110.7 /
102.3
|
ystems/From_T2/apchild-accepted-fail.t2_fixed.smt2
|
.
132.1 /
194.4
|
.
279.3 /
300.0
|
.
103.9 /
85.7
|
ransition_Systems/From_T2/apchild-accepted.t2.smt2
|
NO
85.7 /
76.8
|
.
162.5 /
300.1
|
.
111.2 /
138.1
|
ion_Systems/From_T2/apchild-accepted.t2_fixed.smt2
|
.
148.9 /
282.1
|
.
234.0 /
300.0
|
.
108.9 /
96.4
|
er_Transition_Systems/From_T2/apchild-live.t2.smt2
|
NO
213.4 /
191.3
|
.
299.6 /
300.0
|
.
71.0 /
53.3
|
nsition_Systems/From_T2/apchild-live.t2_fixed.smt2
|
NO
146.5 /
133.6
|
.
237.1 /
300.0
|
.
68.2 /
49.1
|
sition_Systems/From_T2/apchildlive-succeed.t2.smt2
|
NO
69.5 /
61.5
|
.
225.8 /
300.0
|
.
107.7 /
99.1
|
_Systems/From_T2/apchildlive-succeed.t2_fixed.smt2
|
NO
68.2 /
63.8
|
.
268.2 /
300.0
|
.
102.6 /
109.0
|
Integer_Transition_Systems/From_T2/arith.t2.smt2
|
YES
0.7 /
0.7
|
YES
1.6 /
1.8
|
YES
2.2 /
1.6
|
tion_Systems/From_T2/armc-difficult_defect.t2.smt2
|
YES
1.0 /
1.0
|
.
1.5 /
1.6
|
YES
4.1 /
2.3
|
sition_Systems/From_T2/armc-difficult_foo2.t2.smt2
|
YES
0.5 /
0.5
|
YES
0.0 /
0.0
|
YES
2.1 /
1.6
|
sition_Systems/From_T2/armc-difficult_foo3.t2.smt2
|
YES
22.1 /
26.5
|
.
167.5 /
300.0
|
YES
12.2 /
6.5
|
ransition_Systems/From_T2/armc-difficult_k.t2.smt2
|
YES
4.6 /
4.0
|
.
32.1 /
45.6
|
YES
17.2 /
11.3
|
Integer_Transition_Systems/From_T2/array.t2.smt2
|
YES
0.6 /
1.2
|
YES
0.0 /
0.0
|
YES
2.4 /
1.8
|
Integer_Transition_Systems/From_T2/array2.t2.smt2
|
YES
0.8 /
0.8
|
YES
1.2 /
1.4
|
YES
2.2 /
1.7
|
er_Transition_Systems/From_T2/array2.t2_fixed.smt2
|
YES
0.8 /
0.8
|
YES
0.6 /
0.7
|
YES
2.1 /
1.6
|
Integer_Transition_Systems/From_T2/array3.t2.smt2
|
YES
0.8 /
0.8
|
YES
4.8 /
25.1
|
YES
2.4 /
1.8
|
Integer_Transition_Systems/From_T2/array4.t2.smt2
|
YES
1.0 /
2.2
|
YES
2.6 /
2.9
|
YES
2.3 /
1.7
|
eger_Transition_Systems/From_T2/array_free.t2.smt2
|
YES
0.8 /
1.8
|
YES
1.6 /
2.6
|
YES
2.1 /
3.8
|
ger_Transition_Systems/From_T2/array_free2.t2.smt2
|
YES
0.9 /
2.0
|
YES
0.4 /
0.4
|
YES
2.3 /
1.6
|
eger_Transition_Systems/From_T2/array_init.t2.smt2
|
YES
0.8 /
1.0
|
YES
0.7 /
0.7
|
YES
2.4 /
2.3
|
ransition_Systems/From_T2/array_init.t2_fixed.smt2
|
YES
0.8 /
0.8
|
YES
0.3 /
0.4
|
YES
2.2 /
1.6
|
ansition_Systems/From_T2/array_init_assign.t2.smt2
|
YES
0.9 /
2.8
|
YES
1.3 /
1.5
|
YES
2.4 /
3.9
|
ger_Transition_Systems/From_T2/ase_example.t2.smt2
|
YES
1.0 /
0.9
|
.
15.7 /
23.2
|
YES
2.6 /
1.8
|
ansition_Systems/From_T2/ase_example.t2_fixed.smt2
|
YES
1.0 /
0.9
|
YES
13.3 /
14.9
|
YES
2.5 /
1.8
|
Integer_Transition_Systems/From_T2/ax_test.t2.smt2
|
NO
0.8 /
1.5
|
.
0.1 /
0.1
|
NO
2.3 /
1.6
|
teger_Transition_Systems/From_T2/ax_test_2.t2.smt2
|
NO
0.8 /
0.8
|
.
0.1 /
0.1
|
NO
2.4 /
1.8
|
teger_Transition_Systems/From_T2/ax_test_3.t2.smt2
|
NO
0.8 /
0.8
|
.
0.2 /
0.3
|
NO
2.3 /
1.7
|
Integer_Transition_Systems/From_T2/bakery.t2.smt2
|
NO
1.5 /
1.4
|
.
120.5 /
136.0
|
NO
4.0 /
2.4
|
teger_Transition_Systems/From_T2/bakerybug.t2.smt2
|
NO
1.6 /
1.6
|
.
115.7 /
129.9
|
NO
4.4 /
2.8
|
Integer_Transition_Systems/From_T2/bf10.t2.smt2
|
YES
1.6 /
1.4
|
YES
92.4 /
105.6
|
YES
4.2 /
8.4
|
eger_Transition_Systems/From_T2/bf10.t2_fixed.smt2
|
YES
1.7 /
1.5
|
YES
70.3 /
80.1
|
YES
3.8 /
2.4
|
Integer_Transition_Systems/From_T2/bf11.t2.smt2
|
YES
1.7 /
1.5
|
YES
101.7 /
216.0
|
YES
3.7 /
5.6
|
eger_Transition_Systems/From_T2/bf11.t2_fixed.smt2
|
YES
1.5 /
1.3
|
.
75.2 /
300.1
|
YES
4.0 /
4.1
|
Integer_Transition_Systems/From_T2/bf12.t2.smt2
|
YES
1.6 /
1.4
|
YES
101.0 /
113.4
|
YES
4.1 /
2.2
|
eger_Transition_Systems/From_T2/bf12.t2_fixed.smt2
|
YES
1.6 /
3.5
|
YES
79.1 /
222.4
|
YES
3.7 /
2.1
|
Integer_Transition_Systems/From_T2/bf13.t2.smt2
|
YES
1.6 /
1.5
|
YES
94.2 /
208.6
|
YES
3.9 /
2.1
|
eger_Transition_Systems/From_T2/bf13.t2_fixed.smt2
|
YES
1.4 /
1.3
|
YES
68.4 /
78.9
|
YES
3.6 /
2.0
|
Integer_Transition_Systems/From_T2/bf14.t2.smt2
|
YES
1.7 /
1.5
|
YES
96.3 /
110.4
|
YES
4.2 /
2.3
|
eger_Transition_Systems/From_T2/bf14.t2_fixed.smt2
|
YES
1.5 /
1.3
|
YES
72.1 /
82.4
|
YES
3.9 /
2.3
|
Integer_Transition_Systems/From_T2/bf15.t2.smt2
|
YES
1.5 /
1.8
|
YES
133.2 /
150.8
|
YES
4.0 /
2.2
|
eger_Transition_Systems/From_T2/bf15.t2_fixed.smt2
|
YES
1.4 /
1.3
|
YES
70.0 /
108.5
|
YES
3.9 /
2.4
|
Integer_Transition_Systems/From_T2/bf16.t2.smt2
|
YES
1.5 /
2.4
|
.
117.1 /
300.0
|
YES
3.8 /
2.1
|
eger_Transition_Systems/From_T2/bf16.t2_fixed.smt2
|
YES
1.5 /
1.3
|
YES
87.2 /
266.7
|
YES
3.7 /
5.1
|
Integer_Transition_Systems/From_T2/bf17.t2.smt2
|
YES
1.7 /
1.5
|
.
75.6 /
300.0
|
YES
4.0 /
2.2
|
eger_Transition_Systems/From_T2/bf17.t2_fixed.smt2
|
YES
1.7 /
1.5
|
YES
60.3 /
68.8
|
YES
3.6 /
5.2
|
Integer_Transition_Systems/From_T2/bf18.t2.smt2
|
YES
2.0 /
3.8
|
YES
94.5 /
108.0
|
YES
4.4 /
9.1
|
eger_Transition_Systems/From_T2/bf18.t2_fixed.smt2
|
YES
1.6 /
1.4
|
YES
67.8 /
91.8
|
YES
4.0 /
7.0
|
Integer_Transition_Systems/From_T2/bf19.t2.smt2
|
YES
1.8 /
1.6
|
YES
90.8 /
104.7
|
YES
4.1 /
2.2
|
eger_Transition_Systems/From_T2/bf19.t2_fixed.smt2
|
YES
1.7 /
2.8
|
.
59.1 /
84.7
|
YES
4.2 /
6.3
|
Integer_Transition_Systems/From_T2/bf20.t2.smt2
|
YES
1.8 /
1.6
|
YES
99.7 /
112.8
|
YES
3.9 /
2.1
|
eger_Transition_Systems/From_T2/bf20.t2_fixed.smt2
|
YES
1.6 /
2.5
|
YES
66.7 /
290.2
|
YES
3.6 /
2.0
|
Integer_Transition_Systems/From_T2/bf5.t2.smt2
|
YES
1.5 /
1.4
|
YES
77.8 /
183.2
|
YES
4.4 /
6.6
|
teger_Transition_Systems/From_T2/bf5.t2_fixed.smt2
|
YES
1.5 /
1.3
|
YES
70.5 /
168.6
|
YES
3.6 /
2.0
|
Integer_Transition_Systems/From_T2/bf6.t2.smt2
|
YES
1.6 /
1.4
|
YES
94.8 /
108.4
|
YES
3.9 /
2.1
|
teger_Transition_Systems/From_T2/bf6.t2_fixed.smt2
|
YES
1.5 /
1.3
|
.
68.8 /
104.6
|
YES
3.9 /
14.6
|
Integer_Transition_Systems/From_T2/bf7.t2.smt2
|
YES
1.6 /
1.4
|
YES
98.9 /
112.0
|
YES
4.3 /
2.7
|
teger_Transition_Systems/From_T2/bf7.t2_fixed.smt2
|
YES
1.5 /
1.3
|
YES
72.3 /
83.0
|
YES
3.6 /
2.1
|
Integer_Transition_Systems/From_T2/bf8.t2.smt2
|
YES
1.6 /
1.4
|
YES
99.1 /
167.1
|
YES
4.6 /
2.5
|
teger_Transition_Systems/From_T2/bf8.t2_fixed.smt2
|
YES
1.5 /
1.3
|
.
68.1 /
102.4
|
YES
4.4 /
7.3
|
Integer_Transition_Systems/From_T2/bf9.t2.smt2
|
YES
1.9 /
1.6
|
YES
97.7 /
111.6
|
YES
4.1 /
3.4
|
teger_Transition_Systems/From_T2/bf9.t2_fixed.smt2
|
YES
1.5 /
1.3
|
YES
74.7 /
84.8
|
YES
3.7 /
2.1
|
Integer_Transition_Systems/From_T2/bio.t2.smt2
|
.
161.7 /
300.0
|
.
300.1 /
300.0
|
.
480.6 /
300.1
|
eger_Transition_Systems/From_T2/bitcount16.t2.smt2
|
YES
1.0 /
1.2
|
.
38.1 /
96.9
|
YES
3.3 /
2.0
|
ransition_Systems/From_T2/bitcount16.t2_fixed.smt2
|
YES
1.0 /
1.0
|
YES
32.6 /
56.3
|
YES
2.8 /
4.4
|
eger_Transition_Systems/From_T2/bitcount32.t2.smt2
|
YES
1.0 /
1.0
|
.
46.6 /
187.6
|
YES
3.2 /
1.9
|
ransition_Systems/From_T2/bitcount32.t2_fixed.smt2
|
YES
1.1 /
1.0
|
YES
29.9 /
38.1
|
YES
3.4 /
4.0
|
_Transition_Systems/From_T2/brockschmidt_1.t2.smt2
|
YES
3.0 /
2.6
|
.
2.8 /
3.2
|
YES
10.0 /
8.1
|
tems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2.smt2
|
.
180.2 /
300.0
|
.
235.9 /
300.0
|
YES
17.1 /
11.2
|
rom_T2/broydn.c.i.broydn.pl.t2.fixed.t2_fixed.smt2
|
.
200.5 /
300.0
|
.
135.3 /
300.1
|
YES
20.4 /
21.9
|
T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.smt2
|
.
323.0 /
300.0
|
.
218.6 /
300.0
|
YES
17.8 /
17.2
|
ydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2
|
.
322.8 /
300.0
|
.
205.6 /
300.0
|
YES
17.2 /
12.3
|
Integer_Transition_Systems/From_T2/broydn.t2.smt2
|
.
253.4 /
300.1
|
.
236.4 /
300.0
|
YES
17.7 /
11.3
|
er_Transition_Systems/From_T2/broydn.t2_fixed.smt2
|
.
319.9 /
300.0
|
.
282.9 /
300.0
|
YES
17.3 /
11.0
|
_Transition_Systems/From_T2/brp_withassume.t2.smt2
|
YES
28.9 /
27.3
|
.
260.7 /
300.1
|
YES
16.3 /
25.6
|
Integer_Transition_Systems/From_T2/bs.t2.smt2
|
NO
1.0 /
1.0
|
.
30.9 /
34.6
|
NO
3.4 /
2.0
|
nteger_Transition_Systems/From_T2/bs.t2_fixed.smt2
|
NO
1.2 /
1.1
|
.
20.9 /
24.3
|
NO
4.4 /
12.8
|
nteger_Transition_Systems/From_T2/bsort100.t2.smt2
|
YES
1.3 /
1.6
|
YES
109.0 /
129.2
|
YES
3.9 /
3.5
|
_Transition_Systems/From_T2/bsort100.t2_fixed.smt2
|
YES
1.5 /
1.3
|
.
55.3 /
114.4
|
YES
3.6 /
2.7
|
eger_Transition_Systems/From_T2/bubbleSort.t2.smt2
|
YES
1.1 /
1.2
|
YES
18.0 /
20.2
|
YES
2.7 /
4.9
|
tion_Systems/From_T2/bubblesort_inner_loop.t2.smt2
|
YES
0.8 /
0.8
|
YES
4.3 /
4.9
|
YES
2.4 /
1.7
|
Integer_Transition_Systems/From_T2/byron-1.t2.smt2
|
YES
0.9 /
0.9
|
.
1.8 /
2.0
|
YES
2.4 /
1.8
|
Integer_Transition_Systems/From_T2/byron-2.t2.smt2
|
YES
0.8 /
0.8
|
YES
33.1 /
150.8
|
YES
2.7 /
5.0
|
r_Transition_Systems/From_T2/byron-2.t2_fixed.smt2
|
YES
0.8 /
0.8
|
.
22.5 /
33.6
|
YES
2.5 /
4.3
|
Integer_Transition_Systems/From_T2/byron-3.t2.smt2
|
YES
1.1 /
1.0
|
.
2.0 /
2.3
|
YES
2.4 /
1.7
|
Integer_Transition_Systems/From_T2/byron-4.t2.smt2
|
NO
0.9 /
0.9
|
.
21.9 /
24.3
|
NO
3.6 /
4.6
|
r_Transition_Systems/From_T2/byron-4.t2_fixed.smt2
|
YES
1.0 /
0.9
|
.
11.1 /
23.3
|
YES
4.3 /
2.7
|
Integer_Transition_Systems/From_T2/cfg.t2.smt2
|
NO
0.9 /
0.8
|
.
3.8 /
4.2
|
.
901.2 /
300.1
|
Integer_Transition_Systems/From_T2/cnt.t2.smt2
|
YES
2.4 /
2.0
|
.
265.9 /
300.0
|
YES
4.4 /
2.3
|
teger_Transition_Systems/From_T2/cnt.t2_fixed.smt2
|
YES
2.4 /
20.7
|
.
266.2 /
300.0
|
YES
3.9 /
5.9
|
Integer_Transition_Systems/From_T2/collatz.t2.smt2
|
.
1.6 /
1.9
|
.
9.9 /
64.3
|
.
341.2 /
300.0
|
r_Transition_Systems/From_T2/collatz.t2_fixed.smt2
|
.
10.9 /
9.4
|
.
5.5 /
6.3
|
.
795.1 /
300.1
|
r_Transition_Systems/From_T2/complex_guard.t2.smt2
|
YES
0.8 /
1.0
|
YES
0.4 /
0.5
|
YES
2.3 /
1.7
|
nteger_Transition_Systems/From_T2/compress.t2.smt2
|
NO
111.6 /
102.7
|
.
299.8 /
300.0
|
.
710.4 /
300.1
|
_Transition_Systems/From_T2/compress.t2_fixed.smt2
|
.
138.5 /
179.5
|
.
187.7 /
300.0
|
.
337.1 /
300.0
|
teger_Transition_Systems/From_T2/constants.t2.smt2
|
YES
0.9 /
2.5
|
YES
12.1 /
13.9
|
YES
2.4 /
2.5
|
Transition_Systems/From_T2/constants.t2_fixed.smt2
|
YES
0.9 /
0.8
|
YES
6.9 /
7.8
|
YES
2.5 /
1.7
|
Integer_Transition_Systems/From_T2/consts1.t2.smt2
|
NO
0.8 /
1.9
|
.
1.4 /
1.5
|
NO
2.3 /
4.6
|
r_Transition_Systems/From_T2/consts1.t2_fixed.smt2
|
YES
0.8 /
0.8
|
.
0.7 /
0.8
|
YES
2.8 /
2.0
|
teger_Transition_Systems/From_T2/consts1nt.t2.smt2
|
NO
0.8 /
0.8
|
.
1.3 /
1.4
|
NO
2.5 /
4.6
|
Transition_Systems/From_T2/consts1nt.t2_fixed.smt2
|
NO
0.9 /
1.0
|
.
0.8 /
2.1
|
NO
2.4 /
1.7
|
Integer_Transition_Systems/From_T2/consts2.t2.smt2
|
NO
0.8 /
0.8
|
.
0.8 /
3.4
|
.
1027.5 /
300.1
|
r_Transition_Systems/From_T2/consts2.t2_fixed.smt2
|
YES
0.8 /
0.7
|
YES
0.1 /
0.1
|
YES
2.1 /
1.6
|
teger_Transition_Systems/From_T2/consts2nt.t2.smt2
|
NO
0.8 /
0.8
|
.
0.8 /
4.7
|
.
622.3 /
300.1
|
Transition_Systems/From_T2/consts2nt.t2_fixed.smt2
|
NO
0.8 /
0.8
|
.
0.3 /
0.9
|
NO
2.3 /
1.7
|
Integer_Transition_Systems/From_T2/consts3.t2.smt2
|
YES
0.9 /
2.0
|
YES
0.6 /
1.7
|
YES
2.1 /
1.6
|
r_Transition_Systems/From_T2/consts3.t2_fixed.smt2
|
YES
0.7 /
0.8
|
YES
0.1 /
0.1
|
YES
2.2 /
1.6
|
teger_Transition_Systems/From_T2/consts3nt.t2.smt2
|
NO
0.8 /
0.8
|
.
0.8 /
4.8
|
NO
2.4 /
1.7
|
Transition_Systems/From_T2/consts3nt.t2_fixed.smt2
|
NO
0.9 /
2.0
|
.
0.2 /
0.3
|
NO
2.5 /
7.5
|
Integer_Transition_Systems/From_T2/consts4.t2.smt2
|
NO
0.9 /
0.9
|
.
1.1 /
1.5
|
.
909.8 /
300.0
|
r_Transition_Systems/From_T2/consts4.t2_fixed.smt2
|
YES
0.8 /
0.8
|
YES
0.1 /
0.1
|
YES
2.2 /
1.6
|
teger_Transition_Systems/From_T2/consts4nt.t2.smt2
|
NO
0.9 /
1.4
|
.
1.2 /
1.4
|
.
988.9 /
300.0
|
Transition_Systems/From_T2/consts4nt.t2_fixed.smt2
|
NO
0.8 /
0.8
|
.
0.3 /
0.3
|
NO
2.3 /
1.7
|
Integer_Transition_Systems/From_T2/consts5.t2.smt2
|
NO
0.9 /
2.0
|
.
4.7 /
5.4
|
.
739.1 /
300.1
|
r_Transition_Systems/From_T2/consts5.t2_fixed.smt2
|
YES
0.8 /
0.8
|
.
0.9 /
1.0
|
YES
2.8 /
6.1
|
teger_Transition_Systems/From_T2/consts5nt.t2.smt2
|
NO
0.9 /
0.9
|
.
4.6 /
5.3
|
.
1064.5 /
300.0
|
Transition_Systems/From_T2/consts5nt.t2_fixed.smt2
|
NO
0.8 /
0.9
|
.
0.9 /
1.1
|
NO
2.5 /
1.8
|
Integer_Transition_Systems/From_T2/cover.t2.smt2
|
.
271.4 /
300.0
|
.
264.0 /
300.0
|
.
300.4 /
300.0
|
ger_Transition_Systems/From_T2/cover.t2_fixed.smt2
|
.
247.2 /
300.0
|
.
273.2 /
300.0
|
.
249.5 /
300.0
|
Integer_Transition_Systems/From_T2/crc.t2.smt2
|
YES
11.2 /
13.7
|
.
141.3 /
300.0
|
YES
8.7 /
5.0
|
teger_Transition_Systems/From_T2/crc.t2_fixed.smt2
|
YES
9.7 /
8.0
|
.
86.6 /
300.1
|
YES
9.0 /
4.9
|
Integer_Transition_Systems/From_T2/create.t2.smt2
|
YES
1.0 /
0.9
|
YES
27.7 /
31.3
|
YES
3.5 /
2.0
|
eger_Transition_Systems/From_T2/create_seg.t2.smt2
|
YES
0.9 /
1.2
|
YES
32.8 /
37.7
|
YES
3.9 /
2.2
|
Transition_Systems/From_T2/create_via_tmps.t2.smt2
|
YES
2.0 /
1.7
|
.
207.8 /
300.0
|
YES
7.8 /
4.3
|
tion_Systems/From_T2/create_via_tmps.t2_fixed.smt2
|
YES
3.4 /
7.3
|
.
261.5 /
300.0
|
YES
6.5 /
9.6
|
Integer_Transition_Systems/From_T2/ctl.t2.smt2
|
NO
1.0 /
1.0
|
.
18.6 /
21.0
|
NO
6.5 /
3.3
|
teger_Transition_Systems/From_T2/ctl.t2_fixed.smt2
|
NO
1.0 /
1.0
|
.
3.1 /
3.5
|
NO
4.4 /
2.4
|
Integer_Transition_Systems/From_T2/curious.t2.smt2
|
NO
0.8 /
0.8
|
.
1.1 /
7.1
|
NO
2.5 /
1.8
|
r_Transition_Systems/From_T2/curious.t2_fixed.smt2
|
NO
0.8 /
0.8
|
.
0.6 /
0.6
|
NO
2.2 /
2.7
|
nteger_Transition_Systems/From_T2/curious2.t2.smt2
|
YES
0.6 /
1.9
|
YES
0.0 /
0.0
|
YES
2.3 /
5.5
|
_Transition_Systems/From_T2/curious2.t2_fixed.smt2
|
YES
0.6 /
0.6
|
YES
0.0 /
0.0
|
YES
2.1 /
1.5
|
nteger_Transition_Systems/From_T2/curious4.t2.smt2
|
.
275.7 /
300.0
|
.
254.7 /
300.0
|
NO
81.3 /
70.5
|
Integer_Transition_Systems/From_T2/d.t2.smt2
|
NO
0.8 /
1.0
|
.
3.4 /
3.7
|
.
252.9 /
300.0
|
Integer_Transition_Systems/From_T2/db.t2.smt2
|
YES
0.8 /
1.9
|
YES
0.1 /
0.1
|
YES
2.4 /
4.0
|
Integer_Transition_Systems/From_T2/db2.t2.smt2
|
.
305.0 /
300.0
|
.
277.5 /
300.1
|
.
153.5 /
300.0
|
teger_Transition_Systems/From_T2/db2.t2_fixed.smt2
|
.
358.7 /
300.0
|
.
172.0 /
300.1
|
.
303.3 /
300.1
|
Integer_Transition_Systems/From_T2/db3.t2.smt2
|
.
283.4 /
300.1
|
.
196.6 /
300.0
|
.
273.1 /
300.0
|
teger_Transition_Systems/From_T2/db3.t2_fixed.smt2
|
.
365.8 /
300.0
|
.
300.1 /
300.0
|
.
303.9 /
300.0
|
ion_Systems/From_T2/dead.neg-st88b-succeed.t2.smt2
|
NO
1.7 /
5.2
|
.
18.2 /
24.2
|
NO
5.7 /
3.6
|
Integer_Transition_Systems/From_T2/defect.t2.smt2
|
NO
0.7 /
0.7
|
.
0.0 /
0.1
|
NO
2.3 /
1.7
|
Integer_Transition_Systems/From_T2/destroy.t2.smt2
|
YES
2.0 /
1.6
|
.
272.9 /
300.0
|
YES
6.8 /
4.1
|
r_Transition_Systems/From_T2/destroy.t2_fixed.smt2
|
YES
3.2 /
2.7
|
.
265.8 /
300.0
|
YES
7.0 /
8.4
|
ger_Transition_Systems/From_T2/destroy_seg.t2.smt2
|
YES
2.4 /
4.6
|
.
263.6 /
300.0
|
YES
8.5 /
7.7
|
ansition_Systems/From_T2/destroy_seg.t2_fixed.smt2
|
YES
3.7 /
3.1
|
.
265.8 /
300.0
|
YES
10.9 /
12.0
|
ransition_Systems/From_T2/destroy_seg_leak.t2.smt2
|
NO
3.6 /
5.1
|
.
278.9 /
300.0
|
NO
22.6 /
17.3
|
ion_Systems/From_T2/destroy_seg_leak.t2_fixed.smt2
|
NO
10.2 /
19.9
|
.
273.4 /
300.0
|
NO
20.2 /
13.2
|
_Transition_Systems/From_T2/disj_nightmare.t2.smt2
|
NO
0.9 /
1.9
|
.
262.8 /
300.0
|
.
327.1 /
300.1
|
ition_Systems/From_T2/disj_nightmare.t2_fixed.smt2
|
YES
18.6 /
16.8
|
.
213.8 /
300.0
|
YES
84.1 /
68.7
|
nsition_Systems/From_T2/disj_nightmare_abi.t2.smt2
|
YES
2.6 /
2.2
|
.
2.6 /
3.0
|
YES
4.1 /
3.0
|
er_Transition_Systems/From_T2/dropbuf-live.t2.smt2
|
YES
0.5 /
0.5
|
YES
0.0 /
0.0
|
YES
2.2 /
1.6
|
Integer_Transition_Systems/From_T2/dropbuf.t2.smt2
|
NO
5.8 /
5.0
|
.
73.2 /
83.4
|
NO
8.1 /
3.9
|
teger_Transition_Systems/From_T2/dsa_test1.t2.smt2
|
YES
0.5 /
0.5
|
YES
0.0 /
0.1
|
YES
2.1 /
1.5
|
eger_Transition_Systems/From_T2/dsa_test10.t2.smt2
|
YES
0.9 /
0.8
|
YES
7.7 /
8.8
|
YES
2.7 /
4.0
|
ransition_Systems/From_T2/dsa_test10.t2_fixed.smt2
|
YES
0.9 /
0.8
|
YES
6.4 /
7.2
|
YES
2.7 /
4.8
|
eger_Transition_Systems/From_T2/dsa_test12.t2.smt2
|
YES
0.5 /
1.4
|
YES
0.0 /
0.0
|
YES
2.1 /
1.5
|
eger_Transition_Systems/From_T2/dsa_test13.t2.smt2
|
YES
0.5 /
0.5
|
YES
0.0 /
0.0
|
YES
2.1 /
1.5
|
eger_Transition_Systems/From_T2/dsa_test15.t2.smt2
|
YES
0.9 /
0.8
|
YES
3.7 /
13.8
|
YES
2.3 /
1.6
|
ransition_Systems/From_T2/dsa_test15.t2_fixed.smt2
|
YES
0.9 /
2.4
|
YES
2.6 /
2.8
|
YES
2.3 /
1.6
|
teger_Transition_Systems/From_T2/dsa_test6.t2.smt2
|
YES
0.8 /
0.8
|
YES
1.2 /
1.3
|
YES
2.2 /
1.6
|
Transition_Systems/From_T2/dsa_test6.t2_fixed.smt2
|
YES
0.8 /
1.3
|
YES
0.6 /
0.7
|
YES
2.2 /
1.6
|
teger_Transition_Systems/From_T2/dsa_test8.t2.smt2
|
YES
0.5 /
0.5
|
YES
0.0 /
0.0
|
YES
2.1 /
1.6
|
teger_Transition_Systems/From_T2/dsa_test9.t2.smt2
|
YES
0.6 /
0.6
|
YES
0.0 /
0.0
|
YES
2.2 /
2.0
|
Integer_Transition_Systems/From_T2/dummy.t2.smt2
|
NO
0.8 /
0.8
|
.
0.9 /
1.1
|
NO
2.4 /
1.8
|
Integer_Transition_Systems/From_T2/dumper.t2.smt2
|
NO
198.6 /
188.5
|
.
193.5 /
300.0
|
NO
98.3 /
85.5
|
ger_Transition_Systems/From_T2/e-1394-fail.t2.smt2
|
NO
33.3 /
28.6
|
.
267.3 /
300.0
|
NO
21.3 /
24.5
|
_Transition_Systems/From_T2/e-1394-succeed.t2.smt2
|
NO
33.8 /
29.1
|
.
164.4 /
300.1
|
NO
17.5 /
11.0
|
ition_Systems/From_T2/e-1394-succeed.t2_fixed.smt2
|
NO
36.6 /
54.1
|
.
178.7 /
300.0
|
NO
21.2 /
14.3
|
sition_Systems/From_T2/e-1394complete-fail.t2.smt2
|
NO
31.9 /
27.5
|
.
263.7 /
300.0
|
NO
17.2 /
10.9
|
ition_Systems/From_T2/e-1394complete-failA.t2.smt2
|
NO
31.9 /
51.4
|
.
272.6 /
300.0
|
NO
18.8 /
12.0
|
ion_Systems/From_T2/e-1394complete-succeed.t2.smt2
|
NO
32.3 /
29.5
|
.
142.5 /
300.0
|
NO
20.5 /
25.2
|
stems/From_T2/e-1394complete-succeed.t2_fixed.smt2
|
NO
29.4 /
25.1
|
.
210.0 /
300.0
|
NO
21.0 /
17.4
|
r_Transition_Systems/From_T2/e-acqrel-fail.t2.smt2
|
NO
1.1 /
1.1
|
.
1.8 /
6.1
|
NO
2.8 /
1.9
|
ransition_Systems/From_T2/e-acqrel-succeed.t2.smt2
|
NO
1.2 /
1.3
|
.
2.6 /
3.0
|
NO
2.7 /
2.8
|
ion_Systems/From_T2/e-acqrel-succeed.t2_fixed.smt2
|
NO
1.1 /
2.2
|
.
2.4 /
2.7
|
NO
2.7 /
2.7
|
r_Transition_Systems/From_T2/e-pgarch-fail.t2.smt2
|
NO
1.1 /
1.0
|
.
26.8 /
30.2
|
NO
5.3 /
2.8
|
ransition_Systems/From_T2/e-pgarch-succeed.t2.smt2
|
NO
1.2 /
1.1
|
.
33.4 /
64.7
|
NO
6.2 /
9.2
|
ion_Systems/From_T2/e-pgarch-succeed.t2_fixed.smt2
|
NO
1.2 /
1.2
|
.
28.0 /
32.3
|
NO
5.1 /
10.8
|
r_Transition_Systems/From_T2/e-popl07-fail.t2.smt2
|
NO
2.0 /
1.7
|
.
78.3 /
124.5
|
NO
7.3 /
8.7
|
sition_Systems/From_T2/e-popl07-fail.t2_fixed.smt2
|
NO
2.1 /
4.4
|
.
75.1 /
84.9
|
NO
7.7 /
3.8
|
ransition_Systems/From_T2/e-popl07-succeed.t2.smt2
|
NO
1.9 /
1.6
|
.
72.9 /
141.9
|
NO
6.4 /
3.2
|
_Transition_Systems/From_T2/e-smagill-fail.t2.smt2
|
NO
1.0 /
2.1
|
.
5.3 /
6.0
|
NO
3.5 /
8.6
|
ansition_Systems/From_T2/e-smagill-succeed.t2.smt2
|
NO
1.1 /
1.1
|
.
2.9 /
9.5
|
NO
4.9 /
3.1
|
er_Transition_Systems/From_T2/e-st88b-fail.t2.smt2
|
NO
1.2 /
1.1
|
.
1.8 /
4.2
|
NO
4.0 /
2.4
|
Integer_Transition_Systems/From_T2/edn.t2.smt2
|
YES
20.9 /
17.2
|
.
121.8 /
300.0
|
.
1000.8 /
300.1
|
teger_Transition_Systems/From_T2/edn.t2_fixed.smt2
|
YES
20.4 /
19.1
|
.
262.0 /
300.0
|
YES
6.9 /
3.9
|
Integer_Transition_Systems/From_T2/efegp.t2.smt2
|
NO
109.5 /
118.0
|
.
177.5 /
300.0
|
NO
50.8 /
53.7
|
ger_Transition_Systems/From_T2/efegp.t2_fixed.smt2
|
NO
81.5 /
132.2
|
.
300.1 /
300.0
|
NO
40.3 /
63.6
|
tems/From_T2/elmhes.c.i.elmhes.pl.t2.fixed.t2.smt2
|
YES
6.0 /
5.6
|
.
85.5 /
300.0
|
YES
4.9 /
2.5
|
Integer_Transition_Systems/From_T2/elmhes.t2.smt2
|
YES
6.2 /
13.5
|
.
207.1 /
300.1
|
YES
4.7 /
2.4
|
Integer_Transition_Systems/From_T2/eric.t2.smt2
|
.
11.1 /
9.3
|
.
13.8 /
15.4
|
.
603.3 /
300.0
|
Integer_Transition_Systems/From_T2/eric1.t2.smt2
|
.
301.3 /
300.0
|
.
3.1 /
3.4
|
YES
5.1 /
3.4
|
Integer_Transition_Systems/From_T2/eric2.t2.smt2
|
.
258.3 /
300.1
|
.
231.5 /
300.0
|
.
781.1 /
300.0
|
Integer_Transition_Systems/From_T2/eric3.t2.smt2
|
NO
1.0 /
1.0
|
.
15.6 /
17.7
|
NO
3.3 /
2.3
|
Integer_Transition_Systems/From_T2/ex1.t2.smt2
|
NO
0.9 /
0.9
|
.
0.9 /
1.0
|
NO
2.3 /
1.7
|
Integer_Transition_Systems/From_T2/ex10.t2.smt2
|
NO
1.1 /
1.1
|
.
56.9 /
65.1
|
.
805.1 /
300.1
|
Integer_Transition_Systems/From_T2/ex11.t2.smt2
|
.
12.6 /
10.8
|
.
3.5 /
4.0
|
.
600.5 /
300.0
|
Integer_Transition_Systems/From_T2/ex12.t2.smt2
|
YES
0.8 /
0.8
|
YES
1.3 /
1.7
|
YES
2.2 /
1.6
|
eger_Transition_Systems/From_T2/ex12.t2_fixed.smt2
|
YES
0.8 /
2.7
|
YES
0.7 /
0.8
|
YES
2.2 /
1.6
|
Integer_Transition_Systems/From_T2/ex13.t2.smt2
|
YES
0.5 /
0.5
|
YES
0.0 /
0.0
|
YES
2.1 /
1.5
|
Integer_Transition_Systems/From_T2/ex14.t2.smt2
|
YES
0.7 /
1.0
|
YES
1.2 /
4.0
|
YES
2.1 /
4.1
|
eger_Transition_Systems/From_T2/ex14.t2_fixed.smt2
|
YES
0.8 /
0.8
|
YES
0.7 /
0.8
|
YES
2.3 /
1.7
|
Integer_Transition_Systems/From_T2/ex15.t2.smt2
|
YES
0.6 /
0.5
|
YES
0.0 /
0.0
|
YES
2.4 /
4.2
|
Integer_Transition_Systems/From_T2/ex16.t2.smt2
|
NO
3.9 /
3.2
|
.
90.5 /
101.4
|
NO
8.8 /
5.1
|
eger_Transition_Systems/From_T2/ex16.t2_fixed.smt2
|
NO
4.6 /
3.8
|
.
83.4 /
92.5
|
NO
7.6 /
4.7
|
Integer_Transition_Systems/From_T2/ex17.t2.smt2
|
YES
1.3 /
1.2
|
.
22.6 /
25.5
|
YES
4.6 /
2.6
|
eger_Transition_Systems/From_T2/ex17.t2_fixed.smt2
|
YES
1.3 /
1.2
|
.
28.3 /
151.6
|
.
320.5 /
300.0
|
Integer_Transition_Systems/From_T2/ex18.t2.smt2
|
YES
1.0 /
2.9
|
.
18.5 /
21.1
|
YES
5.0 /
7.5
|
eger_Transition_Systems/From_T2/ex18.t2_fixed.smt2
|
YES
1.0 /
0.9
|
.
16.0 /
49.7
|
YES
4.0 /
2.5
|
Integer_Transition_Systems/From_T2/ex19.t2.smt2
|
NO
0.9 /
2.4
|
.
6.4 /
10.2
|
NO
2.5 /
2.6
|
Integer_Transition_Systems/From_T2/ex2.t2.smt2
|
NO
1.0 /
2.1
|
.
2.4 /
2.8
|
NO
2.7 /
1.8
|
teger_Transition_Systems/From_T2/ex2.t2_fixed.smt2
|
NO
0.9 /
1.0
|
.
1.5 /
1.7
|
NO
2.5 /
4.2
|
Integer_Transition_Systems/From_T2/ex20.t2.smt2
|
YES
0.9 /
1.9
|
YES
5.2 /
8.5
|
YES
3.6 /
2.3
|
eger_Transition_Systems/From_T2/ex20.t2_fixed.smt2
|
YES
0.9 /
1.1
|
YES
3.2 /
3.6
|
YES
3.1 /
1.8
|
Integer_Transition_Systems/From_T2/ex21.t2.smt2
|
YES
0.9 /
0.9
|
YES
11.7 /
13.3
|
YES
2.6 /
2.0
|
eger_Transition_Systems/From_T2/ex21.t2_fixed.smt2
|
YES
0.9 /
0.9
|
YES
5.9 /
20.1
|
YES
2.3 /
2.7
|
Integer_Transition_Systems/From_T2/ex22.t2.smt2
|
YES
3.4 /
2.7
|
.
164.9 /
300.1
|
YES
9.6 /
5.9
|
eger_Transition_Systems/From_T2/ex22.t2_fixed.smt2
|
YES
3.1 /
2.5
|
.
273.3 /
300.0
|
YES
8.2 /
11.9
|
Integer_Transition_Systems/From_T2/ex23.t2.smt2
|
YES
0.8 /
0.8
|
YES
3.4 /
5.5
|
YES
2.3 /
1.7
|
eger_Transition_Systems/From_T2/ex23.t2_fixed.smt2
|
YES
0.8 /
0.8
|
YES
1.2 /
1.4
|
YES
2.2 /
3.7
|
Integer_Transition_Systems/From_T2/ex26.t2.smt2
|
YES
0.9 /
0.9
|
YES
29.7 /
148.1
|
YES
3.2 /
1.9
|
eger_Transition_Systems/From_T2/ex26.t2_fixed.smt2
|
YES
0.9 /
1.7
|
YES
15.8 /
78.4
|
YES
2.8 /
2.5
|
Integer_Transition_Systems/From_T2/ex27.t2.smt2
|
YES
4.8 /
5.5
|
.
253.5 /
300.1
|
YES
13.9 /
8.9
|
eger_Transition_Systems/From_T2/ex27.t2_fixed.smt2
|
YES
5.0 /
4.0
|
.
219.2 /
300.0
|
YES
10.6 /
13.7
|
Integer_Transition_Systems/From_T2/ex29.t2.smt2
|
YES
0.6 /
0.6
|
YES
1.0 /
2.1
|
YES
4.6 /
3.3
|
eger_Transition_Systems/From_T2/ex29.t2_fixed.smt2
|
YES
0.6 /
0.7
|
YES
1.0 /
1.1
|
YES
4.4 /
2.4
|
Integer_Transition_Systems/From_T2/ex3.t2.smt2
|
YES
0.8 /
0.8
|
YES
2.0 /
2.3
|
YES
2.3 /
3.8
|
teger_Transition_Systems/From_T2/ex3.t2_fixed.smt2
|
YES
0.9 /
1.9
|
YES
1.3 /
1.4
|
YES
2.5 /
4.4
|
Integer_Transition_Systems/From_T2/ex30.t2.smt2
|
YES
1.0 /
2.0
|
YES
12.2 /
13.5
|
YES
2.3 /
4.4
|
Integer_Transition_Systems/From_T2/ex31.t2.smt2
|
NO
0.9 /
0.8
|
.
2.7 /
10.6
|
NO
2.4 /
1.8
|
eger_Transition_Systems/From_T2/ex31.t2_fixed.smt2
|
NO
1.0 /
2.3
|
.
1.1 /
1.2
|
NO
2.6 /
1.8
|
Integer_Transition_Systems/From_T2/ex32.t2.smt2
|
YES
0.9 /
0.9
|
YES
5.5 /
11.3
|
YES
2.9 /
4.9
|
eger_Transition_Systems/From_T2/ex32.t2_fixed.smt2
|
YES
1.0 /
2.4
|
YES
3.8 /
20.9
|
YES
2.6 /
1.7
|
Integer_Transition_Systems/From_T2/ex33.t2.smt2
|
YES
0.6 /
1.1
|
YES
0.1 /
0.1
|
YES
2.6 /
4.5
|
eger_Transition_Systems/From_T2/ex33.t2_fixed.smt2
|
YES
0.6 /
0.6
|
YES
0.1 /
0.1
|
YES
2.3 /
2.6
|
Integer_Transition_Systems/From_T2/ex34.t2.smt2
|
YES
0.6 /
0.6
|
YES
0.0 /
0.0
|
YES
2.6 /
2.5
|
Integer_Transition_Systems/From_T2/ex36.t2.smt2
|
.
173.8 /
300.0
|
.
296.7 /
300.0
|
NO
87.1 /
75.9
|
eger_Transition_Systems/From_T2/ex36.t2_fixed.smt2
|
NO
288.0 /
250.5
|
.
294.7 /
300.0
|
.
620.4 /
300.1
|
Integer_Transition_Systems/From_T2/ex4.t2.smt2
|
YES
1.2 /
1.2
|
YES
35.4 /
39.9
|
YES
4.2 /
2.8
|
teger_Transition_Systems/From_T2/ex4.t2_fixed.smt2
|
YES
1.1 /
1.0
|
YES
26.0 /
29.3
|
YES
3.2 /
1.9
|
Integer_Transition_Systems/From_T2/ex40.t2.smt2
|
NO
1.0 /
2.2
|
.
0.7 /
0.8
|
NO
2.4 /
1.7
|
Integer_Transition_Systems/From_T2/ex6.t2.smt2
|
YES
0.6 /
0.6
|
YES
0.0 /
0.0
|
YES
2.2 /
1.6
|
Integer_Transition_Systems/From_T2/ex7.t2.smt2
|
YES
0.9 /
0.8
|
YES
4.2 /
9.7
|
YES
2.2 /
2.3
|
teger_Transition_Systems/From_T2/ex7.t2_fixed.smt2
|
YES
0.8 /
0.8
|
YES
3.7 /
14.8
|
YES
2.2 /
1.6
|
Integer_Transition_Systems/From_T2/ex8.t2.smt2
|
NO
1.2 /
1.1
|
.
5.4 /
18.7
|
NO
3.0 /
6.1
|
Integer_Transition_Systems/From_T2/ex9.t2.smt2
|
NO
1.5 /
4.2
|
.
6.6 /
7.6
|
NO
3.9 /
6.9
|
Integer_Transition_Systems/From_T2/example.t2.smt2
|
YES
0.7 /
0.9
|
.
1.6 /
1.7
|
YES
2.2 /
1.6
|
er_Transition_Systems/From_T2/fake-succeed.t2.smt2
|
NO
21.2 /
37.6
|
.
298.8 /
300.0
|
NO
168.8 /
179.1
|
nsition_Systems/From_T2/fake-succeed.t2_fixed.smt2
|
NO
19.3 /
26.9
|
.
285.5 /
300.0
|
NO
87.4 /
99.2
|
teger_Transition_Systems/From_T2/fast_poll.t2.smt2
|
NO
18.5 /
17.4
|
.
185.5 /
300.1
|
NO
17.9 /
15.3
|
Transition_Systems/From_T2/fast_poll.t2_fixed.smt2
|
NO
18.9 /
17.9
|
.
94.8 /
300.1
|
NO
18.2 /
11.1
|
Integer_Transition_Systems/From_T2/fdct.t2.smt2
|
YES
2.3 /
2.9
|
.
272.1 /
300.0
|
YES
4.2 /
2.3
|
eger_Transition_Systems/From_T2/fdct.t2_fixed.smt2
|
YES
2.3 /
1.9
|
YES
123.7 /
132.8
|
YES
6.7 /
2.0
|
Integer_Transition_Systems/From_T2/fermat.t2.smt2
|
YES
1.9 /
1.6
|
.
146.6 /
300.1
|
YES
3.6 /
3.4
|
Integer_Transition_Systems/From_T2/fibcall.t2.smt2
|
YES
0.8 /
1.0
|
.
10.8 /
21.4
|
YES
2.7 /
1.8
|
r_Transition_Systems/From_T2/fibcall.t2_fixed.smt2
|
YES
0.8 /
0.8
|
YES
8.4 /
9.6
|
YES
2.4 /
1.7
|
Integer_Transition_Systems/From_T2/fir.t2.smt2
|
YES
1.6 /
3.7
|
YES
108.4 /
119.1
|
YES
3.7 /
2.0
|
teger_Transition_Systems/From_T2/fir.t2_fixed.smt2
|
YES
1.5 /
3.4
|
YES
61.4 /
73.1
|
YES
3.7 /
2.6
|
nteger_Transition_Systems/From_T2/firewire.t2.smt2
|
YES
36.7 /
36.3
|
.
133.8 /
152.1
|
.
341.7 /
300.0
|
nteger_Transition_Systems/From_T2/flipflop.t2.smt2
|
NO
0.9 /
2.0
|
.
0.5 /
1.9
|
NO
2.4 /
1.8
|
Integer_Transition_Systems/From_T2/florian.t2.smt2
|
YES
0.7 /
0.7
|
YES
0.1 /
0.1
|
YES
2.3 /
1.7
|
_Transition_Systems/From_T2/florian_new_ex.t2.smt2
|
YES
4.4 /
4.2
|
.
39.4 /
44.1
|
YES
95.9 /
106.7
|
er_Transition_Systems/From_T2/florian_pldi.t2.smt2
|
YES
1.0 /
1.0
|
YES
18.3 /
20.6
|
YES
2.5 /
1.7
|
er_Transition_Systems/From_T2/florian_sas1.t2.smt2
|
YES
2.7 /
3.0
|
.
13.2 /
15.2
|
YES
3.0 /
1.9
|
er_Transition_Systems/From_T2/florian_sas2.t2.smt2
|
.
78.5 /
151.5
|
.
225.9 /
300.0
|
.
865.9 /
300.0
|
r_Transition_Systems/From_T2/florian_sumit.t2.smt2
|
.
14.0 /
23.4
|
.
10.9 /
47.7
|
.
732.6 /
300.1
|
Integer_Transition_Systems/From_T2/foo.t2.smt2
|
.
403.1 /
300.0
|
.
187.0 /
300.0
|
.
818.7 /
300.0
|
ystems/From_T2/fourn.c.i.fourn.pl.t2.fixed.t2.smt2
|
NO
51.4 /
47.9
|
.
262.3 /
300.0
|
.
1080.0 /
300.1
|
m_T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.smt2
|
NO
53.6 /
67.8
|
.
267.5 /
300.0
|
.
612.7 /
300.1
|
Integer_Transition_Systems/From_T2/fourn.t2.smt2
|
NO
33.3 /
30.7
|
.
205.1 /
300.0
|
.
996.5 /
300.1
|
r_Transition_Systems/From_T2/fuhs-inflasso.t2.smt2
|
YES
0.8 /
0.8
|
YES
4.9 /
11.8
|
YES
2.5 /
18.9
|
Integer_Transition_Systems/From_T2/fun1.t2.smt2
|
.
252.2 /
300.0
|
.
192.5 /
300.0
|
.
615.9 /
300.1
|
eger_Transition_Systems/From_T2/fun1.t2_fixed.smt2
|
.
354.1 /
300.0
|
.
187.3 /
300.0
|
NO
13.6 /
6.6
|
Integer_Transition_Systems/From_T2/fun10.t2.smt2
|
NO
29.5 /
22.9
|
.
281.8 /
300.0
|
NO
35.3 /
25.7
|
ger_Transition_Systems/From_T2/fun10.t2_fixed.smt2
|
NO
27.7 /
43.3
|
.
222.9 /
300.0
|
NO
28.9 /
21.2
|
Integer_Transition_Systems/From_T2/fun10b.t2.smt2
|
NO
24.7 /
42.2
|
.
234.0 /
300.0
|
NO
26.2 /
27.0
|
er_Transition_Systems/From_T2/fun10b.t2_fixed.smt2
|
NO
24.1 /
19.6
|
.
153.4 /
300.1
|
NO
27.0 /
18.6
|
Integer_Transition_Systems/From_T2/fun11.t2.smt2
|
NO
0.9 /
0.9
|
.
20.8 /
154.7
|
NO
4.2 /
2.3
|
ger_Transition_Systems/From_T2/fun11.t2_fixed.smt2
|
.
2.7 /
3.3
|
.
11.6 /
12.9
|
NO
3.8 /
2.2
|
Integer_Transition_Systems/From_T2/fun1b.t2.smt2
|
.
176.1 /
300.1
|
.
246.0 /
300.0
|
.
980.7 /
300.1
|
ger_Transition_Systems/From_T2/fun1b.t2_fixed.smt2
|
.
360.4 /
300.0
|
.
189.6 /
300.0
|
.
516.7 /
300.0
|
Integer_Transition_Systems/From_T2/fun2.t2.smt2
|
YES
18.5 /
21.5
|
.
274.4 /
300.0
|
YES
18.5 /
19.1
|
eger_Transition_Systems/From_T2/fun2.t2_fixed.smt2
|
YES
11.8 /
10.6
|
.
214.4 /
234.1
|
YES
83.5 /
104.5
|
Integer_Transition_Systems/From_T2/fun2b.t2.smt2
|
YES
26.3 /
24.0
|
.
189.0 /
300.0
|
YES
34.9 /
21.2
|
ger_Transition_Systems/From_T2/fun2b.t2_fixed.smt2
|
YES
17.6 /
19.7
|
.
223.5 /
242.6
|
YES
75.7 /
87.4
|
Integer_Transition_Systems/From_T2/fun3.t2.smt2
|
YES
27.7 /
40.2
|
.
197.1 /
300.0
|
YES
32.2 /
11.9
|
nteger_Transition_Systems/From_T2/fun4-alt.t2.smt2
|
YES
9.2 /
7.8
|
.
3.4 /
3.7
|
YES
68.2 /
92.4
|
Integer_Transition_Systems/From_T2/fun4.t2.smt2
|
NO
0.9 /
0.9
|
.
9.0 /
13.7
|
.
907.9 /
300.2
|
eger_Transition_Systems/From_T2/fun4.t2_fixed.smt2
|
YES
14.1 /
12.7
|
.
7.2 /
8.2
|
YES
74.5 /
66.8
|
Integer_Transition_Systems/From_T2/fun5.t2.smt2
|
NO
1.0 /
2.6
|
.
90.9 /
100.9
|
.
949.4 /
300.0
|
eger_Transition_Systems/From_T2/fun5.t2_fixed.smt2
|
.
381.3 /
300.0
|
.
95.0 /
114.5
|
.
450.9 /
300.0
|
Integer_Transition_Systems/From_T2/fun6.t2.smt2
|
NO
9.1 /
10.5
|
.
251.5 /
300.1
|
NO
10.1 /
10.9
|
eger_Transition_Systems/From_T2/fun6.t2_fixed.smt2
|
NO
13.7 /
12.0
|
.
67.9 /
300.1
|
NO
9.7 /
5.0
|
Integer_Transition_Systems/From_T2/fun7.t2.smt2
|
NO
1.4 /
1.6
|
.
261.5 /
300.0
|
NO
6.1 /
3.3
|
eger_Transition_Systems/From_T2/fun7.t2_fixed.smt2
|
NO
1.7 /
1.6
|
.
250.7 /
300.0
|
NO
6.9 /
12.0
|
Integer_Transition_Systems/From_T2/fun8.t2.smt2
|
YES
2.1 /
1.8
|
.
101.0 /
300.0
|
YES
6.5 /
3.4
|
eger_Transition_Systems/From_T2/fun8.t2_fixed.smt2
|
YES
4.0 /
3.3
|
.
263.2 /
300.0
|
YES
6.7 /
8.4
|
Integer_Transition_Systems/From_T2/fun9.t2.smt2
|
NO
2.7 /
2.5
|
.
56.9 /
69.1
|
NO
10.7 /
5.8
|
nteger_Transition_Systems/From_T2/graycode.t2.smt2
|
YES
3.5 /
3.0
|
.
243.2 /
300.0
|
YES
6.0 /
3.0
|
_Transition_Systems/From_T2/graycode.t2_fixed.smt2
|
YES
3.5 /
2.9
|
.
262.3 /
300.0
|
YES
5.8 /
3.0
|
Integer_Transition_Systems/From_T2/hand7.t2.smt2
|
NO
1.0 /
3.3
|
.
0.5 /
0.6
|
NO
2.5 /
2.4
|
Integer_Transition_Systems/From_T2/heidy1.t2.smt2
|
NO
0.8 /
0.8
|
.
0.4 /
0.5
|
NO
2.3 /
1.7
|
Integer_Transition_Systems/From_T2/heidy10.t2.smt2
|
YES
0.8 /
1.0
|
YES
0.7 /
0.8
|
YES
2.3 /
1.7
|
Integer_Transition_Systems/From_T2/heidy2.t2.smt2
|
.
1.5 /
1.4
|
.
1.0 /
1.1
|
NO
2.4 /
1.8
|
Integer_Transition_Systems/From_T2/heidy3.t2.smt2
|
NO
0.9 /
0.9
|
.
0.5 /
0.5
|
NO
2.3 /
1.7
|
Integer_Transition_Systems/From_T2/heidy5.t2.smt2
|
YES
0.8 /
0.8
|
YES
0.7 /
0.8
|
YES
2.5 /
3.3
|
Integer_Transition_Systems/From_T2/heidy6.t2.smt2
|
NO
1.1 /
2.6
|
.
1.3 /
6.9
|
NO
2.8 /
4.3
|
Integer_Transition_Systems/From_T2/heidy7.t2.smt2
|
NO
1.7 /
2.6
|
.
2.3 /
19.2
|
NO
2.6 /
1.9
|
Integer_Transition_Systems/From_T2/heidy8.t2.smt2
|
NO
1.1 /
2.6
|
.
4.7 /
5.4
|
NO
2.5 /
1.8
|
er_Transition_Systems/From_T2/heidy8.t2_fixed.smt2
|
NO
1.0 /
1.0
|
.
5.2 /
5.7
|
NO
2.6 /
1.8
|
Integer_Transition_Systems/From_T2/heidy9.t2.smt2
|
YES
0.7 /
0.8
|
YES
0.2 /
0.3
|
YES
2.2 /
1.6
|
on_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2.smt2
|
.
318.0 /
300.0
|
.
243.5 /
300.0
|
.
386.1 /
300.0
|
tems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2_fixed.smt2
|
.
302.5 /
300.0
|
.
250.1 /
300.0
|
.
640.4 /
300.0
|
/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.smt2
|
.
244.9 /
300.0
|
.
297.7 /
300.0
|
.
921.1 /
300.0
|
T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2
|
.
160.2 /
300.1
|
.
239.2 /
300.0
|
.
856.9 /
300.1
|
Integer_Transition_Systems/From_T2/hqr.t2.smt2
|
.
261.2 /
300.0
|
.
151.6 /
300.0
|
.
480.1 /
300.1
|
teger_Transition_Systems/From_T2/hqr.t2_fixed.smt2
|
.
188.4 /
300.0
|
.
199.5 /
300.0
|
.
749.0 /
300.0
|
Integer_Transition_Systems/From_T2/huh.t2.smt2
|
YES
2.1 /
1.6
|
YES
141.8 /
154.0
|
YES
4.1 /
2.2
|
teger_Transition_Systems/From_T2/huh.t2_fixed.smt2
|
YES
2.1 /
2.8
|
YES
130.8 /
149.4
|
YES
3.8 /
2.4
|
Integer_Transition_Systems/From_T2/iecs.t2.smt2
|
YES
0.9 /
0.9
|
.
0.8 /
0.8
|
YES
2.4 /
1.7
|
eger_Transition_Systems/From_T2/insertsort.t2.smt2
|
NO
1.2 /
12.7
|
.
5.8 /
6.5
|
NO
2.4 /
4.3
|
ransition_Systems/From_T2/insertsort.t2_fixed.smt2
|
NO
1.2 /
2.7
|
.
3.0 /
3.4
|
NO
2.8 /
4.7
|
teger_Transition_Systems/From_T2/intSqRoot.t2.smt2
|
NO
0.9 /
0.8
|
.
3.9 /
4.3
|
NO
2.5 /
1.8
|
tems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2.smt2
|
YES
19.5 /
23.4
|
.
215.5 /
300.0
|
YES
11.2 /
5.8
|
rom_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2_fixed.smt2
|
YES
21.1 /
22.1
|
.
265.2 /
300.0
|
YES
10.9 /
5.7
|
T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.smt2
|
YES
21.0 /
23.1
|
.
242.7 /
300.0
|
YES
11.1 /
5.7
|
Integer_Transition_Systems/From_T2/jacobi.t2.smt2
|
YES
21.1 /
19.8
|
.
235.1 /
300.0
|
YES
14.1 /
17.7
|
er_Transition_Systems/From_T2/jacobi.t2_fixed.smt2
|
YES
20.6 /
17.6
|
.
267.4 /
300.0
|
YES
14.3 /
14.2
|
r_Transition_Systems/From_T2/janne_complex.t2.smt2
|
NO
21.7 /
18.4
|
.
84.6 /
93.8
|
.
788.2 /
300.1
|
sition_Systems/From_T2/janne_complex.t2_fixed.smt2
|
.
237.3 /
300.0
|
.
48.6 /
55.8
|
.
443.7 /
300.0
|
er_Transition_Systems/From_T2/java_AG313.c.t2.smt2
|
YES
0.9 /
0.9
|
YES
10.2 /
11.6
|
YES
3.4 /
2.3
|
ansition_Systems/From_T2/java_AProVEMath.c.t2.smt2
|
YES
1.1 /
1.0
|
.
35.4 /
39.4
|
YES
4.9 /
2.6
|
Systems/From_T2/java_AProVEMathRecursive.c.t2.smt2
|
YES
1.5 /
3.8
|
.
31.5 /
41.2
|
YES
8.0 /
10.0
|
ransition_Systems/From_T2/java_Ackermann.c.t2.smt2
|
YES
1.4 /
1.3
|
.
15.0 /
17.1
|
YES
5.1 /
9.6
|
eger_Transition_Systems/From_T2/java_Avg.c.t2.smt2
|
.
67.8 /
50.6
|
.
12.2 /
14.0
|
YES
8.0 /
5.4
|
er_Transition_Systems/From_T2/java_Break.c.t2.smt2
|
YES
0.8 /
0.8
|
YES
2.1 /
2.4
|
YES
2.3 /
2.3
|
nsition_Systems/From_T2/java_Break.c.t2_fixed.smt2
|
YES
0.8 /
0.8
|
YES
1.3 /
1.4
|
YES
2.6 /
4.8
|
ansition_Systems/From_T2/java_BubbleSort.c.t2.smt2
|
YES
1.3 /
1.9
|
YES
63.2 /
70.2
|
YES
3.8 /
6.7
|
ransition_Systems/From_T2/java_Continue1.c.t2.smt2
|
YES
0.8 /
0.7
|
YES
2.0 /
2.3
|
YES
2.4 /
1.7
|
ion_Systems/From_T2/java_Continue1.c.t2_fixed.smt2
|
YES
0.9 /
0.9
|
YES
1.2 /
1.4
|
YES
2.3 /
1.6
|
ger_Transition_Systems/From_T2/java_Diff.c.t2.smt2
|
YES
11.2 /
11.7
|
.
246.5 /
300.0
|
YES
6.7 /
9.1
|
ransition_Systems/From_T2/java_DivMinus1.c.t2.smt2
|
YES
0.9 /
0.8
|
YES
10.2 /
11.6
|
YES
3.1 /
1.8
|
ransition_Systems/From_T2/java_DivMinus2.c.t2.smt2
|
.
283.8 /
205.8
|
.
207.6 /
252.2
|
YES
10.1 /
5.3
|
ion_Systems/From_T2/java_DivWithoutMinus.c.t2.smt2
|
YES
2.7 /
5.6
|
.
98.6 /
300.1
|
YES
4.1 /
2.4
|
_Transition_Systems/From_T2/java_Double1.c.t2.smt2
|
YES
3.6 /
7.9
|
.
10.8 /
12.1
|
YES
6.3 /
3.4
|
_Transition_Systems/From_T2/java_Double2.c.t2.smt2
|
YES
0.9 /
0.8
|
YES
9.9 /
11.3
|
YES
3.1 /
5.0
|
_Transition_Systems/From_T2/java_Double3.c.t2.smt2
|
YES
1.0 /
0.9
|
YES
16.5 /
18.0
|
YES
3.2 /
2.0
|
ransition_Systems/From_T2/java_Duplicate.c.t2.smt2
|
YES
0.9 /
0.9
|
YES
5.8 /
8.3
|
YES
2.8 /
2.7
|
sition_Systems/From_T2/java_EqUserDefRec.c.t2.smt2
|
YES
0.8 /
0.8
|
YES
7.2 /
36.8
|
YES
2.8 /
2.9
|
_Transition_Systems/From_T2/java_FactSum.c.t2.smt2
|
YES
1.1 /
1.1
|
YES
21.7 /
24.4
|
YES
3.4 /
2.0
|
ransition_Systems/From_T2/java_Factorial.c.t2.smt2
|
YES
0.8 /
0.8
|
YES
1.5 /
3.2
|
YES
2.8 /
4.6
|
sition_Systems/From_T2/java_FibRecursive.c.t2.smt2
|
YES
0.9 /
1.2
|
YES
2.8 /
3.1
|
YES
3.4 /
2.1
|
er_Transition_Systems/From_T2/java_Hanoi.c.t2.smt2
|
YES
1.0 /
0.9
|
YES
35.6 /
39.1
|
YES
3.6 /
2.1
|
sition_Systems/From_T2/java_LeUserDefRec.c.t2.smt2
|
YES
0.8 /
0.8
|
YES
6.1 /
9.4
|
YES
2.8 /
1.8
|
ansition_Systems/From_T2/java_LogBuiltIn.c.t2.smt2
|
YES
0.9 /
1.9
|
.
11.1 /
26.7
|
YES
3.3 /
1.9
|
sition_Systems/From_T2/java_MinusBuiltIn.c.t2.smt2
|
YES
0.9 /
0.8
|
YES
10.3 /
35.9
|
YES
2.9 /
1.8
|
Transition_Systems/From_T2/java_MinusMin.c.t2.smt2
|
YES
0.8 /
1.1
|
YES
11.8 /
37.0
|
YES
3.5 /
2.0
|
r_Transition_Systems/From_T2/java_Nested.c.t2.smt2
|
YES
0.9 /
1.0
|
YES
28.1 /
32.1
|
YES
3.4 /
1.9
|
sition_Systems/From_T2/java_Nested.c.t2_fixed.smt2
|
YES
0.9 /
0.9
|
YES
20.1 /
23.5
|
YES
3.3 /
1.9
|
ansition_Systems/From_T2/java_NestedLoop.c.t2.smt2
|
YES
1.8 /
4.2
|
YES
173.3 /
191.7
|
YES
4.8 /
2.5
|
Transition_Systems/From_T2/java_PlusSwap.c.t2.smt2
|
YES
1.4 /
1.3
|
.
9.3 /
14.0
|
YES
3.3 /
3.7
|
ansition_Systems/From_T2/java_Recursions.c.t2.smt2
|
YES
2.8 /
2.2
|
YES
217.8 /
246.4
|
YES
6.5 /
3.3
|
Transition_Systems/From_T2/java_Sequence.c.t2.smt2
|
YES
1.0 /
9.5
|
YES
17.8 /
20.4
|
YES
3.6 /
9.0
|
tion_Systems/From_T2/java_Sequence.c.t2_fixed.smt2
|
YES
1.0 /
1.9
|
YES
9.9 /
11.3
|
YES
3.1 /
1.8
|
on_Systems/From_T2/java_TimesPlusUserDef.c.t2.smt2
|
YES
1.0 /
0.9
|
YES
23.3 /
26.8
|
YES
3.9 /
2.3
|
eger_Transition_Systems/From_T2/jfdctint.c.t2.smt2
|
YES
1.1 /
1.0
|
YES
23.5 /
26.3
|
YES
3.6 /
2.1
|
ransition_Systems/From_T2/jfdctint.c.t2_fixed.smt2
|
YES
1.2 /
1.2
|
YES
14.6 /
54.6
|
YES
3.4 /
2.0
|
nteger_Transition_Systems/From_T2/jfdctint.t2.smt2
|
YES
2.2 /
2.6
|
YES
141.0 /
297.0
|
YES
3.9 /
2.2
|
_Transition_Systems/From_T2/jfdctint.t2_fixed.smt2
|
YES
2.3 /
1.9
|
YES
111.9 /
125.3
|
YES
4.1 /
2.3
|
Integer_Transition_Systems/From_T2/l1.t2.smt2
|
NO
1.1 /
1.2
|
.
1.7 /
1.9
|
.
787.3 /
300.1
|
Integer_Transition_Systems/From_T2/loop3.t2.smt2
|
.
315.6 /
300.1
|
.
254.8 /
300.0
|
.
341.9 /
300.0
|
ger_Transition_Systems/From_T2/loop3.t2_fixed.smt2
|
.
206.4 /
300.0
|
.
132.9 /
134.7
|
.
833.6 /
300.0
|
r_Transition_Systems/From_T2/loop_on_input.t2.smt2
|
YES
0.8 /
0.8
|
YES
1.9 /
2.0
|
YES
2.3 /
1.7
|
sition_Systems/From_T2/loop_on_input.t2_fixed.smt2
|
YES
0.8 /
0.8
|
YES
0.8 /
0.9
|
YES
2.2 /
1.5
|
tems/From_T2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.smt2
|
YES
22.1 /
19.9
|
.
146.0 /
300.0
|
YES
7.2 /
3.6
|
Integer_Transition_Systems/From_T2/ludcmp.t2.smt2
|
YES
19.3 /
17.5
|
.
88.9 /
300.0
|
YES
6.6 /
8.7
|
Integer_Transition_Systems/From_T2/magic.t2.smt2
|
YES
13.0 /
19.0
|
.
96.4 /
300.0
|
YES
10.7 /
6.3
|
Integer_Transition_Systems/From_T2/matmul.t2.smt2
|
YES
1.2 /
1.1
|
YES
23.4 /
54.1
|
YES
3.2 /
10.5
|
er_Transition_Systems/From_T2/matmul.t2_fixed.smt2
|
YES
1.3 /
1.2
|
YES
14.0 /
21.2
|
YES
2.9 /
4.9
|
Integer_Transition_Systems/From_T2/matmult.t2.smt2
|
YES
2.4 /
2.0
|
.
80.7 /
300.0
|
YES
4.4 /
2.3
|
r_Transition_Systems/From_T2/matmult.t2_fixed.smt2
|
YES
2.5 /
2.1
|
YES
172.4 /
194.5
|
YES
3.7 /
2.1
|
eger_Transition_Systems/From_T2/matrixsqrt.t2.smt2
|
YES
1.8 /
1.6
|
.
61.1 /
90.2
|
YES
4.0 /
2.2
|
Integer_Transition_Systems/From_T2/mc91.t2.smt2
|
.
4.7 /
3.9
|
.
8.0 /
9.1
|
.
860.2 /
300.1
|
eger_Transition_Systems/From_T2/mc91.t2_fixed.smt2
|
YES
0.8 /
0.9
|
.
2.4 /
2.6
|
YES
2.2 /
2.3
|
nteger_Transition_Systems/From_T2/mc91test.t2.smt2
|
.
15.3 /
13.5
|
.
69.6 /
286.2
|
.
884.2 /
300.0
|
_Transition_Systems/From_T2/mc91test.t2_fixed.smt2
|
YES
0.8 /
0.8
|
.
30.5 /
53.8
|
YES
2.4 /
1.7
|
Integer_Transition_Systems/From_T2/minmax.t2.smt2
|
YES
0.6 /
0.7
|
YES
0.9 /
1.0
|
YES
4.7 /
2.4
|
er_Transition_Systems/From_T2/minmax.t2_fixed.smt2
|
YES
0.7 /
0.8
|
YES
1.0 /
1.9
|
YES
5.2 /
5.2
|
Integer_Transition_Systems/From_T2/n-1.t2.smt2
|
NO
1.0 /
5.9
|
.
16.5 /
18.8
|
NO
2.9 /
4.9
|
teger_Transition_Systems/From_T2/n-1.t2_fixed.smt2
|
NO
1.0 /
0.9
|
.
17.5 /
25.9
|
NO
3.0 /
6.6
|
Integer_Transition_Systems/From_T2/n-10.t2.smt2
|
NO
0.9 /
0.9
|
.
52.6 /
60.6
|
NO
3.3 /
2.0
|
eger_Transition_Systems/From_T2/n-10.t2_fixed.smt2
|
NO
0.9 /
0.9
|
.
56.1 /
62.3
|
NO
3.8 /
6.2
|
Integer_Transition_Systems/From_T2/n-12.t2.smt2
|
NO
0.8 /
0.8
|
.
7.4 /
8.3
|
NO
2.6 /
1.8
|
eger_Transition_Systems/From_T2/n-12.t2_fixed.smt2
|
NO
0.9 /
0.9
|
.
5.6 /
6.3
|
NO
2.6 /
1.8
|
Integer_Transition_Systems/From_T2/n-12a.t2.smt2
|
NO
0.8 /
0.9
|
.
0.8 /
4.7
|
NO
2.3 /
4.1
|
Integer_Transition_Systems/From_T2/n-13.t2.smt2
|
NO
1.0 /
2.3
|
.
0.7 /
1.7
|
NO
2.4 /
1.7
|
Integer_Transition_Systems/From_T2/n-14.t2.smt2
|
NO
0.8 /
0.8
|
.
8.7 /
16.2
|
NO
3.1 /
2.5
|
eger_Transition_Systems/From_T2/n-14.t2_fixed.smt2
|
NO
0.9 /
0.9
|
.
3.0 /
3.4
|
NO
2.7 /
1.9
|
Integer_Transition_Systems/From_T2/n-15.t2.smt2
|
NO
0.8 /
0.8
|
.
1.2 /
1.4
|
NO
2.4 /
1.8
|
Integer_Transition_Systems/From_T2/n-15a.t2.smt2
|
NO
0.9 /
0.9
|
.
8.0 /
9.0
|
.
557.3 /
300.0
|
ger_Transition_Systems/From_T2/n-15a.t2_fixed.smt2
|
NO
0.9 /
0.9
|
.
2.2 /
2.5
|
NO
14.0 /
11.9
|
Integer_Transition_Systems/From_T2/n-16a.t2.smt2
|
NO
0.9 /
1.4
|
.
1.2 /
3.1
|
.
929.9 /
300.0
|
Integer_Transition_Systems/From_T2/n-17.t2.smt2
|
NO
1.0 /
1.0
|
.
1.1 /
4.8
|
NO
2.3 /
1.7
|
Integer_Transition_Systems/From_T2/n-18.t2.smt2
|
NO
0.8 /
1.6
|
.
0.6 /
0.7
|
NO
2.4 /
3.6
|
Integer_Transition_Systems/From_T2/n-18a.t2.smt2
|
NO
0.8 /
2.0
|
.
1.3 /
1.4
|
.
811.9 /
300.0
|
Integer_Transition_Systems/From_T2/n-1c.t2.smt2
|
NO
0.9 /
0.9
|
.
33.0 /
36.9
|
NO
3.1 /
5.2
|
eger_Transition_Systems/From_T2/n-1c.t2_fixed.smt2
|
NO
1.0 /
1.2
|
.
38.0 /
60.2
|
NO
3.4 /
2.1
|
Integer_Transition_Systems/From_T2/n-1d.t2.smt2
|
NO
0.9 /
2.9
|
.
12.6 /
13.6
|
NO
2.7 /
8.5
|
eger_Transition_Systems/From_T2/n-1d.t2_fixed.smt2
|
NO
0.9 /
0.9
|
.
9.5 /
10.5
|
NO
3.0 /
5.6
|
Integer_Transition_Systems/From_T2/n-20.t2.smt2
|
NO
1.1 /
2.3
|
.
14.6 /
16.7
|
NO
4.0 /
7.2
|
Integer_Transition_Systems/From_T2/n-21.t2.smt2
|
NO
0.9 /
0.9
|
.
7.5 /
18.1
|
NO
2.7 /
1.9
|
eger_Transition_Systems/From_T2/n-21.t2_fixed.smt2
|
NO
0.9 /
1.0
|
.
3.8 /
4.2
|
NO
2.6 /
1.9
|
Integer_Transition_Systems/From_T2/n-3.t2.smt2
|
NO
0.9 /
0.9
|
.
6.5 /
30.4
|
NO
2.5 /
1.8
|
Integer_Transition_Systems/From_T2/n-32.t2.smt2
|
NO
0.8 /
0.8
|
.
2.1 /
2.4
|
NO
2.5 /
1.8
|
Integer_Transition_Systems/From_T2/n-33.t2.smt2
|
NO
1.0 /
2.6
|
.
17.5 /
19.9
|
NO
3.3 /
7.6
|
Integer_Transition_Systems/From_T2/n-36.t2.smt2
|
NO
1.1 /
1.1
|
.
269.9 /
300.0
|
NO
5.0 /
4.8
|
eger_Transition_Systems/From_T2/n-36.t2_fixed.smt2
|
NO
1.2 /
1.1
|
.
218.1 /
300.0
|
NO
5.9 /
2.9
|
Integer_Transition_Systems/From_T2/n-37.t2.smt2
|
NO
0.9 /
0.9
|
.
5.3 /
6.0
|
NO
2.6 /
1.8
|
eger_Transition_Systems/From_T2/n-37.t2_fixed.smt2
|
NO
0.9 /
1.8
|
.
4.8 /
7.1
|
NO
2.6 /
1.8
|
Integer_Transition_Systems/From_T2/n-38.t2.smt2
|
YES
0.5 /
0.8
|
YES
0.0 /
0.0
|
YES
2.1 /
1.5
|
Integer_Transition_Systems/From_T2/n-3a.t2.smt2
|
NO
1.1 /
2.5
|
.
81.5 /
93.1
|
NO
3.8 /
9.1
|
eger_Transition_Systems/From_T2/n-3a.t2_fixed.smt2
|
NO
0.9 /
1.9
|
.
43.9 /
233.4
|
NO
3.8 /
2.2
|
Integer_Transition_Systems/From_T2/n-4.t2.smt2
|
NO
1.6 /
1.6
|
.
114.7 /
128.4
|
NO
4.7 /
8.4
|
teger_Transition_Systems/From_T2/n-4.t2_fixed.smt2
|
NO
2.5 /
5.0
|
.
79.6 /
250.2
|
NO
4.2 /
8.6
|
Integer_Transition_Systems/From_T2/n-40.t2.smt2
|
NO
1.2 /
1.2
|
.
248.7 /
300.0
|
NO
4.1 /
2.3
|
eger_Transition_Systems/From_T2/n-40.t2_fixed.smt2
|
NO
1.7 /
1.6
|
.
97.9 /
205.8
|
NO
3.8 /
3.8
|
Integer_Transition_Systems/From_T2/n-46.t2.smt2
|
NO
0.9 /
0.9
|
.
1.8 /
1.9
|
NO
2.6 /
1.8
|
Integer_Transition_Systems/From_T2/n-48.t2.smt2
|
NO
0.9 /
0.8
|
.
5.9 /
6.7
|
NO
2.7 /
1.9
|
eger_Transition_Systems/From_T2/n-48.t2_fixed.smt2
|
NO
0.9 /
0.9
|
.
5.7 /
13.2
|
NO
2.7 /
1.9
|
Integer_Transition_Systems/From_T2/n-5.t2.smt2
|
NO
2.5 /
2.2
|
.
227.0 /
256.6
|
NO
4.7 /
2.5
|
teger_Transition_Systems/From_T2/n-5.t2_fixed.smt2
|
NO
3.3 /
2.9
|
.
211.0 /
254.8
|
NO
4.4 /
2.4
|
Integer_Transition_Systems/From_T2/n-6.t2.smt2
|
NO
0.8 /
0.8
|
.
7.6 /
8.8
|
NO
2.6 /
1.9
|
teger_Transition_Systems/From_T2/n-6.t2_fixed.smt2
|
NO
0.9 /
1.0
|
.
6.7 /
7.7
|
NO
4.0 /
2.8
|
Integer_Transition_Systems/From_T2/n-6a.t2.smt2
|
NO
0.9 /
2.0
|
.
11.5 /
13.0
|
NO
2.5 /
2.9
|
eger_Transition_Systems/From_T2/n-6a.t2_fixed.smt2
|
NO
1.1 /
1.9
|
.
10.0 /
11.5
|
NO
2.8 /
4.7
|
Integer_Transition_Systems/From_T2/n-7.t2.smt2
|
NO
1.0 /
2.6
|
.
6.6 /
7.4
|
NO
2.8 /
1.9
|
teger_Transition_Systems/From_T2/n-7.t2_fixed.smt2
|
NO
1.0 /
1.0
|
.
6.2 /
7.1
|
NO
3.1 /
5.6
|
Integer_Transition_Systems/From_T2/n-8.t2.smt2
|
NO
0.9 /
0.8
|
.
24.9 /
29.5
|
NO
3.1 /
1.9
|
teger_Transition_Systems/From_T2/n-8.t2_fixed.smt2
|
NO
0.9 /
0.9
|
.
23.9 /
56.5
|
NO
3.9 /
2.3
|
Integer_Transition_Systems/From_T2/n-8a.t2.smt2
|
NO
0.8 /
0.8
|
.
5.2 /
6.0
|
NO
2.5 /
1.8
|
Integer_Transition_Systems/From_T2/n-9.t2.smt2
|
NO
0.9 /
0.9
|
.
32.3 /
37.0
|
NO
3.1 /
3.0
|
teger_Transition_Systems/From_T2/n-9.t2_fixed.smt2
|
NO
0.9 /
0.9
|
.
31.0 /
35.9
|
NO
3.8 /
10.7
|
Systems/From_T2/n_firewire_instrumented-PP.t2.smt2
|
YES
17.7 /
17.5
|
.
98.8 /
213.9
|
.
479.2 /
300.0
|
Integer_Transition_Systems/From_T2/nakata.t2.smt2
|
.
184.5 /
300.0
|
.
263.1 /
300.0
|
.
708.3 /
300.1
|
ansition_Systems/From_T2/nakata_withassume.t2.smt2
|
YES
24.4 /
23.9
|
.
255.8 /
300.1
|
.
599.2 /
300.1
|
Integer_Transition_Systems/From_T2/ndes.t2.smt2
|
.
337.4 /
300.0
|
.
297.4 /
300.0
|
YES
121.4 /
114.1
|
eger_Transition_Systems/From_T2/ndes.t2_fixed.smt2
|
.
332.1 /
300.0
|
.
213.4 /
300.0
|
YES
103.9 /
94.5
|
r_Transition_Systems/From_T2/neg-1394-fail.t2.smt2
|
NO
37.8 /
32.4
|
.
270.4 /
300.0
|
NO
18.8 /
19.3
|
ransition_Systems/From_T2/neg-1394-succeed.t2.smt2
|
NO
40.2 /
53.0
|
.
273.9 /
300.0
|
NO
19.7 /
14.1
|
tion_Systems/From_T2/neg-1394complete-fail.t2.smt2
|
NO
35.8 /
30.5
|
.
275.5 /
300.0
|
NO
18.5 /
11.9
|
ystems/From_T2/neg-1394complete-fail.t2_fixed.smt2
|
NO
34.3 /
69.4
|
.
250.8 /
300.0
|
NO
18.5 /
17.4
|
n_Systems/From_T2/neg-1394complete-succeed.t2.smt2
|
NO
34.1 /
28.9
|
.
242.5 /
300.0
|
NO
19.0 /
12.2
|
ems/From_T2/neg-1394complete-succeed.t2_fixed.smt2
|
NO
35.7 /
50.2
|
.
272.3 /
300.0
|
NO
22.0 /
15.1
|
Transition_Systems/From_T2/neg-acqrel-fail.t2.smt2
|
NO
1.1 /
1.0
|
.
3.2 /
16.6
|
NO
2.8 /
1.9
|
nsition_Systems/From_T2/neg-acqrel-succeed.t2.smt2
|
NO
1.1 /
1.0
|
.
2.6 /
2.9
|
NO
2.8 /
1.9
|
nsition_Systems/From_T2/neg-e-1394-succeed.t2.smt2
|
NO
34.2 /
29.6
|
.
78.3 /
300.1
|
NO
19.9 /
24.2
|
on_Systems/From_T2/neg-e-1394complete-fail.t2.smt2
|
NO
30.4 /
61.8
|
.
120.8 /
300.0
|
NO
19.5 /
12.5
|
tems/From_T2/neg-e-1394complete-fail.t2_fixed.smt2
|
NO
29.3 /
24.8
|
.
269.0 /
300.0
|
NO
20.5 /
19.5
|
Systems/From_T2/neg-e-1394complete-succeed.t2.smt2
|
NO
31.0 /
52.2
|
.
104.4 /
300.0
|
NO
19.4 /
29.8
|
s/From_T2/neg-e-1394complete-succeed.t2_fixed.smt2
|
NO
27.1 /
29.7
|
.
267.3 /
300.0
|
NO
20.4 /
23.0
|
ansition_Systems/From_T2/neg-e-acqrel-fail.t2.smt2
|
NO
1.1 /
1.1
|
.
4.7 /
5.3
|
NO
2.9 /
2.2
|
on_Systems/From_T2/neg-e-acqrel-fail.t2_fixed.smt2
|
NO
1.1 /
1.1
|
.
4.7 /
6.3
|
NO
2.7 /
1.9
|
ition_Systems/From_T2/neg-e-acqrel-succeed.t2.smt2
|
NO
2.2 /
3.2
|
.
2.4 /
2.8
|
NO
2.8 /
4.6
|
Systems/From_T2/neg-e-acqrel-succeed.t2_fixed.smt2
|
NO
1.1 /
1.4
|
.
2.6 /
3.1
|
NO
2.9 /
3.7
|
ansition_Systems/From_T2/neg-e-pgarch-fail.t2.smt2
|
NO
1.0 /
1.0
|
.
18.7 /
28.1
|
NO
4.1 /
5.6
|
on_Systems/From_T2/neg-e-pgarch-fail.t2_fixed.smt2
|
NO
1.1 /
1.1
|
.
14.7 /
30.7
|
NO
4.2 /
2.5
|
ition_Systems/From_T2/neg-e-pgarch-succeed.t2.smt2
|
NO
1.1 /
1.3
|
.
12.4 /
14.3
|
NO
4.4 /
2.4
|
Systems/From_T2/neg-e-pgarch-succeed.t2_fixed.smt2
|
NO
1.0 /
1.0
|
.
10.3 /
15.5
|
NO
4.5 /
2.4
|
ansition_Systems/From_T2/neg-e-popl07-fail.t2.smt2
|
NO
1.9 /
1.6
|
.
64.9 /
300.0
|
NO
7.1 /
8.3
|
ition_Systems/From_T2/neg-e-popl07-succeed.t2.smt2
|
NO
2.0 /
2.3
|
.
64.0 /
71.8
|
NO
6.3 /
8.2
|
Systems/From_T2/neg-e-popl07-succeed.t2_fixed.smt2
|
NO
1.9 /
1.7
|
.
61.3 /
131.3
|
NO
7.2 /
11.9
|
tion_Systems/From_T2/neg-e-smagill-succeed.t2.smt2
|
NO
1.0 /
1.0
|
.
3.7 /
4.2
|
NO
3.0 /
1.9
|
sition_Systems/From_T2/neg-e-st88b-succeed.t2.smt2
|
NO
1.1 /
2.3
|
.
1.2 /
1.3
|
NO
3.3 /
2.0
|
Transition_Systems/From_T2/neg-pgarch-fail.t2.smt2
|
NO
1.2 /
3.0
|
.
28.4 /
32.1
|
NO
4.6 /
2.5
|
nsition_Systems/From_T2/neg-pgarch-succeed.t2.smt2
|
NO
1.1 /
1.1
|
.
26.2 /
30.1
|
NO
5.2 /
7.8
|
n_Systems/From_T2/neg-pgarch-succeed.t2_fixed.smt2
|
NO
1.1 /
1.0
|
.
23.2 /
26.6
|
NO
4.6 /
2.5
|
Transition_Systems/From_T2/neg-popl07-fail.t2.smt2
|
NO
1.8 /
3.5
|
.
66.8 /
76.5
|
NO
6.3 /
3.1
|
tion_Systems/From_T2/neg-popl07-fail.t2_fixed.smt2
|
NO
1.9 /
1.7
|
.
63.1 /
72.1
|
NO
6.2 /
3.1
|
nsition_Systems/From_T2/neg-popl07-succeed.t2.smt2
|
NO
2.1 /
1.8
|
.
72.7 /
83.5
|
NO
6.9 /
3.5
|
n_Systems/From_T2/neg-popl07-succeed.t2_fixed.smt2
|
NO
2.0 /
1.7
|
.
81.1 /
236.5
|
NO
7.6 /
10.7
|
ansition_Systems/From_T2/neg-smagilla-fail.t2.smt2
|
NO
1.0 /
0.9
|
.
3.7 /
5.6
|
NO
2.8 /
1.9
|
ition_Systems/From_T2/neg-smagilla-succeed.t2.smt2
|
NO
1.3 /
2.8
|
.
4.4 /
31.0
|
NO
6.0 /
3.9
|
_Transition_Systems/From_T2/neg-st88b-fail.t2.smt2
|
NO
2.0 /
2.7
|
.
15.3 /
25.9
|
.
398.4 /
300.1
|
Integer_Transition_Systems/From_T2/neg.t2.smt2
|
YES
0.5 /
0.5
|
YES
0.0 /
0.1
|
YES
2.1 /
2.5
|
Integer_Transition_Systems/From_T2/nested.t2.smt2
|
YES
1.0 /
0.9
|
.
19.8 /
31.6
|
YES
2.5 /
1.8
|
Integer_Transition_Systems/From_T2/nested2.t2.smt2
|
YES
0.9 /
1.0
|
YES
19.8 /
22.3
|
YES
2.5 /
5.3
|
r_Transition_Systems/From_T2/nested2.t2_fixed.smt2
|
YES
1.0 /
3.4
|
YES
15.4 /
17.6
|
YES
2.5 /
1.7
|
nteger_Transition_Systems/From_T2/non_term.t2.smt2
|
NO
1.0 /
1.5
|
.
0.7 /
1.0
|
.
834.5 /
300.1
|
Integer_Transition_Systems/From_T2/ns.t2.smt2
|
YES
1.9 /
1.7
|
YES
103.9 /
118.2
|
YES
3.5 /
2.0
|
nteger_Transition_Systems/From_T2/ns.t2_fixed.smt2
|
YES
1.9 /
1.9
|
YES
52.0 /
63.5
|
YES
3.0 /
1.8
|
_Transition_Systems/From_T2/oct_vs_subpoly.t2.smt2
|
NO
0.8 /
0.8
|
.
0.4 /
0.4
|
NO
2.4 /
4.0
|
eger_Transition_Systems/From_T2/opt-tree.c.t2.smt2
|
YES
6.6 /
5.2
|
.
185.7 /
300.0
|
YES
6.5 /
3.8
|
Integer_Transition_Systems/From_T2/p-1.t2.smt2
|
NO
1.0 /
2.6
|
.
7.6 /
8.2
|
NO
2.7 /
4.1
|
Integer_Transition_Systems/From_T2/p-10.t2.smt2
|
NO
0.9 /
0.9
|
.
10.6 /
12.1
|
NO
2.9 /
5.5
|
Integer_Transition_Systems/From_T2/p-12.t2.smt2
|
YES
0.7 /
0.7
|
YES
0.2 /
0.3
|
YES
2.2 /
1.6
|
Integer_Transition_Systems/From_T2/p-13.t2.smt2
|
YES
0.6 /
0.6
|
YES
0.0 /
0.0
|
YES
2.1 /
1.5
|
Integer_Transition_Systems/From_T2/p-14.t2.smt2
|
YES
0.7 /
0.7
|
YES
0.2 /
0.3
|
YES
2.5 /
1.8
|
Integer_Transition_Systems/From_T2/p-15.t2.smt2
|
YES
0.7 /
0.7
|
YES
0.3 /
1.2
|
YES
2.2 /
1.6
|
Integer_Transition_Systems/From_T2/p-19.t2.smt2
|
NO
0.9 /
1.0
|
.
6.9 /
7.7
|
NO
2.7 /
2.8
|
Integer_Transition_Systems/From_T2/p-19a.t2.smt2
|
NO
1.0 /
0.9
|
.
13.0 /
14.8
|
NO
2.7 /
1.9
|
Integer_Transition_Systems/From_T2/p-1a.t2.smt2
|
NO
1.0 /
0.9
|
.
12.4 /
39.2
|
NO
3.0 /
5.8
|
Integer_Transition_Systems/From_T2/p-1b.t2.smt2
|
YES
0.7 /
0.7
|
YES
1.5 /
6.7
|
YES
2.2 /
1.6
|
Integer_Transition_Systems/From_T2/p-1c.t2.smt2
|
NO
0.9 /
1.8
|
.
11.6 /
58.4
|
NO
2.6 /
1.8
|
Integer_Transition_Systems/From_T2/p-1d.t2.smt2
|
YES
0.7 /
0.7
|
YES
11.8 /
13.1
|
YES
2.2 /
2.5
|
Integer_Transition_Systems/From_T2/p-20.t2.smt2
|
NO
1.0 /
1.0
|
.
13.0 /
14.8
|
NO
3.2 /
6.1
|
Integer_Transition_Systems/From_T2/p-21.t2.smt2
|
YES
0.9 /
1.3
|
YES
14.3 /
73.0
|
YES
2.5 /
1.8
|
eger_Transition_Systems/From_T2/p-21.t2_fixed.smt2
|
YES
0.9 /
0.8
|
YES
2.7 /
3.0
|
YES
2.5 /
4.7
|
Integer_Transition_Systems/From_T2/p-22.t2.smt2
|
YES
0.8 /
0.8
|
YES
0.3 /
0.3
|
YES
2.2 /
1.5
|
Integer_Transition_Systems/From_T2/p-3.t2.smt2
|
YES
0.7 /
0.7
|
YES
6.6 /
7.5
|
YES
2.3 /
2.5
|
teger_Transition_Systems/From_T2/p-3.t2_fixed.smt2
|
YES
0.8 /
0.8
|
YES
5.5 /
18.4
|
YES
2.3 /
1.7
|
Integer_Transition_Systems/From_T2/p-32.t2.smt2
|
NO
0.9 /
1.9
|
.
2.2 /
2.5
|
NO
2.7 /
5.0
|
Integer_Transition_Systems/From_T2/p-33.t2.smt2
|
NO
0.9 /
0.9
|
.
6.1 /
6.7
|
NO
2.9 /
2.1
|
Integer_Transition_Systems/From_T2/p-34.t2.smt2
|
NO
1.2 /
1.1
|
.
155.0 /
300.0
|
NO
5.0 /
4.3
|
Integer_Transition_Systems/From_T2/p-36.t2.smt2
|
NO
1.0 /
0.9
|
.
249.5 /
300.0
|
NO
4.1 /
2.2
|
eger_Transition_Systems/From_T2/p-36.t2_fixed.smt2
|
NO
1.0 /
1.0
|
.
243.1 /
300.0
|
NO
4.2 /
2.3
|
Integer_Transition_Systems/From_T2/p-37.t2.smt2
|
YES
0.8 /
0.8
|
YES
9.2 /
20.9
|
YES
2.4 /
3.6
|
eger_Transition_Systems/From_T2/p-37.t2_fixed.smt2
|
YES
0.8 /
0.8
|
YES
8.5 /
54.4
|
YES
2.4 /
1.7
|
Integer_Transition_Systems/From_T2/p-38.t2.smt2
|
YES
0.7 /
0.7
|
YES
0.3 /
0.3
|
YES
4.4 /
2.4
|
eger_Transition_Systems/From_T2/p-38.t2_fixed.smt2
|
YES
0.6 /
0.6
|
YES
0.4 /
0.7
|
YES
4.4 /
5.9
|
Integer_Transition_Systems/From_T2/p-4.t2.smt2
|
YES
0.8 /
0.8
|
YES
5.2 /
5.9
|
YES
2.4 /
5.0
|
Integer_Transition_Systems/From_T2/p-40.t2.smt2
|
YES
0.8 /
0.7
|
YES
5.7 /
6.5
|
YES
2.4 /
1.7
|
eger_Transition_Systems/From_T2/p-40.t2_fixed.smt2
|
YES
0.8 /
0.8
|
YES
5.0 /
25.4
|
YES
2.4 /
1.6
|
Integer_Transition_Systems/From_T2/p-41.t2.smt2
|
YES
0.5 /
0.5
|
YES
0.0 /
0.0
|
YES
2.0 /
1.5
|
Integer_Transition_Systems/From_T2/p-42.t2.smt2
|
YES
0.9 /
0.8
|
YES
6.0 /
68.9
|
YES
2.5 /
2.9
|
_Transition_Systems/From_T2/p-43-terminate.t2.smt2
|
YES
19.2 /
16.6
|
.
214.4 /
300.0
|
.
251.6 /
300.1
|
ition_Systems/From_T2/p-43-terminate.t2_fixed.smt2
|
YES
25.7 /
22.5
|
.
245.8 /
277.0
|
.
339.6 /
300.1
|
Integer_Transition_Systems/From_T2/p-43.t2.smt2
|
YES
5.1 /
4.4
|
.
9.6 /
10.9
|
.
457.7 /
300.0
|
eger_Transition_Systems/From_T2/p-43.t2_fixed.smt2
|
YES
5.6 /
8.8
|
.
9.0 /
10.3
|
.
334.9 /
300.0
|
Integer_Transition_Systems/From_T2/p-44.t2.smt2
|
YES
0.7 /
0.9
|
YES
0.5 /
0.6
|
YES
2.3 /
1.7
|
Integer_Transition_Systems/From_T2/p-45.t2.smt2
|
YES
0.8 /
0.8
|
YES
4.3 /
19.9
|
YES
2.6 /
1.8
|
Integer_Transition_Systems/From_T2/p-46.t2.smt2
|
.
6.1 /
6.8
|
.
29.1 /
63.5
|
NO
3.6 /
2.2
|
eger_Transition_Systems/From_T2/p-46.t2_fixed.smt2
|
.
18.0 /
14.9
|
.
25.9 /
29.1
|
.
842.0 /
300.0
|
Integer_Transition_Systems/From_T2/p-49.t2.smt2
|
YES
1.6 /
2.2
|
YES
0.3 /
0.3
|
YES
2.2 /
1.5
|
Integer_Transition_Systems/From_T2/p-5.t2.smt2
|
NO
2.6 /
2.3
|
.
239.1 /
300.0
|
NO
4.3 /
2.4
|
teger_Transition_Systems/From_T2/p-5.t2_fixed.smt2
|
NO
3.5 /
3.1
|
.
176.7 /
300.0
|
NO
4.6 /
2.6
|
Integer_Transition_Systems/From_T2/p-50.t2.smt2
|
YES
0.6 /
0.6
|
YES
0.0 /
0.2
|
YES
2.1 /
1.5
|
Integer_Transition_Systems/From_T2/p-52.t2.smt2
|
NO
0.9 /
1.1
|
.
12.2 /
13.5
|
NO
2.8 /
6.0
|
Integer_Transition_Systems/From_T2/p-53.t2.smt2
|
YES
0.6 /
1.2
|
YES
0.1 /
0.1
|
YES
2.3 /
18.8
|
Integer_Transition_Systems/From_T2/p-55.t2.smt2
|
YES
0.7 /
1.6
|
YES
17.5 /
19.4
|
YES
2.3 /
4.0
|
eger_Transition_Systems/From_T2/p-55.t2_fixed.smt2
|
YES
0.8 /
0.8
|
YES
10.6 /
12.6
|
YES
2.4 /
1.7
|
Integer_Transition_Systems/From_T2/p-56.t2.smt2
|
YES
0.9 /
0.9
|
YES
5.9 /
6.7
|
YES
2.5 /
5.9
|
eger_Transition_Systems/From_T2/p-56.t2_fixed.smt2
|
YES
0.9 /
0.8
|
YES
6.1 /
6.9
|
YES
2.5 /
1.9
|
Integer_Transition_Systems/From_T2/p-58.t2.smt2
|
YES
0.7 /
0.7
|
.
1.5 /
1.7
|
.
390.3 /
300.2
|
Integer_Transition_Systems/From_T2/p-6.t2.smt2
|
YES
0.8 /
1.6
|
YES
8.8 /
16.5
|
YES
2.4 /
1.7
|
Integer_Transition_Systems/From_T2/p-60.t2.smt2
|
YES
0.7 /
1.0
|
YES
4.4 /
19.5
|
YES
2.4 /
1.6
|
eger_Transition_Systems/From_T2/p-60.t2_fixed.smt2
|
YES
0.8 /
0.8
|
YES
3.7 /
11.7
|
YES
2.3 /
1.6
|
Integer_Transition_Systems/From_T2/p-61.t2.smt2
|
YES
0.8 /
0.8
|
YES
8.7 /
9.6
|
YES
2.5 /
20.1
|
eger_Transition_Systems/From_T2/p-61.t2_fixed.smt2
|
YES
0.9 /
1.2
|
YES
1.6 /
1.8
|
YES
2.2 /
4.1
|
Integer_Transition_Systems/From_T2/p-62.t2.smt2
|
YES
0.5 /
0.5
|
YES
0.0 /
0.0
|
YES
2.1 /
1.6
|
Integer_Transition_Systems/From_T2/p-63.t2.smt2
|
YES
1.0 /
1.0
|
.
5.5 /
6.3
|
YES
2.7 /
1.9
|
eger_Transition_Systems/From_T2/p-63.t2_fixed.smt2
|
YES
1.0 /
0.9
|
.
5.6 /
12.4
|
YES
2.5 /
5.0
|
Integer_Transition_Systems/From_T2/p-7.t2.smt2
|
YES
0.9 /
0.8
|
YES
7.5 /
8.4
|
YES
2.4 /
1.7
|
teger_Transition_Systems/From_T2/p-7.t2_fixed.smt2
|
YES
0.8 /
0.8
|
YES
6.9 /
7.7
|
YES
2.3 /
1.7
|
Integer_Transition_Systems/From_T2/p-7b.t2.smt2
|
YES
0.8 /
0.8
|
YES
3.7 /
4.1
|
YES
2.5 /
4.3
|
Integer_Transition_Systems/From_T2/p-8.t2.smt2
|
NO
1.0 /
1.1
|
.
5.3 /
6.0
|
NO
2.5 /
1.8
|
Integer_Transition_Systems/From_T2/p.t2.smt2
|
NO
84.1 /
93.4
|
.
273.4 /
300.0
|
.
520.2 /
300.0
|
Integer_Transition_Systems/From_T2/p_armc.t2.smt2
|
.
285.5 /
300.0
|
.
43.3 /
48.7
|
.
330.9 /
300.0
|
_Transition_Systems/From_T2/pearl-necklace.t2.smt2
|
YES
0.9 /
0.9
|
YES
10.0 /
18.9
|
YES
2.7 /
21.3
|
nteger_Transition_Systems/From_T2/peculiar.t2.smt2
|
NO
1.6 /
1.7
|
.
8.4 /
9.6
|
NO
4.9 /
5.0
|
_Transition_Systems/From_T2/peculiar.t2_fixed.smt2
|
NO
1.4 /
1.3
|
.
10.7 /
49.2
|
NO
4.3 /
2.3
|
nteger_Transition_Systems/From_T2/pentagon.t2.smt2
|
.
124.6 /
101.6
|
.
36.1 /
40.9
|
.
650.7 /
300.0
|
ger_Transition_Systems/From_T2/pgarch-fail.t2.smt2
|
NO
1.2 /
3.4
|
.
22.9 /
52.3
|
NO
4.4 /
5.4
|
_Transition_Systems/From_T2/pgarch-succeed.t2.smt2
|
NO
1.1 /
1.0
|
.
27.0 /
30.9
|
NO
4.8 /
2.5
|
Integer_Transition_Systems/From_T2/pgarch.t2.smt2
|
NO
47.5 /
37.4
|
.
230.9 /
300.0
|
.
303.7 /
300.0
|
er_Transition_Systems/From_T2/pgarch.t2_fixed.smt2
|
.
291.4 /
300.0
|
.
182.3 /
300.0
|
.
303.6 /
300.0
|
ger_Transition_Systems/From_T2/polling.bug.t2.smt2
|
NO
10.1 /
16.0
|
.
145.4 /
300.1
|
NO
19.5 /
13.4
|
ansition_Systems/From_T2/polling.bug.t2_fixed.smt2
|
NO
8.6 /
7.4
|
.
275.8 /
300.0
|
NO
22.6 /
25.4
|
Integer_Transition_Systems/From_T2/polling.t2.smt2
|
NO
7.2 /
13.0
|
.
225.5 /
300.0
|
NO
18.0 /
10.6
|
r_Transition_Systems/From_T2/polling.t2_fixed.smt2
|
NO
7.4 /
6.4
|
.
261.4 /
288.6
|
.
29.7 /
25.8
|
teger_Transition_Systems/From_T2/polyrank1.t2.smt2
|
YES
1.0 /
2.8
|
.
0.6 /
0.7
|
YES
2.4 /
1.7
|
teger_Transition_Systems/From_T2/polyrank2.t2.smt2
|
YES
1.2 /
2.6
|
.
1.1 /
1.3
|
YES
2.5 /
1.9
|
teger_Transition_Systems/From_T2/polyrank3.t2.smt2
|
YES
1.5 /
3.2
|
.
2.4 /
2.8
|
YES
7.5 /
22.4
|
teger_Transition_Systems/From_T2/polyrank4.t2.smt2
|
YES
1.8 /
1.6
|
.
2.7 /
3.0
|
YES
9.2 /
6.0
|
teger_Transition_Systems/From_T2/polyrank5.t2.smt2
|
YES
3.2 /
2.8
|
.
4.6 /
30.1
|
YES
9.3 /
6.1
|
teger_Transition_Systems/From_T2/polyrank6.t2.smt2
|
YES
1.0 /
1.0
|
.
2.6 /
2.9
|
YES
2.5 /
1.8
|
teger_Transition_Systems/From_T2/polyrank7.t2.smt2
|
NO
0.8 /
1.0
|
.
1.7 /
1.9
|
NO
2.4 /
1.7
|
ger_Transition_Systems/From_T2/popl07-fail.t2.smt2
|
NO
1.8 /
1.6
|
.
53.8 /
114.3
|
NO
5.8 /
8.0
|
_Transition_Systems/From_T2/popl07-succeed.t2.smt2
|
NO
1.8 /
1.6
|
.
54.3 /
71.4
|
NO
5.8 /
9.3
|
Integer_Transition_Systems/From_T2/ppblock.t2.smt2
|
NO
1.4 /
2.0
|
.
11.2 /
12.5
|
NO
4.4 /
10.0
|
eger_Transition_Systems/From_T2/ppblockbug.t2.smt2
|
NO
1.4 /
1.9
|
.
11.7 /
12.9
|
NO
5.4 /
5.8
|
ger_Transition_Systems/From_T2/ppblockterm.t2.smt2
|
.
7.5 /
5.8
|
.
41.0 /
199.9
|
NO
3.8 /
2.1
|
_Transition_Systems/From_T2/ppblocktermbug.t2.smt2
|
.
8.4 /
9.0
|
.
41.1 /
47.4
|
NO
3.7 /
5.6
|
Integer_Transition_Systems/From_T2/prime.t2.smt2
|
.
25.3 /
20.3
|
.
233.9 /
261.9
|
NO
8.8 /
4.6
|
ger_Transition_Systems/From_T2/prime.t2_fixed.smt2
|
.
57.2 /
71.8
|
.
194.5 /
274.3
|
NO
8.5 /
4.5
|
Integer_Transition_Systems/From_T2/print.t2.smt2
|
YES
7.2 /
5.5
|
.
286.8 /
300.0
|
YES
29.7 /
36.1
|
ger_Transition_Systems/From_T2/print.t2_fixed.smt2
|
YES
23.4 /
36.5
|
.
277.1 /
300.0
|
YES
17.6 /
28.1
|
tems/From_T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.smt2
|
YES
22.1 /
46.9
|
.
185.1 /
300.0
|
YES
6.3 /
3.2
|
Integer_Transition_Systems/From_T2/qrdcmp.t2.smt2
|
YES
18.9 /
17.5
|
.
265.8 /
300.0
|
YES
6.4 /
3.2
|
Integer_Transition_Systems/From_T2/queens.t2.smt2
|
YES
5.4 /
4.9
|
.
258.4 /
300.0
|
YES
6.1 /
6.6
|
er_Transition_Systems/From_T2/queens.t2_fixed.smt2
|
YES
5.1 /
4.7
|
.
266.5 /
300.0
|
YES
5.3 /
6.8
|
Integer_Transition_Systems/From_T2/queue_1.t2.smt2
|
YES
1.2 /
2.2
|
YES
11.8 /
55.5
|
YES
3.0 /
4.2
|
nteger_Transition_Systems/From_T2/queue_10.t2.smt2
|
YES
1.2 /
1.1
|
YES
18.4 /
20.9
|
YES
3.2 /
1.9
|
_Transition_Systems/From_T2/queue_10.t2_fixed.smt2
|
YES
1.1 /
1.0
|
YES
10.3 /
13.1
|
YES
2.8 /
4.5
|
teger_Transition_Systems/From_T2/queue_100.t2.smt2
|
YES
1.2 /
1.1
|
YES
22.3 /
66.2
|
YES
3.2 /
3.0
|
Transition_Systems/From_T2/queue_100.t2_fixed.smt2
|
YES
1.2 /
1.1
|
YES
9.9 /
11.5
|
YES
3.1 /
1.9
|
eger_Transition_Systems/From_T2/queue_1000.t2.smt2
|
YES
1.3 /
3.9
|
YES
21.2 /
77.7
|
YES
3.5 /
4.7
|
ransition_Systems/From_T2/queue_1000.t2_fixed.smt2
|
YES
1.3 /
1.2
|
YES
9.6 /
11.0
|
YES
3.4 /
3.1
|
eger_Transition_Systems/From_T2/randomwalk.t2.smt2
|
YES
5.7 /
5.4
|
.
32.4 /
36.8
|
.
483.4 /
300.1
|
tion_Systems/From_T2/randomwalk_withassume.t2.smt2
|
YES
3.1 /
7.5
|
.
35.7 /
64.0
|
YES
4.1 /
6.5
|
sition_Systems/From_T2/refine_disj_problem.t2.smt2
|
NO
0.8 /
0.8
|
.
2.6 /
13.8
|
.
722.0 /
300.1
|
_Systems/From_T2/refine_disj_problem.t2_fixed.smt2
|
NO
0.8 /
2.4
|
.
1.7 /
4.2
|
NO
3.4 /
4.0
|
Integer_Transition_Systems/From_T2/rev_nt2.t2.smt2
|
NO
3.0 /
2.6
|
.
223.1 /
300.0
|
NO
7.1 /
3.5
|
r_Transition_Systems/From_T2/rev_nt2.t2_fixed.smt2
|
NO
3.6 /
3.1
|
.
226.2 /
300.0
|
NO
6.6 /
9.0
|
Integer_Transition_Systems/From_T2/rev_nt3.t2.smt2
|
NO
1.9 /
1.8
|
.
242.8 /
297.4
|
NO
5.6 /
3.0
|
r_Transition_Systems/From_T2/rev_nt3.t2_fixed.smt2
|
NO
1.9 /
1.7
|
.
223.0 /
255.0
|
NO
5.7 /
3.2
|
Integer_Transition_Systems/From_T2/rev_nt4.t2.smt2
|
YES
0.6 /
1.3
|
YES
0.0 /
0.0
|
YES
2.1 /
1.6
|
r_Transition_Systems/From_T2/rev_nt4.t2_fixed.smt2
|
YES
0.6 /
0.6
|
YES
0.0 /
0.0
|
YES
2.4 /
1.8
|
Integer_Transition_Systems/From_T2/reverse.t2.smt2
|
YES
8.9 /
6.7
|
.
142.0 /
300.0
|
YES
47.2 /
42.3
|
r_Transition_Systems/From_T2/reverse.t2_fixed.smt2
|
YES
35.8 /
52.6
|
.
293.5 /
300.0
|
YES
30.3 /
56.6
|
er_Transition_Systems/From_T2/reverse_div4.t2.smt2
|
NO
4.2 /
3.5
|
.
274.4 /
300.0
|
NO
12.7 /
6.8
|
nsition_Systems/From_T2/reverse_div4.t2_fixed.smt2
|
NO
6.6 /
5.4
|
.
199.7 /
300.0
|
NO
12.9 /
7.4
|
nsition_Systems/From_T2/reverse_seg_cyclic.t2.smt2
|
YES
3.8 /
4.9
|
.
114.0 /
300.1
|
YES
22.0 /
25.4
|
n_Systems/From_T2/reverse_seg_cyclic.t2_fixed.smt2
|
YES
12.4 /
10.8
|
.
272.9 /
300.0
|
YES
17.6 /
11.6
|
Integer_Transition_Systems/From_T2/rewrite.t2.smt2
|
NO
0.8 /
2.4
|
.
0.6 /
3.5
|
NO
2.3 /
1.6
|
ystems/From_T2/rlft3.c.i.rlft3.pl.t2.fixed.t2.smt2
|
YES
4.7 /
11.7
|
.
158.9 /
300.1
|
.
275.5 /
300.0
|
Integer_Transition_Systems/From_T2/rlft3.t2.smt2
|
YES
5.4 /
4.6
|
.
186.4 /
300.0
|
NO
8.4 /
4.3
|
ystems/From_T2/ruslan-benchmarks_misc_n-38.t2.smt2
|
.
17.6 /
14.7
|
.
46.9 /
53.6
|
NO
5.1 /
2.9
|
nteger_Transition_Systems/From_T2/s1-saved.t2.smt2
|
YES
4.3 /
3.5
|
.
180.7 /
300.0
|
YES
25.2 /
27.7
|
_Transition_Systems/From_T2/s1-saved.t2_fixed.smt2
|
YES
13.2 /
31.0
|
.
240.1 /
300.0
|
YES
15.8 /
9.9
|
eger_Transition_Systems/From_T2/s1-striped.t2.smt2
|
.
256.5 /
300.0
|
.
281.5 /
300.0
|
.
535.5 /
300.0
|
ransition_Systems/From_T2/s1-striped.t2_fixed.smt2
|
.
194.1 /
165.9
|
.
298.4 /
300.0
|
.
549.1 /
300.1
|
Integer_Transition_Systems/From_T2/s1.t2.smt2
|
.
218.9 /
300.0
|
.
189.1 /
300.0
|
.
218.1 /
300.1
|
nteger_Transition_Systems/From_T2/s1.t2_fixed.smt2
|
.
253.3 /
217.1
|
.
300.1 /
300.0
|
.
718.6 /
300.1
|
Integer_Transition_Systems/From_T2/s2.t2.smt2
|
YES
0.7 /
0.8
|
YES
5.7 /
9.5
|
YES
2.5 /
1.8
|
nteger_Transition_Systems/From_T2/s2.t2_fixed.smt2
|
YES
0.9 /
1.5
|
YES
3.6 /
4.0
|
YES
2.2 /
2.4
|
Integer_Transition_Systems/From_T2/s3-work.t2.smt2
|
YES
36.8 /
70.4
|
.
300.1 /
300.0
|
.
254.1 /
300.0
|
r_Transition_Systems/From_T2/s3-work.t2_fixed.smt2
|
YES
126.8 /
157.8
|
.
247.3 /
300.0
|
YES
274.3 /
263.2
|
Integer_Transition_Systems/From_T2/s3.t2.smt2
|
.
249.0 /
300.1
|
.
142.8 /
300.1
|
.
312.1 /
300.0
|
nteger_Transition_Systems/From_T2/s3.t2_fixed.smt2
|
.
150.8 /
300.0
|
.
237.2 /
300.0
|
.
276.9 /
300.1
|
Integer_Transition_Systems/From_T2/s4.t2.smt2
|
.
448.2 /
300.0
|
.
300.1 /
300.0
|
.
322.9 /
300.0
|
nteger_Transition_Systems/From_T2/s4.t2_fixed.smt2
|
.
328.5 /
300.0
|
.
166.0 /
300.0
|
.
175.8 /
300.0
|
teger_Transition_Systems/From_T2/sas07.cex.t2.smt2
|
YES
4.1 /
3.4
|
.
274.8 /
300.0
|
YES
8.2 /
4.0
|
Integer_Transition_Systems/From_T2/sas2.t2.smt2
|
.
111.1 /
121.6
|
.
212.0 /
244.9
|
.
639.1 /
300.1
|
Integer_Transition_Systems/From_T2/select.t2.smt2
|
NO
6.7 /
6.0
|
.
274.6 /
300.0
|
.
870.6 /
300.0
|
er_Transition_Systems/From_T2/select.t2_fixed.smt2
|
NO
6.7 /
6.1
|
.
145.5 /
300.0
|
.
539.6 /
300.0
|
eger_Transition_Systems/From_T2/selectSort.t2.smt2
|
YES
1.4 /
1.3
|
YES
61.2 /
68.8
|
YES
3.7 /
7.3
|
Transition_Systems/From_T2/send-more-money.t2.smt2
|
YES
1.2 /
1.1
|
YES
74.8 /
75.5
|
YES
15.4 /
9.4
|
tion_Systems/From_T2/send-more-money.t2_fixed.smt2
|
YES
1.2 /
2.3
|
YES
74.8 /
91.0
|
YES
13.5 /
13.4
|
Integer_Transition_Systems/From_T2/seq.t2.smt2
|
YES
0.7 /
0.7
|
YES
0.1 /
0.4
|
YES
2.3 /
5.4
|
Transition_Systems/From_T2/sequential_swap.t2.smt2
|
YES
0.5 /
0.7
|
YES
0.1 /
0.1
|
YES
2.1 /
1.5
|
Integer_Transition_Systems/From_T2/simple.t2.smt2
|
NO
0.9 /
0.9
|
.
0.5 /
0.6
|
.
299.7 /
300.1
|
ger_Transition_Systems/From_T2/simpleWhile.t2.smt2
|
YES
0.8 /
0.8
|
YES
4.2 /
4.8
|
YES
2.9 /
3.3
|
ion_Systems/From_T2/simple_array_inversion.t2.smt2
|
YES
0.8 /
0.8
|
YES
0.4 /
0.4
|
YES
2.2 /
1.6
|
on_Systems/From_T2/simple_control_on_input.t2.smt2
|
YES
0.8 /
0.8
|
YES
0.7 /
2.2
|
YES
2.2 /
1.6
|
tems/From_T2/simple_control_on_input.t2_fixed.smt2
|
YES
0.8 /
0.7
|
YES
0.3 /
0.4
|
YES
2.2 /
1.6
|
ger_Transition_Systems/From_T2/simple_fail.t2.smt2
|
YES
0.6 /
1.3
|
YES
0.0 /
0.0
|
YES
2.3 /
4.6
|
eger_Transition_Systems/From_T2/simple_pre.t2.smt2
|
YES
0.6 /
1.3
|
YES
0.0 /
0.0
|
YES
2.2 /
15.5
|
ger_Transition_Systems/From_T2/simple_pre1.t2.smt2
|
YES
0.6 /
1.3
|
YES
0.0 /
0.0
|
YES
2.1 /
1.5
|
ger_Transition_Systems/From_T2/simple_pre2.t2.smt2
|
YES
0.5 /
0.5
|
YES
0.0 /
0.0
|
YES
2.1 /
1.5
|
ger_Transition_Systems/From_T2/simple_pre3.t2.smt2
|
YES
0.6 /
1.1
|
YES
0.1 /
0.2
|
YES
2.5 /
3.8
|
ransition_Systems/From_T2/simple_swap_call.t2.smt2
|
YES
0.6 /
1.1
|
YES
0.1 /
0.1
|
YES
2.1 /
1.5
|
ger_Transition_Systems/From_T2/simple_test.t2.smt2
|
YES
0.8 /
0.8
|
YES
4.6 /
20.6
|
YES
2.4 /
1.7
|
er_Transition_Systems/From_T2/simple_test2.t2.smt2
|
NO
0.8 /
0.8
|
.
0.8 /
1.6
|
NO
2.3 /
1.7
|
ansition_Systems/From_T2/slayer-1-filtered.t2.smt2
|
YES
4.7 /
3.6
|
.
100.7 /
300.0
|
YES
7.1 /
8.8
|
ger_Transition_Systems/From_T2/slayer-1-rf.t2.smt2
|
YES
6.4 /
10.9
|
.
274.1 /
300.0
|
YES
6.8 /
3.6
|
ansition_Systems/From_T2/slayer-2-filtered.t2.smt2
|
YES
0.8 /
0.8
|
YES
5.4 /
15.3
|
YES
2.5 /
1.7
|
on_Systems/From_T2/slayer-2-filtered.t2_fixed.smt2
|
YES
0.8 /
0.7
|
YES
3.0 /
3.4
|
YES
2.4 /
1.6
|
ansition_Systems/From_T2/slayer-3-filtered.t2.smt2
|
NO
81.1 /
66.3
|
.
283.3 /
300.0
|
NO
44.9 /
35.4
|
er_Transition_Systems/From_T2/slayer-3-new.t2.smt2
|
NO
52.8 /
92.8
|
.
177.4 /
300.0
|
.
306.2 /
300.0
|
nsition_Systems/From_T2/slayer-3-new.t2_fixed.smt2
|
.
338.5 /
300.0
|
.
288.0 /
300.0
|
.
303.7 /
300.0
|
nteger_Transition_Systems/From_T2/slayer-3.t2.smt2
|
NO
69.4 /
58.1
|
.
291.2 /
300.0
|
.
298.4 /
300.0
|
_Transition_Systems/From_T2/slayer-3.t2_fixed.smt2
|
.
241.8 /
300.0
|
.
299.9 /
300.0
|
.
304.2 /
300.0
|
ansition_Systems/From_T2/slayer-4-filtered.t2.smt2
|
.
225.4 /
300.0
|
.
293.5 /
300.0
|
.
234.8 /
300.0
|
ansition_Systems/From_T2/slayer-5-filtered.t2.smt2
|
YES
12.8 /
20.9
|
.
261.8 /
300.0
|
NO
15.6 /
8.9
|
nsition_Systems/From_T2/slayer-n1-filtered.t2.smt2
|
NO
2.9 /
2.4
|
.
99.6 /
111.9
|
NO
5.7 /
3.0
|
teger_Transition_Systems/From_T2/slayer-n1.t2.smt2
|
NO
2.8 /
2.3
|
.
259.1 /
300.0
|
NO
12.2 /
17.7
|
Transition_Systems/From_T2/slayer-n1.t2_fixed.smt2
|
NO
3.9 /
3.2
|
.
65.7 /
300.0
|
NO
9.4 /
13.0
|
nsition_Systems/From_T2/slayer-n2-filtered.t2.smt2
|
NO
0.9 /
0.9
|
.
4.2 /
9.9
|
NO
2.7 /
4.6
|
teger_Transition_Systems/From_T2/slayer-n2.t2.smt2
|
NO
1.0 /
2.3
|
.
3.1 /
3.5
|
NO
3.1 /
4.4
|
nsition_Systems/From_T2/slayer-n3-filtered.t2.smt2
|
YES
3.3 /
3.6
|
.
168.4 /
300.0
|
YES
8.1 /
11.1
|
n_Systems/From_T2/slayer-n3-filtered.t2_fixed.smt2
|
YES
3.5 /
2.6
|
.
217.6 /
300.0
|
YES
7.1 /
8.5
|
nsition_Systems/From_T2/slayer-n5-filtered.t2.smt2
|
NO
37.9 /
28.9
|
.
270.7 /
300.0
|
NO
15.5 /
9.0
|
r_Transition_Systems/From_T2/smagilla-fail.t2.smt2
|
NO
1.1 /
1.1
|
.
2.9 /
3.2
|
NO
7.3 /
24.5
|
ransition_Systems/From_T2/smagilla-succeed.t2.smt2
|
.
1.0 /
2.4
|
.
3.1 /
13.0
|
NO
9.4 /
6.8
|
ransition_Systems/From_T2/smagillb-succeed.t2.smt2
|
NO
1.1 /
1.1
|
.
5.3 /
5.8
|
NO
3.4 /
2.2
|
ion_Systems/From_T2/smagillb-succeed.t2_fixed.smt2
|
NO
1.3 /
2.5
|
.
5.2 /
5.8
|
NO
3.3 /
3.4
|
r_Transition_Systems/From_T2/smagillc-fail.t2.smt2
|
NO
1.2 /
1.2
|
.
4.0 /
11.8
|
NO
3.8 /
2.6
|
sition_Systems/From_T2/smagillc-fail.t2_fixed.smt2
|
NO
1.1 /
1.0
|
.
4.0 /
4.4
|
NO
3.5 /
2.4
|
ransition_Systems/From_T2/smagillc-succeed.t2.smt2
|
NO
1.2 /
1.1
|
.
3.9 /
16.0
|
NO
5.1 /
23.4
|
Integer_Transition_Systems/From_T2/small01.t2.smt2
|
NO
0.8 /
0.8
|
.
0.6 /
0.7
|
NO
2.3 /
3.9
|
r_Transition_Systems/From_T2/small01.t2_fixed.smt2
|
YES
0.8 /
0.8
|
.
0.8 /
0.9
|
YES
2.5 /
4.0
|
Integer_Transition_Systems/From_T2/small02.t2.smt2
|
NO
0.9 /
0.9
|
.
2.6 /
3.0
|
NO
2.7 /
1.9
|
Integer_Transition_Systems/From_T2/small03.t2.smt2
|
NO
0.8 /
1.7
|
.
0.4 /
0.4
|
NO
2.5 /
3.1
|
Integer_Transition_Systems/From_T2/small04.t2.smt2
|
NO
0.8 /
0.8
|
.
0.4 /
0.5
|
NO
2.4 /
2.0
|
Integer_Transition_Systems/From_T2/small05.t2.smt2
|
NO
0.8 /
1.0
|
.
0.4 /
0.4
|
NO
2.4 /
1.7
|
Integer_Transition_Systems/From_T2/small06.t2.smt2
|
YES
0.8 /
0.8
|
YES
2.1 /
8.6
|
YES
2.3 /
1.7
|
Integer_Transition_Systems/From_T2/small07.t2.smt2
|
YES
0.8 /
2.2
|
.
10.9 /
12.3
|
YES
3.8 /
2.2
|
Integer_Transition_Systems/From_T2/small08.t2.smt2
|
YES
0.9 /
0.9
|
.
14.0 /
21.3
|
YES
3.2 /
2.0
|
Integer_Transition_Systems/From_T2/small09.t2.smt2
|
YES
0.9 /
0.9
|
.
14.5 /
16.3
|
YES
2.8 /
1.8
|
Integer_Transition_Systems/From_T2/small10.t2.smt2
|
NO
1.0 /
2.4
|
.
3.0 /
3.4
|
.
580.4 /
300.0
|
Integer_Transition_Systems/From_T2/small11.t2.smt2
|
NO
0.8 /
0.8
|
.
0.1 /
0.1
|
NO
2.4 /
3.2
|
Integer_Transition_Systems/From_T2/small12.t2.smt2
|
YES
0.8 /
0.7
|
YES
0.8 /
1.0
|
YES
2.2 /
1.6
|
Integer_Transition_Systems/From_T2/small13.t2.smt2
|
YES
0.9 /
0.9
|
.
1.4 /
1.6
|
YES
2.2 /
2.4
|
Integer_Transition_Systems/From_T2/small14.t2.smt2
|
NO
1.0 /
1.0
|
.
28.4 /
36.8
|
NO
3.5 /
2.1
|
Integer_Transition_Systems/From_T2/small15.t2.smt2
|
NO
5.3 /
4.5
|
.
2.0 /
2.2
|
.
642.2 /
300.0
|
Integer_Transition_Systems/From_T2/small16.t2.smt2
|
.
5.7 /
4.7
|
.
1.0 /
1.1
|
NO
2.9 /
2.1
|
Integer_Transition_Systems/From_T2/small17.t2.smt2
|
NO
0.9 /
0.9
|
.
0.5 /
2.5
|
NO
3.1 /
7.8
|
Integer_Transition_Systems/From_T2/small18.t2.smt2
|
NO
0.9 /
1.2
|
.
0.5 /
0.5
|
NO
2.9 /
2.2
|
Integer_Transition_Systems/From_T2/small19.t2.smt2
|
YES
0.8 /
0.8
|
.
2.9 /
3.2
|
YES
2.2 /
1.6
|
Integer_Transition_Systems/From_T2/small20.t2.smt2
|
YES
0.8 /
0.8
|
YES
1.8 /
2.1
|
YES
2.2 /
4.1
|
Integer_Transition_Systems/From_T2/small21.t2.smt2
|
YES
0.8 /
0.7
|
YES
2.6 /
13.3
|
YES
2.2 /
2.5
|
Integer_Transition_Systems/From_T2/small22.t2.smt2
|
NO
0.9 /
2.5
|
.
1.7 /
1.9
|
NO
2.6 /
1.8
|
Integer_Transition_Systems/From_T2/small23.t2.smt2
|
NO
1.1 /
1.1
|
.
2.1 /
2.4
|
.
668.6 /
300.1
|
Integer_Transition_Systems/From_T2/small24.t2.smt2
|
NO
0.8 /
0.8
|
.
0.2 /
0.2
|
NO
2.5 /
4.0
|
Integer_Transition_Systems/From_T2/small26.t2.smt2
|
YES
0.8 /
1.6
|
YES
1.0 /
6.2
|
YES
2.2 /
1.6
|
Integer_Transition_Systems/From_T2/small27.t2.smt2
|
YES
0.8 /
4.6
|
YES
0.0 /
0.0
|
YES
2.1 /
3.8
|
Integer_Transition_Systems/From_T2/small28.t2.smt2
|
YES
0.7 /
0.7
|
YES
0.8 /
0.9
|
YES
2.4 /
2.7
|
Integer_Transition_Systems/From_T2/small29.t2.smt2
|
NO
0.8 /
0.8
|
.
0.8 /
0.9
|
NO
2.5 /
5.4
|
Integer_Transition_Systems/From_T2/small31.t2.smt2
|
YES
0.7 /
1.5
|
YES
0.0 /
0.0
|
YES
2.4 /
4.2
|
Integer_Transition_Systems/From_T2/small32.t2.smt2
|
YES
0.8 /
0.8
|
YES
0.0 /
0.0
|
YES
2.2 /
1.6
|
Integer_Transition_Systems/From_T2/small33.t2.smt2
|
YES
0.7 /
0.7
|
YES
0.0 /
0.0
|
YES
2.1 /
2.5
|
Integer_Transition_Systems/From_T2/small34.t2.smt2
|
YES
0.7 /
0.7
|
YES
0.1 /
0.8
|
YES
2.2 /
1.6
|
Integer_Transition_Systems/From_T2/small35.t2.smt2
|
NO
0.9 /
2.1
|
.
0.9 /
1.0
|
NO
2.4 /
5.0
|
Integer_Transition_Systems/From_T2/sort.t2.smt2
|
YES
3.6 /
3.1
|
.
271.2 /
300.0
|
YES
5.4 /
2.8
|
eger_Transition_Systems/From_T2/sort.t2_fixed.smt2
|
YES
3.7 /
3.2
|
.
162.4 /
300.0
|
YES
5.0 /
6.6
|
tems/From_T2/spctrm.c.i.spctrm.pl.t2.fixed.t2.smt2
|
.
309.5 /
300.0
|
.
256.4 /
300.0
|
YES
13.9 /
7.2
|
Integer_Transition_Systems/From_T2/spctrm.t2.smt2
|
.
310.2 /
300.0
|
.
271.6 /
300.0
|
YES
12.0 /
6.4
|
Integer_Transition_Systems/From_T2/spiral.t2.smt2
|
.
22.7 /
25.6
|
.
11.0 /
12.3
|
.
331.5 /
300.1
|
er_Transition_Systems/From_T2/spiral.t2_fixed.smt2
|
.
10.0 /
15.6
|
.
23.5 /
102.4
|
.
535.1 /
300.0
|
nteger_Transition_Systems/From_T2/st88.bug.t2.smt2
|
NO
2.0 /
1.9
|
.
12.3 /
13.8
|
NO
5.1 /
3.3
|
_Transition_Systems/From_T2/st88.bug.t2_fixed.smt2
|
NO
2.6 /
5.1
|
.
5.2 /
9.4
|
.
298.1 /
300.0
|
Integer_Transition_Systems/From_T2/st88.t2.smt2
|
.
3.2 /
6.0
|
.
10.0 /
11.5
|
NO
3.3 /
5.1
|
eger_Transition_Systems/From_T2/st88.t2_fixed.smt2
|
.
2.9 /
2.8
|
.
6.3 /
18.2
|
NO
4.9 /
3.2
|
eger_Transition_Systems/From_T2/st88b-fail.t2.smt2
|
NO
1.3 /
1.2
|
.
10.8 /
12.4
|
NO
2.9 /
2.0
|
r_Transition_Systems/From_T2/st88b-succeed.t2.smt2
|
NO
2.5 /
3.4
|
.
8.6 /
22.9
|
NO
3.1 /
2.0
|
teger_Transition_Systems/From_T2/statemate.t2.smt2
|
.
340.8 /
300.0
|
.
166.0 /
300.0
|
.
271.3 /
300.0
|
Transition_Systems/From_T2/statemate.t2_fixed.smt2
|
.
324.1 /
300.0
|
.
245.9 /
300.0
|
.
287.9 /
300.0
|
Integer_Transition_Systems/From_T2/stored.t2.smt2
|
NO
0.9 /
0.9
|
.
3.9 /
4.5
|
NO
3.1 /
5.3
|
ition_Systems/From_T2/streamserver-succeed.t2.smt2
|
NO
15.2 /
34.1
|
.
85.8 /
100.4
|
NO
10.8 /
8.1
|
Systems/From_T2/streamserver-succeed.t2_fixed.smt2
|
NO
23.4 /
25.3
|
.
70.6 /
81.0
|
NO
11.4 /
5.8
|
ransition_Systems/From_T2/streamserver.bug.t2.smt2
|
NO
11.3 /
10.2
|
.
76.3 /
82.1
|
NO
16.7 /
8.8
|
ion_Systems/From_T2/streamserver.bug.t2_fixed.smt2
|
NO
11.2 /
10.1
|
.
65.8 /
72.9
|
NO
20.9 /
12.1
|
r_Transition_Systems/From_T2/subpoly_crash.t2.smt2
|
NO
0.8 /
0.8
|
.
0.4 /
2.3
|
NO
2.3 /
1.7
|
Integer_Transition_Systems/From_T2/sudoku.t2.smt2
|
YES
30.4 /
32.8
|
.
198.2 /
300.0
|
YES
11.8 /
6.4
|
tems/From_T2/svdcmp.c.i.svdcmp.pl.t2.fixed.t2.smt2
|
.
332.7 /
300.1
|
.
271.0 /
300.0
|
YES
170.6 /
144.1
|
T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2.smt2
|
.
240.2 /
300.0
|
.
242.9 /
300.0
|
YES
32.6 /
34.9
|
Integer_Transition_Systems/From_T2/svdcmp.t2.smt2
|
.
308.0 /
300.0
|
.
300.1 /
300.0
|
YES
43.8 /
54.5
|
er_Transition_Systems/From_T2/svdcmp.t2_fixed.smt2
|
.
266.1 /
300.0
|
.
284.6 /
300.0
|
YES
33.2 /
24.2
|
er_Transition_Systems/From_T2/test_byron_2.t2.smt2
|
NO
0.9 /
0.9
|
.
0.4 /
0.5
|
NO
2.4 /
1.8
|
tems/From_T2/toeplz.c.i.toeplz.pl.t2.fixed.t2.smt2
|
YES
6.5 /
10.4
|
.
270.2 /
300.0
|
YES
5.3 /
2.8
|
Integer_Transition_Systems/From_T2/toeplz.t2.smt2
|
YES
6.7 /
5.9
|
.
82.2 /
300.0
|
YES
4.7 /
4.2
|
_Systems/From_T2/tqli.c.i.tqli.pl.t2.fixed.t2.smt2
|
.
84.6 /
187.2
|
.
159.7 /
300.0
|
NO
15.2 /
7.7
|
rom_T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2.smt2
|
.
277.1 /
300.0
|
.
160.3 /
300.1
|
.
785.7 /
300.0
|
Integer_Transition_Systems/From_T2/tqli.t2.smt2
|
.
132.3 /
127.4
|
.
216.5 /
300.0
|
NO
15.1 /
7.4
|
eger_Transition_Systems/From_T2/tqli.t2_fixed.smt2
|
.
167.4 /
300.0
|
.
251.7 /
300.1
|
.
482.3 /
300.0
|
nteger_Transition_Systems/From_T2/traverse.t2.smt2
|
YES
4.8 /
3.7
|
.
166.1 /
300.0
|
YES
25.8 /
40.1
|
_Transition_Systems/From_T2/traverse.t2_fixed.smt2
|
YES
13.1 /
11.2
|
.
256.7 /
300.0
|
YES
16.5 /
10.4
|
teger_Transition_Systems/From_T2/traverse2.t2.smt2
|
YES
7.2 /
11.6
|
.
253.6 /
300.0
|
YES
31.5 /
27.8
|
Transition_Systems/From_T2/traverse2.t2_fixed.smt2
|
YES
21.1 /
18.0
|
.
193.8 /
300.0
|
YES
22.8 /
16.5
|
er_Transition_Systems/From_T2/traverse_seg.t2.smt2
|
YES
6.2 /
4.7
|
.
283.6 /
300.0
|
YES
26.2 /
21.7
|
nsition_Systems/From_T2/traverse_seg.t2_fixed.smt2
|
YES
18.6 /
32.7
|
.
237.4 /
300.0
|
YES
21.1 /
14.1
|
r_Transition_Systems/From_T2/traverse_seg2.t2.smt2
|
YES
4.5 /
3.5
|
.
273.3 /
300.0
|
YES
25.4 /
31.1
|
sition_Systems/From_T2/traverse_seg2.t2_fixed.smt2
|
YES
13.3 /
11.4
|
.
205.6 /
300.0
|
YES
18.4 /
22.7
|
_Transition_Systems/From_T2/traverse_twice.t2.smt2
|
YES
7.8 /
5.6
|
.
300.1 /
300.0
|
YES
46.5 /
40.9
|
ition_Systems/From_T2/traverse_twice.t2_fixed.smt2
|
YES
27.5 /
24.7
|
.
262.0 /
300.0
|
YES
27.8 /
19.9
|
eger_Transition_Systems/From_T2/two_arrays.t2.smt2
|
YES
1.7 /
1.5
|
.
42.4 /
50.4
|
YES
3.8 /
2.3
|
ransition_Systems/From_T2/two_arrays.t2_fixed.smt2
|
YES
1.7 /
1.5
|
YES
30.6 /
34.6
|
YES
3.1 /
1.9
|
ger_Transition_Systems/From_T2/two_arrays1.t2.smt2
|
YES
2.6 /
2.1
|
YES
98.2 /
110.8
|
YES
4.5 /
3.2
|
ansition_Systems/From_T2/two_arrays1.t2_fixed.smt2
|
YES
2.5 /
2.1
|
.
67.4 /
96.8
|
YES
3.5 /
2.3
|
ger_Transition_Systems/From_T2/two_arrays2.t2.smt2
|
YES
2.7 /
2.2
|
YES
89.2 /
101.8
|
YES
4.7 /
7.4
|
ger_Transition_Systems/From_T2/two_arrays6.t2.smt2
|
YES
2.5 /
2.1
|
YES
80.1 /
89.5
|
YES
4.3 /
7.3
|
Integer_Transition_Systems/From_T2/ud.t2.smt2
|
YES
6.9 /
5.8
|
.
263.5 /
300.0
|
YES
6.3 /
3.2
|
nteger_Transition_Systems/From_T2/ud.t2_fixed.smt2
|
YES
6.0 /
5.0
|
.
268.2 /
300.0
|
YES
5.6 /
2.9
|
ger_Transition_Systems/From_T2/vmcai_bytes.t2.smt2
|
YES
0.5 /
0.6
|
YES
0.0 /
0.0
|
YES
2.0 /
2.4
|
Integer_Transition_Systems/From_T2/w1.t2.smt2
|
NO
1.1 /
1.1
|
.
0.2 /
0.3
|
NO
2.4 /
4.2
|
Integer_Transition_Systems/From_T2/w2_nt.t2.smt2
|
NO
2.2 /
4.9
|
.
198.0 /
224.1
|
NO
6.7 /
3.2
|
Integer_Transition_Systems/From_T2/w3_nt.t2.smt2
|
NO
2.4 /
2.1
|
.
202.3 /
228.2
|
NO
6.2 /
3.3
|
Integer_Transition_Systems/From_T2/walk.t2.smt2
|
.
8.1 /
6.6
|
.
60.6 /
68.4
|
NO
4.7 /
2.5
|
eger_Transition_Systems/From_T2/walk.t2_fixed.smt2
|
.
7.1 /
8.5
|
.
61.8 /
162.0
|
NO
4.8 /
2.6
|
nteger_Transition_Systems/From_T2/weakness.t2.smt2
|
YES
1.0 /
1.0
|
.
2.1 /
5.2
|
YES
2.4 /
1.7
|
nteger_Transition_Systems/From_T2/whatwhat.t2.smt2
|
YES
0.9 /
0.9
|
.
0.8 /
4.5
|
.
1067.0 /
300.1
|
Integer_Transition_Systems/From_T2/wrap.c.t2.smt2
|
YES
2.4 /
2.9
|
.
132.8 /
300.0
|
YES
5.2 /
5.2
|
eger_Transition_Systems/From_T2/wrong_loop.t2.smt2
|
NO
0.9 /
1.3
|
.
8.1 /
18.9
|
.
209.1 /
300.0
|
ransition_Systems/From_T2/wrong_loop.t2_fixed.smt2
|
NO
1.4 /
1.6
|
.
2.9 /
3.3
|
.
229.7 /
300.1
|
Integer_Transition_Systems/From_T2/wtf.t2.smt2
|
YES
15.7 /
14.1
|
.
103.7 /
300.0
|
YES
74.9 /
147.9
|
nteger_Transition_Systems/From_T2/zeroconf.t2.smt2
|
.
245.1 /
300.0
|
.
254.4 /
284.1
|
YES
92.5 /
72.8
|
sition_Systems/From_T2/zeroconf_withassume.t2.smt2
|
YES
68.2 /
89.4
|
.
265.9 /
300.0
|
YES
6.7 /
7.8
|
_Transition_Systems/From_T2/zlib-adler32.c.t2.smt2
|
NO
7.5 /
8.3
|
.
214.9 /
245.8
|
.
569.2 /
300.0
|
ition_Systems/From_T2/zlib-adler32.c.t2_fixed.smt2
|
YES
3.9 /
8.9
|
.
262.4 /
300.0
|
YES
5.8 /
9.5
|
sition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2.smt2
|
NO
6.3 /
5.8
|
.
163.0 /
300.0
|
.
1018.1 /
300.1
|
_Systems/From_T2/zlib-crc32-BYFOUR.c.t2_fixed.smt2
|
YES
4.9 /
3.8
|
.
204.8 /
300.0
|
YES
6.4 /
3.7
|
er_Transition_Systems/From_T2/zlib-crc32.c.t2.smt2
|
NO
1.3 /
1.2
|
.
45.1 /
190.1
|
.
533.6 /
300.1
|
nsition_Systems/From_T2/zlib-crc32.c.t2_fixed.smt2
|
YES
1.1 /
1.0
|
YES
27.1 /
63.0
|
YES
4.5 /
5.9
|