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