| tion_Systems/From_AProVE_2014/AG313.jar-obl-8.smt2
|
YES
0.2 /
0.2
|
YES
3.0 /
1.6
|
YES
0.0 /
0.0
|
| AProVE_2014/AProVE12-cyclic-Iterate.jar-obl-9.smt2
|
.
1.5 /
1.5
|
YES
5.8 /
7.4
|
YES
0.2 /
0.1
|
| _AProVE_2014/AProVE12-cyclic-Length.jar-obl-9.smt2
|
.
1.1 /
1.1
|
YES
4.2 /
1.9
|
YES
0.2 /
0.1
|
| m_AProVE_2014/AProVE12-cyclic-Visit.jar-obl-9.smt2
|
.
0.5 /
0.5
|
.
60.1 /
30.1
|
NO
7.6 /
5.4
|
| Systems/From_AProVE_2014/AProVEMath.jar-obl-8.smt2
|
YES
1.2 /
1.3
|
YES
3.1 /
1.6
|
YES
0.0 /
0.0
|
| rom_AProVE_2014/AProVEMathRecursive.jar-obl-8.smt2
|
YES
7.4 /
7.4
|
YES
3.4 /
1.7
|
YES
0.1 /
0.1
|
| ition_Systems/From_AProVE_2014/AckR.jar-obl-8.smt2
|
YES
0.6 /
0.6
|
YES
3.3 /
2.1
|
YES
0.0 /
0.0
|
| _Systems/From_AProVE_2014/Ackermann.jar-obl-8.smt2
|
YES
0.5 /
1.0
|
YES
2.9 /
1.9
|
YES
0.0 /
0.0
|
| Systems/From_AProVE_2014/Alternate.jar-obl-10.smt2
|
.
30.1 /
30.0
|
YES
5.7 /
3.0
|
.
19.4 /
10.6
|
| m_AProVE_2014/AlternatingGrowReduce.jar-obl-9.smt2
|
.
0.9 /
0.8
|
YES
6.6 /
3.1
|
YES
0.1 /
0.1
|
| _AProVE_2014/AlternatingGrowReduce2.jar-obl-9.smt2
|
.
0.8 /
0.8
|
.
63.7 /
30.0
|
.
37.8 /
12.6
|
| ProVE_2014/AlternatingGrowReduceRec.jar-obl-9.smt2
|
.
1.2 /
1.2
|
YES
8.5 /
4.8
|
YES
0.1 /
0.1
|
| roVE_2014/AlternatingGrowReduceRec2.jar-obl-9.smt2
|
.
0.8 /
0.8
|
.
58.8 /
30.1
|
.
37.7 /
15.8
|
| ition_Systems/From_AProVE_2014/AppE.jar-obl-9.smt2
|
YES
0.7 /
0.7
|
YES
3.2 /
2.5
|
YES
0.0 /
0.0
|
| sition_Systems/From_AProVE_2014/Avg.jar-obl-8.smt2
|
.
0.6 /
0.6
|
YES
3.1 /
1.6
|
YES
0.0 /
0.0
|
| 14/BMOG_CAV_12_MarkingGraphVisitor.jar-obl-11.smt2
|
.
10.9 /
11.2
|
.
47.6 /
30.1
|
.
11.5 /
8.8
|
| tion_Systems/From_AProVE_2014/BTree.jar-obl-9.smt2
|
YES
1.9 /
1.8
|
YES
3.3 /
1.9
|
YES
0.1 /
0.1
|
| ion_Systems/From_AProVE_2014/BTreeR.jar-obl-9.smt2
|
YES
2.9 /
2.8
|
YES
3.2 /
1.6
|
YES
0.1 /
0.1
|
| ms/From_AProVE_2014/BinTreeChanger.jar-obl-10.smt2
|
.
11.7 /
11.5
|
.
43.3 /
30.0
|
.
11.5 /
5.1
|
| stems/From_AProVE_2014/BinarySearch.jar-obl-9.smt2
|
.
29.4 /
30.0
|
YES
5.8 /
3.3
|
YES
0.9 /
0.9
|
| s/From_AProVE_2014/BinarySearchTree.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
2.9 /
1.5
|
YES
0.0 /
0.0
|
| n_Systems/From_AProVE_2014/Binomial.jar-obl-9.smt2
|
.
30.3 /
30.1
|
YES
5.2 /
3.2
|
YES
0.7 /
0.7
|
| tion_Systems/From_AProVE_2014/Break.jar-obl-8.smt2
|
YES
0.2 /
0.2
|
YES
3.1 /
1.5
|
YES
0.0 /
0.0
|
| Systems/From_AProVE_2014/BubbleSort.jar-obl-8.smt2
|
.
8.5 /
30.1
|
YES
3.2 /
1.8
|
YES
4.2 /
4.2
|
| stems/From_AProVE_2014/BubbleSortR.jar-obl-10.smt2
|
YES
30.2 /
29.7
|
YES
4.1 /
2.0
|
YES
0.1 /
0.1
|
| tion_Systems/From_AProVE_2014/CAppE.jar-obl-9.smt2
|
YES
0.3 /
0.3
|
YES
3.4 /
1.6
|
YES
0.0 /
0.0
|
| tion_Systems/From_AProVE_2014/Carre.jar-obl-9.smt2
|
YES
11.8 /
11.7
|
YES
3.6 /
2.4
|
YES
0.1 /
0.1
|
| ion_Systems/From_AProVE_2014/Choose.jar-obl-8.smt2
|
.
0.3 /
0.3
|
NO
4.7 /
2.9
|
NO
24.0 /
13.7
|
| Systems/From_AProVE_2014/ChooseLife.jar-obl-8.smt2
|
.
0.3 /
0.3
|
.
43.7 /
30.0
|
NO
6.8 /
4.9
|
| tems/From_AProVE_2014/ClassAnalysis.jar-obl-8.smt2
|
YES
0.2 /
0.2
|
YES
2.9 /
1.5
|
YES
0.0 /
0.0
|
| s/From_AProVE_2014/ClassAnalysisRec.jar-obl-8.smt2
|
YES
0.2 /
0.2
|
YES
3.0 /
1.5
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/Collatz.jar-obl-8.smt2
|
.
3.0 /
2.9
|
.
77.8 /
30.1
|
.
6.0 /
4.4
|
| n_Systems/From_AProVE_2014/Continue.jar-obl-8.smt2
|
.
0.1 /
0.1
|
NO
3.0 /
1.8
|
NO
0.0 /
0.0
|
| _Systems/From_AProVE_2014/Continue1.jar-obl-8.smt2
|
YES
0.3 /
0.3
|
YES
3.4 /
1.6
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/Convert.jar-obl-9.smt2
|
.
0.9 /
0.9
|
NO
4.0 /
1.9
|
NO
5.6 /
4.4
|
| Systems/From_AProVE_2014/ConvertRec.jar-obl-9.smt2
|
.
2.5 /
2.5
|
NO
4.6 /
6.8
|
NO
23.5 /
9.8
|
| n_Systems/From_AProVE_2014/Count.jar-obl-10-2.smt2
|
.
6.7 /
6.6
|
NO
6.9 /
2.8
|
.
33.8 /
16.9
|
| ion_Systems/From_AProVE_2014/Count.jar-obl-10.smt2
|
.
2.7 /
2.6
|
NO
4.4 /
2.5
|
.
35.6 /
12.5
|
| tems/From_AProVE_2014/CountMetaList.jar-obl-9.smt2
|
.
1.3 /
1.3
|
NO
3.8 /
2.2
|
NO
7.8 /
5.0
|
| s/From_AProVE_2014/CountMetaListRec.jar-obl-9.smt2
|
.
1.4 /
1.4
|
NO
4.0 /
2.0
|
NO
7.8 /
5.0
|
| stems/From_AProVE_2014/CountUpRound.jar-obl-8.smt2
|
YES
1.6 /
1.5
|
YES
3.4 /
1.6
|
YES
0.0 /
0.0
|
| ms/From_AProVE_2014/CyclicAnalysis.jar-obl-10.smt2
|
YES
2.0 /
2.0
|
YES
3.5 /
1.7
|
YES
0.1 /
0.1
|
| /From_AProVE_2014/CyclicAnalysisRec.jar-obl-9.smt2
|
YES
1.5 /
1.4
|
YES
3.8 /
2.9
|
YES
0.1 /
0.1
|
| Systems/From_AProVE_2014/CyclicList.jar-obl-9.smt2
|
YES
0.9 /
0.9
|
YES
3.3 /
1.7
|
YES
0.0 /
0.0
|
| ystems/From_AProVE_2014/CyclicPair2.jar-obl-8.smt2
|
YES
0.2 /
0.2
|
YES
3.2 /
2.2
|
YES
0.0 /
0.0
|
| m_AProVE_2014/CyclicalListDuplicate.jar-obl-9.smt2
|
.
1.9 /
1.9
|
.
51.7 /
30.0
|
NO
13.9 /
9.8
|
| ition_Systems/From_AProVE_2014/Diff.jar-obl-8.smt2
|
YES
15.3 /
15.2
|
YES
3.3 /
1.7
|
YES
0.5 /
0.5
|
| Systems/From_AProVE_2014/Distances.jar-obl-19.smt2
|
.
30.2 /
30.0
|
YES
9.5 /
3.6
|
.
25.0 /
16.4
|
| _Systems/From_AProVE_2014/DivMinus.jar-obl-11.smt2
|
.
23.4 /
23.0
|
NO
18.4 /
5.2
|
.
64.5 /
24.6
|
| n_Systems/From_AProVE_2014/DivMinus.jar-obl-8.smt2
|
YES
0.2 /
0.2
|
YES
3.1 /
1.6
|
YES
0.0 /
0.0
|
| _Systems/From_AProVE_2014/DivMinus2.jar-obl-8.smt2
|
YES
11.6 /
11.4
|
YES
33.1 /
16.0
|
YES
0.1 /
0.1
|
| ystems/From_AProVE_2014/DivTernary.jar-obl-10.smt2
|
.
30.4 /
30.0
|
.
73.6 /
30.0
|
.
57.5 /
24.2
|
| ystems/From_AProVE_2014/DivTernary2.jar-obl-9.smt2
|
.
2.0 /
1.9
|
NO
5.2 /
2.4
|
NO
46.5 /
11.2
|
| ms/From_AProVE_2014/DivWithoutMinus.jar-obl-8.smt2
|
YES
0.3 /
0.3
|
YES
3.2 /
1.8
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/Domino.jar-obl-27.smt2
|
.
30.1 /
30.1
|
.
59.0 /
30.1
|
.
40.8 /
30.1
|
| ion_Systems/From_AProVE_2014/Double.jar-obl-8.smt2
|
YES
0.5 /
0.5
|
YES
3.1 /
1.5
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/Double2.jar-obl-8.smt2
|
YES
0.1 /
0.1
|
YES
3.0 /
2.5
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/Double3.jar-obl-8.smt2
|
YES
0.1 /
0.1
|
YES
2.9 /
1.6
|
YES
0.0 /
0.0
|
| Systems/From_AProVE_2014/DupTreeRec.jar-obl-9.smt2
|
YES
12.4 /
12.2
|
YES
3.8 /
1.8
|
YES
0.3 /
0.3
|
| _Systems/From_AProVE_2014/Duplicate.jar-obl-8.smt2
|
YES
0.3 /
0.3
|
YES
2.9 /
1.5
|
YES
0.0 /
0.0
|
| ems/From_AProVE_2014/DuplicateNodes.jar-obl-9.smt2
|
YES
2.7 /
2.8
|
YES
3.8 /
1.8
|
YES
0.1 /
0.1
|
| /From_AProVE_2014/DuplicateTreePath.jar-obl-9.smt2
|
YES
6.4 /
6.4
|
YES
4.3 /
2.3
|
YES
0.2 /
0.2
|
| stems/From_AProVE_2014/EqUserDefRec.jar-obl-8.smt2
|
YES
0.1 /
0.1
|
YES
3.3 /
1.8
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/Et1-rec.jar-obl-8.smt2
|
.
0.4 /
0.4
|
YES
4.0 /
2.2
|
YES
13.4 /
6.2
|
| sition_Systems/From_AProVE_2014/Et1.jar-obl-8.smt2
|
.
0.3 /
0.3
|
YES
3.5 /
2.0
|
YES
13.5 /
6.2
|
| on_Systems/From_AProVE_2014/Et2-rec.jar-obl-8.smt2
|
.
0.6 /
0.6
|
YES
4.4 /
2.4
|
YES
0.6 /
0.2
|
| sition_Systems/From_AProVE_2014/Et2.jar-obl-8.smt2
|
.
0.8 /
0.8
|
YES
19.4 /
9.9
|
YES
1.9 /
0.7
|
| on_Systems/From_AProVE_2014/Et3-rec.jar-obl-8.smt2
|
.
0.5 /
0.5
|
YES
3.8 /
2.2
|
YES
14.4 /
5.2
|
| sition_Systems/From_AProVE_2014/Et3.jar-obl-9.smt2
|
.
0.4 /
0.5
|
YES
3.8 /
2.0
|
YES
22.9 /
9.6
|
| on_Systems/From_AProVE_2014/Et4-rec.jar-obl-8.smt2
|
.
0.9 /
0.9
|
YES
11.9 /
4.5
|
YES
35.2 /
10.8
|
| sition_Systems/From_AProVE_2014/Et4.jar-obl-8.smt2
|
.
1.3 /
1.3
|
YES
18.2 /
11.2
|
.
59.5 /
30.1
|
| on_Systems/From_AProVE_2014/Et5-rec.jar-obl-8.smt2
|
YES
1.4 /
1.4
|
YES
3.5 /
1.9
|
YES
0.1 /
0.1
|
| sition_Systems/From_AProVE_2014/Et5.jar-obl-8.smt2
|
YES
1.6 /
1.6
|
YES
3.6 /
1.9
|
YES
0.2 /
0.2
|
| on_Systems/From_AProVE_2014/Et6-rec.jar-obl-8.smt2
|
YES
1.3 /
1.3
|
YES
3.4 /
1.9
|
YES
0.1 /
0.1
|
| sition_Systems/From_AProVE_2014/Et6.jar-obl-8.smt2
|
YES
1.4 /
1.3
|
YES
3.4 /
1.8
|
YES
0.3 /
0.3
|
| on_Systems/From_AProVE_2014/EvenOdd.jar-obl-8.smt2
|
.
4.7 /
4.6
|
NO
3.7 /
2.8
|
NO
29.7 /
15.1
|
| sition_Systems/From_AProVE_2014/Exc.jar-obl-8.smt2
|
YES
0.3 /
0.3
|
YES
3.1 /
1.5
|
YES
0.1 /
0.1
|
| ition_Systems/From_AProVE_2014/Exc1.jar-obl-8.smt2
|
.
0.2 /
0.2
|
NO
11.4 /
6.2
|
NO
0.1 /
0.1
|
| ition_Systems/From_AProVE_2014/Exc2.jar-obl-8.smt2
|
.
0.3 /
0.3
|
NO
11.9 /
9.7
|
NO
1.4 /
1.1
|
| ition_Systems/From_AProVE_2014/Exc3.jar-obl-8.smt2
|
YES
0.4 /
0.4
|
YES
3.2 /
1.6
|
YES
0.0 /
0.0
|
| ition_Systems/From_AProVE_2014/Exc4.jar-obl-8.smt2
|
.
0.3 /
0.2
|
NO
17.4 /
8.9
|
NO
1.2 /
0.8
|
| ition_Systems/From_AProVE_2014/Exc5.jar-obl-8.smt2
|
YES
0.3 /
0.3
|
YES
3.0 /
1.6
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/FactSLR.jar-obl-8.smt2
|
.
0.6 /
0.6
|
YES
4.5 /
2.1
|
YES
0.1 /
0.1
|
| on_Systems/From_AProVE_2014/FactSum.jar-obl-9.smt2
|
YES
0.2 /
0.2
|
YES
2.9 /
1.7
|
YES
0.0 /
0.0
|
| ystems/From_AProVE_2014/FactSumList.jar-obl-8.smt2
|
YES
4.4 /
4.3
|
YES
3.4 /
1.8
|
YES
0.1 /
0.1
|
| _Systems/From_AProVE_2014/Factorial.jar-obl-8.smt2
|
YES
0.1 /
0.1
|
YES
3.4 /
1.7
|
YES
0.0 /
0.0
|
| ion_Systems/From_AProVE_2014/FibSLR.jar-obl-8.smt2
|
.
0.6 /
0.6
|
YES
4.1 /
2.0
|
YES
1.3 /
0.5
|
| _Systems/From_AProVE_2014/Fibonacci.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
3.0 /
1.5
|
YES
0.0 /
0.0
|
| n_Systems/From_AProVE_2014/Flatten.jar-obl-10.smt2
|
.
4.3 /
4.3
|
NO
4.8 /
3.0
|
.
58.4 /
21.1
|
| ystems/From_AProVE_2014/FlattenRTA.jar-obl-10.smt2
|
.
4.4 /
4.4
|
NO
8.8 /
4.9
|
.
70.7 /
23.8
|
| ystems/From_AProVE_2014/FlattenTree.jar-obl-9.smt2
|
.
2.3 /
2.3
|
NO
6.6 /
3.8
|
.
47.5 /
15.6
|
| rom_AProVE_2014/FlattenTreeListRec.jar-obl-10.smt2
|
.
3.9 /
3.9
|
NO
6.2 /
3.0
|
.
55.1 /
19.7
|
| ems/From_AProVE_2014/FlattenTreeRec.jar-obl-9.smt2
|
.
2.1 /
2.1
|
NO
3.8 /
2.1
|
.
36.8 /
12.4
|
| _Systems/From_AProVE_2014/Fractale1.jar-obl-8.smt2
|
YES
21.6 /
21.3
|
YES
8.5 /
1.9
|
YES
0.6 /
0.6
|
| sition_Systems/From_AProVE_2014/GCD.jar-obl-8.smt2
|
YES
0.7 /
0.6
|
YES
3.6 /
1.7
|
YES
0.1 /
0.1
|
| ition_Systems/From_AProVE_2014/GCD2.jar-obl-8.smt2
|
YES
0.7 /
0.7
|
YES
3.3 /
2.2
|
YES
0.0 /
0.0
|
| ition_Systems/From_AProVE_2014/GCD3.jar-obl-8.smt2
|
YES
2.5 /
2.4
|
YES
3.1 /
1.7
|
YES
0.0 /
0.0
|
| ition_Systems/From_AProVE_2014/GCD4.jar-obl-8.smt2
|
YES
2.3 /
2.2
|
YES
3.1 /
1.6
|
YES
0.0 /
0.0
|
| ition_Systems/From_AProVE_2014/GCD5.jar-obl-8.smt2
|
YES
0.6 /
0.6
|
YES
3.2 /
2.0
|
.
5.4 /
4.2
|
| on_Systems/From_AProVE_2014/Gopher.jar-obl-10.smt2
|
YES
4.3 /
4.4
|
YES
3.7 /
1.7
|
YES
0.1 /
0.1
|
| ion_Systems/From_AProVE_2014/Graph.jar-obl-17.smt2
|
.
30.4 /
30.0
|
.
38.0 /
30.1
|
.
89.2 /
30.1
|
| _Systems/From_AProVE_2014/GrowTreeR.jar-obl-9.smt2
|
YES
12.7 /
12.6
|
YES
4.0 /
1.8
|
YES
0.3 /
0.3
|
| ition_Systems/From_AProVE_2014/HanR.jar-obl-8.smt2
|
YES
0.3 /
0.7
|
YES
3.0 /
1.5
|
YES
0.0 /
0.0
|
| tion_Systems/From_AProVE_2014/Hanoi.jar-obl-8.smt2
|
YES
0.1 /
0.1
|
YES
3.0 /
1.6
|
YES
0.0 /
0.0
|
| ems/From_AProVE_2014/Infix2Postfix.jar-obl-11.smt2
|
.
30.3 /
30.0
|
YES
5.4 /
2.9
|
YES
0.3 /
0.3
|
| ition_Systems/From_AProVE_2014/Init.jar-obl-8.smt2
|
.
0.1 /
0.1
|
NO
2.9 /
1.6
|
NO
0.0 /
0.0
|
| tems/From_AProVE_2014/IntListDupRec.jar-obl-9.smt2
|
YES
1.0 /
0.9
|
YES
6.5 /
1.6
|
YES
0.1 /
0.1
|
| tems/From_AProVE_2014/IntListSumRec.jar-obl-9.smt2
|
YES
0.4 /
0.4
|
YES
3.5 /
2.3
|
YES
0.0 /
0.0
|
| ion_Systems/From_AProVE_2014/IntRTA.jar-obl-8.smt2
|
YES
0.5 /
0.5
|
YES
3.1 /
1.5
|
YES
0.0 /
0.0
|
| Systems/From_AProVE_2014/Iterations.jar-obl-8.smt2
|
.
30.4 /
30.0
|
YES
4.1 /
1.8
|
YES
16.6 /
8.1
|
| n_Systems/From_AProVE_2014/Kernel68.jar-obl-9.smt2
|
.
30.3 /
30.0
|
YES
10.9 /
2.2
|
YES
1.1 /
1.1
|
| n_Systems/From_AProVE_2014/Kernel88.jar-obl-9.smt2
|
YES
8.8 /
8.8
|
YES
4.3 /
1.9
|
YES
0.1 /
0.1
|
| n_Systems/From_AProVE_2014/Kernel93.jar-obl-9.smt2
|
.
3.6 /
3.5
|
.
55.2 /
30.1
|
NO
9.9 /
4.5
|
| n_Systems/From_AProVE_2014/Kernel95.jar-obl-9.smt2
|
YES
3.3 /
3.3
|
YES
3.9 /
5.2
|
YES
0.1 /
0.1
|
| ystems/From_AProVE_2014/KnapsackDP.jar-obl-11.smt2
|
.
10.3 /
10.2
|
.
48.5 /
30.0
|
.
54.2 /
30.1
|
| stems/From_AProVE_2014/LeUserDefRec.jar-obl-8.smt2
|
YES
0.1 /
0.1
|
YES
3.0 /
1.5
|
YES
0.0 /
0.0
|
| ystems/From_AProVE_2014/LessLeaves.jar-obl-10.smt2
|
.
10.0 /
9.9
|
NO
6.2 /
3.8
|
NO
70.3 /
24.6
|
| ems/From_AProVE_2014/LessLeavesRec.jar-obl-10.smt2
|
.
29.7 /
30.1
|
.
52.0 /
30.0
|
.
20.5 /
11.6
|
| ystems/From_AProVE_2014/LinkedList.jar-obl-10.smt2
|
.
0.7 /
0.7
|
NO
3.8 /
1.9
|
NO
25.9 /
12.3
|
| tion_Systems/From_AProVE_2014/List.jar-obl-12.smt2
|
.
1.1 /
1.1
|
NO
4.6 /
2.2
|
NO
46.7 /
16.6
|
| ystems/From_AProVE_2014/ListContent.jar-obl-9.smt2
|
.
0.4 /
0.4
|
NO
3.5 /
2.3
|
NO
5.6 /
4.4
|
| m_AProVE_2014/ListContentArbitrary.jar-obl-10.smt2
|
YES
0.5 /
0.5
|
YES
3.2 /
1.6
|
YES
0.0 /
0.0
|
| s/From_AProVE_2014/ListContentTail.jar-obl-10.smt2
|
YES
2.4 /
2.4
|
YES
3.5 /
1.7
|
YES
0.1 /
0.1
|
| tems/From_AProVE_2014/ListDuplicate.jar-obl-9.smt2
|
YES
0.7 /
0.7
|
YES
3.3 /
1.8
|
YES
0.0 /
0.1
|
| n_Systems/From_AProVE_2014/ListInt.jar-obl-12.smt2
|
.
3.9 /
3.9
|
NO
5.9 /
3.8
|
NO
11.8 /
6.0
|
| _AProVE_2014/ListReverseAcyclicList.jar-obl-9.smt2
|
YES
0.4 /
0.4
|
YES
3.3 /
3.3
|
YES
0.0 /
0.0
|
| _AProVE_2014/ListReverseCyclicList.jar-obl-10.smt2
|
YES
3.9 /
15.0
|
YES
3.7 /
1.8
|
YES
0.1 /
0.1
|
| roVE_2014/ListReversePanhandleList.jar-obl-11.smt2
|
YES
5.2 /
5.6
|
YES
4.0 /
1.8
|
YES
0.1 /
0.1
|
| sition_Systems/From_AProVE_2014/Log.jar-obl-8.smt2
|
.
1.6 /
1.6
|
YES
9.4 /
4.7
|
YES
0.2 /
0.1
|
| tion_Systems/From_AProVE_2014/LogAG.jar-obl-8.smt2
|
.
2.7 /
4.2
|
YES
7.6 /
3.6
|
YES
0.1 /
0.1
|
| Systems/From_AProVE_2014/LogBuiltIn.jar-obl-8.smt2
|
YES
0.5 /
0.5
|
YES
3.0 /
1.5
|
YES
0.0 /
0.0
|
| stems/From_AProVE_2014/LogIterative.jar-obl-8.smt2
|
YES
0.5 /
0.5
|
YES
3.1 /
1.7
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/LogMult.jar-obl-8.smt2
|
YES
0.3 /
0.3
|
YES
3.3 /
1.6
|
.
5.4 /
4.2
|
| stems/From_AProVE_2014/LogRecursive.jar-obl-8.smt2
|
YES
1.0 /
1.0
|
YES
3.0 /
1.6
|
YES
0.0 /
0.0
|
| ition_Systems/From_AProVE_2014/Loop.jar-obl-8.smt2
|
.
0.1 /
0.1
|
NO
3.3 /
1.7
|
NO
0.0 /
0.0
|
| tion_Systems/From_AProVE_2014/Loop1.jar-obl-8.smt2
|
YES
0.4 /
0.4
|
YES
2.9 /
1.5
|
YES
0.0 /
0.0
|
| ems/From_AProVE_2014/LoopingNonterm.jar-obl-8.smt2
|
.
0.4 /
0.4
|
NO
3.8 /
2.0
|
NO
8.8 /
5.2
|
| tion_Systems/From_AProVE_2014/Main.jar-obl-11.smt2
|
.
30.3 /
30.0
|
YES
6.0 /
6.3
|
.
60.6 /
24.0
|
| _Systems/From_AProVE_2014/MainCopy.jar-obl-10.smt2
|
.
2.1 /
2.1
|
NO
5.2 /
3.9
|
NO
14.8 /
6.8
|
| ystems/From_AProVE_2014/MainDelete.jar-obl-10.smt2
|
.
4.7 /
4.6
|
NO
6.4 /
3.0
|
NO
35.8 /
19.4
|
| _Systems/From_AProVE_2014/MainFind.jar-obl-10.smt2
|
.
3.4 /
3.4
|
NO
5.6 /
2.6
|
NO
45.5 /
14.8
|
| n_Systems/From_AProVE_2014/MainGet.jar-obl-10.smt2
|
.
1.8 /
1.8
|
NO
5.2 /
2.4
|
NO
14.1 /
6.7
|
| _Systems/From_AProVE_2014/MainMove.jar-obl-11.smt2
|
.
30.5 /
30.1
|
NO
6.6 /
2.6
|
NO
8.7 /
5.4
|
| on_Systems/From_AProVE_2014/Matrix.jar-obl-16.smt2
|
.
30.3 /
30.1
|
.
77.3 /
30.1
|
.
80.1 /
30.1
|
| /From_AProVE_2014/McCarthyIterative.jar-obl-8.smt2
|
.
0.5 /
0.5
|
YES
3.0 /
1.7
|
YES
0.2 /
0.2
|
| Systems/From_AProVE_2014/MergeSort.jar-obl-12.smt2
|
.
30.4 /
30.1
|
YES
4.9 /
2.1
|
YES
0.6 /
0.6
|
| stems/From_AProVE_2014/MinusBuiltIn.jar-obl-8.smt2
|
YES
0.2 /
0.2
|
YES
2.9 /
2.7
|
YES
0.0 /
0.0
|
| n_Systems/From_AProVE_2014/MinusMin.jar-obl-8.smt2
|
.
2.2 /
2.1
|
YES
5.6 /
3.1
|
YES
0.1 /
0.0
|
| s/From_AProVE_2014/MinusUserDefined.jar-obl-8.smt2
|
.
0.8 /
1.1
|
YES
17.8 /
7.8
|
YES
0.3 /
0.1
|
| s/From_AProVE_2014/MirrorBinTreeRec.jar-obl-9.smt2
|
.
8.8 /
30.1
|
YES
4.8 /
2.4
|
.
33.9 /
16.7
|
| From_AProVE_2014/MirrorMultiTreeRec.jar-obl-9.smt2
|
YES
12.3 /
12.6
|
YES
3.9 /
1.7
|
YES
0.3 /
0.3
|
| Systems/From_AProVE_2014/MirrorTree.jar-obl-9.smt2
|
YES
2.5 /
2.5
|
YES
3.4 /
1.9
|
YES
0.1 /
0.1
|
| sition_Systems/From_AProVE_2014/Mod.jar-obl-8.smt2
|
YES
4.2 /
4.1
|
YES
28.6 /
8.1
|
YES
0.1 /
0.1
|
| Systems/From_AProVE_2014/MultiLasso.jar-obl-8.smt2
|
.
3.0 /
4.5
|
.
57.8 /
30.1
|
NO
24.9 /
10.3
|
| From_AProVE_2014/MysteriousProgram.jar-obl-12.smt2
|
.
30.5 /
30.1
|
.
60.0 /
30.1
|
.
52.7 /
28.4
|
| tion_Systems/From_AProVE_2014/NO_00.jar-obl-8.smt2
|
.
0.1 /
0.1
|
NO
3.1 /
1.9
|
NO
0.0 /
0.0
|
| tion_Systems/From_AProVE_2014/NO_01.jar-obl-8.smt2
|
.
0.1 /
0.1
|
NO
2.9 /
1.6
|
NO
0.0 /
0.0
|
| tion_Systems/From_AProVE_2014/NO_02.jar-obl-8.smt2
|
.
0.1 /
0.1
|
NO
3.4 /
1.6
|
NO
0.0 /
0.0
|
| tion_Systems/From_AProVE_2014/NO_03.jar-obl-8.smt2
|
.
0.2 /
0.2
|
.
58.3 /
30.1
|
NO
0.3 /
0.2
|
| tion_Systems/From_AProVE_2014/NO_04.jar-obl-8.smt2
|
.
0.1 /
0.1
|
NO
3.0 /
2.1
|
NO
0.0 /
0.0
|
| tion_Systems/From_AProVE_2014/NO_05.jar-obl-9.smt2
|
.
0.4 /
0.4
|
.
51.4 /
30.0
|
.
95.8 /
30.1
|
| tion_Systems/From_AProVE_2014/NO_06.jar-obl-8.smt2
|
.
0.1 /
0.1
|
NO
2.9 /
1.6
|
NO
0.1 /
0.1
|
| tion_Systems/From_AProVE_2014/NO_10.jar-obl-8.smt2
|
.
0.4 /
0.4
|
NO
3.1 /
1.8
|
NO
30.6 /
15.2
|
| tion_Systems/From_AProVE_2014/NO_11.jar-obl-8.smt2
|
.
0.3 /
0.3
|
.
40.9 /
30.0
|
NO
28.6 /
15.1
|
| tion_Systems/From_AProVE_2014/NO_12.jar-obl-8.smt2
|
.
0.6 /
0.6
|
.
44.7 /
30.1
|
NO
31.3 /
15.3
|
| tion_Systems/From_AProVE_2014/NO_13.jar-obl-8.smt2
|
.
0.6 /
0.6
|
.
31.5 /
30.1
|
.
90.0 /
30.2
|
| tion_Systems/From_AProVE_2014/NO_20.jar-obl-8.smt2
|
.
0.1 /
0.1
|
NO
3.5 /
1.9
|
NO
0.0 /
0.0
|
| tion_Systems/From_AProVE_2014/NO_21.jar-obl-8.smt2
|
.
0.1 /
0.1
|
NO
3.1 /
1.8
|
NO
0.0 /
0.0
|
| tion_Systems/From_AProVE_2014/NO_22.jar-obl-8.smt2
|
.
0.4 /
0.4
|
.
43.8 /
30.1
|
NO
7.7 /
3.9
|
| tion_Systems/From_AProVE_2014/NO_23.jar-obl-8.smt2
|
.
0.3 /
0.2
|
.
77.4 /
30.1
|
NO
24.5 /
15.1
|
| tion_Systems/From_AProVE_2014/NO_24.jar-obl-8.smt2
|
.
0.5 /
0.5
|
.
54.5 /
30.1
|
NO
5.4 /
4.2
|
| ition_Systems/From_AProVE_2014/Nest.jar-obl-8.smt2
|
YES
0.4 /
0.4
|
YES
3.6 /
1.8
|
YES
0.0 /
0.0
|
| ion_Systems/From_AProVE_2014/Nested.jar-obl-8.smt2
|
YES
1.7 /
1.7
|
YES
3.0 /
1.7
|
YES
0.4 /
0.4
|
| ystems/From_AProVE_2014/NestedLoop.jar-obl-10.smt2
|
.
1.1 /
1.1
|
YES
15.1 /
6.0
|
YES
0.3 /
0.3
|
| rom_AProVE_2014/NonPeriodicNonterm2.jar-obl-8.smt2
|
.
0.8 /
0.8
|
.
67.6 /
30.0
|
NO
19.6 /
8.7
|
| ition_Systems/From_AProVE_2014/Norm.jar-obl-9.smt2
|
.
30.5 /
30.0
|
NO
7.9 /
3.9
|
.
100.5 /
17.1
|
| n_Systems/From_AProVE_2014/Overflow.jar-obl-8.smt2
|
YES
0.3 /
0.3
|
YES
6.3 /
2.1
|
YES
0.0 /
0.0
|
| ems/From_AProVE_2014/PartitionList.jar-obl-16.smt2
|
.
30.0 /
30.0
|
YES
8.3 /
3.7
|
YES
1.4 /
1.4
|
| tion_Systems/From_AProVE_2014/Parts.jar-obl-9.smt2
|
YES
14.3 /
14.0
|
YES
3.6 /
1.7
|
YES
0.1 /
0.1
|
| on_Systems/From_AProVE_2014/PastaA1.jar-obl-8.smt2
|
YES
1.6 /
1.5
|
YES
3.0 /
1.6
|
YES
0.0 /
0.0
|
| n_Systems/From_AProVE_2014/PastaA10.jar-obl-8.smt2
|
YES
0.5 /
0.5
|
YES
7.8 /
3.7
|
YES
0.1 /
0.1
|
| on_Systems/From_AProVE_2014/PastaA4.jar-obl-8.smt2
|
YES
0.3 /
0.3
|
YES
3.0 /
2.1
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/PastaA5.jar-obl-8.smt2
|
.
0.4 /
0.4
|
YES
5.2 /
2.3
|
YES
0.1 /
0.1
|
| on_Systems/From_AProVE_2014/PastaA6.jar-obl-8.smt2
|
.
0.6 /
0.6
|
YES
6.6 /
2.8
|
YES
0.1 /
0.1
|
| on_Systems/From_AProVE_2014/PastaA7.jar-obl-8.smt2
|
YES
0.4 /
0.3
|
YES
3.4 /
8.0
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/PastaA8.jar-obl-8.smt2
|
YES
0.3 /
0.3
|
YES
3.1 /
2.2
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/PastaA9.jar-obl-8.smt2
|
YES
0.3 /
0.3
|
YES
2.9 /
1.8
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/PastaB1.jar-obl-8.smt2
|
YES
0.2 /
0.2
|
YES
2.9 /
1.5
|
YES
0.0 /
0.0
|
| n_Systems/From_AProVE_2014/PastaB10.jar-obl-8.smt2
|
YES
0.5 /
0.5
|
YES
3.2 /
1.6
|
YES
0.1 /
0.1
|
| n_Systems/From_AProVE_2014/PastaB11.jar-obl-8.smt2
|
.
0.8 /
0.7
|
YES
6.2 /
3.0
|
YES
0.4 /
0.2
|
| n_Systems/From_AProVE_2014/PastaB12.jar-obl-8.smt2
|
YES
0.3 /
0.3
|
YES
2.9 /
1.7
|
YES
0.0 /
0.0
|
| n_Systems/From_AProVE_2014/PastaB13.jar-obl-8.smt2
|
YES
4.0 /
4.3
|
YES
4.0 /
3.7
|
YES
0.0 /
0.0
|
| n_Systems/From_AProVE_2014/PastaB14.jar-obl-8.smt2
|
YES
0.2 /
0.2
|
YES
3.3 /
2.4
|
YES
0.0 /
0.0
|
| n_Systems/From_AProVE_2014/PastaB15.jar-obl-8.smt2
|
YES
0.6 /
0.6
|
YES
3.5 /
1.6
|
YES
0.0 /
0.0
|
| n_Systems/From_AProVE_2014/PastaB16.jar-obl-8.smt2
|
YES
1.3 /
1.3
|
YES
3.4 /
1.9
|
YES
0.0 /
0.0
|
| n_Systems/From_AProVE_2014/PastaB17.jar-obl-8.smt2
|
YES
2.9 /
2.9
|
YES
3.3 /
1.6
|
YES
0.0 /
0.0
|
| n_Systems/From_AProVE_2014/PastaB18.jar-obl-8.smt2
|
YES
0.3 /
0.3
|
YES
3.6 /
1.9
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/PastaB2.jar-obl-8.smt2
|
YES
0.3 /
0.3
|
YES
3.0 /
5.8
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/PastaB3.jar-obl-8.smt2
|
YES
0.1 /
0.1
|
YES
2.9 /
1.7
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/PastaB4.jar-obl-8.smt2
|
YES
0.1 /
0.1
|
YES
3.1 /
1.6
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/PastaB5.jar-obl-8.smt2
|
YES
0.1 /
0.1
|
YES
3.1 /
1.7
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/PastaB6.jar-obl-8.smt2
|
YES
0.1 /
0.1
|
YES
3.0 /
1.6
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/PastaB7.jar-obl-8.smt2
|
YES
0.4 /
0.4
|
YES
2.9 /
1.7
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/PastaB8.jar-obl-8.smt2
|
YES
0.9 /
0.9
|
YES
7.6 /
5.5
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/PastaC1.jar-obl-8.smt2
|
YES
3.7 /
15.5
|
YES
3.4 /
1.7
|
YES
0.0 /
0.0
|
| n_Systems/From_AProVE_2014/PastaC10.jar-obl-8.smt2
|
.
0.6 /
0.6
|
YES
10.3 /
3.6
|
YES
0.2 /
0.1
|
| n_Systems/From_AProVE_2014/PastaC11.jar-obl-8.smt2
|
YES
0.3 /
0.3
|
YES
3.4 /
1.5
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/PastaC2.jar-obl-8.smt2
|
YES
2.3 /
2.3
|
YES
3.2 /
2.3
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/PastaC3.jar-obl-8.smt2
|
YES
1.2 /
1.2
|
YES
3.5 /
1.8
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/PastaC5.jar-obl-8.smt2
|
YES
0.4 /
0.4
|
YES
3.4 /
1.6
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/PastaC7.jar-obl-8.smt2
|
YES
0.2 /
0.2
|
YES
3.1 /
1.7
|
YES
0.0 /
0.0
|
| on_Systems/From_AProVE_2014/PastaC9.jar-obl-8.smt2
|
YES
0.5 /
0.5
|
YES
3.2 /
1.7
|
YES
0.0 /
0.0
|
| n_Systems/From_AProVE_2014/PlusSwap.jar-obl-8.smt2
|
.
0.3 /
0.3
|
YES
3.3 /
1.7
|
YES
0.1 /
0.0
|
| ion_Systems/From_AProVE_2014/Power.jar-obl-10.smt2
|
YES
21.5 /
21.1
|
YES
3.7 /
2.0
|
YES
26.4 /
10.2
|
| ion_Systems/From_AProVE_2014/Queen.jar-obl-10.smt2
|
.
4.1 /
4.0
|
NO
5.0 /
2.6
|
.
24.1 /
13.7
|
| stems/From_AProVE_2014/QuicksortRec.jar-obl-9.smt2
|
YES
29.4 /
29.6
|
YES
5.8 /
7.2
|
YES
1.1 /
1.1
|
| ition_Systems/From_AProVE_2014/RSA.jar-obl-17.smt2
|
.
30.1 /
30.0
|
.
72.6 /
30.1
|
.
32.1 /
15.6
|
| ystems/From_AProVE_2014/RandomHard.jar-obl-10.smt2
|
.
30.3 /
30.0
|
.
91.3 /
30.1
|
.
37.4 /
19.5
|
| ystems/From_AProVE_2014/Recursions.jar-obl-13.smt2
|
YES
2.5 /
2.5
|
YES
3.1 /
1.7
|
YES
0.1 /
0.1
|
| _Systems/From_AProVE_2014/RetValRec.jar-obl-8.smt2
|
.
0.4 /
0.4
|
YES
3.8 /
2.0
|
YES
3.2 /
1.1
|
| ystems/From_AProVE_2014/RotateTree.jar-obl-10.smt2
|
YES
4.5 /
4.4
|
YES
4.0 /
2.0
|
YES
0.1 /
0.1
|
| ion_Systems/From_AProVE_2014/Round3.jar-obl-8.smt2
|
.
0.9 /
0.9
|
YES
6.6 /
2.7
|
.
34.0 /
15.1
|
| ms/From_AProVE_2014/RunningPointers.jar-obl-9.smt2
|
YES
0.4 /
0.4
|
YES
3.5 /
1.6
|
YES
0.0 /
0.0
|
| ystems/From_AProVE_2014/Samefringe.jar-obl-10.smt2
|
.
3.2 /
3.2
|
NO
4.8 /
2.1
|
NO
9.4 /
5.6
|
| ystems/From_AProVE_2014/SearchTreeR.jar-obl-9.smt2
|
YES
4.7 /
4.6
|
YES
3.6 /
1.7
|
YES
0.1 /
0.1
|
| n_Systems/From_AProVE_2014/Sequence.jar-obl-9.smt2
|
YES
0.4 /
0.4
|
YES
3.2 /
2.2
|
YES
0.1 /
0.1
|
| on_Systems/From_AProVE_2014/Sharing.jar-obl-8.smt2
|
YES
0.2 /
0.1
|
YES
2.8 /
1.5
|
YES
0.0 /
0.0
|
| ms/From_AProVE_2014/SharingAnalysis.jar-obl-9.smt2
|
YES
0.8 /
0.7
|
YES
3.5 /
1.8
|
YES
0.0 /
0.0
|
| From_AProVE_2014/SharingAnalysisRec.jar-obl-9.smt2
|
YES
0.7 /
0.7
|
YES
3.1 /
1.6
|
YES
0.0 /
0.1
|
| ystems/From_AProVE_2014/SharingPair.jar-obl-8.smt2
|
.
0.6 /
0.6
|
NO
4.0 /
2.5
|
NO
8.1 /
5.1
|
| n_Systems/From_AProVE_2014/Shuffle.jar-obl-10.smt2
|
.
1.1 /
1.1
|
NO
6.2 /
3.4
|
.
37.8 /
21.1
|
| Systems/From_AProVE_2014/SortCount.jar-obl-10.smt2
|
.
3.8 /
3.8
|
.
41.3 /
30.1
|
YES
4.2 /
1.6
|
| ystems/From_AProVE_2014/StupidArray.jar-obl-8.smt2
|
YES
0.0 /
0.0
|
YES
2.9 /
1.5
|
YES
0.0 /
0.1
|
| on_Systems/From_AProVE_2014/Sudoku.jar-obl-14.smt2
|
.
30.3 /
30.0
|
YES
6.1 /
2.9
|
YES
2.2 /
2.2
|
| n_Systems/From_AProVE_2014/Swingers.jar-obl-8.smt2
|
.
0.3 /
0.3
|
NO
3.2 /
1.8
|
NO
6.5 /
5.1
|
| ition_Systems/From_AProVE_2014/Take.jar-obl-8.smt2
|
YES
0.6 /
0.6
|
YES
3.0 /
1.6
|
YES
0.0 /
0.0
|
| s/From_AProVE_2014/TaylorSeriesIte.jar-obl-13.smt2
|
.
29.6 /
30.0
|
YES
5.1 /
4.1
|
.
63.6 /
30.1
|
| s/From_AProVE_2014/TaylorSeriesRec.jar-obl-13.smt2
|
.
29.7 /
30.0
|
YES
4.2 /
1.9
|
.
63.5 /
30.1
|
| /From_AProVE_2014/TermCreateCollect.jar-obl-9.smt2
|
YES
4.3 /
4.6
|
YES
3.5 /
1.7
|
YES
0.1 /
0.1
|
| ms/From_AProVE_2014/TerminatorRec01.jar-obl-8.smt2
|
YES
1.6 /
1.6
|
YES
3.4 /
1.6
|
YES
0.1 /
0.1
|
| ms/From_AProVE_2014/TerminatorRec02.jar-obl-8.smt2
|
YES
0.1 /
0.1
|
YES
3.5 /
1.9
|
YES
0.0 /
0.0
|
| ms/From_AProVE_2014/TerminatorRec03.jar-obl-8.smt2
|
.
0.4 /
0.4
|
.
61.7 /
30.0
|
NO
5.3 /
4.2
|
| ms/From_AProVE_2014/TerminatorRec04.jar-obl-9.smt2
|
.
0.4 /
0.4
|
NO
3.4 /
1.9
|
NO
18.7 /
8.4
|
| s/From_AProVE_2014/TermsCreateMatch.jar-obl-9.smt2
|
YES
22.3 /
22.6
|
YES
4.2 /
1.9
|
YES
0.2 /
0.2
|
| tion_Systems/From_AProVE_2014/Test1.jar-obl-8.smt2
|
.
1.6 /
1.6
|
.
32.6 /
30.0
|
YES
13.5 /
5.0
|
| ion_Systems/From_AProVE_2014/Test10.jar-obl-9.smt2
|
YES
1.6 /
1.6
|
YES
3.3 /
1.6
|
YES
0.0 /
0.0
|
| ion_Systems/From_AProVE_2014/Test11.jar-obl-8.smt2
|
.
2.3 /
2.3
|
.
60.2 /
30.1
|
YES
1.0 /
0.4
|
| ion_Systems/From_AProVE_2014/Test12.jar-obl-8.smt2
|
.
1.1 /
1.0
|
YES
9.3 /
3.8
|
YES
0.2 /
0.1
|
| stems/From_AProVE_2014/Test13Loops.jar-obl-10.smt2
|
.
1.3 /
1.3
|
.
76.3 /
30.1
|
.
75.8 /
30.2
|
| tion_Systems/From_AProVE_2014/Test2.jar-obl-8.smt2
|
.
1.4 /
1.4
|
.
33.0 /
30.1
|
YES
8.9 /
2.9
|
| ion_Systems/From_AProVE_2014/Test3.jar-obl-10.smt2
|
.
3.7 /
3.7
|
YES
7.1 /
2.8
|
YES
0.6 /
0.5
|
| ion_Systems/From_AProVE_2014/Test4.jar-obl-10.smt2
|
.
29.9 /
30.1
|
.
51.0 /
30.1
|
.
41.3 /
30.0
|
| ion_Systems/From_AProVE_2014/Test5.jar-obl-11.smt2
|
.
2.8 /
2.8
|
YES
8.6 /
4.6
|
YES
2.6 /
2.6
|
| ion_Systems/From_AProVE_2014/Test6.jar-obl-13.smt2
|
.
30.4 /
30.0
|
.
64.9 /
30.1
|
.
49.3 /
30.1
|
| ion_Systems/From_AProVE_2014/Test7.jar-obl-11.smt2
|
.
1.2 /
1.2
|
.
64.4 /
30.1
|
.
68.7 /
24.4
|
| ion_Systems/From_AProVE_2014/Test8.jar-obl-12.smt2
|
.
1.2 /
1.1
|
YES
9.0 /
4.2
|
YES
0.2 /
0.1
|
| ion_Systems/From_AProVE_2014/Test9.jar-obl-20.smt2
|
YES
2.9 /
2.9
|
YES
3.8 /
1.8
|
YES
0.1 /
0.1
|
| Systems/From_AProVE_2014/TestJulia6.jar-obl-8.smt2
|
.
0.1 /
0.1
|
NO
3.1 /
1.6
|
NO
0.0 /
0.0
|
| Systems/From_AProVE_2014/TestJulia7.jar-obl-8.smt2
|
.
0.2 /
0.2
|
NO
3.4 /
2.0
|
NO
5.4 /
4.2
|
| s/From_AProVE_2014/TimesPlusUserDef.jar-obl-9.smt2
|
YES
0.8 /
0.8
|
YES
3.2 /
1.8
|
YES
0.0 /
0.0
|
| /From_AProVE_2014/TreeLeftmostDepth.jar-obl-9.smt2
|
YES
3.2 /
3.1
|
YES
3.5 /
2.1
|
YES
0.1 /
0.1
|
| s/From_AProVE_2014/TreeLeftmostPath.jar-obl-9.smt2
|
YES
2.5 /
2.5
|
YES
3.5 /
1.7
|
YES
0.1 /
0.1
|
| on_Systems/From_AProVE_2014/TriTas.jar-obl-12.smt2
|
.
30.2 /
14.9
|
NO
6.0 /
2.8
|
NO
31.0 /
15.3
|
| ion_Systems/From_AProVE_2014/TwoWay.jar-obl-8.smt2
|
YES
0.1 /
0.1
|
YES
3.1 /
1.5
|
YES
0.0 /
0.0
|
| Systems/From_AProVE_2014/TypeSwitch.jar-obl-8.smt2
|
.
0.8 /
0.8
|
NO
3.6 /
1.9
|
NO
6.7 /
4.6
|
| om_AProVE_2014/Velroyen08-alternDiv.jar-obl-8.smt2
|
.
0.4 /
0.4
|
.
72.0 /
30.4
|
NO
25.5 /
12.0
|
| ProVE_2014/Velroyen08-alternDivWide.jar-obl-8.smt2
|
.
0.6 /
0.6
|
.
74.8 /
30.1
|
NO
27.2 /
15.6
|
| E_2014/Velroyen08-alternDivWidening.jar-obl-8.smt2
|
.
0.8 /
0.8
|
.
60.6 /
29.8
|
NO
57.7 /
22.5
|
| m_AProVE_2014/Velroyen08-alternKonv.jar-obl-8.smt2
|
.
0.5 /
0.5
|
.
70.4 /
30.1
|
.
26.3 /
8.3
|
| oVE_2014/Velroyen08-alternatingIncr.jar-obl-8.smt2
|
.
2.1 /
2.1
|
.
111.2 /
30.3
|
NO
5.6 /
4.3
|
| From_AProVE_2014/Velroyen08-collatz.jar-obl-8.smt2
|
.
3.2 /
3.1
|
.
76.0 /
30.1
|
.
5.6 /
4.3
|
| _AProVE_2014/Velroyen08-complInterv.jar-obl-8.smt2
|
.
0.4 /
0.3
|
.
92.0 /
30.1
|
.
19.3 /
8.7
|
| AProVE_2014/Velroyen08-complInterv2.jar-obl-8.smt2
|
.
0.5 /
0.5
|
NO
3.4 /
1.7
|
NO
5.3 /
4.2
|
| AProVE_2014/Velroyen08-complInterv3.jar-obl-8.smt2
|
.
0.3 /
0.3
|
NO
3.6 /
1.8
|
NO
19.0 /
8.5
|
| _AProVE_2014/Velroyen08-complxStruc.jar-obl-8.smt2
|
.
1.3 /
1.3
|
.
73.6 /
30.1
|
NO
24.8 /
9.8
|
| om_AProVE_2014/Velroyen08-convLower.jar-obl-8.smt2
|
.
0.4 /
0.4
|
NO
3.6 /
2.0
|
NO
22.3 /
9.1
|
| /From_AProVE_2014/Velroyen08-cousot.jar-obl-8.smt2
|
.
0.5 /
0.6
|
NO
3.8 /
2.1
|
NO
34.1 /
15.2
|
| ms/From_AProVE_2014/Velroyen08-even.jar-obl-9.smt2
|
.
0.5 /
0.5
|
NO
3.7 /
2.4
|
NO
18.8 /
8.7
|
| ms/From_AProVE_2014/Velroyen08-ex01.jar-obl-8.smt2
|
.
0.3 /
0.3
|
NO
3.3 /
1.7
|
NO
18.7 /
8.4
|
| ms/From_AProVE_2014/Velroyen08-ex02.jar-obl-8.smt2
|
.
0.4 /
0.4
|
NO
3.4 /
1.8
|
NO
11.6 /
5.1
|
| ms/From_AProVE_2014/Velroyen08-ex03.jar-obl-8.smt2
|
.
0.6 /
0.6
|
NO
3.8 /
2.3
|
NO
10.9 /
4.7
|
| ms/From_AProVE_2014/Velroyen08-ex04.jar-obl-8.smt2
|
.
0.3 /
0.3
|
NO
3.5 /
1.9
|
NO
30.6 /
15.1
|
| ms/From_AProVE_2014/Velroyen08-ex05.jar-obl-8.smt2
|
.
0.3 /
0.7
|
NO
3.5 /
2.3
|
NO
5.3 /
4.2
|
| ms/From_AProVE_2014/Velroyen08-ex06.jar-obl-8.smt2
|
.
1.8 /
1.8
|
NO
3.6 /
1.9
|
NO
2.5 /
1.3
|
| ms/From_AProVE_2014/Velroyen08-ex07.jar-obl-9.smt2
|
.
0.6 /
0.6
|
NO
3.5 /
1.9
|
NO
9.4 /
4.3
|
| ms/From_AProVE_2014/Velroyen08-ex08.jar-obl-8.smt2
|
.
1.0 /
1.0
|
.
70.1 /
20.6
|
NO
41.3 /
16.8
|
| rom_AProVE_2014/Velroyen08-ex09half.jar-obl-8.smt2
|
.
3.7 /
3.6
|
.
62.6 /
30.1
|
.
9.8 /
4.4
|
| om_AProVE_2014/Velroyen08-factorial.jar-obl-8.smt2
|
.
0.8 /
1.0
|
.
94.5 /
30.1
|
.
65.9 /
30.1
|
| ems/From_AProVE_2014/Velroyen08-fib.jar-obl-8.smt2
|
.
0.8 /
1.5
|
NO
4.3 /
8.0
|
.
76.1 /
30.1
|
| ms/From_AProVE_2014/Velroyen08-flip.jar-obl-8.smt2
|
.
0.4 /
0.4
|
NO
3.5 /
1.9
|
NO
5.7 /
4.7
|
| s/From_AProVE_2014/Velroyen08-flip2.jar-obl-8.smt2
|
.
0.7 /
0.7
|
.
51.8 /
30.1
|
NO
45.0 /
16.8
|
| s/From_AProVE_2014/Velroyen08-gauss.jar-obl-8.smt2
|
.
0.6 /
0.6
|
NO
3.4 /
2.0
|
NO
18.8 /
8.4
|
| ms/From_AProVE_2014/Velroyen08-lcm.jar-obl-10.smt2
|
.
1.6 /
1.5
|
.
70.2 /
30.1
|
NO
74.8 /
22.6
|
| From_AProVE_2014/Velroyen08-marbie1.jar-obl-8.smt2
|
.
0.6 /
0.5
|
NO
3.1 /
1.7
|
NO
18.8 /
8.6
|
| From_AProVE_2014/Velroyen08-marbie2.jar-obl-8.smt2
|
.
0.4 /
0.4
|
NO
3.4 /
1.8
|
NO
28.0 /
12.5
|
| /From_AProVE_2014/Velroyen08-middle.jar-obl-8.smt2
|
.
0.4 /
0.4
|
NO
3.6 /
1.7
|
NO
33.3 /
15.1
|
| AProVE_2014/Velroyen08-mirrorInterv.jar-obl-8.smt2
|
.
0.9 /
0.9
|
.
97.4 /
30.1
|
.
79.8 /
30.1
|
| oVE_2014/Velroyen08-mirrorIntervSim.jar-obl-8.smt2
|
.
0.4 /
0.4
|
NO
3.7 /
2.0
|
NO
35.8 /
14.2
|
| _AProVE_2014/Velroyen08-moduloLower.jar-obl-8.smt2
|
.
1.9 /
1.9
|
NO
4.0 /
7.0
|
NO
5.2 /
4.2
|
| rom_AProVE_2014/Velroyen08-moduloUp.jar-obl-8.smt2
|
.
1.0 /
1.0
|
.
81.1 /
30.1
|
NO
7.1 /
4.3
|
| m_AProVE_2014/Velroyen08-narrowKonv.jar-obl-8.smt2
|
.
0.4 /
0.4
|
.
49.6 /
30.0
|
NO
13.0 /
6.6
|
| om_AProVE_2014/Velroyen08-narrowing.jar-obl-8.smt2
|
.
30.2 /
30.0
|
.
96.7 /
30.1
|
NO
35.9 /
16.8
|
| s/From_AProVE_2014/Velroyen08-plait.jar-obl-8.smt2
|
.
25.6 /
25.2
|
.
33.8 /
30.1
|
.
10.0 /
5.1
|
| /From_AProVE_2014/Velroyen08-sunset.jar-obl-8.smt2
|
.
0.6 /
0.7
|
.
67.2 /
30.1
|
NO
30.0 /
14.9
|
| From_AProVE_2014/Velroyen08-trueDiv.jar-obl-8.smt2
|
.
0.4 /
0.4
|
NO
3.4 /
1.7
|
NO
18.8 /
8.4
|
| roVE_2014/Velroyen08-twoFloatInterv.jar-obl-8.smt2
|
.
30.6 /
30.1
|
.
39.8 /
12.5
|
NO
4.0 /
1.4
|
| om_AProVE_2014/Velroyen08-upAndDown.jar-obl-8.smt2
|
.
1.2 /
1.1
|
.
83.7 /
30.1
|
NO
41.0 /
18.1
|
| ProVE_2014/Velroyen08-upAndDownIneq.jar-obl-8.smt2
|
.
1.1 /
1.1
|
.
29.9 /
30.0
|
NO
35.4 /
19.5
|
| m_AProVE_2014/Velroyen08-whileBreak.jar-obl-8.smt2
|
.
4.9 /
4.8
|
NO
3.4 /
1.7
|
NO
21.1 /
9.5
|
| om_AProVE_2014/Velroyen08-whileDecr.jar-obl-8.smt2
|
YES
0.2 /
0.2
|
YES
3.0 /
1.5
|
YES
0.0 /
0.0
|
| om_AProVE_2014/Velroyen08-whileIncr.jar-obl-8.smt2
|
.
0.3 /
0.3
|
NO
3.2 /
1.8
|
NO
18.7 /
8.4
|
| ProVE_2014/Velroyen08-whileIncrPart.jar-obl-8.smt2
|
.
0.5 /
0.5
|
NO
3.2 /
1.7
|
NO
18.9 /
9.1
|
| _AProVE_2014/Velroyen08-whileNested.jar-obl-8.smt2
|
.
0.4 /
0.4
|
NO
3.7 /
1.8
|
NO
34.2 /
16.1
|
| E_2014/Velroyen08-whileNestedOffset.jar-obl-8.smt2
|
.
0.4 /
0.4
|
NO
3.9 /
1.9
|
NO
14.1 /
8.6
|
| om_AProVE_2014/Velroyen08-whilePart.jar-obl-8.smt2
|
.
0.4 /
0.4
|
NO
3.1 /
1.7
|
NO
5.2 /
4.2
|
| _AProVE_2014/Velroyen08-whileSingle.jar-obl-8.smt2
|
.
0.6 /
0.6
|
NO
3.4 /
1.8
|
NO
6.0 /
4.3
|
| rom_AProVE_2014/Velroyen08-whileSum.jar-obl-8.smt2
|
.
7.5 /
7.4
|
.
104.8 /
30.0
|
.
13.8 /
8.4
|
| om_AProVE_2014/Velroyen08-whileTrue.jar-obl-8.smt2
|
.
0.3 /
0.3
|
NO
3.8 /
2.5
|
NO
28.0 /
12.6
|
| on_Systems/From_AProVE_2014/Virtual.jar-obl-9.smt2
|
.
0.6 /
0.6
|
YES
6.9 /
2.7
|
YES
0.1 /
0.1
|
| /From_AProVE_2014/alternDivWide_rec.jar-obl-8.smt2
|
.
0.7 /
0.7
|
.
55.6 /
30.1
|
NO
23.6 /
7.2
|
| m_AProVE_2014/alternDivWidening_rec.jar-obl-8.smt2
|
.
0.9 /
0.9
|
.
40.3 /
30.0
|
.
70.0 /
30.1
|
| tems/From_AProVE_2014/alternDiv_rec.jar-obl-8.smt2
|
.
0.6 /
0.6
|
.
55.4 /
30.1
|
NO
25.4 /
9.4
|
| ems/From_AProVE_2014/alternKonv_rec.jar-obl-8.smt2
|
.
0.6 /
0.6
|
.
64.9 /
30.1
|
.
25.3 /
7.9
|
| s/From_AProVE_2014/complInterv2_rec.jar-obl-8.smt2
|
.
0.5 /
0.5
|
NO
3.5 /
1.7
|
NO
5.3 /
4.2
|
| s/From_AProVE_2014/complInterv3_rec.jar-obl-8.smt2
|
.
0.3 /
0.3
|
NO
3.5 /
1.8
|
NO
19.0 /
8.5
|
| ms/From_AProVE_2014/complxStruc_rec.jar-obl-8.smt2
|
.
19.7 /
19.4
|
.
33.4 /
30.0
|
NO
56.9 /
22.6
|
| tems/From_AProVE_2014/convLower_rec.jar-obl-8.smt2
|
.
0.4 /
0.4
|
NO
3.4 /
1.8
|
NO
21.9 /
8.0
|
| From_AProVE_2014/costa09-example_1.jar-obl-10.smt2
|
YES
1.4 /
1.4
|
YES
3.1 /
1.7
|
YES
0.0 /
0.0
|
| /From_AProVE_2014/costa09-example_2.jar-obl-8.smt2
|
YES
0.5 /
0.4
|
YES
3.1 /
1.6
|
YES
0.0 /
0.0
|
| /From_AProVE_2014/costa09-example_3.jar-obl-8.smt2
|
YES
0.3 /
0.3
|
YES
2.9 /
1.5
|
YES
0.0 /
0.0
|
| /From_AProVE_2014/costa09-example_4.jar-obl-8.smt2
|
YES
0.3 /
0.3
|
YES
3.0 /
1.5
|
YES
0.2 /
0.2
|
| /From_AProVE_2014/costa09-example_5.jar-obl-8.smt2
|
.
0.1 /
0.1
|
NO
3.0 /
1.7
|
NO
0.0 /
0.0
|
| Systems/From_AProVE_2014/cousot_rec.jar-obl-8.smt2
|
.
20.9 /
21.3
|
NO
3.6 /
1.9
|
NO
35.1 /
16.4
|
| n_Systems/From_AProVE_2014/even_rec.jar-obl-8.smt2
|
.
0.4 /
0.4
|
NO
3.2 /
1.7
|
NO
18.7 /
9.0
|
| n_Systems/From_AProVE_2014/ex01_rec.jar-obl-8.smt2
|
.
0.4 /
0.4
|
NO
3.2 /
1.7
|
NO
18.7 /
8.5
|
| n_Systems/From_AProVE_2014/ex02_rec.jar-obl-8.smt2
|
.
0.3 /
0.3
|
NO
3.6 /
1.8
|
NO
11.6 /
4.9
|
| n_Systems/From_AProVE_2014/ex03_rec.jar-obl-8.smt2
|
.
0.6 /
0.6
|
NO
3.7 /
1.8
|
NO
11.3 /
4.8
|
| n_Systems/From_AProVE_2014/ex04_rec.jar-obl-8.smt2
|
.
0.3 /
0.3
|
NO
3.3 /
1.8
|
NO
30.6 /
15.2
|
| n_Systems/From_AProVE_2014/ex05_rec.jar-obl-8.smt2
|
.
0.2 /
0.2
|
NO
3.1 /
1.8
|
NO
0.0 /
0.0
|
| n_Systems/From_AProVE_2014/ex06_rec.jar-obl-8.smt2
|
.
0.3 /
0.3
|
NO
3.6 /
1.9
|
NO
0.0 /
0.1
|
| n_Systems/From_AProVE_2014/ex07_rec.jar-obl-8.smt2
|
.
0.3 /
0.3
|
NO
3.2 /
1.7
|
NO
0.0 /
0.0
|
| n_Systems/From_AProVE_2014/ex08_rec.jar-obl-8.smt2
|
.
8.2 /
8.1
|
.
104.2 /
30.1
|
NO
38.4 /
17.8
|
| _Systems/From_AProVE_2014/flip2_rec.jar-obl-8.smt2
|
.
0.8 /
0.8
|
.
50.5 /
30.1
|
.
36.7 /
14.2
|
| n_Systems/From_AProVE_2014/flip_rec.jar-obl-8.smt2
|
.
0.3 /
0.3
|
NO
3.3 /
1.9
|
NO
5.5 /
4.3
|
| s/From_AProVE_2014/juHashMapCreate.jar-obl-10.smt2
|
.
30.4 /
30.1
|
YES
5.1 /
2.3
|
.
93.9 /
30.1
|
| m_AProVE_2014/juHashMapCreateClear.jar-obl-11.smt2
|
.
29.5 /
30.0
|
YES
5.7 /
2.2
|
.
78.3 /
30.1
|
| VE_2014/juHashMapCreateContainsKey.jar-obl-11.smt2
|
.
30.4 /
30.0
|
YES
5.8 /
2.3
|
.
75.0 /
30.1
|
| _2014/juHashMapCreateContainsValue.jar-obl-11.smt2
|
.
30.4 /
30.0
|
YES
6.5 /
2.5
|
.
63.9 /
30.0
|
| rom_AProVE_2014/juHashMapCreateGet.jar-obl-11.smt2
|
.
30.4 /
30.1
|
YES
6.1 /
2.4
|
.
76.3 /
30.0
|
| AProVE_2014/juHashMapCreateIsEmpty.jar-obl-10.smt2
|
.
30.2 /
30.0
|
YES
5.4 /
2.2
|
.
66.6 /
30.1
|
| 4/juHashMapCreateIteratorEntryLoop.jar-obl-12.smt2
|
.
29.3 /
30.1
|
YES
11.9 /
2.9
|
.
81.0 /
30.0
|
| 014/juHashMapCreateIteratorKeyLoop.jar-obl-12.smt2
|
.
30.4 /
30.0
|
YES
6.7 /
2.5
|
.
81.4 /
30.0
|
| 4/juHashMapCreateIteratorValueLoop.jar-obl-12.smt2
|
.
30.4 /
30.0
|
YES
5.8 /
2.3
|
.
76.2 /
30.0
|
| rom_AProVE_2014/juHashMapCreatePut.jar-obl-10.smt2
|
.
30.2 /
30.1
|
YES
6.2 /
2.3
|
.
88.6 /
30.1
|
| _AProVE_2014/juHashMapCreateRemove.jar-obl-11.smt2
|
.
30.3 /
30.0
|
YES
6.5 /
2.6
|
.
77.4 /
30.1
|
| om_AProVE_2014/juHashMapCreateSize.jar-obl-10.smt2
|
.
29.9 /
30.0
|
YES
5.7 /
2.2
|
.
86.9 /
30.1
|
| From_AProVE_2014/juLinkedListCreate.jar-obl-8.smt2
|
YES
1.3 /
1.3
|
YES
3.6 /
2.2
|
YES
0.0 /
0.0
|
| m_AProVE_2014/juLinkedListCreateAdd.jar-obl-8.smt2
|
YES
1.6 /
1.5
|
YES
3.8 /
1.8
|
YES
0.1 /
0.1
|
| roVE_2014/juLinkedListCreateAddAll.jar-obl-11.smt2
|
.
18.1 /
17.9
|
NO
10.7 /
3.5
|
.
42.1 /
16.9
|
| VE_2014/juLinkedListCreateAddAllAt.jar-obl-17.smt2
|
.
30.1 /
30.1
|
NO
19.7 /
6.7
|
.
77.4 /
30.1
|
| ProVE_2014/juLinkedListCreateAddAt.jar-obl-10.smt2
|
YES
14.4 /
14.2
|
YES
5.3 /
2.1
|
YES
0.6 /
0.6
|
| oVE_2014/juLinkedListCreateAddFirst.jar-obl-8.smt2
|
YES
1.8 /
1.8
|
YES
3.9 /
1.9
|
YES
0.1 /
0.1
|
| roVE_2014/juLinkedListCreateAddLast.jar-obl-8.smt2
|
YES
1.4 /
1.4
|
YES
4.0 /
1.9
|
YES
0.1 /
0.1
|
| AProVE_2014/juLinkedListCreateClear.jar-obl-9.smt2
|
YES
3.3 /
3.2
|
YES
4.1 /
1.9
|
YES
0.2 /
0.2
|
| VE_2014/juLinkedListCreateContains.jar-obl-16.smt2
|
.
30.1 /
30.0
|
YES
11.1 /
4.3
|
YES
3.2 /
3.2
|
| 2014/juLinkedListCreateContainsAll.jar-obl-11.smt2
|
.
30.0 /
30.0
|
.
61.2 /
30.0
|
.
47.2 /
30.1
|
| edListCreateDescendingIteratorLoop.jar-obl-13.smt2
|
.
30.5 /
30.1
|
YES
7.4 /
3.3
|
YES
0.6 /
0.6
|
| roVE_2014/juLinkedListCreateElement.jar-obl-8.smt2
|
YES
2.2 /
2.1
|
YES
4.3 /
1.9
|
YES
0.2 /
0.2
|
| roVE_2014/juLinkedListCreateEquals.jar-obl-13.smt2
|
.
30.0 /
30.1
|
YES
12.2 /
5.3
|
YES
3.0 /
3.0
|
| _AProVE_2014/juLinkedListCreateGet.jar-obl-10.smt2
|
YES
10.2 /
10.4
|
YES
4.0 /
2.1
|
YES
0.1 /
0.1
|
| oVE_2014/juLinkedListCreateGetFirst.jar-obl-8.smt2
|
YES
2.3 /
2.3
|
YES
4.4 /
2.0
|
YES
0.2 /
0.2
|
| roVE_2014/juLinkedListCreateGetLast.jar-obl-8.smt2
|
YES
1.9 /
1.9
|
YES
4.4 /
1.8
|
YES
0.2 /
0.2
|
| oVE_2014/juLinkedListCreateIndexOf.jar-obl-16.smt2
|
.
30.0 /
30.0
|
YES
11.4 /
4.2
|
YES
3.5 /
3.5
|
| roVE_2014/juLinkedListCreateIsEmpty.jar-obl-8.smt2
|
YES
1.5 /
1.4
|
YES
4.0 /
1.9
|
YES
0.1 /
0.1
|
| 014/juLinkedListCreateIteratorLoop.jar-obl-10.smt2
|
YES
12.2 /
12.5
|
YES
7.1 /
4.3
|
YES
0.8 /
0.8
|
| 2014/juLinkedListCreateLastIndexOf.jar-obl-16.smt2
|
.
30.1 /
30.1
|
YES
13.2 /
12.5
|
YES
3.4 /
3.4
|
| juLinkedListCreateListIteratorLoop.jar-obl-10.smt2
|
YES
15.5 /
20.7
|
YES
6.6 /
2.6
|
YES
0.8 /
0.8
|
| AProVE_2014/juLinkedListCreateOffer.jar-obl-8.smt2
|
YES
1.6 /
1.6
|
YES
3.8 /
1.8
|
YES
0.1 /
0.1
|
| E_2014/juLinkedListCreateOfferFirst.jar-obl-8.smt2
|
YES
1.4 /
1.4
|
YES
4.1 /
1.9
|
YES
0.1 /
0.1
|
| VE_2014/juLinkedListCreateOfferLast.jar-obl-8.smt2
|
YES
1.5 /
1.5
|
YES
4.4 /
2.2
|
YES
0.1 /
0.1
|
| _AProVE_2014/juLinkedListCreatePeek.jar-obl-8.smt2
|
YES
1.7 /
1.7
|
YES
4.2 /
1.8
|
YES
0.2 /
0.2
|
| VE_2014/juLinkedListCreatePeekFirst.jar-obl-8.smt2
|
YES
1.8 /
1.8
|
YES
4.3 /
1.8
|
YES
0.2 /
0.2
|
| oVE_2014/juLinkedListCreatePeekLast.jar-obl-8.smt2
|
YES
1.9 /
1.9
|
YES
4.3 /
1.8
|
YES
0.2 /
0.2
|
| _AProVE_2014/juLinkedListCreatePoll.jar-obl-8.smt2
|
YES
2.1 /
2.1
|
YES
4.5 /
2.0
|
YES
0.2 /
0.2
|
| VE_2014/juLinkedListCreatePollFirst.jar-obl-8.smt2
|
YES
2.1 /
2.1
|
YES
4.5 /
2.0
|
YES
0.2 /
0.2
|
| oVE_2014/juLinkedListCreatePollLast.jar-obl-8.smt2
|
YES
4.2 /
4.2
|
YES
5.1 /
2.2
|
YES
0.4 /
0.4
|
| m_AProVE_2014/juLinkedListCreatePop.jar-obl-8.smt2
|
YES
2.4 /
2.4
|
YES
4.4 /
1.9
|
YES
0.2 /
0.2
|
| _AProVE_2014/juLinkedListCreatePush.jar-obl-8.smt2
|
YES
1.7 /
1.6
|
YES
4.0 /
2.4
|
YES
0.1 /
0.1
|
| roVE_2014/juLinkedListCreateRemove.jar-obl-10.smt2
|
YES
25.6 /
25.9
|
YES
6.6 /
2.6
|
YES
1.0 /
1.0
|
| E_2014/juLinkedListCreateRemoveAll.jar-obl-11.smt2
|
.
30.0 /
30.0
|
.
52.6 /
30.1
|
.
49.8 /
30.0
|
| VE_2014/juLinkedListCreateRemoveAt.jar-obl-10.smt2
|
YES
23.5 /
23.6
|
YES
7.6 /
3.3
|
YES
0.9 /
0.9
|
| 14/juLinkedListCreateRemoveElement.jar-obl-16.smt2
|
.
30.0 /
30.0
|
YES
17.9 /
6.7
|
YES
3.9 /
3.9
|
| _2014/juLinkedListCreateRemoveFirst.jar-obl-8.smt2
|
YES
2.1 /
2.1
|
YES
4.9 /
2.0
|
YES
0.2 /
0.2
|
| kedListCreateRemoveFirstOccurrence.jar-obl-16.smt2
|
.
30.0 /
30.0
|
YES
17.2 /
6.5
|
YES
4.4 /
7.3
|
| E_2014/juLinkedListCreateRemoveLast.jar-obl-8.smt2
|
YES
4.2 /
4.2
|
YES
5.0 /
2.1
|
YES
0.4 /
0.4
|
| nkedListCreateRemoveLastOccurrence.jar-obl-16.smt2
|
.
30.0 /
30.0
|
YES
20.5 /
8.7
|
YES
4.2 /
4.2
|
| 2014/juLinkedListCreateRemoveRange.jar-obl-14.smt2
|
.
30.1 /
30.0
|
YES
9.2 /
4.1
|
YES
2.5 /
2.5
|
| _AProVE_2014/juLinkedListCreateSet.jar-obl-10.smt2
|
YES
13.5 /
13.3
|
YES
5.1 /
2.4
|
YES
0.2 /
0.2
|
| _AProVE_2014/juLinkedListCreateSize.jar-obl-8.smt2
|
YES
1.2 /
1.2
|
YES
3.7 /
7.6
|
YES
0.0 /
0.0
|
| roVE_2014/juLinkedListCreateSubList.jar-obl-8.smt2
|
YES
1.6 /
1.6
|
YES
4.1 /
2.6
|
YES
0.1 /
0.1
|
| roVE_2014/juLinkedListCreateToArray.jar-obl-9.smt2
|
YES
4.1 /
4.0
|
YES
3.9 /
1.8
|
YES
0.2 /
0.2
|
| rom_AProVE_2014/mirrorIntervSim_rec.jar-obl-8.smt2
|
.
0.4 /
0.4
|
NO
6.3 /
4.4
|
NO
29.2 /
11.5
|
| s/From_AProVE_2014/mirrorInterv_rec.jar-obl-8.smt2
|
.
0.9 /
0.9
|
NO
4.1 /
3.6
|
NO
42.5 /
17.9
|
| ems/From_AProVE_2014/narrowKonv_rec.jar-obl-8.smt2
|
.
0.5 /
0.5
|
.
24.3 /
30.1
|
NO
12.0 /
6.4
|
| tems/From_AProVE_2014/narrowing_rec.jar-obl-8.smt2
|
.
30.4 /
30.1
|
.
48.8 /
30.1
|
NO
35.6 /
16.7
|
| ms/From_AProVE_2014/sumGeneric2_rec.jar-obl-8.smt2
|
.
0.5 /
0.5
|
NO
3.7 /
1.8
|
NO
26.9 /
14.6
|
| ems/From_AProVE_2014/sumGeneric_rec.jar-obl-8.smt2
|
.
0.4 /
0.4
|
NO
3.5 /
1.8
|
NO
33.8 /
15.1
|
| on_Systems/From_AProVE_2014/sum_rec.jar-obl-8.smt2
|
.
0.4 /
0.4
|
NO
3.1 /
1.7
|
NO
23.7 /
13.5
|
| Systems/From_AProVE_2014/sunset_rec.jar-obl-8.smt2
|
.
0.6 /
0.6
|
.
28.6 /
17.4
|
NO
53.8 /
18.3
|
| ystems/From_AProVE_2014/trueDiv_rec.jar-obl-8.smt2
|
.
0.4 /
0.4
|
NO
3.5 /
1.8
|
NO
18.8 /
8.4
|
| /From_AProVE_2014/upAndDownIneq_rec.jar-obl-8.smt2
|
.
3.3 /
3.2
|
.
32.1 /
30.0
|
NO
42.1 /
19.6
|
| tems/From_AProVE_2014/upAndDown_rec.jar-obl-8.smt2
|
.
2.0 /
1.9
|
.
70.0 /
30.0
|
NO
77.3 /
28.4
|
| m_AProVE_2014/whileNestedOffset_rec.jar-obl-9.smt2
|
.
0.4 /
0.4
|
NO
3.4 /
1.9
|
NO
32.4 /
15.1
|
| ms/From_AProVE_2014/whileNested_rec.jar-obl-9.smt2
|
.
0.4 /
0.4
|
NO
3.7 /
1.9
|
NO
28.9 /
15.2
|
| tems/From_AProVE_2014/whilePart_rec.jar-obl-8.smt2
|
.
0.4 /
0.4
|
NO
3.4 /
1.8
|
NO
5.3 /
4.2
|
| ms/From_AProVE_2014/whileSingle_rec.jar-obl-8.smt2
|
.
0.6 /
0.6
|
NO
3.5 /
1.8
|
NO
6.3 /
4.5
|
| Integer_Transition_Systems/From_T2/1.t2.smt2
|
.
30.5 /
30.1
|
NO
4.6 /
2.4
|
NO
9.5 /
6.9
|
| teger_Transition_Systems/From_T2/1394-fail.t2.smt2
|
.
24.0 /
30.1
|
NO
22.5 /
12.2
|
NO
17.9 /
6.1
|
| er_Transition_Systems/From_T2/1394-succeed.t2.smt2
|
.
30.0 /
30.0
|
NO
21.6 /
11.3
|
NO
17.7 /
6.2
|
| ansition_Systems/From_T2/1394complete-fail.t2.smt2
|
.
30.0 /
30.0
|
NO
22.5 /
9.6
|
NO
55.1 /
15.9
|
| on_Systems/From_T2/1394complete-fail.t2_fixed.smt2
|
.
30.0 /
30.0
|
NO
26.7 /
15.1
|
NO
55.3 /
15.9
|
| ition_Systems/From_T2/1394complete-succeed.t2.smt2
|
.
30.0 /
30.0
|
NO
21.5 /
9.3
|
.
77.2 /
30.1
|
| Systems/From_T2/1394complete-succeed.t2_fixed.smt2
|
.
30.0 /
30.0
|
NO
22.4 /
10.4
|
.
70.3 /
30.1
|
| Integer_Transition_Systems/From_T2/2.t2.smt2
|
.
30.5 /
30.0
|
NO
4.9 /
2.4
|
NO
32.7 /
13.2
|
| Integer_Transition_Systems/From_T2/232.t2.smt2
|
YES
3.4 /
3.3
|
YES
3.0 /
1.8
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/241.t2.smt2
|
YES
3.8 /
14.1
|
YES
3.2 /
2.0
|
YES
0.0 /
0.1
|
| Integer_Transition_Systems/From_T2/3.t2.smt2
|
.
0.2 /
0.2
|
NO
3.0 /
1.7
|
NO
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/5.t2.smt2
|
YES
0.0 /
0.0
|
YES
2.7 /
1.5
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/6.t2.smt2
|
.
0.2 /
0.2
|
NO
3.0 /
1.7
|
NO
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/7.t2.smt2
|
.
1.1 /
1.0
|
NO
3.4 /
1.7
|
NO
5.2 /
4.2
|
| Integer_Transition_Systems/From_T2/Prim_4.t2.smt2
|
.
30.6 /
30.1
|
NO
7.9 /
3.5
|
NO
35.4 /
17.0
|
| Integer_Transition_Systems/From_T2/Prim_5.t2.smt2
|
.
30.6 /
30.0
|
NO
7.9 /
3.6
|
NO
29.3 /
16.7
|
| ger_Transition_Systems/From_T2/acqrel-fail.t2.smt2
|
.
2.0 /
1.9
|
NO
7.0 /
1.8
|
NO
9.4 /
4.2
|
| Transition_Systems/From_T2/acqrel-succeed2.t2.smt2
|
.
6.1 /
28.1
|
NO
3.4 /
2.2
|
NO
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/afagp-fail.t2.smt2
|
.
30.1 /
30.1
|
.
31.7 /
30.0
|
NO
38.4 /
17.6
|
| ransition_Systems/From_T2/afagp-fail.t2_fixed.smt2
|
.
30.1 /
30.1
|
.
32.0 /
30.1
|
NO
37.4 /
17.5
|
| Integer_Transition_Systems/From_T2/afagx1.t2.smt2
|
.
0.6 /
0.6
|
NO
3.4 /
1.9
|
NO
0.1 /
0.0
|
| Integer_Transition_Systems/From_T2/agafp.t2.smt2
|
.
29.5 /
30.0
|
.
32.4 /
30.1
|
NO
52.0 /
23.5
|
| ger_Transition_Systems/From_T2/agafp.t2_fixed.smt2
|
.
30.1 /
30.1
|
.
32.4 /
30.0
|
NO
50.2 /
23.0
|
| Integer_Transition_Systems/From_T2/andrey.t2.smt2
|
YES
0.1 /
0.1
|
YES
2.9 /
1.5
|
YES
0.0 /
0.0
|
| tion_Systems/From_T2/apchild-accepted-fail.t2.smt2
|
.
30.0 /
30.1
|
.
54.8 /
30.0
|
.
37.9 /
20.3
|
| ystems/From_T2/apchild-accepted-fail.t2_fixed.smt2
|
.
30.1 /
30.1
|
.
49.6 /
30.1
|
.
86.7 /
30.1
|
| ransition_Systems/From_T2/apchild-accepted.t2.smt2
|
.
30.0 /
30.0
|
.
49.6 /
30.1
|
.
37.7 /
20.3
|
| ion_Systems/From_T2/apchild-accepted.t2_fixed.smt2
|
.
30.1 /
30.1
|
.
48.6 /
30.1
|
.
86.6 /
30.1
|
| er_Transition_Systems/From_T2/apchild-live.t2.smt2
|
.
30.0 /
30.0
|
.
46.3 /
30.1
|
.
37.6 /
21.3
|
| nsition_Systems/From_T2/apchild-live.t2_fixed.smt2
|
.
30.1 /
30.1
|
.
49.8 /
30.1
|
.
33.5 /
27.8
|
| sition_Systems/From_T2/apchildlive-succeed.t2.smt2
|
.
24.3 /
30.1
|
.
48.6 /
30.1
|
.
77.9 /
30.1
|
| _Systems/From_T2/apchildlive-succeed.t2_fixed.smt2
|
.
30.0 /
30.0
|
.
54.7 /
30.1
|
.
71.8 /
30.1
|
| Integer_Transition_Systems/From_T2/arith.t2.smt2
|
YES
2.2 /
2.2
|
YES
3.3 /
1.6
|
YES
0.0 /
0.0
|
| tion_Systems/From_T2/armc-difficult_defect.t2.smt2
|
.
1.8 /
1.7
|
YES
4.8 /
2.4
|
YES
0.1 /
0.0
|
| sition_Systems/From_T2/armc-difficult_foo2.t2.smt2
|
YES
0.0 /
0.0
|
YES
2.8 /
1.5
|
YES
0.0 /
0.0
|
| sition_Systems/From_T2/armc-difficult_foo3.t2.smt2
|
.
30.5 /
30.1
|
.
64.5 /
30.1
|
YES
7.0 /
7.0
|
| ransition_Systems/From_T2/armc-difficult_k.t2.smt2
|
.
30.0 /
30.0
|
YES
21.5 /
14.1
|
YES
0.4 /
0.2
|
| Integer_Transition_Systems/From_T2/array.t2.smt2
|
YES
0.0 /
0.0
|
YES
2.7 /
1.6
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/array2.t2.smt2
|
YES
1.4 /
1.4
|
YES
3.2 /
1.6
|
YES
0.0 /
0.0
|
| er_Transition_Systems/From_T2/array2.t2_fixed.smt2
|
YES
0.8 /
0.8
|
YES
3.0 /
1.7
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/array3.t2.smt2
|
YES
4.8 /
4.8
|
YES
3.2 /
1.6
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/array4.t2.smt2
|
YES
2.9 /
2.9
|
YES
3.1 /
1.6
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/array_free.t2.smt2
|
YES
1.6 /
1.6
|
YES
3.2 /
1.5
|
YES
0.0 /
0.0
|
| ger_Transition_Systems/From_T2/array_free2.t2.smt2
|
YES
0.4 /
0.4
|
YES
3.4 /
1.6
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/array_init.t2.smt2
|
YES
1.0 /
1.0
|
YES
3.2 /
3.1
|
YES
0.0 /
0.0
|
| ransition_Systems/From_T2/array_init.t2_fixed.smt2
|
YES
0.5 /
0.5
|
YES
2.8 /
1.5
|
YES
0.0 /
0.0
|
| ansition_Systems/From_T2/array_init_assign.t2.smt2
|
YES
1.5 /
1.5
|
YES
3.2 /
1.7
|
YES
0.0 /
0.0
|
| ger_Transition_Systems/From_T2/ase_example.t2.smt2
|
YES
18.5 /
18.2
|
YES
3.1 /
1.6
|
YES
0.0 /
0.0
|
| ansition_Systems/From_T2/ase_example.t2_fixed.smt2
|
YES
16.0 /
15.8
|
YES
3.2 /
1.6
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/ax_test.t2.smt2
|
.
0.1 /
0.1
|
NO
2.9 /
2.1
|
NO
0.0 /
0.0
|
| teger_Transition_Systems/From_T2/ax_test_2.t2.smt2
|
.
0.1 /
0.1
|
NO
3.1 /
1.7
|
NO
0.0 /
0.0
|
| teger_Transition_Systems/From_T2/ax_test_3.t2.smt2
|
.
0.2 /
0.2
|
NO
3.1 /
1.8
|
NO
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/bakery.t2.smt2
|
.
30.2 /
30.1
|
NO
4.6 /
2.1
|
NO
34.1 /
15.1
|
| teger_Transition_Systems/From_T2/bakerybug.t2.smt2
|
.
29.5 /
30.0
|
NO
5.0 /
3.1
|
NO
33.8 /
15.1
|
| Integer_Transition_Systems/From_T2/bf10.t2.smt2
|
.
30.6 /
30.1
|
YES
4.3 /
1.8
|
YES
0.1 /
0.1
|
| eger_Transition_Systems/From_T2/bf10.t2_fixed.smt2
|
.
30.5 /
30.0
|
YES
3.9 /
1.8
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/bf11.t2.smt2
|
.
30.2 /
30.0
|
YES
3.9 /
2.0
|
YES
0.1 /
0.1
|
| eger_Transition_Systems/From_T2/bf11.t2_fixed.smt2
|
.
30.3 /
30.1
|
YES
3.9 /
1.8
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/bf12.t2.smt2
|
.
29.9 /
30.1
|
YES
4.1 /
2.1
|
YES
0.1 /
0.1
|
| eger_Transition_Systems/From_T2/bf12.t2_fixed.smt2
|
.
30.1 /
30.1
|
YES
3.9 /
1.8
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/bf13.t2.smt2
|
.
30.5 /
30.0
|
YES
3.9 /
1.9
|
YES
0.1 /
0.1
|
| eger_Transition_Systems/From_T2/bf13.t2_fixed.smt2
|
.
30.4 /
30.1
|
YES
7.8 /
1.8
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/bf14.t2.smt2
|
.
29.5 /
30.0
|
YES
7.3 /
1.8
|
YES
0.1 /
0.1
|
| eger_Transition_Systems/From_T2/bf14.t2_fixed.smt2
|
.
30.4 /
30.0
|
YES
4.0 /
2.6
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/bf15.t2.smt2
|
.
30.2 /
30.1
|
YES
4.1 /
1.8
|
YES
0.1 /
0.1
|
| eger_Transition_Systems/From_T2/bf15.t2_fixed.smt2
|
.
30.5 /
30.1
|
YES
4.0 /
2.1
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/bf16.t2.smt2
|
.
30.4 /
30.1
|
YES
3.9 /
1.8
|
YES
0.1 /
0.1
|
| eger_Transition_Systems/From_T2/bf16.t2_fixed.smt2
|
.
30.6 /
30.1
|
YES
4.0 /
2.5
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/bf17.t2.smt2
|
.
29.8 /
30.0
|
YES
4.1 /
2.6
|
YES
0.1 /
0.1
|
| eger_Transition_Systems/From_T2/bf17.t2_fixed.smt2
|
.
30.5 /
30.1
|
YES
3.8 /
1.8
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/bf18.t2.smt2
|
.
30.1 /
30.1
|
YES
4.1 /
1.8
|
YES
0.1 /
0.1
|
| eger_Transition_Systems/From_T2/bf18.t2_fixed.smt2
|
.
30.5 /
30.1
|
YES
4.0 /
2.8
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/bf19.t2.smt2
|
.
30.4 /
30.1
|
YES
4.0 /
1.8
|
YES
0.1 /
0.1
|
| eger_Transition_Systems/From_T2/bf19.t2_fixed.smt2
|
.
30.2 /
30.1
|
YES
3.6 /
1.7
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/bf20.t2.smt2
|
.
29.8 /
30.0
|
YES
4.0 /
1.9
|
YES
0.1 /
0.1
|
| eger_Transition_Systems/From_T2/bf20.t2_fixed.smt2
|
.
29.3 /
30.0
|
YES
3.7 /
1.8
|
YES
0.1 /
0.2
|
| Integer_Transition_Systems/From_T2/bf5.t2.smt2
|
.
29.7 /
30.1
|
YES
4.0 /
1.8
|
YES
0.1 /
0.1
|
| teger_Transition_Systems/From_T2/bf5.t2_fixed.smt2
|
.
30.4 /
30.1
|
YES
4.0 /
2.0
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/bf6.t2.smt2
|
.
30.4 /
30.0
|
YES
4.1 /
2.0
|
YES
0.1 /
0.1
|
| teger_Transition_Systems/From_T2/bf6.t2_fixed.smt2
|
.
30.6 /
30.1
|
YES
4.2 /
1.9
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/bf7.t2.smt2
|
.
30.6 /
30.1
|
YES
3.9 /
1.9
|
YES
0.1 /
0.1
|
| teger_Transition_Systems/From_T2/bf7.t2_fixed.smt2
|
.
30.5 /
30.1
|
YES
3.6 /
1.8
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/bf8.t2.smt2
|
.
30.5 /
30.0
|
YES
4.5 /
3.3
|
YES
0.1 /
0.1
|
| teger_Transition_Systems/From_T2/bf8.t2_fixed.smt2
|
.
30.5 /
30.1
|
YES
3.9 /
2.8
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/bf9.t2.smt2
|
.
30.5 /
30.0
|
YES
3.8 /
1.8
|
YES
0.1 /
0.1
|
| teger_Transition_Systems/From_T2/bf9.t2_fixed.smt2
|
.
30.5 /
30.1
|
YES
4.1 /
2.1
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/bio.t2.smt2
|
.
30.1 /
30.1
|
.
32.0 /
30.1
|
.
30.0 /
30.0
|
| eger_Transition_Systems/From_T2/bitcount16.t2.smt2
|
.
30.1 /
30.0
|
YES
3.4 /
1.7
|
YES
0.0 /
0.0
|
| ransition_Systems/From_T2/bitcount16.t2_fixed.smt2
|
.
30.5 /
30.1
|
YES
3.2 /
2.1
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/bitcount32.t2.smt2
|
.
30.7 /
30.0
|
YES
3.5 /
1.7
|
YES
0.0 /
0.0
|
| ransition_Systems/From_T2/bitcount32.t2_fixed.smt2
|
.
30.5 /
30.1
|
YES
6.6 /
1.6
|
YES
0.0 /
0.0
|
| _Transition_Systems/From_T2/brockschmidt_1.t2.smt2
|
.
3.1 /
3.1
|
YES
7.3 /
3.5
|
YES
0.1 /
0.1
|
| tems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2.smt2
|
.
30.1 /
30.1
|
YES
15.8 /
8.8
|
YES
9.4 /
9.4
|
| rom_T2/broydn.c.i.broydn.pl.t2.fixed.t2_fixed.smt2
|
.
30.0 /
30.0
|
YES
17.1 /
8.3
|
YES
6.3 /
6.3
|
| T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.smt2
|
.
30.0 /
30.0
|
YES
17.7 /
8.5
|
YES
7.6 /
7.6
|
| ydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2
|
.
30.0 /
30.0
|
YES
17.0 /
8.4
|
YES
6.1 /
6.1
|
| Integer_Transition_Systems/From_T2/broydn.t2.smt2
|
.
30.0 /
30.0
|
YES
20.5 /
12.6
|
YES
11.5 /
11.6
|
| er_Transition_Systems/From_T2/broydn.t2_fixed.smt2
|
.
30.0 /
30.0
|
YES
17.6 /
9.0
|
YES
7.0 /
7.0
|
| _Transition_Systems/From_T2/brp_withassume.t2.smt2
|
.
30.0 /
30.1
|
YES
33.8 /
7.5
|
.
60.0 /
25.1
|
| Integer_Transition_Systems/From_T2/bs.t2.smt2
|
.
30.4 /
30.1
|
NO
3.9 /
2.4
|
NO
6.8 /
4.8
|
| nteger_Transition_Systems/From_T2/bs.t2_fixed.smt2
|
.
24.1 /
23.7
|
NO
4.5 /
2.3
|
NO
5.7 /
4.4
|
| nteger_Transition_Systems/From_T2/bsort100.t2.smt2
|
.
30.5 /
30.1
|
YES
4.1 /
2.1
|
YES
0.1 /
0.1
|
| _Transition_Systems/From_T2/bsort100.t2_fixed.smt2
|
.
30.0 /
30.1
|
YES
7.2 /
3.3
|
YES
1.0 /
1.0
|
| eger_Transition_Systems/From_T2/bubbleSort.t2.smt2
|
YES
19.6 /
19.2
|
YES
3.3 /
1.6
|
YES
0.1 /
0.1
|
| tion_Systems/From_T2/bubblesort_inner_loop.t2.smt2
|
YES
5.1 /
5.0
|
YES
3.2 /
1.8
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/byron-1.t2.smt2
|
.
2.4 /
2.3
|
YES
3.4 /
1.8
|
YES
0.1 /
0.0
|
| Integer_Transition_Systems/From_T2/byron-2.t2.smt2
|
.
30.2 /
30.0
|
YES
3.4 /
9.6
|
YES
0.0 /
0.0
|
| r_Transition_Systems/From_T2/byron-2.t2_fixed.smt2
|
.
29.0 /
30.0
|
YES
3.2 /
1.8
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/byron-3.t2.smt2
|
.
2.1 /
2.1
|
YES
3.4 /
1.9
|
YES
0.2 /
0.1
|
| Integer_Transition_Systems/From_T2/byron-4.t2.smt2
|
.
26.6 /
26.2
|
NO
3.8 /
1.8
|
NO
31.1 /
15.4
|
| r_Transition_Systems/From_T2/byron-4.t2_fixed.smt2
|
.
13.0 /
13.1
|
YES
5.1 /
2.5
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/cfg.t2.smt2
|
.
4.8 /
4.7
|
.
93.5 /
30.1
|
NO
5.6 /
4.3
|
| Integer_Transition_Systems/From_T2/cnt.t2.smt2
|
.
30.6 /
30.1
|
YES
8.1 /
1.8
|
YES
0.1 /
0.1
|
| teger_Transition_Systems/From_T2/cnt.t2_fixed.smt2
|
.
30.3 /
30.0
|
YES
4.5 /
1.9
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/collatz.t2.smt2
|
.
11.0 /
11.2
|
.
59.5 /
30.1
|
.
5.4 /
4.2
|
| r_Transition_Systems/From_T2/collatz.t2_fixed.smt2
|
.
8.2 /
8.1
|
.
56.2 /
30.0
|
.
16.8 /
7.0
|
| r_Transition_Systems/From_T2/complex_guard.t2.smt2
|
YES
0.7 /
0.7
|
YES
3.3 /
1.5
|
YES
0.0 /
0.0
|
| nteger_Transition_Systems/From_T2/compress.t2.smt2
|
.
30.1 /
30.1
|
.
44.9 /
30.1
|
NO
60.7 /
16.7
|
| _Transition_Systems/From_T2/compress.t2_fixed.smt2
|
.
30.1 /
30.1
|
.
43.9 /
30.1
|
NO
32.6 /
18.3
|
| teger_Transition_Systems/From_T2/constants.t2.smt2
|
YES
13.8 /
13.6
|
YES
3.4 /
2.0
|
YES
0.0 /
0.0
|
| Transition_Systems/From_T2/constants.t2_fixed.smt2
|
YES
9.8 /
9.7
|
YES
3.1 /
1.8
|
YES
0.0 /
0.1
|
| Integer_Transition_Systems/From_T2/consts1.t2.smt2
|
.
1.5 /
1.5
|
NO
3.6 /
2.6
|
NO
33.7 /
15.1
|
| r_Transition_Systems/From_T2/consts1.t2_fixed.smt2
|
.
0.9 /
0.9
|
YES
3.5 /
2.0
|
YES
2.1 /
2.1
|
| teger_Transition_Systems/From_T2/consts1nt.t2.smt2
|
.
1.9 /
1.8
|
NO
3.2 /
1.7
|
NO
33.9 /
15.1
|
| Transition_Systems/From_T2/consts1nt.t2_fixed.smt2
|
.
1.0 /
1.0
|
NO
3.5 /
1.9
|
NO
23.9 /
13.6
|
| Integer_Transition_Systems/From_T2/consts2.t2.smt2
|
.
0.7 /
0.7
|
.
111.8 /
30.1
|
NO
6.3 /
4.5
|
| r_Transition_Systems/From_T2/consts2.t2_fixed.smt2
|
YES
0.1 /
0.1
|
YES
6.1 /
1.6
|
YES
0.0 /
0.0
|
| teger_Transition_Systems/From_T2/consts2nt.t2.smt2
|
.
0.7 /
0.7
|
.
113.7 /
30.1
|
NO
6.5 /
4.7
|
| Transition_Systems/From_T2/consts2nt.t2_fixed.smt2
|
.
0.4 /
0.3
|
NO
3.3 /
1.9
|
NO
33.7 /
13.4
|
| Integer_Transition_Systems/From_T2/consts3.t2.smt2
|
YES
0.8 /
0.8
|
YES
2.9 /
1.5
|
YES
0.0 /
0.0
|
| r_Transition_Systems/From_T2/consts3.t2_fixed.smt2
|
YES
0.1 /
0.1
|
YES
2.9 /
1.6
|
YES
0.0 /
0.0
|
| teger_Transition_Systems/From_T2/consts3nt.t2.smt2
|
.
0.7 /
0.7
|
NO
3.6 /
1.9
|
NO
34.3 /
15.2
|
| Transition_Systems/From_T2/consts3nt.t2_fixed.smt2
|
.
0.3 /
0.3
|
NO
3.3 /
1.6
|
NO
30.0 /
11.5
|
| Integer_Transition_Systems/From_T2/consts4.t2.smt2
|
.
1.5 /
1.5
|
.
60.8 /
30.1
|
NO
6.5 /
4.7
|
| r_Transition_Systems/From_T2/consts4.t2_fixed.smt2
|
YES
0.1 /
0.1
|
YES
3.1 /
1.6
|
YES
0.0 /
0.0
|
| teger_Transition_Systems/From_T2/consts4nt.t2.smt2
|
.
2.0 /
2.0
|
.
90.2 /
30.1
|
NO
7.1 /
4.7
|
| Transition_Systems/From_T2/consts4nt.t2_fixed.smt2
|
.
0.3 /
0.3
|
NO
3.2 /
3.2
|
NO
33.8 /
13.5
|
| Integer_Transition_Systems/From_T2/consts5.t2.smt2
|
.
5.7 /
5.6
|
.
74.6 /
30.1
|
NO
29.1 /
11.4
|
| r_Transition_Systems/From_T2/consts5.t2_fixed.smt2
|
.
1.2 /
1.2
|
YES
3.7 /
2.0
|
YES
0.0 /
0.0
|
| teger_Transition_Systems/From_T2/consts5nt.t2.smt2
|
.
6.5 /
6.4
|
.
108.3 /
30.1
|
NO
21.0 /
9.0
|
| Transition_Systems/From_T2/consts5nt.t2_fixed.smt2
|
.
1.0 /
1.0
|
NO
3.3 /
2.5
|
NO
33.8 /
13.5
|
| Integer_Transition_Systems/From_T2/cover.t2.smt2
|
.
30.0 /
30.0
|
.
32.7 /
30.0
|
.
30.1 /
30.1
|
| ger_Transition_Systems/From_T2/cover.t2_fixed.smt2
|
.
30.0 /
30.0
|
.
37.2 /
30.0
|
.
30.0 /
30.0
|
| Integer_Transition_Systems/From_T2/crc.t2.smt2
|
.
30.1 /
30.0
|
YES
7.4 /
3.4
|
YES
0.2 /
0.2
|
| teger_Transition_Systems/From_T2/crc.t2_fixed.smt2
|
.
30.4 /
30.1
|
YES
8.1 /
4.0
|
YES
0.2 /
0.2
|
| Integer_Transition_Systems/From_T2/create.t2.smt2
|
.
30.2 /
30.0
|
YES
3.6 /
1.9
|
YES
0.1 /
0.1
|
| eger_Transition_Systems/From_T2/create_seg.t2.smt2
|
.
30.6 /
30.0
|
YES
4.0 /
1.8
|
YES
0.1 /
0.1
|
| Transition_Systems/From_T2/create_via_tmps.t2.smt2
|
.
30.5 /
30.1
|
YES
7.9 /
3.3
|
YES
0.2 /
0.2
|
| tion_Systems/From_T2/create_via_tmps.t2_fixed.smt2
|
.
30.5 /
30.0
|
YES
8.3 /
3.8
|
YES
0.3 /
0.3
|
| Integer_Transition_Systems/From_T2/ctl.t2.smt2
|
.
24.1 /
24.1
|
NO
5.4 /
2.4
|
NO
0.1 /
0.1
|
| teger_Transition_Systems/From_T2/ctl.t2_fixed.smt2
|
.
3.9 /
3.8
|
NO
4.3 /
1.9
|
NO
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/curious.t2.smt2
|
.
1.2 /
1.1
|
NO
6.3 /
1.6
|
NO
10.8 /
4.3
|
| r_Transition_Systems/From_T2/curious.t2_fixed.smt2
|
.
0.9 /
0.9
|
NO
3.0 /
1.8
|
NO
5.3 /
4.2
|
| nteger_Transition_Systems/From_T2/curious2.t2.smt2
|
YES
0.0 /
0.0
|
YES
2.6 /
1.4
|
YES
0.0 /
0.0
|
| _Transition_Systems/From_T2/curious2.t2_fixed.smt2
|
YES
0.0 /
0.0
|
YES
2.6 /
1.5
|
YES
0.0 /
0.0
|
| nteger_Transition_Systems/From_T2/curious4.t2.smt2
|
.
30.0 /
30.1
|
.
34.3 /
30.0
|
.
62.8 /
25.5
|
| Integer_Transition_Systems/From_T2/d.t2.smt2
|
.
4.5 /
4.4
|
.
46.2 /
30.0
|
NO
17.2 /
7.4
|
| Integer_Transition_Systems/From_T2/db.t2.smt2
|
YES
0.1 /
0.1
|
YES
2.9 /
1.7
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/db2.t2.smt2
|
.
30.0 /
30.0
|
.
33.0 /
30.1
|
.
58.4 /
30.1
|
| teger_Transition_Systems/From_T2/db2.t2_fixed.smt2
|
.
30.0 /
30.0
|
.
33.3 /
30.1
|
.
65.8 /
30.1
|
| Integer_Transition_Systems/From_T2/db3.t2.smt2
|
.
30.0 /
30.0
|
.
32.1 /
30.1
|
.
52.8 /
30.1
|
| teger_Transition_Systems/From_T2/db3.t2_fixed.smt2
|
.
30.0 /
30.0
|
.
32.7 /
30.1
|
.
57.5 /
30.1
|
| ion_Systems/From_T2/dead.neg-st88b-succeed.t2.smt2
|
.
17.8 /
17.6
|
NO
4.0 /
3.2
|
NO
34.2 /
15.1
|
| Integer_Transition_Systems/From_T2/defect.t2.smt2
|
.
0.0 /
0.0
|
NO
2.9 /
1.6
|
NO
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/destroy.t2.smt2
|
.
21.8 /
30.1
|
YES
8.1 /
3.8
|
YES
0.2 /
0.2
|
| r_Transition_Systems/From_T2/destroy.t2_fixed.smt2
|
.
30.0 /
30.0
|
YES
6.7 /
2.8
|
YES
0.3 /
0.3
|
| ger_Transition_Systems/From_T2/destroy_seg.t2.smt2
|
.
30.3 /
30.0
|
YES
10.6 /
6.0
|
YES
0.2 /
0.2
|
| ansition_Systems/From_T2/destroy_seg.t2_fixed.smt2
|
.
30.4 /
30.0
|
YES
8.4 /
3.4
|
YES
0.4 /
0.4
|
| ransition_Systems/From_T2/destroy_seg_leak.t2.smt2
|
.
30.0 /
30.0
|
NO
24.0 /
16.1
|
NO
12.2 /
12.3
|
| ion_Systems/From_T2/destroy_seg_leak.t2_fixed.smt2
|
.
30.1 /
30.1
|
NO
20.1 /
17.2
|
.
68.0 /
30.1
|
| _Transition_Systems/From_T2/disj_nightmare.t2.smt2
|
.
30.0 /
30.0
|
.
46.0 /
30.1
|
NO
40.5 /
15.3
|
| ition_Systems/From_T2/disj_nightmare.t2_fixed.smt2
|
.
30.0 /
30.1
|
.
39.7 /
30.1
|
YES
26.9 /
16.5
|
| nsition_Systems/From_T2/disj_nightmare_abi.t2.smt2
|
.
3.0 /
2.9
|
YES
3.5 /
1.8
|
YES
0.0 /
0.0
|
| er_Transition_Systems/From_T2/dropbuf-live.t2.smt2
|
YES
0.0 /
0.0
|
YES
2.7 /
2.1
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/dropbuf.t2.smt2
|
.
30.1 /
30.1
|
NO
16.1 /
3.5
|
NO
3.7 /
1.6
|
| teger_Transition_Systems/From_T2/dsa_test1.t2.smt2
|
YES
0.0 /
0.0
|
YES
2.5 /
1.4
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/dsa_test10.t2.smt2
|
YES
10.5 /
10.3
|
YES
3.1 /
1.6
|
YES
0.0 /
0.0
|
| ransition_Systems/From_T2/dsa_test10.t2_fixed.smt2
|
YES
9.0 /
9.4
|
YES
3.1 /
1.6
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/dsa_test12.t2.smt2
|
YES
0.0 /
0.0
|
YES
2.7 /
1.6
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/dsa_test13.t2.smt2
|
YES
0.0 /
0.0
|
YES
2.5 /
1.4
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/dsa_test15.t2.smt2
|
YES
6.2 /
6.2
|
YES
3.0 /
2.0
|
YES
0.0 /
0.0
|
| ransition_Systems/From_T2/dsa_test15.t2_fixed.smt2
|
YES
3.0 /
3.1
|
YES
3.4 /
1.6
|
YES
0.0 /
0.0
|
| teger_Transition_Systems/From_T2/dsa_test6.t2.smt2
|
YES
2.2 /
7.2
|
YES
3.2 /
2.3
|
YES
0.0 /
0.0
|
| Transition_Systems/From_T2/dsa_test6.t2_fixed.smt2
|
YES
0.9 /
0.9
|
YES
5.9 /
1.7
|
YES
0.0 /
0.0
|
| teger_Transition_Systems/From_T2/dsa_test8.t2.smt2
|
YES
0.0 /
0.0
|
YES
2.6 /
1.4
|
YES
0.0 /
0.0
|
| teger_Transition_Systems/From_T2/dsa_test9.t2.smt2
|
YES
0.0 /
0.0
|
YES
2.9 /
1.4
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/dummy.t2.smt2
|
.
1.2 /
1.2
|
NO
3.5 /
1.7
|
NO
34.1 /
15.1
|
| Integer_Transition_Systems/From_T2/dumper.t2.smt2
|
.
29.3 /
30.1
|
.
31.3 /
30.0
|
.
58.1 /
25.7
|
| ger_Transition_Systems/From_T2/e-1394-fail.t2.smt2
|
.
30.1 /
30.0
|
NO
22.5 /
14.0
|
NO
17.9 /
6.2
|
| _Transition_Systems/From_T2/e-1394-succeed.t2.smt2
|
.
30.1 /
30.1
|
NO
21.1 /
9.6
|
NO
17.9 /
6.1
|
| ition_Systems/From_T2/e-1394-succeed.t2_fixed.smt2
|
.
30.0 /
30.0
|
NO
19.0 /
7.8
|
NO
17.7 /
5.6
|
| sition_Systems/From_T2/e-1394complete-fail.t2.smt2
|
.
30.1 /
30.1
|
NO
21.6 /
9.0
|
NO
54.9 /
15.6
|
| ition_Systems/From_T2/e-1394complete-failA.t2.smt2
|
.
30.1 /
30.0
|
NO
22.5 /
10.4
|
NO
54.9 /
15.8
|
| ion_Systems/From_T2/e-1394complete-succeed.t2.smt2
|
.
30.1 /
30.1
|
NO
21.5 /
10.8
|
NO
54.7 /
15.6
|
| stems/From_T2/e-1394complete-succeed.t2_fixed.smt2
|
.
30.1 /
30.1
|
NO
21.0 /
11.9
|
NO
55.0 /
15.7
|
| r_Transition_Systems/From_T2/e-acqrel-fail.t2.smt2
|
.
2.2 /
2.3
|
NO
3.7 /
1.9
|
NO
5.2 /
4.2
|
| ransition_Systems/From_T2/e-acqrel-succeed.t2.smt2
|
.
3.7 /
3.6
|
NO
3.6 /
1.8
|
NO
5.4 /
4.2
|
| ion_Systems/From_T2/e-acqrel-succeed.t2_fixed.smt2
|
.
3.2 /
3.5
|
NO
3.6 /
2.5
|
NO
5.4 /
4.2
|
| r_Transition_Systems/From_T2/e-pgarch-fail.t2.smt2
|
.
29.2 /
30.1
|
NO
5.5 /
4.8
|
NO
0.1 /
0.1
|
| ransition_Systems/From_T2/e-pgarch-succeed.t2.smt2
|
.
30.0 /
30.0
|
NO
6.1 /
2.4
|
NO
0.1 /
0.1
|
| ion_Systems/From_T2/e-pgarch-succeed.t2_fixed.smt2
|
.
30.5 /
30.1
|
NO
4.6 /
2.1
|
NO
0.1 /
0.1
|
| r_Transition_Systems/From_T2/e-popl07-fail.t2.smt2
|
.
28.8 /
30.1
|
NO
6.6 /
2.7
|
NO
1.1 /
0.6
|
| sition_Systems/From_T2/e-popl07-fail.t2_fixed.smt2
|
.
30.4 /
30.1
|
NO
8.4 /
9.8
|
NO
1.1 /
0.6
|
| ransition_Systems/From_T2/e-popl07-succeed.t2.smt2
|
.
30.3 /
30.0
|
NO
6.7 /
2.6
|
NO
0.3 /
0.2
|
| _Transition_Systems/From_T2/e-smagill-fail.t2.smt2
|
.
7.0 /
6.9
|
NO
3.5 /
2.0
|
NO
0.1 /
0.1
|
| ansition_Systems/From_T2/e-smagill-succeed.t2.smt2
|
.
3.3 /
3.3
|
NO
6.7 /
3.3
|
NO
22.1 /
6.3
|
| er_Transition_Systems/From_T2/e-st88b-fail.t2.smt2
|
.
2.3 /
2.2
|
NO
4.0 /
2.0
|
NO
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/edn.t2.smt2
|
.
30.4 /
30.1
|
.
102.4 /
30.1
|
.
107.8 /
30.2
|
| teger_Transition_Systems/From_T2/edn.t2_fixed.smt2
|
.
30.3 /
30.1
|
YES
7.3 /
3.6
|
YES
4.4 /
4.4
|
| Integer_Transition_Systems/From_T2/efegp.t2.smt2
|
.
30.1 /
30.1
|
NO
41.6 /
23.3
|
NO
8.2 /
5.7
|
| ger_Transition_Systems/From_T2/efegp.t2_fixed.smt2
|
.
30.0 /
30.0
|
.
47.0 /
30.1
|
NO
9.5 /
5.9
|
| tems/From_T2/elmhes.c.i.elmhes.pl.t2.fixed.t2.smt2
|
.
30.2 /
30.1
|
YES
5.8 /
6.0
|
YES
1.3 /
1.3
|
| Integer_Transition_Systems/From_T2/elmhes.t2.smt2
|
.
30.0 /
30.0
|
YES
4.4 /
2.2
|
YES
1.3 /
1.3
|
| Integer_Transition_Systems/From_T2/eric.t2.smt2
|
.
17.4 /
17.6
|
.
30.5 /
30.0
|
.
10.1 /
4.6
|
| Integer_Transition_Systems/From_T2/eric1.t2.smt2
|
.
5.0 /
4.9
|
YES
5.1 /
3.0
|
.
44.0 /
23.8
|
| Integer_Transition_Systems/From_T2/eric2.t2.smt2
|
.
29.8 /
30.0
|
.
108.2 /
30.0
|
.
50.8 /
24.3
|
| Integer_Transition_Systems/From_T2/eric3.t2.smt2
|
.
17.2 /
16.9
|
NO
4.5 /
4.1
|
NO
23.8 /
13.5
|
| Integer_Transition_Systems/From_T2/ex1.t2.smt2
|
.
1.3 /
1.3
|
NO
3.2 /
1.7
|
NO
30.5 /
15.1
|
| Integer_Transition_Systems/From_T2/ex10.t2.smt2
|
.
30.2 /
30.0
|
.
14.9 /
5.4
|
NO
18.8 /
9.3
|
| Integer_Transition_Systems/From_T2/ex11.t2.smt2
|
.
4.6 /
4.5
|
.
65.6 /
30.0
|
NO
1.8 /
1.2
|
| Integer_Transition_Systems/From_T2/ex12.t2.smt2
|
YES
1.8 /
1.8
|
YES
3.2 /
1.6
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/ex12.t2_fixed.smt2
|
YES
0.9 /
0.8
|
YES
2.9 /
1.5
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/ex13.t2.smt2
|
YES
0.0 /
0.0
|
YES
2.5 /
1.4
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/ex14.t2.smt2
|
YES
2.0 /
3.6
|
YES
3.0 /
1.5
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/ex14.t2_fixed.smt2
|
YES
1.1 /
1.1
|
YES
3.2 /
1.6
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/ex15.t2.smt2
|
YES
0.0 /
0.0
|
YES
3.0 /
1.4
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/ex16.t2.smt2
|
.
8.3 /
30.1
|
NO
7.5 /
4.5
|
NO
18.0 /
15.2
|
| eger_Transition_Systems/From_T2/ex16.t2_fixed.smt2
|
.
7.9 /
30.1
|
NO
7.5 /
3.3
|
NO
9.7 /
15.3
|
| Integer_Transition_Systems/From_T2/ex17.t2.smt2
|
.
28.1 /
27.6
|
YES
5.2 /
3.4
|
YES
23.9 /
13.5
|
| eger_Transition_Systems/From_T2/ex17.t2_fixed.smt2
|
.
26.3 /
26.6
|
.
73.0 /
30.1
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/ex18.t2.smt2
|
.
23.9 /
23.5
|
.
73.8 /
28.3
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/ex18.t2_fixed.smt2
|
.
16.2 /
16.0
|
YES
4.6 /
3.4
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/ex19.t2.smt2
|
.
8.4 /
8.4
|
NO
3.4 /
1.9
|
NO
33.8 /
15.1
|
| Integer_Transition_Systems/From_T2/ex2.t2.smt2
|
.
3.1 /
3.1
|
NO
3.7 /
1.8
|
NO
23.8 /
13.5
|
| teger_Transition_Systems/From_T2/ex2.t2_fixed.smt2
|
.
1.8 /
1.8
|
NO
3.4 /
1.9
|
NO
23.8 /
13.5
|
| Integer_Transition_Systems/From_T2/ex20.t2.smt2
|
YES
6.2 /
27.2
|
YES
3.5 /
1.7
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/ex20.t2_fixed.smt2
|
YES
4.6 /
4.6
|
YES
3.6 /
1.7
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/ex21.t2.smt2
|
YES
13.7 /
14.6
|
YES
3.4 /
4.1
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/ex21.t2_fixed.smt2
|
YES
7.5 /
7.4
|
YES
2.9 /
1.6
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/ex22.t2.smt2
|
.
30.1 /
30.1
|
YES
8.3 /
3.9
|
YES
0.2 /
0.2
|
| eger_Transition_Systems/From_T2/ex22.t2_fixed.smt2
|
.
30.3 /
30.1
|
YES
7.4 /
5.4
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/ex23.t2.smt2
|
YES
4.1 /
4.6
|
YES
3.2 /
1.6
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/ex23.t2_fixed.smt2
|
YES
1.7 /
1.7
|
YES
3.4 /
1.9
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/ex26.t2.smt2
|
.
29.9 /
30.0
|
YES
3.5 /
1.6
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/ex26.t2_fixed.smt2
|
YES
15.9 /
15.6
|
YES
3.4 /
1.8
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/ex27.t2.smt2
|
.
30.1 /
30.0
|
YES
11.0 /
6.6
|
YES
0.4 /
0.4
|
| eger_Transition_Systems/From_T2/ex27.t2_fixed.smt2
|
.
30.1 /
30.0
|
YES
9.5 /
5.3
|
YES
0.2 /
0.2
|
| Integer_Transition_Systems/From_T2/ex29.t2.smt2
|
YES
1.1 /
1.1
|
YES
4.3 /
2.0
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/ex29.t2_fixed.smt2
|
YES
1.5 /
1.5
|
YES
4.0 /
1.8
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/ex3.t2.smt2
|
YES
2.3 /
2.3
|
YES
3.2 /
1.7
|
YES
0.0 /
0.0
|
| teger_Transition_Systems/From_T2/ex3.t2_fixed.smt2
|
YES
1.7 /
1.6
|
YES
3.0 /
1.5
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/ex30.t2.smt2
|
.
6.8 /
30.1
|
YES
3.4 /
1.8
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/ex31.t2.smt2
|
.
3.2 /
3.6
|
NO
3.5 /
2.4
|
NO
5.8 /
4.5
|
| eger_Transition_Systems/From_T2/ex31.t2_fixed.smt2
|
.
1.5 /
6.7
|
NO
3.4 /
1.9
|
NO
5.4 /
4.4
|
| Integer_Transition_Systems/From_T2/ex32.t2.smt2
|
YES
8.5 /
8.5
|
YES
3.6 /
1.8
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/ex32.t2_fixed.smt2
|
YES
5.1 /
5.1
|
YES
3.2 /
1.9
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/ex33.t2.smt2
|
YES
0.2 /
0.2
|
YES
2.8 /
1.5
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/ex33.t2_fixed.smt2
|
YES
0.1 /
0.1
|
YES
2.8 /
1.5
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/ex34.t2.smt2
|
YES
0.0 /
0.0
|
YES
3.2 /
1.6
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/ex36.t2.smt2
|
.
30.0 /
30.0
|
.
38.3 /
30.1
|
.
42.8 /
18.0
|
| eger_Transition_Systems/From_T2/ex36.t2_fixed.smt2
|
.
30.0 /
30.0
|
.
40.8 /
30.1
|
.
91.6 /
30.2
|
| Integer_Transition_Systems/From_T2/ex4.t2.smt2
|
.
30.6 /
30.1
|
YES
3.8 /
2.8
|
YES
0.0 /
0.0
|
| teger_Transition_Systems/From_T2/ex4.t2_fixed.smt2
|
.
30.4 /
30.1
|
YES
3.5 /
1.7
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/ex40.t2.smt2
|
.
1.1 /
1.1
|
NO
3.3 /
2.2
|
NO
23.8 /
13.5
|
| Integer_Transition_Systems/From_T2/ex6.t2.smt2
|
YES
0.0 /
0.0
|
YES
2.6 /
2.0
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/ex7.t2.smt2
|
YES
5.6 /
5.7
|
YES
3.0 /
1.5
|
YES
0.0 /
0.0
|
| teger_Transition_Systems/From_T2/ex7.t2_fixed.smt2
|
YES
3.5 /
3.5
|
YES
3.3 /
1.7
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/ex8.t2.smt2
|
.
6.7 /
6.6
|
NO
3.6 /
1.8
|
NO
3.2 /
1.1
|
| Integer_Transition_Systems/From_T2/ex9.t2.smt2
|
.
9.9 /
9.8
|
NO
4.0 /
1.9
|
NO
3.1 /
1.1
|
| Integer_Transition_Systems/From_T2/example.t2.smt2
|
.
1.8 /
1.7
|
YES
3.2 /
1.6
|
YES
0.0 /
0.0
|
| er_Transition_Systems/From_T2/fake-succeed.t2.smt2
|
.
30.0 /
30.0
|
.
31.7 /
30.1
|
NO
2.6 /
2.6
|
| nsition_Systems/From_T2/fake-succeed.t2_fixed.smt2
|
.
30.0 /
30.0
|
.
35.2 /
30.1
|
NO
1.7 /
1.7
|
| teger_Transition_Systems/From_T2/fast_poll.t2.smt2
|
.
30.1 /
30.0
|
NO
16.6 /
10.1
|
NO
8.4 /
6.2
|
| Transition_Systems/From_T2/fast_poll.t2_fixed.smt2
|
.
28.1 /
30.1
|
NO
17.0 /
19.0
|
NO
8.1 /
6.1
|
| Integer_Transition_Systems/From_T2/fdct.t2.smt2
|
.
30.0 /
30.0
|
YES
4.3 /
1.9
|
YES
0.1 /
0.1
|
| eger_Transition_Systems/From_T2/fdct.t2_fixed.smt2
|
.
30.4 /
30.0
|
YES
3.8 /
1.9
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/fermat.t2.smt2
|
.
30.4 /
30.0
|
YES
4.0 /
1.8
|
YES
0.0 /
0.1
|
| Integer_Transition_Systems/From_T2/fibcall.t2.smt2
|
YES
12.9 /
13.1
|
YES
3.2 /
2.8
|
YES
0.0 /
0.0
|
| r_Transition_Systems/From_T2/fibcall.t2_fixed.smt2
|
YES
11.9 /
11.7
|
YES
3.1 /
1.8
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/fir.t2.smt2
|
.
30.6 /
30.2
|
YES
3.8 /
1.8
|
YES
0.1 /
0.1
|
| teger_Transition_Systems/From_T2/fir.t2_fixed.smt2
|
.
30.6 /
30.0
|
YES
7.2 /
3.3
|
YES
0.9 /
0.9
|
| nteger_Transition_Systems/From_T2/firewire.t2.smt2
|
.
30.5 /
30.1
|
.
34.0 /
30.0
|
.
57.5 /
26.5
|
| nteger_Transition_Systems/From_T2/flipflop.t2.smt2
|
.
0.6 /
0.5
|
NO
3.0 /
1.7
|
NO
0.5 /
0.2
|
| Integer_Transition_Systems/From_T2/florian.t2.smt2
|
YES
0.1 /
0.1
|
YES
3.1 /
1.8
|
YES
0.0 /
0.0
|
| _Transition_Systems/From_T2/florian_new_ex.t2.smt2
|
.
30.4 /
30.0
|
YES
18.8 /
7.4
|
YES
0.7 /
0.3
|
| er_Transition_Systems/From_T2/florian_pldi.t2.smt2
|
YES
26.4 /
26.4
|
YES
3.4 /
1.7
|
YES
0.1 /
0.1
|
| er_Transition_Systems/From_T2/florian_sas1.t2.smt2
|
.
22.0 /
22.1
|
YES
3.3 /
2.0
|
YES
0.1 /
0.1
|
| er_Transition_Systems/From_T2/florian_sas2.t2.smt2
|
.
30.5 /
30.0
|
.
179.4 /
25.9
|
.
73.3 /
30.0
|
| r_Transition_Systems/From_T2/florian_sumit.t2.smt2
|
.
12.1 /
12.7
|
.
89.5 /
30.1
|
.
34.4 /
13.4
|
| Integer_Transition_Systems/From_T2/foo.t2.smt2
|
.
30.0 /
30.1
|
.
43.8 /
30.1
|
.
38.3 /
30.0
|
| ystems/From_T2/fourn.c.i.fourn.pl.t2.fixed.t2.smt2
|
.
30.0 /
30.0
|
.
85.8 /
30.1
|
.
83.4 /
30.1
|
| m_T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.smt2
|
.
30.1 /
30.0
|
.
104.8 /
30.1
|
.
81.0 /
30.1
|
| Integer_Transition_Systems/From_T2/fourn.t2.smt2
|
.
29.4 /
30.0
|
.
89.4 /
30.1
|
.
74.7 /
30.1
|
| r_Transition_Systems/From_T2/fuhs-inflasso.t2.smt2
|
YES
7.4 /
7.3
|
YES
3.3 /
1.6
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/fun1.t2.smt2
|
.
30.3 /
30.1
|
.
108.1 /
30.0
|
NO
32.0 /
22.5
|
| eger_Transition_Systems/From_T2/fun1.t2_fixed.smt2
|
.
29.8 /
30.0
|
NO
12.5 /
5.8
|
NO
31.4 /
18.7
|
| Integer_Transition_Systems/From_T2/fun10.t2.smt2
|
.
30.0 /
30.0
|
NO
33.1 /
22.6
|
NO
14.1 /
6.9
|
| ger_Transition_Systems/From_T2/fun10.t2_fixed.smt2
|
.
30.0 /
30.0
|
NO
33.1 /
18.8
|
NO
11.8 /
6.4
|
| Integer_Transition_Systems/From_T2/fun10b.t2.smt2
|
.
30.1 /
30.1
|
NO
33.9 /
19.2
|
NO
11.2 /
6.4
|
| er_Transition_Systems/From_T2/fun10b.t2_fixed.smt2
|
.
30.0 /
30.0
|
NO
25.6 /
16.0
|
NO
12.3 /
6.4
|
| Integer_Transition_Systems/From_T2/fun11.t2.smt2
|
.
20.9 /
21.1
|
NO
4.0 /
1.9
|
NO
33.9 /
15.1
|
| ger_Transition_Systems/From_T2/fun11.t2_fixed.smt2
|
.
12.9 /
12.7
|
NO
7.7 /
1.9
|
NO
18.7 /
8.4
|
| Integer_Transition_Systems/From_T2/fun1b.t2.smt2
|
.
30.2 /
30.0
|
.
111.6 /
30.0
|
NO
31.6 /
21.2
|
| ger_Transition_Systems/From_T2/fun1b.t2_fixed.smt2
|
.
30.3 /
30.1
|
NO
12.9 /
4.8
|
NO
56.7 /
16.4
|
| Integer_Transition_Systems/From_T2/fun2.t2.smt2
|
.
30.2 /
30.1
|
.
40.8 /
30.1
|
YES
7.3 /
7.3
|
| eger_Transition_Systems/From_T2/fun2.t2_fixed.smt2
|
.
30.3 /
30.1
|
YES
8.7 /
3.2
|
YES
2.0 /
2.0
|
| Integer_Transition_Systems/From_T2/fun2b.t2.smt2
|
.
30.1 /
30.0
|
YES
38.7 /
11.5
|
YES
6.2 /
6.2
|
| ger_Transition_Systems/From_T2/fun2b.t2_fixed.smt2
|
.
28.5 /
30.1
|
YES
9.3 /
3.9
|
YES
1.8 /
1.8
|
| Integer_Transition_Systems/From_T2/fun3.t2.smt2
|
.
29.5 /
30.0
|
YES
35.7 /
21.6
|
YES
6.4 /
6.4
|
| nteger_Transition_Systems/From_T2/fun4-alt.t2.smt2
|
.
5.4 /
23.0
|
YES
30.7 /
27.8
|
YES
10.7 /
4.9
|
| Integer_Transition_Systems/From_T2/fun4.t2.smt2
|
.
12.3 /
12.2
|
.
32.1 /
30.0
|
NO
7.6 /
5.4
|
| eger_Transition_Systems/From_T2/fun4.t2_fixed.smt2
|
.
11.4 /
12.0
|
YES
29.0 /
21.8
|
YES
10.2 /
5.2
|
| Integer_Transition_Systems/From_T2/fun5.t2.smt2
|
.
29.9 /
30.1
|
.
33.2 /
30.1
|
NO
32.0 /
15.4
|
| eger_Transition_Systems/From_T2/fun5.t2_fixed.smt2
|
.
30.3 /
30.0
|
.
31.0 /
30.1
|
.
35.5 /
12.4
|
| Integer_Transition_Systems/From_T2/fun6.t2.smt2
|
.
29.7 /
30.1
|
NO
11.0 /
4.9
|
NO
43.7 /
16.4
|
| eger_Transition_Systems/From_T2/fun6.t2_fixed.smt2
|
.
29.4 /
30.1
|
NO
9.4 /
3.6
|
.
81.4 /
24.7
|
| Integer_Transition_Systems/From_T2/fun7.t2.smt2
|
.
30.5 /
30.1
|
NO
6.7 /
3.2
|
.
48.7 /
21.4
|
| eger_Transition_Systems/From_T2/fun7.t2_fixed.smt2
|
.
30.5 /
30.1
|
NO
7.1 /
2.8
|
.
41.1 /
16.3
|
| Integer_Transition_Systems/From_T2/fun8.t2.smt2
|
.
10.3 /
30.0
|
YES
7.6 /
9.3
|
YES
0.1 /
0.2
|
| eger_Transition_Systems/From_T2/fun8.t2_fixed.smt2
|
.
30.0 /
30.0
|
YES
7.2 /
4.2
|
YES
0.2 /
0.2
|
| Integer_Transition_Systems/From_T2/fun9.t2.smt2
|
.
30.5 /
30.0
|
NO
11.7 /
5.9
|
.
85.1 /
30.1
|
| nteger_Transition_Systems/From_T2/graycode.t2.smt2
|
.
30.4 /
30.0
|
YES
5.6 /
2.3
|
YES
0.7 /
0.7
|
| _Transition_Systems/From_T2/graycode.t2_fixed.smt2
|
.
28.8 /
30.5
|
YES
5.5 /
2.2
|
YES
0.5 /
0.5
|
| Integer_Transition_Systems/From_T2/hand7.t2.smt2
|
.
0.6 /
0.6
|
NO
3.1 /
1.6
|
NO
33.9 /
13.5
|
| Integer_Transition_Systems/From_T2/heidy1.t2.smt2
|
.
0.4 /
0.4
|
NO
3.1 /
1.6
|
NO
23.8 /
13.5
|
| Integer_Transition_Systems/From_T2/heidy10.t2.smt2
|
YES
1.0 /
1.0
|
YES
2.8 /
1.5
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/heidy2.t2.smt2
|
.
1.2 /
1.1
|
NO
3.2 /
1.7
|
NO
1.0 /
0.8
|
| Integer_Transition_Systems/From_T2/heidy3.t2.smt2
|
.
0.6 /
0.6
|
NO
3.2 /
1.7
|
NO
3.1 /
1.7
|
| Integer_Transition_Systems/From_T2/heidy5.t2.smt2
|
YES
0.8 /
0.8
|
YES
3.5 /
3.0
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/heidy6.t2.smt2
|
.
1.4 /
1.4
|
NO
3.5 /
2.1
|
NO
23.8 /
13.5
|
| Integer_Transition_Systems/From_T2/heidy7.t2.smt2
|
.
2.1 /
2.1
|
NO
3.4 /
1.7
|
NO
3.2 /
1.1
|
| Integer_Transition_Systems/From_T2/heidy8.t2.smt2
|
.
5.1 /
5.0
|
NO
3.4 /
1.8
|
NO
3.2 /
1.1
|
| er_Transition_Systems/From_T2/heidy8.t2_fixed.smt2
|
.
5.8 /
5.7
|
NO
3.4 /
1.8
|
NO
3.2 /
1.1
|
| Integer_Transition_Systems/From_T2/heidy9.t2.smt2
|
YES
0.3 /
0.3
|
YES
2.9 /
1.5
|
YES
0.0 /
0.0
|
| on_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2.smt2
|
.
30.0 /
30.0
|
.
42.5 /
30.1
|
.
30.1 /
30.1
|
| tems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2_fixed.smt2
|
.
30.0 /
30.0
|
.
46.3 /
30.0
|
.
70.3 /
30.1
|
| /From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.smt2
|
.
30.0 /
30.0
|
.
42.1 /
30.1
|
.
65.0 /
30.1
|
| T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2
|
.
30.1 /
30.1
|
.
43.9 /
30.0
|
.
55.7 /
30.1
|
| Integer_Transition_Systems/From_T2/hqr.t2.smt2
|
.
30.0 /
30.0
|
.
40.6 /
30.1
|
.
56.2 /
30.1
|
| teger_Transition_Systems/From_T2/hqr.t2_fixed.smt2
|
.
30.1 /
30.1
|
.
41.1 /
30.1
|
.
64.5 /
30.1
|
| Integer_Transition_Systems/From_T2/huh.t2.smt2
|
.
30.6 /
30.1
|
YES
4.0 /
1.8
|
YES
0.1 /
0.1
|
| teger_Transition_Systems/From_T2/huh.t2_fixed.smt2
|
.
30.6 /
30.1
|
YES
4.1 /
1.8
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/iecs.t2.smt2
|
.
0.8 /
0.8
|
YES
3.1 /
2.1
|
YES
0.1 /
0.1
|
| eger_Transition_Systems/From_T2/insertsort.t2.smt2
|
.
8.4 /
8.4
|
NO
3.4 /
1.7
|
NO
10.4 /
8.3
|
| ransition_Systems/From_T2/insertsort.t2_fixed.smt2
|
.
4.2 /
4.5
|
NO
4.2 /
2.2
|
NO
18.7 /
12.6
|
| teger_Transition_Systems/From_T2/intSqRoot.t2.smt2
|
.
4.5 /
4.5
|
NO
3.5 /
1.7
|
NO
5.7 /
4.4
|
| tems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2.smt2
|
.
30.3 /
30.0
|
YES
10.2 /
3.9
|
YES
0.1 /
0.1
|
| rom_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2_fixed.smt2
|
.
30.3 /
30.1
|
YES
11.8 /
5.2
|
YES
0.1 /
0.1
|
| T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.smt2
|
.
30.2 /
30.1
|
YES
10.4 /
4.1
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/jacobi.t2.smt2
|
.
30.2 /
30.1
|
YES
13.3 /
6.0
|
YES
0.1 /
0.1
|
| er_Transition_Systems/From_T2/jacobi.t2_fixed.smt2
|
.
30.3 /
30.1
|
YES
9.9 /
3.9
|
YES
0.1 /
0.1
|
| r_Transition_Systems/From_T2/janne_complex.t2.smt2
|
.
30.5 /
30.0
|
.
46.6 /
30.1
|
.
20.5 /
15.4
|
| sition_Systems/From_T2/janne_complex.t2_fixed.smt2
|
.
29.8 /
30.0
|
.
30.7 /
30.1
|
NO
32.0 /
15.6
|
| er_Transition_Systems/From_T2/java_AG313.c.t2.smt2
|
YES
17.3 /
17.1
|
YES
3.7 /
6.5
|
YES
0.1 /
0.1
|
| ansition_Systems/From_T2/java_AProVEMath.c.t2.smt2
|
.
30.5 /
30.0
|
YES
4.7 /
2.4
|
YES
1.6 /
0.6
|
| Systems/From_T2/java_AProVEMathRecursive.c.t2.smt2
|
.
30.6 /
30.0
|
.
33.8 /
30.0
|
YES
2.1 /
0.9
|
| ransition_Systems/From_T2/java_Ackermann.c.t2.smt2
|
.
19.4 /
19.3
|
YES
3.9 /
1.8
|
YES
0.1 /
0.1
|
| eger_Transition_Systems/From_T2/java_Avg.c.t2.smt2
|
.
16.7 /
16.4
|
YES
13.8 /
15.4
|
YES
4.2 /
1.5
|
| er_Transition_Systems/From_T2/java_Break.c.t2.smt2
|
YES
2.4 /
2.3
|
YES
3.1 /
1.6
|
YES
0.0 /
0.0
|
| nsition_Systems/From_T2/java_Break.c.t2_fixed.smt2
|
YES
1.6 /
1.6
|
YES
3.1 /
1.6
|
YES
0.0 /
0.0
|
| ansition_Systems/From_T2/java_BubbleSort.c.t2.smt2
|
.
30.4 /
30.0
|
YES
3.8 /
1.8
|
YES
0.1 /
0.1
|
| ransition_Systems/From_T2/java_Continue1.c.t2.smt2
|
YES
2.5 /
2.6
|
YES
3.3 /
1.8
|
YES
0.0 /
0.0
|
| ion_Systems/From_T2/java_Continue1.c.t2_fixed.smt2
|
YES
1.5 /
1.5
|
YES
3.0 /
1.5
|
YES
0.0 /
0.0
|
| ger_Transition_Systems/From_T2/java_Diff.c.t2.smt2
|
.
29.8 /
30.0
|
YES
6.0 /
2.4
|
YES
0.6 /
0.6
|
| ransition_Systems/From_T2/java_DivMinus1.c.t2.smt2
|
YES
14.4 /
14.2
|
YES
3.5 /
2.5
|
YES
0.1 /
0.1
|
| ransition_Systems/From_T2/java_DivMinus2.c.t2.smt2
|
.
29.8 /
30.1
|
YES
12.9 /
6.0
|
YES
0.3 /
0.3
|
| ion_Systems/From_T2/java_DivWithoutMinus.c.t2.smt2
|
.
30.0 /
30.0
|
YES
4.5 /
1.9
|
YES
2.1 /
0.8
|
| _Transition_Systems/From_T2/java_Double1.c.t2.smt2
|
.
12.9 /
12.8
|
YES
5.8 /
2.9
|
YES
0.4 /
0.2
|
| _Transition_Systems/From_T2/java_Double2.c.t2.smt2
|
YES
16.1 /
16.2
|
YES
3.4 /
1.7
|
YES
0.1 /
0.1
|
| _Transition_Systems/From_T2/java_Double3.c.t2.smt2
|
YES
19.3 /
19.0
|
YES
3.7 /
1.6
|
YES
0.1 /
0.1
|
| ransition_Systems/From_T2/java_Duplicate.c.t2.smt2
|
YES
5.9 /
5.8
|
YES
3.3 /
2.4
|
YES
0.0 /
0.0
|
| sition_Systems/From_T2/java_EqUserDefRec.c.t2.smt2
|
YES
10.5 /
11.0
|
YES
3.4 /
1.6
|
YES
0.1 /
0.2
|
| _Transition_Systems/From_T2/java_FactSum.c.t2.smt2
|
.
30.5 /
30.1
|
YES
3.8 /
1.8
|
YES
0.1 /
0.1
|
| ransition_Systems/From_T2/java_Factorial.c.t2.smt2
|
YES
1.9 /
1.9
|
YES
3.2 /
1.6
|
YES
0.0 /
0.0
|
| sition_Systems/From_T2/java_FibRecursive.c.t2.smt2
|
YES
3.8 /
3.7
|
YES
3.6 /
2.0
|
YES
0.1 /
0.1
|
| er_Transition_Systems/From_T2/java_Hanoi.c.t2.smt2
|
.
30.4 /
30.0
|
YES
3.7 /
1.9
|
YES
0.1 /
0.1
|
| sition_Systems/From_T2/java_LeUserDefRec.c.t2.smt2
|
.
8.1 /
30.1
|
YES
3.3 /
1.8
|
YES
0.1 /
0.1
|
| ansition_Systems/From_T2/java_LogBuiltIn.c.t2.smt2
|
.
18.1 /
17.9
|
YES
3.6 /
2.3
|
YES
0.1 /
0.1
|
| sition_Systems/From_T2/java_MinusBuiltIn.c.t2.smt2
|
YES
10.6 /
10.4
|
YES
3.6 /
2.6
|
YES
0.0 /
0.0
|
| Transition_Systems/From_T2/java_MinusMin.c.t2.smt2
|
YES
12.8 /
12.6
|
YES
3.5 /
1.7
|
YES
0.1 /
0.1
|
| r_Transition_Systems/From_T2/java_Nested.c.t2.smt2
|
.
30.5 /
30.1
|
YES
3.7 /
2.4
|
YES
0.1 /
0.1
|
| sition_Systems/From_T2/java_Nested.c.t2_fixed.smt2
|
YES
22.0 /
21.6
|
YES
3.4 /
2.7
|
YES
0.1 /
0.1
|
| ansition_Systems/From_T2/java_NestedLoop.c.t2.smt2
|
.
30.2 /
30.1
|
YES
4.9 /
2.4
|
YES
0.2 /
0.2
|
| Transition_Systems/From_T2/java_PlusSwap.c.t2.smt2
|
.
14.3 /
14.2
|
YES
4.3 /
2.2
|
YES
3.6 /
1.2
|
| ansition_Systems/From_T2/java_Recursions.c.t2.smt2
|
.
30.4 /
30.0
|
YES
5.7 /
2.7
|
YES
23.1 /
7.9
|
| Transition_Systems/From_T2/java_Sequence.c.t2.smt2
|
YES
44.5 /
21.9
|
YES
7.9 /
2.9
|
YES
0.1 /
0.1
|
| tion_Systems/From_T2/java_Sequence.c.t2_fixed.smt2
|
YES
13.5 /
13.3
|
YES
3.8 /
2.0
|
YES
0.0 /
0.0
|
| on_Systems/From_T2/java_TimesPlusUserDef.c.t2.smt2
|
.
30.4 /
30.0
|
YES
3.9 /
1.8
|
YES
0.1 /
0.1
|
| eger_Transition_Systems/From_T2/jfdctint.c.t2.smt2
|
YES
29.7 /
29.8
|
YES
4.7 /
2.7
|
YES
0.1 /
0.1
|
| ransition_Systems/From_T2/jfdctint.c.t2_fixed.smt2
|
YES
18.5 /
18.4
|
YES
4.0 /
2.0
|
YES
0.1 /
0.1
|
| nteger_Transition_Systems/From_T2/jfdctint.t2.smt2
|
.
30.5 /
30.1
|
YES
4.1 /
2.4
|
YES
0.0 /
0.0
|
| _Transition_Systems/From_T2/jfdctint.t2_fixed.smt2
|
.
30.1 /
30.0
|
YES
4.1 /
2.6
|
YES
0.0 /
0.1
|
| Integer_Transition_Systems/From_T2/l1.t2.smt2
|
.
1.8 /
1.7
|
.
89.8 /
30.0
|
NO
6.2 /
4.5
|
| Integer_Transition_Systems/From_T2/loop3.t2.smt2
|
.
30.1 /
30.1
|
.
46.0 /
30.1
|
YES
1.5 /
1.5
|
| ger_Transition_Systems/From_T2/loop3.t2_fixed.smt2
|
.
30.0 /
30.0
|
.
65.7 /
30.5
|
YES
1.2 /
1.2
|
| r_Transition_Systems/From_T2/loop_on_input.t2.smt2
|
YES
2.3 /
2.2
|
YES
3.3 /
1.6
|
YES
0.0 /
0.0
|
| sition_Systems/From_T2/loop_on_input.t2_fixed.smt2
|
YES
1.2 /
1.1
|
YES
2.8 /
1.5
|
YES
0.0 /
0.0
|
| tems/From_T2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.smt2
|
.
30.5 /
30.0
|
YES
6.3 /
2.4
|
YES
0.4 /
0.4
|
| Integer_Transition_Systems/From_T2/ludcmp.t2.smt2
|
.
8.5 /
30.2
|
YES
7.3 /
3.1
|
YES
0.8 /
0.8
|
| Integer_Transition_Systems/From_T2/magic.t2.smt2
|
.
30.2 /
30.1
|
YES
8.8 /
4.0
|
YES
0.9 /
0.9
|
| Integer_Transition_Systems/From_T2/matmul.t2.smt2
|
YES
29.9 /
29.5
|
YES
3.4 /
1.6
|
YES
0.3 /
0.2
|
| er_Transition_Systems/From_T2/matmul.t2_fixed.smt2
|
YES
23.9 /
23.6
|
YES
3.4 /
2.4
|
YES
0.6 /
0.3
|
| Integer_Transition_Systems/From_T2/matmult.t2.smt2
|
.
28.8 /
30.0
|
YES
8.1 /
1.9
|
YES
0.4 /
0.3
|
| r_Transition_Systems/From_T2/matmult.t2_fixed.smt2
|
.
29.0 /
30.1
|
YES
4.1 /
2.1
|
YES
0.7 /
0.7
|
| eger_Transition_Systems/From_T2/matrixsqrt.t2.smt2
|
.
30.5 /
30.1
|
YES
4.4 /
2.7
|
YES
0.2 /
0.1
|
| Integer_Transition_Systems/From_T2/mc91.t2.smt2
|
.
11.2 /
11.0
|
.
109.3 /
30.1
|
NO
57.9 /
21.2
|
| eger_Transition_Systems/From_T2/mc91.t2_fixed.smt2
|
.
3.1 /
3.0
|
YES
3.6 /
1.7
|
YES
0.2 /
0.2
|
| nteger_Transition_Systems/From_T2/mc91test.t2.smt2
|
.
30.4 /
30.1
|
.
103.0 /
30.1
|
.
92.1 /
30.0
|
| _Transition_Systems/From_T2/mc91test.t2_fixed.smt2
|
.
30.3 /
30.0
|
YES
3.1 /
1.6
|
YES
0.7 /
0.7
|
| Integer_Transition_Systems/From_T2/minmax.t2.smt2
|
YES
1.4 /
4.2
|
YES
4.1 /
1.8
|
YES
0.0 /
0.1
|
| er_Transition_Systems/From_T2/minmax.t2_fixed.smt2
|
YES
1.1 /
1.1
|
YES
4.1 /
1.8
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/n-1.t2.smt2
|
.
19.9 /
19.6
|
NO
3.4 /
1.9
|
NO
5.2 /
4.2
|
| teger_Transition_Systems/From_T2/n-1.t2_fixed.smt2
|
.
26.8 /
27.7
|
NO
3.4 /
3.1
|
NO
5.7 /
4.4
|
| Integer_Transition_Systems/From_T2/n-10.t2.smt2
|
.
30.5 /
30.1
|
NO
3.7 /
1.8
|
NO
6.2 /
4.6
|
| eger_Transition_Systems/From_T2/n-10.t2_fixed.smt2
|
.
30.2 /
30.1
|
NO
3.9 /
1.9
|
.
0.1 /
0.0
|
| Integer_Transition_Systems/From_T2/n-12.t2.smt2
|
.
9.9 /
10.1
|
NO
3.5 /
2.5
|
NO
5.3 /
4.3
|
| eger_Transition_Systems/From_T2/n-12.t2_fixed.smt2
|
.
7.9 /
8.1
|
NO
4.1 /
5.3
|
NO
5.3 /
4.2
|
| Integer_Transition_Systems/From_T2/n-12a.t2.smt2
|
.
0.8 /
0.8
|
NO
3.2 /
1.6
|
NO
5.2 /
4.2
|
| Integer_Transition_Systems/From_T2/n-13.t2.smt2
|
.
1.0 /
1.0
|
NO
3.0 /
1.6
|
NO
18.7 /
8.4
|
| Integer_Transition_Systems/From_T2/n-14.t2.smt2
|
.
11.6 /
12.2
|
NO
3.4 /
1.7
|
NO
5.4 /
4.2
|
| eger_Transition_Systems/From_T2/n-14.t2_fixed.smt2
|
.
3.8 /
3.7
|
NO
3.6 /
2.1
|
NO
5.4 /
4.3
|
| Integer_Transition_Systems/From_T2/n-15.t2.smt2
|
.
1.3 /
1.3
|
NO
3.1 /
1.7
|
NO
33.8 /
13.7
|
| Integer_Transition_Systems/From_T2/n-15a.t2.smt2
|
.
10.9 /
11.1
|
.
41.0 /
30.1
|
.
14.2 /
6.0
|
| ger_Transition_Systems/From_T2/n-15a.t2_fixed.smt2
|
.
2.9 /
2.9
|
NO
9.5 /
12.4
|
.
10.1 /
4.5
|
| Integer_Transition_Systems/From_T2/n-16a.t2.smt2
|
.
1.4 /
1.4
|
.
104.8 /
30.1
|
NO
6.1 /
4.6
|
| Integer_Transition_Systems/From_T2/n-17.t2.smt2
|
.
1.5 /
1.7
|
NO
3.3 /
2.0
|
NO
33.9 /
13.8
|
| Integer_Transition_Systems/From_T2/n-18.t2.smt2
|
.
0.7 /
0.7
|
NO
3.3 /
1.7
|
NO
18.9 /
8.5
|
| Integer_Transition_Systems/From_T2/n-18a.t2.smt2
|
.
2.1 /
3.5
|
.
114.1 /
30.0
|
NO
6.1 /
4.5
|
| Integer_Transition_Systems/From_T2/n-1c.t2.smt2
|
.
30.5 /
30.1
|
NO
3.8 /
2.1
|
NO
5.9 /
4.5
|
| eger_Transition_Systems/From_T2/n-1c.t2_fixed.smt2
|
.
29.4 /
30.1
|
NO
4.4 /
2.8
|
.
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/n-1d.t2.smt2
|
.
15.7 /
15.5
|
NO
3.6 /
2.0
|
NO
5.3 /
4.3
|
| eger_Transition_Systems/From_T2/n-1d.t2_fixed.smt2
|
.
11.8 /
11.7
|
NO
7.0 /
1.8
|
NO
5.3 /
4.3
|
| Integer_Transition_Systems/From_T2/n-20.t2.smt2
|
.
20.4 /
20.4
|
NO
3.9 /
2.2
|
.
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/n-21.t2.smt2
|
.
13.2 /
30.0
|
NO
3.6 /
2.0
|
NO
33.9 /
15.1
|
| eger_Transition_Systems/From_T2/n-21.t2_fixed.smt2
|
.
4.6 /
4.6
|
NO
3.6 /
2.0
|
NO
34.1 /
15.1
|
| Integer_Transition_Systems/From_T2/n-3.t2.smt2
|
.
6.8 /
6.7
|
NO
3.4 /
1.8
|
NO
33.9 /
15.1
|
| Integer_Transition_Systems/From_T2/n-32.t2.smt2
|
.
2.8 /
2.7
|
NO
3.4 /
1.7
|
NO
6.0 /
5.6
|
| Integer_Transition_Systems/From_T2/n-33.t2.smt2
|
.
29.2 /
30.0
|
NO
3.8 /
1.8
|
.
42.7 /
16.2
|
| Integer_Transition_Systems/From_T2/n-36.t2.smt2
|
.
27.0 /
30.1
|
NO
5.3 /
2.5
|
.
0.2 /
0.1
|
| eger_Transition_Systems/From_T2/n-36.t2_fixed.smt2
|
.
30.6 /
30.1
|
NO
5.3 /
2.6
|
.
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/n-37.t2.smt2
|
.
7.2 /
7.1
|
NO
3.6 /
1.9
|
NO
30.5 /
15.1
|
| eger_Transition_Systems/From_T2/n-37.t2_fixed.smt2
|
.
6.7 /
6.6
|
NO
3.5 /
1.7
|
NO
30.6 /
15.1
|
| Integer_Transition_Systems/From_T2/n-38.t2.smt2
|
YES
0.0 /
0.0
|
YES
3.0 /
1.5
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/n-3a.t2.smt2
|
.
30.5 /
30.0
|
NO
4.0 /
2.0
|
NO
0.3 /
0.2
|
| eger_Transition_Systems/From_T2/n-3a.t2_fixed.smt2
|
.
30.5 /
30.1
|
NO
3.9 /
1.9
|
NO
0.3 /
0.2
|
| Integer_Transition_Systems/From_T2/n-4.t2.smt2
|
.
30.3 /
30.0
|
NO
4.4 /
2.4
|
NO
7.0 /
4.9
|
| teger_Transition_Systems/From_T2/n-4.t2_fixed.smt2
|
.
30.6 /
30.0
|
NO
4.4 /
2.0
|
NO
6.0 /
4.5
|
| Integer_Transition_Systems/From_T2/n-40.t2.smt2
|
.
30.1 /
30.0
|
NO
4.6 /
2.1
|
NO
54.1 /
22.1
|
| eger_Transition_Systems/From_T2/n-40.t2_fixed.smt2
|
.
30.5 /
30.1
|
NO
5.0 /
3.5
|
NO
34.0 /
15.2
|
| Integer_Transition_Systems/From_T2/n-46.t2.smt2
|
.
2.0 /
2.0
|
NO
3.3 /
1.7
|
NO
30.5 /
15.1
|
| Integer_Transition_Systems/From_T2/n-48.t2.smt2
|
.
7.2 /
7.1
|
NO
3.5 /
1.7
|
NO
30.1 /
15.1
|
| eger_Transition_Systems/From_T2/n-48.t2_fixed.smt2
|
.
9.1 /
9.0
|
NO
3.4 /
1.8
|
NO
30.1 /
15.2
|
| Integer_Transition_Systems/From_T2/n-5.t2.smt2
|
.
30.6 /
30.1
|
NO
5.1 /
2.2
|
NO
79.4 /
24.1
|
| teger_Transition_Systems/From_T2/n-5.t2_fixed.smt2
|
.
30.4 /
30.0
|
NO
4.6 /
3.1
|
NO
63.4 /
19.8
|
| Integer_Transition_Systems/From_T2/n-6.t2.smt2
|
.
19.0 /
18.9
|
NO
4.5 /
2.3
|
NO
69.9 /
24.6
|
| teger_Transition_Systems/From_T2/n-6.t2_fixed.smt2
|
.
8.2 /
8.1
|
NO
5.2 /
3.6
|
NO
69.9 /
24.8
|
| Integer_Transition_Systems/From_T2/n-6a.t2.smt2
|
.
13.2 /
12.9
|
NO
3.5 /
1.8
|
NO
5.7 /
4.4
|
| eger_Transition_Systems/From_T2/n-6a.t2_fixed.smt2
|
.
15.2 /
15.5
|
NO
3.7 /
2.0
|
NO
5.8 /
8.8
|
| Integer_Transition_Systems/From_T2/n-7.t2.smt2
|
.
9.9 /
10.2
|
NO
3.4 /
2.5
|
NO
37.8 /
16.1
|
| teger_Transition_Systems/From_T2/n-7.t2_fixed.smt2
|
.
9.0 /
10.9
|
NO
3.5 /
1.7
|
NO
22.9 /
15.6
|
| Integer_Transition_Systems/From_T2/n-8.t2.smt2
|
.
30.4 /
30.0
|
NO
3.8 /
2.1
|
NO
6.2 /
4.7
|
| teger_Transition_Systems/From_T2/n-8.t2_fixed.smt2
|
.
29.9 /
30.0
|
NO
3.9 /
1.8
|
.
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/n-8a.t2.smt2
|
.
7.0 /
7.9
|
NO
3.6 /
3.3
|
NO
5.4 /
4.3
|
| Integer_Transition_Systems/From_T2/n-9.t2.smt2
|
.
30.2 /
30.0
|
NO
3.5 /
2.0
|
NO
6.7 /
4.8
|
| teger_Transition_Systems/From_T2/n-9.t2_fixed.smt2
|
.
30.0 /
30.0
|
NO
3.7 /
1.8
|
NO
7.0 /
4.9
|
| Systems/From_T2/n_firewire_instrumented-PP.t2.smt2
|
.
30.2 /
30.1
|
.
31.5 /
30.0
|
.
58.2 /
23.2
|
| Integer_Transition_Systems/From_T2/nakata.t2.smt2
|
.
30.6 /
30.1
|
.
50.3 /
30.0
|
NO
41.6 /
20.5
|
| ansition_Systems/From_T2/nakata_withassume.t2.smt2
|
.
30.2 /
30.1
|
.
54.9 /
30.0
|
YES
3.9 /
3.9
|
| Integer_Transition_Systems/From_T2/ndes.t2.smt2
|
.
30.0 /
30.0
|
.
29.9 /
30.1
|
.
66.5 /
30.1
|
| eger_Transition_Systems/From_T2/ndes.t2_fixed.smt2
|
.
30.0 /
30.0
|
.
31.9 /
30.0
|
YES
26.9 /
18.5
|
| r_Transition_Systems/From_T2/neg-1394-fail.t2.smt2
|
.
30.0 /
30.0
|
NO
18.9 /
8.1
|
NO
18.2 /
6.0
|
| ransition_Systems/From_T2/neg-1394-succeed.t2.smt2
|
.
30.1 /
30.1
|
NO
20.7 /
9.1
|
NO
17.8 /
5.9
|
| tion_Systems/From_T2/neg-1394complete-fail.t2.smt2
|
.
30.1 /
30.0
|
NO
18.9 /
8.2
|
.
87.8 /
30.1
|
| ystems/From_T2/neg-1394complete-fail.t2_fixed.smt2
|
.
30.0 /
30.0
|
NO
18.6 /
8.1
|
.
83.8 /
30.1
|
| n_Systems/From_T2/neg-1394complete-succeed.t2.smt2
|
.
30.0 /
30.1
|
NO
21.8 /
9.2
|
NO
55.5 /
16.0
|
| ems/From_T2/neg-1394complete-succeed.t2_fixed.smt2
|
.
30.1 /
30.0
|
NO
22.4 /
11.0
|
NO
56.4 /
16.1
|
| Transition_Systems/From_T2/neg-acqrel-fail.t2.smt2
|
.
3.9 /
4.2
|
NO
3.5 /
1.7
|
NO
9.3 /
4.2
|
| nsition_Systems/From_T2/neg-acqrel-succeed.t2.smt2
|
.
3.3 /
3.3
|
NO
3.7 /
1.8
|
NO
9.3 /
4.2
|
| nsition_Systems/From_T2/neg-e-1394-succeed.t2.smt2
|
.
30.1 /
30.1
|
NO
27.0 /
29.7
|
NO
18.2 /
5.8
|
| on_Systems/From_T2/neg-e-1394complete-fail.t2.smt2
|
.
30.1 /
30.0
|
NO
20.4 /
9.7
|
NO
54.7 /
15.6
|
| tems/From_T2/neg-e-1394complete-fail.t2_fixed.smt2
|
.
30.1 /
30.0
|
NO
19.7 /
9.5
|
NO
55.2 /
15.8
|
| Systems/From_T2/neg-e-1394complete-succeed.t2.smt2
|
.
30.1 /
30.1
|
NO
19.7 /
12.5
|
NO
54.7 /
16.1
|
| s/From_T2/neg-e-1394complete-succeed.t2_fixed.smt2
|
.
30.1 /
30.0
|
NO
18.6 /
9.4
|
NO
54.8 /
15.7
|
| ansition_Systems/From_T2/neg-e-acqrel-fail.t2.smt2
|
.
4.6 /
4.6
|
NO
3.6 /
1.8
|
NO
5.4 /
4.2
|
| on_Systems/From_T2/neg-e-acqrel-fail.t2_fixed.smt2
|
.
4.6 /
4.6
|
NO
3.6 /
2.7
|
NO
5.4 /
4.2
|
| ition_Systems/From_T2/neg-e-acqrel-succeed.t2.smt2
|
.
3.4 /
3.3
|
NO
3.4 /
1.8
|
NO
5.2 /
4.2
|
| Systems/From_T2/neg-e-acqrel-succeed.t2_fixed.smt2
|
.
3.2 /
3.1
|
NO
3.3 /
1.9
|
NO
5.2 /
4.2
|
| ansition_Systems/From_T2/neg-e-pgarch-fail.t2.smt2
|
.
23.9 /
23.5
|
NO
4.7 /
2.3
|
NO
0.1 /
0.1
|
| on_Systems/From_T2/neg-e-pgarch-fail.t2_fixed.smt2
|
.
21.2 /
21.0
|
NO
4.6 /
2.0
|
NO
0.1 /
0.1
|
| ition_Systems/From_T2/neg-e-pgarch-succeed.t2.smt2
|
.
13.9 /
14.5
|
NO
4.7 /
2.8
|
NO
0.1 /
0.1
|
| Systems/From_T2/neg-e-pgarch-succeed.t2_fixed.smt2
|
.
13.7 /
13.5
|
NO
4.2 /
1.9
|
NO
0.1 /
0.1
|
| ansition_Systems/From_T2/neg-e-popl07-fail.t2.smt2
|
.
29.1 /
30.1
|
NO
5.8 /
2.4
|
NO
0.3 /
0.2
|
| ition_Systems/From_T2/neg-e-popl07-succeed.t2.smt2
|
.
30.4 /
30.0
|
NO
7.7 /
3.4
|
NO
1.0 /
0.5
|
| Systems/From_T2/neg-e-popl07-succeed.t2_fixed.smt2
|
.
30.6 /
30.1
|
NO
6.7 /
2.7
|
NO
0.9 /
0.5
|
| tion_Systems/From_T2/neg-e-smagill-succeed.t2.smt2
|
.
4.7 /
4.6
|
NO
3.5 /
1.7
|
NO
0.1 /
0.1
|
| sition_Systems/From_T2/neg-e-st88b-succeed.t2.smt2
|
.
1.5 /
1.4
|
NO
3.7 /
2.1
|
NO
0.0 /
0.0
|
| Transition_Systems/From_T2/neg-pgarch-fail.t2.smt2
|
.
30.6 /
30.0
|
NO
4.8 /
2.7
|
NO
0.1 /
0.1
|
| nsition_Systems/From_T2/neg-pgarch-succeed.t2.smt2
|
.
30.1 /
30.0
|
NO
5.2 /
2.1
|
NO
0.1 /
0.1
|
| n_Systems/From_T2/neg-pgarch-succeed.t2_fixed.smt2
|
.
27.1 /
26.6
|
NO
5.0 /
2.0
|
NO
0.1 /
0.1
|
| Transition_Systems/From_T2/neg-popl07-fail.t2.smt2
|
.
30.5 /
30.0
|
NO
6.2 /
3.5
|
NO
0.3 /
0.2
|
| tion_Systems/From_T2/neg-popl07-fail.t2_fixed.smt2
|
.
30.4 /
30.1
|
NO
6.3 /
3.7
|
NO
0.3 /
0.2
|
| nsition_Systems/From_T2/neg-popl07-succeed.t2.smt2
|
.
30.3 /
30.1
|
NO
6.5 /
2.6
|
NO
0.8 /
0.4
|
| n_Systems/From_T2/neg-popl07-succeed.t2_fixed.smt2
|
.
30.4 /
30.1
|
NO
6.9 /
3.1
|
NO
0.8 /
0.5
|
| ansition_Systems/From_T2/neg-smagilla-fail.t2.smt2
|
.
4.8 /
4.8
|
NO
3.5 /
2.1
|
NO
3.3 /
1.6
|
| ition_Systems/From_T2/neg-smagilla-succeed.t2.smt2
|
.
4.8 /
4.7
|
NO
6.9 /
3.7
|
NO
19.7 /
9.3
|
| _Transition_Systems/From_T2/neg-st88b-fail.t2.smt2
|
.
18.9 /
18.8
|
.
39.6 /
16.3
|
NO
34.2 /
15.1
|
| Integer_Transition_Systems/From_T2/neg.t2.smt2
|
YES
0.0 /
0.0
|
YES
3.0 /
1.5
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/nested.t2.smt2
|
YES
29.0 /
29.0
|
YES
3.3 /
1.6
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/nested2.t2.smt2
|
YES
21.1 /
21.4
|
YES
3.5 /
1.9
|
YES
0.0 /
0.0
|
| r_Transition_Systems/From_T2/nested2.t2_fixed.smt2
|
YES
18.3 /
18.0
|
YES
3.2 /
1.6
|
YES
4.2 /
4.2
|
| nteger_Transition_Systems/From_T2/non_term.t2.smt2
|
.
0.8 /
0.8
|
.
105.3 /
30.1
|
NO
29.7 /
15.1
|
| Integer_Transition_Systems/From_T2/ns.t2.smt2
|
.
30.4 /
30.0
|
YES
3.9 /
1.7
|
YES
1.7 /
0.7
|
| nteger_Transition_Systems/From_T2/ns.t2_fixed.smt2
|
.
30.4 /
30.1
|
YES
3.7 /
1.7
|
YES
1.2 /
0.8
|
| _Transition_Systems/From_T2/oct_vs_subpoly.t2.smt2
|
.
0.4 /
0.4
|
NO
3.4 /
1.8
|
NO
30.5 /
15.1
|
| eger_Transition_Systems/From_T2/opt-tree.c.t2.smt2
|
.
30.4 /
30.1
|
YES
6.6 /
2.8
|
YES
39.2 /
15.2
|
| Integer_Transition_Systems/From_T2/p-1.t2.smt2
|
.
10.2 /
10.2
|
NO
3.3 /
1.8
|
.
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-10.t2.smt2
|
.
15.7 /
15.5
|
NO
3.5 /
2.3
|
.
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-12.t2.smt2
|
YES
0.3 /
0.3
|
YES
2.9 /
1.5
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-13.t2.smt2
|
YES
0.0 /
0.0
|
YES
3.0 /
1.7
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-14.t2.smt2
|
YES
0.4 /
0.4
|
YES
2.8 /
1.7
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-15.t2.smt2
|
YES
0.3 /
0.3
|
YES
3.3 /
2.5
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-19.t2.smt2
|
.
11.2 /
11.5
|
NO
6.9 /
2.5
|
.
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-19a.t2.smt2
|
.
15.7 /
15.4
|
NO
3.5 /
1.8
|
.
0.1 /
0.0
|
| Integer_Transition_Systems/From_T2/p-1a.t2.smt2
|
.
12.8 /
12.6
|
NO
3.4 /
2.4
|
.
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-1b.t2.smt2
|
YES
1.5 /
1.5
|
YES
3.3 /
1.6
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-1c.t2.smt2
|
.
15.2 /
15.3
|
NO
3.3 /
1.7
|
.
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-1d.t2.smt2
|
YES
14.0 /
13.8
|
YES
3.4 /
1.7
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-20.t2.smt2
|
.
16.4 /
16.2
|
NO
3.8 /
1.8
|
.
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-21.t2.smt2
|
YES
13.0 /
12.7
|
YES
3.1 /
2.0
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/p-21.t2_fixed.smt2
|
YES
3.5 /
4.0
|
YES
3.1 /
1.7
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-22.t2.smt2
|
YES
0.3 /
0.3
|
YES
3.3 /
2.1
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-3.t2.smt2
|
YES
10.5 /
10.6
|
YES
3.1 /
1.6
|
YES
0.0 /
0.0
|
| teger_Transition_Systems/From_T2/p-3.t2_fixed.smt2
|
YES
6.0 /
6.5
|
YES
2.9 /
1.6
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-32.t2.smt2
|
.
3.3 /
3.2
|
NO
3.6 /
2.3
|
NO
6.0 /
4.5
|
| Integer_Transition_Systems/From_T2/p-33.t2.smt2
|
.
8.6 /
8.5
|
NO
3.6 /
1.9
|
NO
9.3 /
5.7
|
| Integer_Transition_Systems/From_T2/p-34.t2.smt2
|
.
30.6 /
30.1
|
NO
5.2 /
2.5
|
.
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/p-36.t2.smt2
|
.
30.5 /
30.0
|
NO
4.1 /
2.2
|
.
0.1 /
0.1
|
| eger_Transition_Systems/From_T2/p-36.t2_fixed.smt2
|
.
30.5 /
30.1
|
NO
4.2 /
1.9
|
.
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/p-37.t2.smt2
|
YES
11.4 /
11.3
|
YES
3.2 /
1.8
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/p-37.t2_fixed.smt2
|
YES
10.8 /
10.6
|
YES
3.2 /
2.1
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-38.t2.smt2
|
YES
0.3 /
0.3
|
YES
3.9 /
1.8
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/p-38.t2_fixed.smt2
|
YES
0.5 /
0.5
|
YES
4.4 /
2.5
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/p-4.t2.smt2
|
YES
5.9 /
5.8
|
YES
6.3 /
1.5
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-40.t2.smt2
|
YES
7.2 /
7.1
|
YES
3.3 /
1.6
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/p-40.t2_fixed.smt2
|
YES
4.7 /
4.6
|
YES
3.3 /
5.2
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-41.t2.smt2
|
YES
0.0 /
0.0
|
YES
2.6 /
1.4
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-42.t2.smt2
|
YES
5.9 /
5.8
|
YES
3.2 /
1.6
|
YES
0.0 /
0.0
|
| _Transition_Systems/From_T2/p-43-terminate.t2.smt2
|
.
30.0 /
30.0
|
.
64.5 /
30.1
|
YES
5.4 /
3.0
|
| ition_Systems/From_T2/p-43-terminate.t2_fixed.smt2
|
.
30.3 /
30.1
|
.
67.7 /
30.1
|
YES
7.9 /
4.3
|
| Integer_Transition_Systems/From_T2/p-43.t2.smt2
|
.
12.3 /
12.1
|
.
51.9 /
30.0
|
YES
0.6 /
0.3
|
| eger_Transition_Systems/From_T2/p-43.t2_fixed.smt2
|
.
9.4 /
10.2
|
.
53.0 /
30.0
|
YES
2.3 /
0.9
|
| Integer_Transition_Systems/From_T2/p-44.t2.smt2
|
YES
0.8 /
0.8
|
YES
3.3 /
1.6
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-45.t2.smt2
|
YES
4.6 /
4.5
|
YES
3.0 /
1.8
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-46.t2.smt2
|
.
30.5 /
30.0
|
NO
3.8 /
1.8
|
NO
5.9 /
4.4
|
| eger_Transition_Systems/From_T2/p-46.t2_fixed.smt2
|
.
30.4 /
30.1
|
.
58.4 /
30.1
|
NO
5.7 /
4.4
|
| Integer_Transition_Systems/From_T2/p-49.t2.smt2
|
YES
0.4 /
0.4
|
YES
3.3 /
5.9
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-5.t2.smt2
|
.
30.6 /
30.0
|
NO
5.1 /
2.1
|
NO
79.2 /
24.1
|
| teger_Transition_Systems/From_T2/p-5.t2_fixed.smt2
|
.
30.3 /
30.1
|
NO
4.6 /
3.1
|
NO
65.7 /
22.3
|
| Integer_Transition_Systems/From_T2/p-50.t2.smt2
|
YES
0.0 /
0.0
|
YES
2.8 /
1.4
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-52.t2.smt2
|
.
11.9 /
11.6
|
NO
3.5 /
1.9
|
.
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-53.t2.smt2
|
YES
0.1 /
0.1
|
YES
3.0 /
1.5
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-55.t2.smt2
|
YES
19.7 /
19.4
|
YES
3.2 /
1.6
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/p-55.t2_fixed.smt2
|
YES
12.0 /
11.9
|
YES
3.3 /
1.9
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-56.t2.smt2
|
YES
8.6 /
8.8
|
YES
3.2 /
1.6
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/p-56.t2_fixed.smt2
|
YES
8.8 /
8.7
|
YES
3.2 /
1.6
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-58.t2.smt2
|
.
1.8 /
1.7
|
.
59.1 /
17.2
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-6.t2.smt2
|
YES
10.3 /
10.5
|
YES
3.2 /
1.6
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-60.t2.smt2
|
YES
6.1 /
6.0
|
YES
3.0 /
1.7
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/p-60.t2_fixed.smt2
|
YES
4.2 /
4.1
|
YES
5.8 /
2.4
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-61.t2.smt2
|
YES
9.9 /
9.7
|
YES
3.4 /
3.1
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/p-61.t2_fixed.smt2
|
YES
4.3 /
2.1
|
YES
2.9 /
1.7
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-62.t2.smt2
|
YES
0.0 /
0.0
|
YES
2.7 /
1.6
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-63.t2.smt2
|
.
7.5 /
7.6
|
YES
3.4 /
1.7
|
YES
0.1 /
0.0
|
| eger_Transition_Systems/From_T2/p-63.t2_fixed.smt2
|
.
7.1 /
7.0
|
YES
3.7 /
2.4
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-7.t2.smt2
|
YES
8.5 /
8.4
|
YES
3.2 /
1.6
|
YES
0.0 /
0.0
|
| teger_Transition_Systems/From_T2/p-7.t2_fixed.smt2
|
YES
8.4 /
8.6
|
YES
3.1 /
1.6
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p-7b.t2.smt2
|
YES
4.2 /
4.1
|
YES
3.3 /
1.6
|
YES
0.0 /
0.1
|
| Integer_Transition_Systems/From_T2/p-8.t2.smt2
|
.
6.4 /
6.3
|
NO
3.3 /
1.9
|
.
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/p.t2.smt2
|
.
30.3 /
30.1
|
.
36.4 /
30.1
|
.
42.0 /
30.0
|
| Integer_Transition_Systems/From_T2/p_armc.t2.smt2
|
.
30.5 /
30.0
|
NO
7.8 /
4.2
|
.
45.3 /
17.7
|
| _Transition_Systems/From_T2/pearl-necklace.t2.smt2
|
YES
12.1 /
11.9
|
YES
3.0 /
1.8
|
YES
0.0 /
0.0
|
| nteger_Transition_Systems/From_T2/peculiar.t2.smt2
|
.
10.6 /
10.4
|
NO
4.2 /
2.0
|
NO
3.5 /
1.4
|
| _Transition_Systems/From_T2/peculiar.t2_fixed.smt2
|
.
11.1 /
11.0
|
NO
4.3 /
2.3
|
NO
3.4 /
1.3
|
| nteger_Transition_Systems/From_T2/pentagon.t2.smt2
|
.
30.3 /
30.0
|
.
80.1 /
30.0
|
.
89.5 /
30.1
|
| ger_Transition_Systems/From_T2/pgarch-fail.t2.smt2
|
.
29.3 /
29.1
|
NO
4.8 /
2.1
|
NO
0.1 /
0.1
|
| _Transition_Systems/From_T2/pgarch-succeed.t2.smt2
|
.
29.4 /
28.8
|
NO
5.0 /
2.5
|
NO
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/pgarch.t2.smt2
|
.
30.0 /
30.0
|
.
33.5 /
30.1
|
.
60.1 /
30.1
|
| er_Transition_Systems/From_T2/pgarch.t2_fixed.smt2
|
.
30.1 /
30.1
|
.
32.9 /
30.1
|
.
37.8 /
30.1
|
| ger_Transition_Systems/From_T2/polling.bug.t2.smt2
|
.
30.1 /
30.0
|
NO
19.8 /
8.8
|
.
27.5 /
15.0
|
| ansition_Systems/From_T2/polling.bug.t2_fixed.smt2
|
.
30.1 /
30.0
|
NO
17.6 /
8.2
|
.
27.5 /
16.4
|
| Integer_Transition_Systems/From_T2/polling.t2.smt2
|
.
30.1 /
30.0
|
.
39.0 /
16.9
|
.
25.9 /
16.3
|
| r_Transition_Systems/From_T2/polling.t2_fixed.smt2
|
.
30.1 /
30.0
|
.
47.4 /
24.6
|
.
26.8 /
14.9
|
| teger_Transition_Systems/From_T2/polyrank1.t2.smt2
|
.
0.9 /
0.9
|
YES
3.4 /
1.7
|
YES
0.3 /
0.2
|
| teger_Transition_Systems/From_T2/polyrank2.t2.smt2
|
.
1.4 /
1.4
|
YES
3.5 /
1.9
|
YES
10.4 /
3.5
|
| teger_Transition_Systems/From_T2/polyrank3.t2.smt2
|
.
2.9 /
2.8
|
YES
8.4 /
12.0
|
YES
4.6 /
1.8
|
| teger_Transition_Systems/From_T2/polyrank4.t2.smt2
|
.
3.4 /
15.4
|
YES
15.8 /
9.4
|
YES
27.7 /
11.3
|
| teger_Transition_Systems/From_T2/polyrank5.t2.smt2
|
.
4.3 /
4.2
|
YES
9.7 /
5.1
|
.
62.0 /
23.8
|
| teger_Transition_Systems/From_T2/polyrank6.t2.smt2
|
.
4.6 /
4.8
|
YES
3.6 /
1.8
|
YES
0.7 /
0.3
|
| teger_Transition_Systems/From_T2/polyrank7.t2.smt2
|
.
2.1 /
2.1
|
NO
3.6 /
1.7
|
NO
28.2 /
12.7
|
| ger_Transition_Systems/From_T2/popl07-fail.t2.smt2
|
.
30.2 /
30.0
|
NO
6.1 /
2.4
|
NO
0.2 /
0.2
|
| _Transition_Systems/From_T2/popl07-succeed.t2.smt2
|
.
25.5 /
30.1
|
NO
6.6 /
3.0
|
NO
0.2 /
0.1
|
| Integer_Transition_Systems/From_T2/ppblock.t2.smt2
|
.
11.6 /
11.4
|
NO
4.3 /
2.0
|
NO
64.3 /
23.0
|
| eger_Transition_Systems/From_T2/ppblockbug.t2.smt2
|
.
7.0 /
30.1
|
NO
4.1 /
2.2
|
NO
33.3 /
16.0
|
| ger_Transition_Systems/From_T2/ppblockterm.t2.smt2
|
.
23.4 /
30.1
|
NO
3.8 /
3.1
|
NO
64.3 /
23.5
|
| _Transition_Systems/From_T2/ppblocktermbug.t2.smt2
|
.
20.0 /
30.1
|
NO
4.1 /
2.1
|
NO
64.8 /
23.2
|
| Integer_Transition_Systems/From_T2/prime.t2.smt2
|
.
30.3 /
30.1
|
NO
10.0 /
5.2
|
NO
23.8 /
13.5
|
| ger_Transition_Systems/From_T2/prime.t2_fixed.smt2
|
.
30.4 /
30.0
|
NO
8.4 /
3.5
|
NO
23.8 /
13.5
|
| Integer_Transition_Systems/From_T2/print.t2.smt2
|
.
30.0 /
30.0
|
YES
33.8 /
20.6
|
YES
0.5 /
0.5
|
| ger_Transition_Systems/From_T2/print.t2_fixed.smt2
|
.
30.0 /
30.0
|
YES
20.5 /
11.2
|
YES
1.2 /
1.2
|
| tems/From_T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.smt2
|
.
30.3 /
30.1
|
YES
6.0 /
3.5
|
YES
1.0 /
1.0
|
| Integer_Transition_Systems/From_T2/qrdcmp.t2.smt2
|
.
30.4 /
30.1
|
YES
6.6 /
4.6
|
YES
1.4 /
1.4
|
| Integer_Transition_Systems/From_T2/queens.t2.smt2
|
.
30.3 /
30.1
|
YES
7.2 /
6.7
|
YES
7.5 /
4.1
|
| er_Transition_Systems/From_T2/queens.t2_fixed.smt2
|
.
29.6 /
30.0
|
YES
5.6 /
2.7
|
YES
7.7 /
4.2
|
| Integer_Transition_Systems/From_T2/queue_1.t2.smt2
|
YES
12.7 /
12.5
|
YES
3.2 /
1.7
|
YES
0.1 /
0.1
|
| nteger_Transition_Systems/From_T2/queue_10.t2.smt2
|
YES
23.8 /
24.4
|
YES
3.6 /
1.9
|
YES
0.1 /
0.1
|
| _Transition_Systems/From_T2/queue_10.t2_fixed.smt2
|
YES
12.5 /
12.3
|
YES
3.4 /
2.1
|
YES
0.1 /
0.1
|
| teger_Transition_Systems/From_T2/queue_100.t2.smt2
|
.
30.2 /
30.0
|
YES
3.4 /
2.4
|
YES
0.1 /
0.1
|
| Transition_Systems/From_T2/queue_100.t2_fixed.smt2
|
YES
11.5 /
11.4
|
YES
3.3 /
1.8
|
YES
0.1 /
0.1
|
| eger_Transition_Systems/From_T2/queue_1000.t2.smt2
|
YES
22.8 /
22.6
|
YES
7.3 /
1.7
|
YES
0.1 /
0.1
|
| ransition_Systems/From_T2/queue_1000.t2_fixed.smt2
|
YES
15.2 /
15.1
|
YES
3.5 /
1.7
|
YES
0.1 /
0.1
|
| eger_Transition_Systems/From_T2/randomwalk.t2.smt2
|
.
30.6 /
30.0
|
.
83.3 /
30.1
|
NO
45.3 /
19.9
|
| tion_Systems/From_T2/randomwalk_withassume.t2.smt2
|
.
30.6 /
30.1
|
YES
3.9 /
1.8
|
YES
0.1 /
0.3
|
| sition_Systems/From_T2/refine_disj_problem.t2.smt2
|
.
3.3 /
3.3
|
.
89.2 /
30.1
|
NO
6.7 /
4.8
|
| _Systems/From_T2/refine_disj_problem.t2_fixed.smt2
|
.
1.9 /
1.8
|
NO
3.6 /
1.7
|
NO
33.6 /
15.2
|
| Integer_Transition_Systems/From_T2/rev_nt2.t2.smt2
|
.
29.4 /
30.1
|
NO
7.2 /
2.9
|
NO
10.4 /
8.3
|
| r_Transition_Systems/From_T2/rev_nt2.t2_fixed.smt2
|
.
29.9 /
30.0
|
NO
6.9 /
2.8
|
NO
9.2 /
6.5
|
| Integer_Transition_Systems/From_T2/rev_nt3.t2.smt2
|
.
30.5 /
30.1
|
NO
6.6 /
4.4
|
NO
9.1 /
6.9
|
| r_Transition_Systems/From_T2/rev_nt3.t2_fixed.smt2
|
.
30.0 /
30.0
|
NO
5.9 /
2.6
|
NO
9.2 /
6.9
|
| Integer_Transition_Systems/From_T2/rev_nt4.t2.smt2
|
YES
0.0 /
0.0
|
YES
3.1 /
1.5
|
YES
0.0 /
0.0
|
| r_Transition_Systems/From_T2/rev_nt4.t2_fixed.smt2
|
YES
0.0 /
0.0
|
YES
2.9 /
1.4
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/reverse.t2.smt2
|
.
30.0 /
30.0
|
.
47.5 /
30.1
|
YES
0.6 /
0.6
|
| r_Transition_Systems/From_T2/reverse.t2_fixed.smt2
|
.
30.0 /
30.0
|
.
36.1 /
30.1
|
YES
2.2 /
2.2
|
| er_Transition_Systems/From_T2/reverse_div4.t2.smt2
|
.
29.2 /
30.1
|
NO
12.5 /
5.7
|
NO
11.9 /
9.3
|
| nsition_Systems/From_T2/reverse_div4.t2_fixed.smt2
|
.
29.5 /
30.1
|
NO
11.3 /
4.4
|
NO
14.9 /
9.5
|
| nsition_Systems/From_T2/reverse_seg_cyclic.t2.smt2
|
.
30.0 /
30.0
|
YES
26.6 /
14.0
|
YES
0.3 /
0.3
|
| n_Systems/From_T2/reverse_seg_cyclic.t2_fixed.smt2
|
.
30.0 /
30.0
|
YES
18.7 /
9.3
|
YES
1.2 /
1.2
|
| Integer_Transition_Systems/From_T2/rewrite.t2.smt2
|
.
0.6 /
0.6
|
NO
3.1 /
1.6
|
NO
0.0 /
0.0
|
| ystems/From_T2/rlft3.c.i.rlft3.pl.t2.fixed.t2.smt2
|
.
30.3 /
30.1
|
NO
9.0 /
4.0
|
NO
65.3 /
26.0
|
| Integer_Transition_Systems/From_T2/rlft3.t2.smt2
|
.
30.5 /
30.0
|
NO
9.2 /
5.6
|
NO
31.0 /
15.3
|
| ystems/From_T2/ruslan-benchmarks_misc_n-38.t2.smt2
|
.
30.2 /
30.0
|
NO
5.4 /
2.9
|
NO
65.9 /
25.2
|
| nteger_Transition_Systems/From_T2/s1-saved.t2.smt2
|
.
30.1 /
30.1
|
YES
26.1 /
14.4
|
YES
0.4 /
0.4
|
| _Transition_Systems/From_T2/s1-saved.t2_fixed.smt2
|
.
30.1 /
30.1
|
YES
17.5 /
14.1
|
YES
0.9 /
0.9
|
| eger_Transition_Systems/From_T2/s1-striped.t2.smt2
|
.
30.0 /
30.0
|
.
42.8 /
30.1
|
.
58.2 /
27.4
|
| ransition_Systems/From_T2/s1-striped.t2_fixed.smt2
|
.
30.1 /
30.1
|
.
53.2 /
30.1
|
.
55.3 /
30.1
|
| Integer_Transition_Systems/From_T2/s1.t2.smt2
|
.
30.1 /
30.1
|
.
42.2 /
30.1
|
.
71.2 /
26.0
|
| nteger_Transition_Systems/From_T2/s1.t2_fixed.smt2
|
.
30.0 /
30.0
|
.
54.7 /
30.1
|
.
61.9 /
30.1
|
| Integer_Transition_Systems/From_T2/s2.t2.smt2
|
YES
5.2 /
5.2
|
YES
3.2 /
1.6
|
YES
0.0 /
0.0
|
| nteger_Transition_Systems/From_T2/s2.t2_fixed.smt2
|
YES
3.8 /
3.8
|
YES
3.1 /
2.9
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/s3-work.t2.smt2
|
.
30.1 /
30.1
|
.
32.7 /
30.0
|
YES
4.4 /
4.4
|
| r_Transition_Systems/From_T2/s3-work.t2_fixed.smt2
|
.
30.1 /
30.1
|
.
32.3 /
30.0
|
YES
14.9 /
14.9
|
| Integer_Transition_Systems/From_T2/s3.t2.smt2
|
.
30.1 /
30.1
|
.
36.9 /
30.1
|
.
30.1 /
30.1
|
| nteger_Transition_Systems/From_T2/s3.t2_fixed.smt2
|
.
29.9 /
30.0
|
.
36.4 /
30.0
|
.
30.1 /
30.0
|
| Integer_Transition_Systems/From_T2/s4.t2.smt2
|
.
30.0 /
30.0
|
.
30.2 /
30.1
|
.
30.1 /
30.1
|
| nteger_Transition_Systems/From_T2/s4.t2_fixed.smt2
|
.
30.0 /
30.1
|
.
30.0 /
30.0
|
.
30.1 /
30.1
|
| teger_Transition_Systems/From_T2/sas07.cex.t2.smt2
|
.
30.5 /
30.1
|
YES
7.6 /
4.0
|
YES
0.3 /
0.3
|
| Integer_Transition_Systems/From_T2/sas2.t2.smt2
|
.
30.5 /
30.1
|
.
36.2 /
30.0
|
.
55.0 /
23.1
|
| Integer_Transition_Systems/From_T2/select.t2.smt2
|
.
30.6 /
30.0
|
.
38.0 /
30.0
|
NO
16.6 /
12.5
|
| er_Transition_Systems/From_T2/select.t2_fixed.smt2
|
.
30.5 /
30.1
|
.
56.6 /
30.0
|
NO
22.3 /
15.2
|
| eger_Transition_Systems/From_T2/selectSort.t2.smt2
|
.
30.4 /
30.0
|
YES
3.6 /
1.7
|
YES
0.1 /
0.1
|
| Transition_Systems/From_T2/send-more-money.t2.smt2
|
.
30.0 /
30.0
|
YES
12.6 /
10.8
|
YES
0.8 /
0.8
|
| tion_Systems/From_T2/send-more-money.t2_fixed.smt2
|
.
30.1 /
30.1
|
YES
10.9 /
7.2
|
YES
0.8 /
0.8
|
| Integer_Transition_Systems/From_T2/seq.t2.smt2
|
YES
0.1 /
0.1
|
YES
2.9 /
1.7
|
YES
0.0 /
0.0
|
| Transition_Systems/From_T2/sequential_swap.t2.smt2
|
YES
0.1 /
0.1
|
YES
2.8 /
1.5
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/simple.t2.smt2
|
.
0.7 /
0.7
|
.
68.7 /
30.2
|
NO
33.7 /
13.6
|
| ger_Transition_Systems/From_T2/simpleWhile.t2.smt2
|
YES
5.1 /
5.0
|
YES
3.4 /
1.6
|
YES
0.0 /
0.0
|
| ion_Systems/From_T2/simple_array_inversion.t2.smt2
|
YES
0.4 /
0.4
|
YES
3.3 /
2.0
|
YES
0.0 /
0.0
|
| on_Systems/From_T2/simple_control_on_input.t2.smt2
|
YES
0.8 /
0.8
|
YES
3.2 /
1.5
|
YES
0.0 /
0.0
|
| tems/From_T2/simple_control_on_input.t2_fixed.smt2
|
YES
0.4 /
0.4
|
YES
2.9 /
1.5
|
YES
0.0 /
0.1
|
| ger_Transition_Systems/From_T2/simple_fail.t2.smt2
|
YES
0.0 /
0.0
|
YES
2.7 /
1.4
|
YES
0.0 /
0.0
|
| eger_Transition_Systems/From_T2/simple_pre.t2.smt2
|
YES
0.0 /
0.0
|
YES
2.6 /
1.6
|
YES
0.0 /
0.0
|
| ger_Transition_Systems/From_T2/simple_pre1.t2.smt2
|
YES
0.0 /
0.0
|
YES
2.6 /
1.4
|
YES
0.0 /
0.0
|
| ger_Transition_Systems/From_T2/simple_pre2.t2.smt2
|
YES
0.0 /
0.0
|
YES
2.6 /
1.4
|
YES
0.0 /
0.0
|
| ger_Transition_Systems/From_T2/simple_pre3.t2.smt2
|
YES
0.2 /
0.2
|
YES
3.0 /
1.5
|
YES
0.0 /
0.0
|
| ransition_Systems/From_T2/simple_swap_call.t2.smt2
|
YES
0.1 /
0.1
|
YES
3.0 /
1.4
|
YES
0.0 /
0.0
|
| ger_Transition_Systems/From_T2/simple_test.t2.smt2
|
YES
4.0 /
4.0
|
YES
3.3 /
1.9
|
YES
0.0 /
0.0
|
| er_Transition_Systems/From_T2/simple_test2.t2.smt2
|
.
0.9 /
1.1
|
NO
3.5 /
2.3
|
NO
0.0 /
0.0
|
| ansition_Systems/From_T2/slayer-1-filtered.t2.smt2
|
.
30.0 /
30.1
|
YES
5.8 /
2.4
|
YES
0.2 /
0.2
|
| ger_Transition_Systems/From_T2/slayer-1-rf.t2.smt2
|
.
29.9 /
30.0
|
YES
6.6 /
2.7
|
YES
0.2 /
0.2
|
| ansition_Systems/From_T2/slayer-2-filtered.t2.smt2
|
YES
5.3 /
5.2
|
YES
3.9 /
3.4
|
YES
0.0 /
0.0
|
| on_Systems/From_T2/slayer-2-filtered.t2_fixed.smt2
|
YES
3.7 /
3.6
|
YES
3.0 /
1.5
|
YES
0.0 /
0.0
|
| ansition_Systems/From_T2/slayer-3-filtered.t2.smt2
|
.
30.0 /
30.0
|
NO
41.2 /
25.3
|
.
58.2 /
30.0
|
| er_Transition_Systems/From_T2/slayer-3-new.t2.smt2
|
.
30.0 /
30.1
|
.
34.1 /
30.0
|
.
38.6 /
30.1
|
| nsition_Systems/From_T2/slayer-3-new.t2_fixed.smt2
|
.
30.0 /
30.1
|
.
32.9 /
30.1
|
.
30.1 /
30.1
|
| nteger_Transition_Systems/From_T2/slayer-3.t2.smt2
|
.
30.0 /
30.0
|
.
32.0 /
30.1
|
.
30.1 /
30.1
|
| _Transition_Systems/From_T2/slayer-3.t2_fixed.smt2
|
.
30.0 /
30.1
|
.
33.2 /
30.1
|
.
30.0 /
30.0
|
| ansition_Systems/From_T2/slayer-4-filtered.t2.smt2
|
.
25.1 /
30.1
|
.
34.4 /
30.1
|
.
30.1 /
30.1
|
| ansition_Systems/From_T2/slayer-5-filtered.t2.smt2
|
.
30.2 /
30.1
|
NO
20.0 /
7.5
|
.
29.1 /
15.6
|
| nsition_Systems/From_T2/slayer-n1-filtered.t2.smt2
|
.
29.4 /
30.0
|
NO
5.6 /
2.4
|
NO
9.6 /
6.0
|
| teger_Transition_Systems/From_T2/slayer-n1.t2.smt2
|
.
30.4 /
30.1
|
NO
13.3 /
6.0
|
NO
15.4 /
9.7
|
| Transition_Systems/From_T2/slayer-n1.t2_fixed.smt2
|
.
30.1 /
30.1
|
NO
11.5 /
4.7
|
NO
60.4 /
27.4
|
| nsition_Systems/From_T2/slayer-n2-filtered.t2.smt2
|
.
7.2 /
7.1
|
NO
3.7 /
1.8
|
NO
32.8 /
15.2
|
| teger_Transition_Systems/From_T2/slayer-n2.t2.smt2
|
.
3.6 /
3.5
|
NO
3.6 /
2.1
|
NO
24.0 /
13.6
|
| nsition_Systems/From_T2/slayer-n3-filtered.t2.smt2
|
.
30.5 /
30.0
|
YES
6.5 /
2.6
|
YES
0.1 /
0.1
|
| n_Systems/From_T2/slayer-n3-filtered.t2_fixed.smt2
|
.
30.1 /
30.0
|
YES
6.4 /
2.6
|
YES
0.1 /
0.1
|
| nsition_Systems/From_T2/slayer-n5-filtered.t2.smt2
|
.
30.2 /
30.0
|
NO
19.4 /
7.8
|
.
26.4 /
15.6
|
| r_Transition_Systems/From_T2/smagilla-fail.t2.smt2
|
.
3.3 /
3.3
|
NO
7.8 /
22.0
|
NO
21.2 /
8.4
|
| ransition_Systems/From_T2/smagilla-succeed.t2.smt2
|
.
3.2 /
3.2
|
NO
15.7 /
14.3
|
NO
22.2 /
8.7
|
| ransition_Systems/From_T2/smagillb-succeed.t2.smt2
|
.
6.1 /
6.0
|
NO
4.5 /
2.2
|
NO
33.0 /
8.7
|
| ion_Systems/From_T2/smagillb-succeed.t2_fixed.smt2
|
.
8.2 /
8.2
|
NO
4.6 /
3.0
|
NO
32.8 /
8.8
|
| r_Transition_Systems/From_T2/smagillc-fail.t2.smt2
|
.
4.6 /
4.5
|
NO
4.8 /
2.7
|
NO
22.8 /
6.4
|
| sition_Systems/From_T2/smagillc-fail.t2_fixed.smt2
|
.
6.4 /
10.0
|
NO
4.3 /
2.3
|
NO
22.6 /
6.4
|
| ransition_Systems/From_T2/smagillc-succeed.t2.smt2
|
.
4.5 /
4.4
|
NO
7.0 /
3.6
|
NO
22.1 /
6.2
|
| Integer_Transition_Systems/From_T2/small01.t2.smt2
|
.
0.6 /
0.6
|
NO
3.0 /
1.8
|
NO
30.5 /
15.1
|
| r_Transition_Systems/From_T2/small01.t2_fixed.smt2
|
.
1.4 /
1.4
|
YES
3.4 /
1.9
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/small02.t2.smt2
|
.
3.7 /
3.6
|
NO
3.7 /
8.0
|
NO
18.6 /
8.3
|
| Integer_Transition_Systems/From_T2/small03.t2.smt2
|
.
0.4 /
0.4
|
NO
3.1 /
1.7
|
NO
60.9 /
15.1
|
| Integer_Transition_Systems/From_T2/small04.t2.smt2
|
.
0.5 /
0.5
|
NO
3.1 /
1.7
|
NO
30.5 /
15.1
|
| Integer_Transition_Systems/From_T2/small05.t2.smt2
|
.
0.5 /
0.5
|
NO
3.3 /
1.8
|
NO
30.4 /
15.0
|
| Integer_Transition_Systems/From_T2/small06.t2.smt2
|
YES
2.0 /
2.0
|
YES
3.0 /
1.6
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/small07.t2.smt2
|
.
13.4 /
13.2
|
YES
4.1 /
2.0
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/small08.t2.smt2
|
.
16.7 /
17.4
|
YES
5.2 /
2.5
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/small09.t2.smt2
|
.
18.0 /
18.2
|
YES
3.9 /
3.3
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/small10.t2.smt2
|
.
3.4 /
3.4
|
.
66.7 /
30.1
|
NO
7.7 /
4.9
|
| Integer_Transition_Systems/From_T2/small11.t2.smt2
|
.
0.1 /
0.1
|
NO
3.3 /
1.7
|
NO
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/small12.t2.smt2
|
YES
1.0 /
1.0
|
YES
3.1 /
1.6
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/small13.t2.smt2
|
.
1.7 /
1.7
|
YES
3.1 /
1.7
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/small14.t2.smt2
|
.
30.6 /
30.0
|
.
69.1 /
30.1
|
NO
34.8 /
15.1
|
| Integer_Transition_Systems/From_T2/small15.t2.smt2
|
.
2.5 /
2.5
|
.
99.5 /
30.1
|
.
55.0 /
20.3
|
| Integer_Transition_Systems/From_T2/small16.t2.smt2
|
.
1.2 /
1.2
|
NO
6.3 /
1.6
|
.
49.1 /
16.2
|
| Integer_Transition_Systems/From_T2/small17.t2.smt2
|
.
0.6 /
0.6
|
NO
3.4 /
1.7
|
.
35.7 /
15.1
|
| Integer_Transition_Systems/From_T2/small18.t2.smt2
|
.
0.6 /
0.6
|
NO
3.7 /
2.1
|
.
35.7 /
12.2
|
| Integer_Transition_Systems/From_T2/small19.t2.smt2
|
.
2.8 /
2.7
|
YES
2.9 /
1.7
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/small20.t2.smt2
|
YES
2.9 /
2.9
|
YES
3.0 /
1.6
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/small21.t2.smt2
|
YES
2.5 /
2.5
|
YES
3.1 /
5.3
|
YES
0.0 /
0.1
|
| Integer_Transition_Systems/From_T2/small22.t2.smt2
|
.
2.4 /
2.4
|
NO
3.7 /
1.8
|
NO
5.3 /
4.2
|
| Integer_Transition_Systems/From_T2/small23.t2.smt2
|
.
3.3 /
3.6
|
.
95.6 /
28.9
|
NO
9.5 /
4.2
|
| Integer_Transition_Systems/From_T2/small24.t2.smt2
|
.
0.3 /
0.3
|
NO
3.2 /
1.6
|
NO
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/small26.t2.smt2
|
YES
1.2 /
1.3
|
YES
3.0 /
1.5
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/small27.t2.smt2
|
YES
0.0 /
0.0
|
YES
2.8 /
1.5
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/small28.t2.smt2
|
YES
1.2 /
1.2
|
YES
2.8 /
1.5
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/small29.t2.smt2
|
.
1.5 /
2.2
|
NO
3.4 /
4.6
|
NO
5.3 /
4.2
|
| Integer_Transition_Systems/From_T2/small31.t2.smt2
|
YES
0.0 /
0.0
|
YES
2.9 /
2.1
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/small32.t2.smt2
|
YES
0.0 /
0.0
|
YES
3.2 /
2.1
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/small33.t2.smt2
|
YES
0.0 /
0.0
|
YES
3.0 /
1.6
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/small34.t2.smt2
|
YES
0.2 /
0.2
|
YES
2.9 /
1.5
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/small35.t2.smt2
|
.
1.5 /
1.5
|
NO
3.3 /
2.5
|
NO
33.9 /
15.1
|
| Integer_Transition_Systems/From_T2/sort.t2.smt2
|
.
30.1 /
30.1
|
YES
5.7 /
2.3
|
YES
0.3 /
0.3
|
| eger_Transition_Systems/From_T2/sort.t2_fixed.smt2
|
.
30.1 /
30.0
|
YES
6.0 /
7.1
|
YES
0.3 /
0.3
|
| tems/From_T2/spctrm.c.i.spctrm.pl.t2.fixed.t2.smt2
|
.
29.8 /
30.1
|
YES
12.0 /
5.0
|
YES
14.6 /
14.6
|
| Integer_Transition_Systems/From_T2/spctrm.t2.smt2
|
.
30.2 /
30.0
|
YES
12.2 /
6.9
|
YES
11.9 /
11.9
|
| Integer_Transition_Systems/From_T2/spiral.t2.smt2
|
.
14.4 /
14.8
|
.
31.5 /
30.0
|
.
39.9 /
21.9
|
| er_Transition_Systems/From_T2/spiral.t2_fixed.smt2
|
.
30.4 /
30.0
|
.
29.4 /
30.1
|
YES
3.0 /
2.3
|
| nteger_Transition_Systems/From_T2/st88.bug.t2.smt2
|
.
17.2 /
17.0
|
NO
7.0 /
1.8
|
NO
19.5 /
14.2
|
| _Transition_Systems/From_T2/st88.bug.t2_fixed.smt2
|
.
6.6 /
6.5
|
NO
3.8 /
1.9
|
NO
9.6 /
4.2
|
| Integer_Transition_Systems/From_T2/st88.t2.smt2
|
.
11.5 /
11.3
|
NO
5.5 /
3.1
|
NO
13.7 /
5.8
|
| eger_Transition_Systems/From_T2/st88.t2_fixed.smt2
|
.
6.3 /
6.1
|
NO
4.2 /
3.7
|
NO
9.8 /
4.5
|
| eger_Transition_Systems/From_T2/st88b-fail.t2.smt2
|
.
11.7 /
11.9
|
NO
3.7 /
1.9
|
NO
20.1 /
8.8
|
| r_Transition_Systems/From_T2/st88b-succeed.t2.smt2
|
.
11.6 /
11.4
|
NO
3.6 /
1.8
|
NO
20.6 /
9.1
|
| teger_Transition_Systems/From_T2/statemate.t2.smt2
|
.
30.0 /
30.0
|
.
32.9 /
30.1
|
.
30.1 /
30.0
|
| Transition_Systems/From_T2/statemate.t2_fixed.smt2
|
.
30.0 /
30.0
|
.
32.8 /
30.0
|
.
30.1 /
30.1
|
| Integer_Transition_Systems/From_T2/stored.t2.smt2
|
.
4.7 /
4.7
|
NO
3.6 /
2.1
|
NO
0.1 /
0.1
|
| ition_Systems/From_T2/streamserver-succeed.t2.smt2
|
.
30.2 /
30.1
|
NO
10.6 /
4.6
|
.
56.7 /
23.1
|
| Systems/From_T2/streamserver-succeed.t2_fixed.smt2
|
.
30.5 /
30.0
|
NO
12.2 /
5.3
|
.
57.3 /
23.2
|
| ransition_Systems/From_T2/streamserver.bug.t2.smt2
|
.
30.2 /
30.0
|
NO
11.7 /
5.4
|
NO
22.2 /
10.2
|
| ion_Systems/From_T2/streamserver.bug.t2_fixed.smt2
|
.
30.3 /
30.1
|
NO
15.7 /
11.5
|
NO
43.0 /
10.3
|
| r_Transition_Systems/From_T2/subpoly_crash.t2.smt2
|
.
0.5 /
0.5
|
NO
3.2 /
1.6
|
NO
30.4 /
15.0
|
| Integer_Transition_Systems/From_T2/sudoku.t2.smt2
|
.
30.1 /
30.1
|
YES
11.4 /
4.6
|
YES
19.1 /
10.6
|
| tems/From_T2/svdcmp.c.i.svdcmp.pl.t2.fixed.t2.smt2
|
.
30.0 /
30.1
|
YES
34.2 /
24.7
|
.
36.5 /
30.1
|
| T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2.smt2
|
.
30.1 /
30.1
|
YES
35.9 /
19.8
|
.
51.5 /
30.1
|
| Integer_Transition_Systems/From_T2/svdcmp.t2.smt2
|
.
30.0 /
30.0
|
.
47.0 /
30.0
|
.
49.2 /
25.8
|
| er_Transition_Systems/From_T2/svdcmp.t2_fixed.smt2
|
.
30.0 /
30.0
|
YES
33.1 /
20.3
|
.
49.3 /
25.7
|
| er_Transition_Systems/From_T2/test_byron_2.t2.smt2
|
.
0.7 /
0.7
|
NO
3.7 /
1.8
|
NO
5.2 /
4.2
|
| tems/From_T2/toeplz.c.i.toeplz.pl.t2.fixed.t2.smt2
|
.
30.4 /
30.1
|
YES
5.5 /
2.5
|
YES
4.2 /
4.2
|
| Integer_Transition_Systems/From_T2/toeplz.t2.smt2
|
.
30.6 /
30.1
|
YES
4.8 /
2.1
|
YES
4.2 /
4.2
|
| _Systems/From_T2/tqli.c.i.tqli.pl.t2.fixed.t2.smt2
|
.
30.0 /
30.1
|
NO
14.7 /
6.6
|
NO
47.5 /
23.8
|
| rom_T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2.smt2
|
.
30.4 /
30.1
|
.
58.0 /
30.1
|
.
78.7 /
30.0
|
| Integer_Transition_Systems/From_T2/tqli.t2.smt2
|
.
30.0 /
30.0
|
NO
14.5 /
12.4
|
.
60.2 /
25.0
|
| eger_Transition_Systems/From_T2/tqli.t2_fixed.smt2
|
.
30.5 /
30.1
|
.
84.3 /
30.1
|
NO
41.3 /
18.5
|
| nteger_Transition_Systems/From_T2/traverse.t2.smt2
|
.
30.0 /
30.0
|
YES
30.8 /
17.7
|
YES
0.4 /
0.4
|
| _Transition_Systems/From_T2/traverse.t2_fixed.smt2
|
.
30.0 /
30.0
|
YES
16.3 /
8.4
|
YES
0.9 /
0.9
|
| teger_Transition_Systems/From_T2/traverse2.t2.smt2
|
.
30.0 /
30.0
|
YES
47.6 /
27.4
|
YES
0.4 /
0.4
|
| Transition_Systems/From_T2/traverse2.t2_fixed.smt2
|
.
30.0 /
30.0
|
YES
22.9 /
13.9
|
YES
1.2 /
1.2
|
| er_Transition_Systems/From_T2/traverse_seg.t2.smt2
|
.
30.1 /
30.1
|
YES
32.7 /
19.1
|
YES
0.5 /
0.5
|
| nsition_Systems/From_T2/traverse_seg.t2_fixed.smt2
|
.
30.0 /
30.0
|
YES
20.0 /
11.1
|
YES
1.2 /
1.2
|
| r_Transition_Systems/From_T2/traverse_seg2.t2.smt2
|
.
30.0 /
30.0
|
YES
37.7 /
20.4
|
YES
0.4 /
0.4
|
| sition_Systems/From_T2/traverse_seg2.t2_fixed.smt2
|
.
30.0 /
30.0
|
YES
18.4 /
9.0
|
YES
1.0 /
1.1
|
| _Transition_Systems/From_T2/traverse_twice.t2.smt2
|
.
30.1 /
30.1
|
.
44.8 /
30.1
|
YES
0.6 /
0.6
|
| ition_Systems/From_T2/traverse_twice.t2_fixed.smt2
|
.
30.0 /
30.0
|
YES
22.6 /
14.7
|
YES
1.5 /
1.5
|
| eger_Transition_Systems/From_T2/two_arrays.t2.smt2
|
.
30.4 /
30.0
|
YES
3.9 /
2.5
|
YES
0.1 /
0.1
|
| ransition_Systems/From_T2/two_arrays.t2_fixed.smt2
|
.
30.6 /
30.1
|
YES
3.7 /
1.7
|
YES
0.0 /
0.0
|
| ger_Transition_Systems/From_T2/two_arrays1.t2.smt2
|
.
30.4 /
30.0
|
YES
4.5 /
2.3
|
YES
0.1 /
0.1
|
| ansition_Systems/From_T2/two_arrays1.t2_fixed.smt2
|
.
30.2 /
30.0
|
YES
3.9 /
1.8
|
YES
0.1 /
0.1
|
| ger_Transition_Systems/From_T2/two_arrays2.t2.smt2
|
.
30.6 /
30.1
|
YES
4.3 /
1.9
|
YES
0.1 /
0.1
|
| ger_Transition_Systems/From_T2/two_arrays6.t2.smt2
|
.
30.3 /
30.0
|
YES
3.9 /
1.8
|
YES
0.1 /
0.1
|
| Integer_Transition_Systems/From_T2/ud.t2.smt2
|
.
30.1 /
30.0
|
YES
7.2 /
3.3
|
YES
4.9 /
4.3
|
| nteger_Transition_Systems/From_T2/ud.t2_fixed.smt2
|
.
30.3 /
30.1
|
YES
6.5 /
3.0
|
YES
5.1 /
4.6
|
| ger_Transition_Systems/From_T2/vmcai_bytes.t2.smt2
|
YES
0.0 /
0.0
|
YES
2.5 /
2.1
|
YES
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/w1.t2.smt2
|
.
0.2 /
0.2
|
NO
3.3 /
1.9
|
NO
0.0 /
0.0
|
| Integer_Transition_Systems/From_T2/w2_nt.t2.smt2
|
.
30.4 /
30.1
|
NO
6.2 /
3.1
|
NO
10.4 /
8.3
|
| Integer_Transition_Systems/From_T2/w3_nt.t2.smt2
|
.
29.0 /
30.0
|
NO
6.2 /
3.1
|
NO
9.0 /
6.7
|
| Integer_Transition_Systems/From_T2/walk.t2.smt2
|
.
30.4 /
30.0
|
NO
4.9 /
2.2
|
NO
36.5 /
16.3
|
| eger_Transition_Systems/From_T2/walk.t2_fixed.smt2
|
.
30.2 /
30.1
|
NO
4.8 /
2.6
|
NO
69.8 /
24.2
|
| nteger_Transition_Systems/From_T2/weakness.t2.smt2
|
.
3.2 /
3.3
|
YES
3.4 /
1.6
|
YES
12.8 /
4.3
|
| nteger_Transition_Systems/From_T2/whatwhat.t2.smt2
|
.
0.9 /
0.8
|
.
90.0 /
30.1
|
YES
0.1 /
0.0
|
| Integer_Transition_Systems/From_T2/wrap.c.t2.smt2
|
.
30.2 /
30.1
|
YES
5.9 /
2.3
|
YES
0.4 /
0.4
|
| eger_Transition_Systems/From_T2/wrong_loop.t2.smt2
|
.
11.1 /
11.3
|
.
32.0 /
30.1
|
NO
11.6 /
10.2
|
| ransition_Systems/From_T2/wrong_loop.t2_fixed.smt2
|
.
3.4 /
3.3
|
.
30.6 /
30.1
|
NO
1.3 /
0.9
|
| Integer_Transition_Systems/From_T2/wtf.t2.smt2
|
.
30.0 /
30.1
|
YES
7.9 /
3.5
|
YES
1.8 /
1.8
|
| nteger_Transition_Systems/From_T2/zeroconf.t2.smt2
|
.
30.4 /
30.0
|
.
40.2 /
30.1
|
.
40.2 /
20.6
|
| sition_Systems/From_T2/zeroconf_withassume.t2.smt2
|
.
30.5 /
30.1
|
YES
12.5 /
4.7
|
YES
4.6 /
4.6
|
| _Transition_Systems/From_T2/zlib-adler32.c.t2.smt2
|
.
30.4 /
30.1
|
.
112.6 /
30.1
|
.
31.1 /
15.3
|
| ition_Systems/From_T2/zlib-adler32.c.t2_fixed.smt2
|
.
30.1 /
30.0
|
YES
7.5 /
3.6
|
.
26.4 /
15.3
|
| sition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2.smt2
|
.
30.0 /
30.0
|
.
110.0 /
30.1
|
NO
46.2 /
17.7
|
| _Systems/From_T2/zlib-crc32-BYFOUR.c.t2_fixed.smt2
|
.
30.0 /
30.1
|
YES
6.6 /
2.8
|
YES
27.3 /
11.7
|
| er_Transition_Systems/From_T2/zlib-crc32.c.t2.smt2
|
.
30.1 /
30.1
|
.
93.0 /
30.1
|
NO
11.2 /
5.9
|
| nsition_Systems/From_T2/zlib-crc32.c.t2_fixed.smt2
|
.
30.4 /
30.1
|
YES
4.2 /
2.2
|
YES
0.1 /
0.1
|