benchmark name	result LoAT ADCL	time LoAT ADCL	result LoAT '22	time LoAT '22	result T2	time T2	result VeryMax	time VeryMax	result iRankFinder	time iRankFinder
Integer_Transition_Systems/From_AProVE_2014/AG313.jar-obl-8.smt2	unknown	0.09	unknown	0.11	yes	0.45	yes	0.04	yes	0.52
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Iterate.jar-obl-9.smt2	unknown	300.07	unknown	0.11	yes	0.6	yes	0.1	yes	0.91
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Length.jar-obl-9.smt2	unknown	0.66	unknown	0.08	yes	0.57	yes	0.08	yes	0.72
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Visit.jar-obl-9.smt2	no	0.05	no	0.09	no	0.6	no	7.2	unknown	3.51
Integer_Transition_Systems/From_AProVE_2014/AProVEMath.jar-obl-8.smt2	unknown	0.11	unknown	0.14	yes	0.45	yes	0.05	yes	0.93
Integer_Transition_Systems/From_AProVE_2014/AProVEMathRecursive.jar-obl-8.smt2	unknown	0.32	unknown	0.2	yes	0.48	yes	0.04	yes	1.54
Integer_Transition_Systems/From_AProVE_2014/AckR.jar-obl-8.smt2	unknown	300.09	unknown	0.11	yes	0.46	yes	0.04	yes	0.81
Integer_Transition_Systems/From_AProVE_2014/Ackermann.jar-obl-8.smt2	unknown	300.04	unknown	0.1	yes	0.46	yes	0.02	yes	0.74
Integer_Transition_Systems/From_AProVE_2014/Alternate.jar-obl-10.smt2	unknown	300.03	unknown	2.41	yes	0.69	unknown	36.59	yes	8.65
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce.jar-obl-9.smt2	unknown	0.07	unknown	0.06	unknown	20.2	yes	0.07	yes	2.64
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce2.jar-obl-9.smt2	no	0.08	unknown	0.09	unknown	13.38	unknown	36.4	unknown	6.09
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec.jar-obl-9.smt2	unknown	0.09	unknown	0.09	unknown	29.98	yes	0.05	yes	2.72
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec2.jar-obl-9.smt2	no	0.08	unknown	0.1	unknown	21.4	unknown	36.32	unknown	6.83
Integer_Transition_Systems/From_AProVE_2014/AppE.jar-obl-9.smt2	unknown	0.1	unknown	0.11	yes	0.46	yes	0.05	yes	0.85
Integer_Transition_Systems/From_AProVE_2014/Avg.jar-obl-8.smt2	unknown	0.12	unknown	0.07	yes	0.42	yes	0.04	yes	0.58
Integer_Transition_Systems/From_AProVE_2014/BMOG_CAV_12_MarkingGraphVisitor.jar-obl-11.smt2	no	0.61	no	0.63	no	3.56	unknown	10.38	unknown	11.7
Integer_Transition_Systems/From_AProVE_2014/BTree.jar-obl-9.smt2	unknown	209.73	unknown	0.14	yes	0.47	yes	0.06	yes	1.18
Integer_Transition_Systems/From_AProVE_2014/BTreeR.jar-obl-9.smt2	unknown	300.09	unknown	0.25	yes	0.48	yes	0.06	yes	1.45
Integer_Transition_Systems/From_AProVE_2014/BinTreeChanger.jar-obl-10.smt2	unknown	300.1	unknown	1.09	unknown	12.53	unknown	9.63	unknown	11.2
Integer_Transition_Systems/From_AProVE_2014/BinarySearch.jar-obl-9.smt2	unknown	300.02	unknown	253.01	yes	10.52	yes	0.47	yes	36.49
Integer_Transition_Systems/From_AProVE_2014/BinarySearchTree.jar-obl-8.smt2	unknown	0.19	unknown	0.11	yes	0.45	yes	0.05	yes	0.71
Integer_Transition_Systems/From_AProVE_2014/Binomial.jar-obl-9.smt2	unknown	65.72	unknown	1.93	yes	1.9	yes	0.34	yes	4.82
Integer_Transition_Systems/From_AProVE_2014/Break.jar-obl-8.smt2	unknown	0.05	unknown	0.04	yes	0.45	yes	0.04	yes	0.5
Integer_Transition_Systems/From_AProVE_2014/BubbleSort.jar-obl-8.smt2	unknown	300.11	unknown	0.08	yes	0.48	yes	4.05	yes	0.88
Integer_Transition_Systems/From_AProVE_2014/BubbleSortR.jar-obl-10.smt2	unknown	7.44	unknown	0.47	yes	0.53	yes	0.07	yes	2.0
Integer_Transition_Systems/From_AProVE_2014/CAppE.jar-obl-9.smt2	unknown	0.07	unknown	0.06	yes	0.46	yes	0.04	yes	0.66
Integer_Transition_Systems/From_AProVE_2014/Carre.jar-obl-9.smt2	unknown	0.17	unknown	0.17	yes	0.61	yes	0.06	yes	1.39
Integer_Transition_Systems/From_AProVE_2014/Choose.jar-obl-8.smt2	no	0.05	unknown	0.06	no	0.57	no	23.26	no	2.85
Integer_Transition_Systems/From_AProVE_2014/ChooseLife.jar-obl-8.smt2	no	0.05	no	0.04	no	0.73	no	5.66	unknown	3.17
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysis.jar-obl-8.smt2	unknown	0.05	unknown	0.05	yes	0.43	yes	0.04	yes	0.58
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysisRec.jar-obl-8.smt2	unknown	0.03	unknown	0.05	yes	0.46	yes	0.02	yes	0.62
Integer_Transition_Systems/From_AProVE_2014/Collatz.jar-obl-8.smt2	unknown	0.08	unknown	0.17	unknown	3.08	unknown	5.23	unknown	108.59
Integer_Transition_Systems/From_AProVE_2014/Continue.jar-obl-8.smt2	no	0.02	no	0.03	no	0.46	no	0.04	no	0.52
Integer_Transition_Systems/From_AProVE_2014/Continue1.jar-obl-8.smt2	unknown	0.06	unknown	0.06	yes	0.45	yes	0.04	yes	0.56
Integer_Transition_Systems/From_AProVE_2014/Convert.jar-obl-9.smt2	no	0.06	no	0.09	no	0.57	no	11.4	no	1.03
Integer_Transition_Systems/From_AProVE_2014/ConvertRec.jar-obl-9.smt2	no	0.07	no	0.38	no	0.73	no	35.69	no	2.15
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10-2.smt2	no	0.09	no	2.23	no	0.72	unknown	34.71	no	2.78
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10.smt2	no	0.07	no	1.27	no	0.61	unknown	28.06	no	1.62
Integer_Transition_Systems/From_AProVE_2014/CountMetaList.jar-obl-9.smt2	no	0.04	no	0.17	no	0.61	no	20.36	unknown	4.71
Integer_Transition_Systems/From_AProVE_2014/CountMetaListRec.jar-obl-9.smt2	no	0.07	no	0.18	no	0.56	no	20.4	unknown	5.08
Integer_Transition_Systems/From_AProVE_2014/CountUpRound.jar-obl-8.smt2	unknown	0.07	unknown	0.09	yes	0.44	yes	0.05	yes	0.79
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysis.jar-obl-10.smt2	unknown	300.03	unknown	0.24	yes	0.49	yes	0.07	yes	1.23
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysisRec.jar-obl-9.smt2	unknown	0.28	unknown	0.14	yes	0.6	yes	0.07	yes	1.6
Integer_Transition_Systems/From_AProVE_2014/CyclicList.jar-obl-9.smt2	unknown	0.12	unknown	0.09	yes	0.47	yes	0.05	yes	0.85
Integer_Transition_Systems/From_AProVE_2014/CyclicPair2.jar-obl-8.smt2	unknown	0.03	unknown	0.04	yes	0.44	yes	0.04	yes	0.5
Integer_Transition_Systems/From_AProVE_2014/CyclicalListDuplicate.jar-obl-9.smt2	no	0.06	no	0.15	unknown	68.17	no	11.27	no	3.11
Integer_Transition_Systems/From_AProVE_2014/Diff.jar-obl-8.smt2	unknown	300.05	unknown	0.13	yes	0.55	yes	0.25	yes	1.55
Integer_Transition_Systems/From_AProVE_2014/Distances.jar-obl-19.smt2	unknown	300.05	unknown	8.51	yes	45.91	unknown	92.21	yes	31.3
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-11.smt2	no	0.12	no	3.4	no	0.76	unknown	44.59	unknown	299.01
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-8.smt2	unknown	0.08	unknown	0.12	yes	0.45	yes	0.02	yes	0.54
Integer_Transition_Systems/From_AProVE_2014/DivMinus2.jar-obl-8.smt2	unknown	0.14	unknown	0.14	yes	0.64	yes	0.07	yes	2.12
Integer_Transition_Systems/From_AProVE_2014/DivTernary.jar-obl-10.smt2	no	0.18	no	45.39	no	1.11	unknown	94.17	no	58.8
Integer_Transition_Systems/From_AProVE_2014/DivTernary2.jar-obl-9.smt2	no	0.08	no	0.26	no	0.55	no	7.81	no	1.49
Integer_Transition_Systems/From_AProVE_2014/DivWithoutMinus.jar-obl-8.smt2	unknown	0.39	unknown	0.19	yes	0.45	yes	0.05	yes	0.7
Integer_Transition_Systems/From_AProVE_2014/Domino.jar-obl-27.smt2	unknown	300.1	unknown	274.87	yes	38.06	unknown	47.45	unknown	299.01
Integer_Transition_Systems/From_AProVE_2014/Double.jar-obl-8.smt2	unknown	0.07	unknown	0.06	yes	0.45	yes	0.05	yes	0.61
Integer_Transition_Systems/From_AProVE_2014/Double2.jar-obl-8.smt2	unknown	0.05	unknown	0.03	yes	0.44	yes	0.04	yes	0.5
Integer_Transition_Systems/From_AProVE_2014/Double3.jar-obl-8.smt2	unknown	0.05	unknown	0.03	yes	0.45	yes	0.04	yes	0.5
Integer_Transition_Systems/From_AProVE_2014/DupTreeRec.jar-obl-9.smt2	unknown	300.12	unknown	0.19	yes	0.54	yes	0.15	yes	1.76
Integer_Transition_Systems/From_AProVE_2014/Duplicate.jar-obl-8.smt2	unknown	0.1	unknown	0.09	yes	0.43	yes	0.02	yes	0.49
Integer_Transition_Systems/From_AProVE_2014/DuplicateNodes.jar-obl-9.smt2	unknown	300.06	unknown	0.44	yes	0.5	yes	0.08	yes	1.87
Integer_Transition_Systems/From_AProVE_2014/DuplicateTreePath.jar-obl-9.smt2	unknown	300.04	unknown	1.06	yes	0.53	yes	0.1	yes	2.52
Integer_Transition_Systems/From_AProVE_2014/EqUserDefRec.jar-obl-8.smt2	unknown	0.05	unknown	0.06	yes	0.44	yes	0.04	yes	0.49
Integer_Transition_Systems/From_AProVE_2014/Et1-rec.jar-obl-8.smt2	unknown	0.11	unknown	0.14	yes	0.58	yes	11.11	yes	0.68
Integer_Transition_Systems/From_AProVE_2014/Et1.jar-obl-8.smt2	unknown	0.1	unknown	0.12	yes	0.57	yes	11.15	yes	0.52
Integer_Transition_Systems/From_AProVE_2014/Et2-rec.jar-obl-8.smt2	unknown	0.18	unknown	0.19	yes	0.79	yes	0.14	yes	0.85
Integer_Transition_Systems/From_AProVE_2014/Et2.jar-obl-8.smt2	unknown	0.2	unknown	0.19	yes	1.19	yes	1.21	yes	1.02
Integer_Transition_Systems/From_AProVE_2014/Et3-rec.jar-obl-8.smt2	unknown	0.12	unknown	0.14	yes	0.59	yes	12.64	yes	0.64
Integer_Transition_Systems/From_AProVE_2014/Et3.jar-obl-9.smt2	unknown	0.14	unknown	0.16	yes	0.67	yes	9.41	yes	0.64
Integer_Transition_Systems/From_AProVE_2014/Et4-rec.jar-obl-8.smt2	unknown	0.21	unknown	0.26	yes	0.98	yes	19.37	yes	0.97
Integer_Transition_Systems/From_AProVE_2014/Et4.jar-obl-8.smt2	unknown	0.24	unknown	0.28	yes	1.21	yes	46.64	yes	1.14
Integer_Transition_Systems/From_AProVE_2014/Et5-rec.jar-obl-8.smt2	unknown	0.55	unknown	0.21	yes	0.49	yes	0.07	yes	1.17
Integer_Transition_Systems/From_AProVE_2014/Et5.jar-obl-8.smt2	unknown	0.56	unknown	0.2	yes	0.49	yes	0.12	yes	1.24
Integer_Transition_Systems/From_AProVE_2014/Et6-rec.jar-obl-8.smt2	unknown	0.09	unknown	0.28	yes	0.49	yes	0.04	yes	1.16
Integer_Transition_Systems/From_AProVE_2014/Et6.jar-obl-8.smt2	unknown	0.1	unknown	0.22	yes	0.48	yes	0.17	yes	1.25
Integer_Transition_Systems/From_AProVE_2014/EvenOdd.jar-obl-8.smt2	no	0.05	no	0.07	no	0.52	no	25.18	no	1.0
Integer_Transition_Systems/From_AProVE_2014/Exc.jar-obl-8.smt2	unknown	0.04	unknown	0.18	yes	0.45	yes	0.07	yes	0.58
Integer_Transition_Systems/From_AProVE_2014/Exc1.jar-obl-8.smt2	no	0.05	no	0.07	no	0.56	no	0.06	unknown	3.39
Integer_Transition_Systems/From_AProVE_2014/Exc2.jar-obl-8.smt2	no	0.05	no	0.06	no	0.58	no	0.52	unknown	3.48
Integer_Transition_Systems/From_AProVE_2014/Exc3.jar-obl-8.smt2	unknown	0.06	unknown	0.06	yes	0.45	yes	0.04	yes	0.57
Integer_Transition_Systems/From_AProVE_2014/Exc4.jar-obl-8.smt2	no	0.06	no	0.07	no	0.6	no	0.53	unknown	3.56
Integer_Transition_Systems/From_AProVE_2014/Exc5.jar-obl-8.smt2	unknown	0.06	unknown	0.06	yes	0.43	yes	0.05	yes	0.58
Integer_Transition_Systems/From_AProVE_2014/FactSLR.jar-obl-8.smt2	unknown	0.08	unknown	0.09	yes	0.9	yes	0.06	yes	0.71
Integer_Transition_Systems/From_AProVE_2014/FactSum.jar-obl-9.smt2	unknown	0.07	unknown	0.05	yes	0.45	yes	0.04	yes	0.63
Integer_Transition_Systems/From_AProVE_2014/FactSumList.jar-obl-8.smt2	unknown	0.13	unknown	0.13	yes	0.5	yes	0.08	yes	0.83
Integer_Transition_Systems/From_AProVE_2014/Factorial.jar-obl-8.smt2	unknown	0.05	unknown	0.04	yes	0.44	yes	0.04	yes	0.5
Integer_Transition_Systems/From_AProVE_2014/FibSLR.jar-obl-8.smt2	unknown	0.09	unknown	0.15	yes	0.9	yes	0.24	yes	0.94
Integer_Transition_Systems/From_AProVE_2014/Fibonacci.jar-obl-8.smt2	unknown	2.37	unknown	0.09	yes	0.43	yes	0.02	yes	0.79
Integer_Transition_Systems/From_AProVE_2014/Flatten.jar-obl-10.smt2	no	0.07	no	1.14	no	0.72	unknown	60.37	no	1.49
Integer_Transition_Systems/From_AProVE_2014/FlattenRTA.jar-obl-10.smt2	no	0.07	no	1.52	no	0.77	unknown	64.3	no	1.77
Integer_Transition_Systems/From_AProVE_2014/FlattenTree.jar-obl-9.smt2	no	0.07	no	1.23	no	0.63	unknown	38.27	no	1.56
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeListRec.jar-obl-10.smt2	no	0.07	no	2.11	no	0.77	unknown	55.19	no	1.52
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeRec.jar-obl-9.smt2	no	0.06	no	1.04	no	0.56	unknown	35.4	no	1.41
Integer_Transition_Systems/From_AProVE_2014/Fractale1.jar-obl-8.smt2	unknown	0.14	unknown	1.63	yes	0.52	yes	0.28	yes	2.86
Integer_Transition_Systems/From_AProVE_2014/GCD.jar-obl-8.smt2	unknown	12.96	unknown	1.34	yes	0.47	yes	0.06	yes	0.94
Integer_Transition_Systems/From_AProVE_2014/GCD2.jar-obl-8.smt2	unknown	9.35	unknown	0.77	yes	0.44	yes	0.03	yes	0.88
Integer_Transition_Systems/From_AProVE_2014/GCD3.jar-obl-8.smt2	unknown	11.45	unknown	1.08	yes	0.45	yes	0.05	yes	0.68
Integer_Transition_Systems/From_AProVE_2014/GCD4.jar-obl-8.smt2	unknown	10.03	unknown	1.09	yes	0.45	yes	0.05	yes	0.69
Integer_Transition_Systems/From_AProVE_2014/GCD5.jar-obl-8.smt2	unknown	10.98	unknown	0.2	unknown	0.48	unknown	5.1	unknown	3.18
Integer_Transition_Systems/From_AProVE_2014/Gopher.jar-obl-10.smt2	unknown	300.06	unknown	0.76	yes	0.53	yes	0.09	yes	1.8
Integer_Transition_Systems/From_AProVE_2014/Graph.jar-obl-17.smt2	unknown	300.06	unknown	10.8	unknown	31.32	unknown	65.53	unknown	116.0
Integer_Transition_Systems/From_AProVE_2014/GrowTreeR.jar-obl-9.smt2	unknown	300.04	unknown	0.25	yes	0.53	yes	0.16	yes	1.89
Integer_Transition_Systems/From_AProVE_2014/HanR.jar-obl-8.smt2	unknown	1.29	unknown	0.06	yes	0.45	yes	0.04	yes	0.63
Integer_Transition_Systems/From_AProVE_2014/Hanoi.jar-obl-8.smt2	unknown	0.03	unknown	0.03	yes	0.43	yes	0.04	yes	0.51
Integer_Transition_Systems/From_AProVE_2014/Infix2Postfix.jar-obl-11.smt2	unknown	300.12	unknown	3.28	yes	0.74	yes	0.13	yes	5.02
Integer_Transition_Systems/From_AProVE_2014/Init.jar-obl-8.smt2	no	0.05	no	0.03	no	0.44	no	0.04	no	0.52
Integer_Transition_Systems/From_AProVE_2014/IntListDupRec.jar-obl-9.smt2	unknown	0.09	unknown	0.15	yes	0.48	yes	0.07	yes	1.12
Integer_Transition_Systems/From_AProVE_2014/IntListSumRec.jar-obl-9.smt2	unknown	0.06	unknown	0.09	yes	0.48	yes	0.05	yes	0.82
Integer_Transition_Systems/From_AProVE_2014/IntRTA.jar-obl-8.smt2	unknown	0.06	unknown	0.07	yes	0.45	yes	0.04	yes	0.53
Integer_Transition_Systems/From_AProVE_2014/Iterations.jar-obl-8.smt2	unknown	0.67	unknown	0.24	yes	1.07	yes	31.01	yes	3.1
Integer_Transition_Systems/From_AProVE_2014/Kernel68.jar-obl-9.smt2	unknown	300.05	unknown	0.61	yes	1.09	yes	0.52	yes	6.35
Integer_Transition_Systems/From_AProVE_2014/Kernel88.jar-obl-9.smt2	unknown	0.08	unknown	0.21	yes	0.54	yes	0.06	yes	1.04
Integer_Transition_Systems/From_AProVE_2014/Kernel93.jar-obl-9.smt2	no	0.06	unknown	0.28	unknown	1.69	no	9.23	no	1.8
Integer_Transition_Systems/From_AProVE_2014/Kernel95.jar-obl-9.smt2	unknown	0.96	unknown	0.52	yes	0.56	yes	0.08	yes	1.76
Integer_Transition_Systems/From_AProVE_2014/KnapsackDP.jar-obl-11.smt2	no	0.09	unknown	0.97	unknown	15.85	no	134.19	unknown	66.19
Integer_Transition_Systems/From_AProVE_2014/LeUserDefRec.jar-obl-8.smt2	unknown	0.05	unknown	0.06	yes	0.44	yes	0.04	yes	0.49
Integer_Transition_Systems/From_AProVE_2014/LessLeaves.jar-obl-10.smt2	no	0.1	no	1.48	no	0.61	unknown	47.1	unknown	299.01
Integer_Transition_Systems/From_AProVE_2014/LessLeavesRec.jar-obl-10.smt2	no	0.2	no	5.3	no	1.28	unknown	36.92	unknown	299.01
Integer_Transition_Systems/From_AProVE_2014/LinkedList.jar-obl-10.smt2	no	0.06	no	0.14	no	0.54	no	21.85	unknown	4.95
Integer_Transition_Systems/From_AProVE_2014/List.jar-obl-12.smt2	no	0.07	no	0.22	no	0.57	no	36.1	unknown	5.49
Integer_Transition_Systems/From_AProVE_2014/ListContent.jar-obl-9.smt2	no	0.05	no	0.06	no	0.5	no	5.13	no	0.72
Integer_Transition_Systems/From_AProVE_2014/ListContentArbitrary.jar-obl-10.smt2	unknown	0.09	unknown	0.08	yes	0.47	yes	0.05	yes	0.89
Integer_Transition_Systems/From_AProVE_2014/ListContentTail.jar-obl-10.smt2	unknown	0.15	unknown	0.21	yes	0.52	yes	0.06	yes	1.2
Integer_Transition_Systems/From_AProVE_2014/ListDuplicate.jar-obl-9.smt2	unknown	0.07	unknown	0.09	yes	0.44	yes	0.06	yes	0.91
Integer_Transition_Systems/From_AProVE_2014/ListInt.jar-obl-12.smt2	no	0.12	no	1.01	no	0.72	no	5.73	unknown	15.96
Integer_Transition_Systems/From_AProVE_2014/ListReverseAcyclicList.jar-obl-9.smt2	unknown	0.07	unknown	0.07	yes	0.46	yes	0.05	yes	0.61
Integer_Transition_Systems/From_AProVE_2014/ListReverseCyclicList.jar-obl-10.smt2	unknown	0.33	unknown	0.36	yes	0.53	yes	0.07	yes	1.35
Integer_Transition_Systems/From_AProVE_2014/ListReversePanhandleList.jar-obl-11.smt2	unknown	1.1	unknown	0.57	yes	0.55	yes	0.08	yes	1.6
Integer_Transition_Systems/From_AProVE_2014/Log.jar-obl-8.smt2	unknown	0.1	unknown	0.06	unknown	300.04	yes	0.11	yes	2.1
Integer_Transition_Systems/From_AProVE_2014/LogAG.jar-obl-8.smt2	unknown	0.1	unknown	0.07	unknown	300.07	yes	0.1	yes	0.64
Integer_Transition_Systems/From_AProVE_2014/LogBuiltIn.jar-obl-8.smt2	unknown	0.03	unknown	0.05	yes	0.45	yes	0.04	yes	0.57
Integer_Transition_Systems/From_AProVE_2014/LogIterative.jar-obl-8.smt2	unknown	0.12	unknown	0.28	yes	0.45	yes	0.04	yes	0.56
Integer_Transition_Systems/From_AProVE_2014/LogMult.jar-obl-8.smt2	unknown	0.17	unknown	0.14	unknown	0.49	unknown	5.11	unknown	2.86
Integer_Transition_Systems/From_AProVE_2014/LogRecursive.jar-obl-8.smt2	unknown	0.16	unknown	0.3	yes	0.47	yes	0.05	yes	0.92
Integer_Transition_Systems/From_AProVE_2014/Loop.jar-obl-8.smt2	no	0.05	no	0.03	no	0.45	no	0.02	no	0.52
Integer_Transition_Systems/From_AProVE_2014/Loop1.jar-obl-8.smt2	unknown	0.03	unknown	0.05	yes	0.43	yes	0.04	yes	0.56
Integer_Transition_Systems/From_AProVE_2014/LoopingNonterm.jar-obl-8.smt2	no	0.1	no	0.12	no	0.49	no	5.36	no	0.63
Integer_Transition_Systems/From_AProVE_2014/Main.jar-obl-11.smt2	unknown	300.04	unknown	171.82	yes	1.13	unknown	81.49	yes	31.09
Integer_Transition_Systems/From_AProVE_2014/MainCopy.jar-obl-10.smt2	no	0.06	no	0.59	no	0.59	no	5.97	unknown	20.82
Integer_Transition_Systems/From_AProVE_2014/MainDelete.jar-obl-10.smt2	no	0.11	no	0.67	no	0.78	unknown	90.75	unknown	20.73
Integer_Transition_Systems/From_AProVE_2014/MainFind.jar-obl-10.smt2	no	0.08	no	0.67	no	0.67	unknown	37.82	unknown	19.64
Integer_Transition_Systems/From_AProVE_2014/MainGet.jar-obl-10.smt2	no	0.07	no	0.44	no	0.66	no	6.04	unknown	10.41
Integer_Transition_Systems/From_AProVE_2014/MainMove.jar-obl-11.smt2	no	22.5	no	1.03	no	0.99	no	5.51	unknown	23.32
Integer_Transition_Systems/From_AProVE_2014/Matrix.jar-obl-16.smt2	no	0.76	no	3.58	unknown	18.55	unknown	186.45	unknown	299.01
Integer_Transition_Systems/From_AProVE_2014/McCarthyIterative.jar-obl-8.smt2	unknown	2.0	unknown	0.27	yes	0.46	yes	0.11	yes	0.64
Integer_Transition_Systems/From_AProVE_2014/MergeSort.jar-obl-12.smt2	unknown	300.03	unknown	1.08	yes	0.81	yes	0.28	yes	4.39
Integer_Transition_Systems/From_AProVE_2014/MinusBuiltIn.jar-obl-8.smt2	unknown	0.05	unknown	0.05	yes	0.45	yes	0.02	yes	0.51
Integer_Transition_Systems/From_AProVE_2014/MinusMin.jar-obl-8.smt2	unknown	0.07	unknown	0.06	yes	0.54	yes	0.05	yes	0.73
Integer_Transition_Systems/From_AProVE_2014/MinusUserDefined.jar-obl-8.smt2	unknown	0.08	unknown	0.14	unknown	4.67	yes	0.09	yes	0.88
Integer_Transition_Systems/From_AProVE_2014/MirrorBinTreeRec.jar-obl-9.smt2	unknown	300.03	unknown	1.38	yes	0.62	unknown	34.68	yes	5.98
Integer_Transition_Systems/From_AProVE_2014/MirrorMultiTreeRec.jar-obl-9.smt2	unknown	300.05	unknown	0.26	yes	0.55	yes	0.18	yes	2.0
Integer_Transition_Systems/From_AProVE_2014/MirrorTree.jar-obl-9.smt2	unknown	300.06	unknown	0.42	yes	0.51	yes	0.07	yes	1.71
Integer_Transition_Systems/From_AProVE_2014/Mod.jar-obl-8.smt2	unknown	0.14	unknown	0.14	yes	0.61	yes	0.06	yes	1.94
Integer_Transition_Systems/From_AProVE_2014/MultiLasso.jar-obl-8.smt2	no	0.04	no	0.07	unknown	300.04	no	19.32	unknown	7.72
Integer_Transition_Systems/From_AProVE_2014/MysteriousProgram.jar-obl-12.smt2	unknown	300.04	unknown	0.99	unknown	21.5	unknown	45.62	unknown	299.01
Integer_Transition_Systems/From_AProVE_2014/NO_00.jar-obl-8.smt2	no	0.04	no	0.03	no	0.44	no	0.04	no	0.53
Integer_Transition_Systems/From_AProVE_2014/NO_01.jar-obl-8.smt2	no	0.05	no	0.03	no	0.46	no	0.04	no	0.5
Integer_Transition_Systems/From_AProVE_2014/NO_02.jar-obl-8.smt2	no	0.02	no	0.04	no	0.46	no	0.04	no	0.53
Integer_Transition_Systems/From_AProVE_2014/NO_03.jar-obl-8.smt2	no	0.05	no	0.06	unknown	1.75	no	0.12	no	0.63
Integer_Transition_Systems/From_AProVE_2014/NO_04.jar-obl-8.smt2	no	0.05	no	0.03	no	0.46	no	0.04	no	0.51
Integer_Transition_Systems/From_AProVE_2014/NO_05.jar-obl-9.smt2	no	0.05	unknown	0.08	unknown	3.42	no	51.14	unknown	12.12
Integer_Transition_Systems/From_AProVE_2014/NO_06.jar-obl-8.smt2	no	0.04	no	0.03	no	0.46	no	0.04	no	0.52
Integer_Transition_Systems/From_AProVE_2014/NO_10.jar-obl-8.smt2	no	0.05	no	0.04	no	0.5	no	63.39	no	0.57
Integer_Transition_Systems/From_AProVE_2014/NO_11.jar-obl-8.smt2	no	0.06	no	0.07	unknown	0.67	no	64.68	unknown	3.78
Integer_Transition_Systems/From_AProVE_2014/NO_12.jar-obl-8.smt2	no	0.11	no	0.09	unknown	300.03	no	53.93	no	0.82
Integer_Transition_Systems/From_AProVE_2014/NO_13.jar-obl-8.smt2	no	0.15	no	0.11	no	0.57	no	24.71	unknown	4.84
Integer_Transition_Systems/From_AProVE_2014/NO_20.jar-obl-8.smt2	no	0.05	no	0.03	no	0.46	no	0.04	no	0.53
Integer_Transition_Systems/From_AProVE_2014/NO_21.jar-obl-8.smt2	no	0.02	no	0.04	no	0.46	no	0.04	no	0.52
Integer_Transition_Systems/From_AProVE_2014/NO_22.jar-obl-8.smt2	no	0.13	no	0.09	no	0.59	no	3.74	unknown	4.3
Integer_Transition_Systems/From_AProVE_2014/NO_23.jar-obl-8.smt2	no	0.05	no	0.06	unknown	1.34	no	25.14	no	3.22
Integer_Transition_Systems/From_AProVE_2014/NO_24.jar-obl-8.smt2	no	0.05	no	0.05	no	0.5	no	2.99	unknown	3.41
Integer_Transition_Systems/From_AProVE_2014/Nest.jar-obl-8.smt2	unknown	0.06	unknown	0.06	yes	0.45	yes	0.02	yes	0.72
Integer_Transition_Systems/From_AProVE_2014/Nested.jar-obl-8.smt2	unknown	0.09	unknown	0.06	yes	0.47	yes	0.22	yes	0.7
Integer_Transition_Systems/From_AProVE_2014/NestedLoop.jar-obl-10.smt2	unknown	300.04	unknown	0.18	yes	1.71	yes	0.15	yes	1.49
Integer_Transition_Systems/From_AProVE_2014/NonPeriodicNonterm2.jar-obl-8.smt2	no	0.1	no	0.17	unknown	3.18	no	18.41	unknown	6.81
Integer_Transition_Systems/From_AProVE_2014/Norm.jar-obl-9.smt2	no	0.06	no	2.45	no	0.76	unknown	39.62	no	7.41
Integer_Transition_Systems/From_AProVE_2014/Overflow.jar-obl-8.smt2	unknown	0.05	unknown	0.04	yes	0.43	yes	0.04	yes	0.49
Integer_Transition_Systems/From_AProVE_2014/PartitionList.jar-obl-16.smt2	unknown	300.06	unknown	4.6	yes	2.01	yes	0.7	yes	12.48
Integer_Transition_Systems/From_AProVE_2014/Parts.jar-obl-9.smt2	unknown	300.02	unknown	2.42	yes	0.51	yes	0.09	yes	2.13
Integer_Transition_Systems/From_AProVE_2014/PastaA1.jar-obl-8.smt2	unknown	0.09	unknown	0.06	yes	0.47	yes	0.04	yes	0.68
Integer_Transition_Systems/From_AProVE_2014/PastaA10.jar-obl-8.smt2	unknown	0.06	unknown	0.06	unknown	2.87	yes	0.06	yes	1.36
Integer_Transition_Systems/From_AProVE_2014/PastaA4.jar-obl-8.smt2	unknown	0.03	unknown	0.05	yes	0.45	yes	0.04	yes	0.49
Integer_Transition_Systems/From_AProVE_2014/PastaA5.jar-obl-8.smt2	unknown	0.05	unknown	0.05	yes	0.54	yes	0.06	yes	0.53
Integer_Transition_Systems/From_AProVE_2014/PastaA6.jar-obl-8.smt2	unknown	0.05	unknown	0.06	yes	0.56	yes	0.04	yes	0.52
Integer_Transition_Systems/From_AProVE_2014/PastaA7.jar-obl-8.smt2	unknown	0.06	unknown	0.05	yes	0.44	yes	0.04	yes	0.5
Integer_Transition_Systems/From_AProVE_2014/PastaA8.jar-obl-8.smt2	unknown	0.05	unknown	0.05	yes	0.45	yes	0.04	yes	0.51
Integer_Transition_Systems/From_AProVE_2014/PastaA9.jar-obl-8.smt2	unknown	0.1	unknown	0.1	yes	0.45	yes	0.04	yes	0.52
Integer_Transition_Systems/From_AProVE_2014/PastaB1.jar-obl-8.smt2	unknown	0.05	unknown	0.04	yes	0.42	yes	0.04	yes	0.5
Integer_Transition_Systems/From_AProVE_2014/PastaB10.jar-obl-8.smt2	unknown	0.07	unknown	0.09	yes	0.44	yes	0.06	yes	0.66
Integer_Transition_Systems/From_AProVE_2014/PastaB11.jar-obl-8.smt2	unknown	0.34	unknown	0.12	yes	0.61	yes	0.26	yes	0.74
Integer_Transition_Systems/From_AProVE_2014/PastaB12.jar-obl-8.smt2	unknown	0.07	unknown	0.07	yes	0.43	yes	0.04	yes	0.59
Integer_Transition_Systems/From_AProVE_2014/PastaB13.jar-obl-8.smt2	unknown	0.1	unknown	0.09	yes	0.48	yes	0.04	yes	2.4
Integer_Transition_Systems/From_AProVE_2014/PastaB14.jar-obl-8.smt2	unknown	0.06	unknown	0.06	yes	0.47	yes	0.04	yes	0.67
Integer_Transition_Systems/From_AProVE_2014/PastaB15.jar-obl-8.smt2	unknown	0.06	unknown	0.06	yes	0.47	yes	0.04	yes	0.71
Integer_Transition_Systems/From_AProVE_2014/PastaB16.jar-obl-8.smt2	unknown	0.11	unknown	0.08	yes	0.46	yes	0.04	yes	0.63
Integer_Transition_Systems/From_AProVE_2014/PastaB17.jar-obl-8.smt2	unknown	0.11	unknown	0.09	yes	0.48	yes	0.03	yes	0.68
Integer_Transition_Systems/From_AProVE_2014/PastaB18.jar-obl-8.smt2	unknown	0.05	unknown	0.08	yes	0.46	yes	0.03	yes	0.87
Integer_Transition_Systems/From_AProVE_2014/PastaB2.jar-obl-8.smt2	unknown	0.03	unknown	0.05	yes	0.45	yes	0.04	yes	0.51
Integer_Transition_Systems/From_AProVE_2014/PastaB3.jar-obl-8.smt2	unknown	0.03	unknown	0.1	yes	0.44	yes	0.04	yes	0.51
Integer_Transition_Systems/From_AProVE_2014/PastaB4.jar-obl-8.smt2	unknown	0.05	unknown	0.04	yes	0.44	yes	0.04	yes	0.52
Integer_Transition_Systems/From_AProVE_2014/PastaB5.jar-obl-8.smt2	unknown	0.05	unknown	0.06	yes	0.45	yes	0.04	yes	0.54
Integer_Transition_Systems/From_AProVE_2014/PastaB6.jar-obl-8.smt2	unknown	0.05	unknown	0.05	yes	0.45	yes	0.04	yes	0.51
Integer_Transition_Systems/From_AProVE_2014/PastaB7.jar-obl-8.smt2	unknown	0.06	unknown	0.06	yes	0.45	yes	0.04	yes	0.52
Integer_Transition_Systems/From_AProVE_2014/PastaB8.jar-obl-8.smt2	unknown	0.08	unknown	0.11	yes	0.44	yes	0.04	yes	0.78
Integer_Transition_Systems/From_AProVE_2014/PastaC1.jar-obl-8.smt2	unknown	0.15	unknown	0.11	yes	0.47	yes	0.03	yes	0.62
Integer_Transition_Systems/From_AProVE_2014/PastaC10.jar-obl-8.smt2	unknown	0.1	unknown	0.1	yes	0.6	yes	0.07	yes	0.56
Integer_Transition_Systems/From_AProVE_2014/PastaC11.jar-obl-8.smt2	unknown	0.07	unknown	0.07	yes	0.43	yes	0.05	yes	0.72
Integer_Transition_Systems/From_AProVE_2014/PastaC2.jar-obl-8.smt2	unknown	0.09	unknown	0.06	yes	0.46	yes	0.05	yes	0.63
Integer_Transition_Systems/From_AProVE_2014/PastaC3.jar-obl-8.smt2	unknown	2.67	unknown	0.09	yes	0.43	yes	0.02	yes	0.65
Integer_Transition_Systems/From_AProVE_2014/PastaC5.jar-obl-8.smt2	unknown	11.64	unknown	1.1	yes	0.45	yes	0.05	yes	0.58
Integer_Transition_Systems/From_AProVE_2014/PastaC7.jar-obl-8.smt2	unknown	0.06	unknown	0.05	yes	0.44	yes	0.04	yes	0.53
Integer_Transition_Systems/From_AProVE_2014/PastaC9.jar-obl-8.smt2	unknown	2.12	unknown	0.08	yes	0.47	yes	0.05	yes	0.74
Integer_Transition_Systems/From_AProVE_2014/PlusSwap.jar-obl-8.smt2	unknown	1.73	unknown	0.05	yes	0.53	yes	0.05	yes	0.5
Integer_Transition_Systems/From_AProVE_2014/Power.jar-obl-10.smt2	unknown	300.02	unknown	0.38	yes	0.55	yes	10.47	yes	2.2
Integer_Transition_Systems/From_AProVE_2014/Queen.jar-obl-10.smt2	no	0.03	no	0.19	no	1.62	unknown	23.38	unknown	299.01
Integer_Transition_Systems/From_AProVE_2014/QuicksortRec.jar-obl-9.smt2	unknown	300.06	unknown	1.17	yes	0.66	yes	0.54	yes	4.33
Integer_Transition_Systems/From_AProVE_2014/RSA.jar-obl-17.smt2	unknown	300.06	unknown	252.11	unknown	8.4	unknown	31.58	unknown	64.21
Integer_Transition_Systems/From_AProVE_2014/RandomHard.jar-obl-10.smt2	no	0.52	no	12.65	unknown	0.79	unknown	27.86	unknown	299.01
Integer_Transition_Systems/From_AProVE_2014/Recursions.jar-obl-13.smt2	unknown	0.59	unknown	0.15	yes	0.56	yes	0.06	yes	1.31
Integer_Transition_Systems/From_AProVE_2014/RetValRec.jar-obl-8.smt2	unknown	0.06	unknown	0.06	yes	0.44	yes	5.1	yes	3.1
Integer_Transition_Systems/From_AProVE_2014/RotateTree.jar-obl-10.smt2	unknown	300.07	unknown	0.8	yes	0.48	yes	0.07	yes	1.99
Integer_Transition_Systems/From_AProVE_2014/Round3.jar-obl-8.smt2	unknown	0.06	unknown	0.06	yes	0.8	unknown	36.36	unknown	3.7
Integer_Transition_Systems/From_AProVE_2014/RunningPointers.jar-obl-9.smt2	unknown	0.07	unknown	0.06	yes	0.46	yes	0.05	yes	0.69
Integer_Transition_Systems/From_AProVE_2014/Samefringe.jar-obl-10.smt2	no	0.09	no	1.13	no	0.61	no	5.53	unknown	13.95
Integer_Transition_Systems/From_AProVE_2014/SearchTreeR.jar-obl-9.smt2	unknown	300.05	unknown	0.61	yes	0.49	yes	0.08	yes	1.61
Integer_Transition_Systems/From_AProVE_2014/Sequence.jar-obl-9.smt2	unknown	0.04	unknown	0.06	yes	0.44	yes	0.06	yes	0.6
Integer_Transition_Systems/From_AProVE_2014/Sharing.jar-obl-8.smt2	unknown	0.05	unknown	0.04	yes	0.44	yes	0.04	yes	0.48
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysis.jar-obl-9.smt2	unknown	300.1	unknown	0.08	yes	0.46	yes	0.05	yes	0.76
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysisRec.jar-obl-9.smt2	unknown	0.08	unknown	0.08	yes	0.49	yes	0.05	yes	0.93
Integer_Transition_Systems/From_AProVE_2014/SharingPair.jar-obl-8.smt2	no	0.05	no	0.1	no	0.5	no	5.4	no	5.14
Integer_Transition_Systems/From_AProVE_2014/Shuffle.jar-obl-10.smt2	no	0.07	no	0.13	no	0.6	unknown	35.62	unknown	5.14
Integer_Transition_Systems/From_AProVE_2014/SortCount.jar-obl-10.smt2	unknown	300.05	unknown	0.47	unknown	71.13	yes	1.35	unknown	40.81
Integer_Transition_Systems/From_AProVE_2014/StupidArray.jar-obl-8.smt2	unknown	0.04	unknown	0.05	yes	0.42	yes	0.04	yes	0.5
Integer_Transition_Systems/From_AProVE_2014/Sudoku.jar-obl-14.smt2	unknown	300.11	unknown	1.05	yes	10.34	yes	1.08	yes	7.64
Integer_Transition_Systems/From_AProVE_2014/Swingers.jar-obl-8.smt2	no	0.03	no	0.05	no	0.48	no	5.48	unknown	3.26
Integer_Transition_Systems/From_AProVE_2014/Take.jar-obl-8.smt2	unknown	0.06	unknown	0.08	yes	0.45	yes	0.05	yes	0.59
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesIte.jar-obl-13.smt2	unknown	0.3	unknown	11.31	yes	1.78	unknown	51.08	yes	6.7
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesRec.jar-obl-13.smt2	unknown	5.16	unknown	9.01	yes	1.62	unknown	52.76	yes	5.46
Integer_Transition_Systems/From_AProVE_2014/TermCreateCollect.jar-obl-9.smt2	unknown	5.57	unknown	0.17	yes	0.51	yes	0.07	yes	1.31
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec01.jar-obl-8.smt2	unknown	300.03	unknown	0.08	yes	0.46	yes	0.07	yes	0.82
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec02.jar-obl-8.smt2	unknown	0.05	unknown	0.04	yes	0.45	yes	0.04	yes	0.49
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec03.jar-obl-8.smt2	no	0.05	no	0.07	unknown	2.67	no	5.09	no	0.66
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec04.jar-obl-9.smt2	no	0.06	no	0.05	no	0.5	no	18.13	no	0.64
Integer_Transition_Systems/From_AProVE_2014/TermsCreateMatch.jar-obl-9.smt2	unknown	5.5	unknown	0.47	yes	0.64	yes	0.11	yes	2.33
Integer_Transition_Systems/From_AProVE_2014/Test1.jar-obl-8.smt2	unknown	8.76	unknown	0.59	unknown	0.98	yes	23.42	yes	1.07
Integer_Transition_Systems/From_AProVE_2014/Test10.jar-obl-9.smt2	unknown	0.33	unknown	0.1	yes	0.49	yes	0.05	yes	0.81
Integer_Transition_Systems/From_AProVE_2014/Test11.jar-obl-8.smt2	unknown	300.03	unknown	2.29	yes	0.7	yes	0.29	yes	1.41
Integer_Transition_Systems/From_AProVE_2014/Test12.jar-obl-8.smt2	unknown	2.69	unknown	1.39	yes	1.11	yes	0.07	yes	1.08
Integer_Transition_Systems/From_AProVE_2014/Test13Loops.jar-obl-10.smt2	no	0.07	no	0.21	unknown	1.99	no	67.1	no	1.13
Integer_Transition_Systems/From_AProVE_2014/Test2.jar-obl-8.smt2	unknown	35.74	unknown	0.21	unknown	0.63	yes	11.16	yes	1.4
Integer_Transition_Systems/From_AProVE_2014/Test3.jar-obl-10.smt2	unknown	300.03	unknown	0.53	yes	2.49	yes	0.26	yes	2.96
Integer_Transition_Systems/From_AProVE_2014/Test4.jar-obl-10.smt2	no	0.44	no	12.67	unknown	82.26	unknown	41.2	unknown	299.01
Integer_Transition_Systems/From_AProVE_2014/Test5.jar-obl-11.smt2	unknown	12.75	unknown	0.73	yes	1.53	yes	1.17	yes	4.07
Integer_Transition_Systems/From_AProVE_2014/Test6.jar-obl-13.smt2	unknown	300.04	unknown	26.58	unknown	300.03	unknown	70.93	unknown	299.01
Integer_Transition_Systems/From_AProVE_2014/Test7.jar-obl-11.smt2	no	0.08	no	0.2	no	0.65	unknown	81.26	unknown	6.02
Integer_Transition_Systems/From_AProVE_2014/Test8.jar-obl-12.smt2	unknown	0.16	unknown	0.11	yes	1.19	yes	0.1	yes	1.03
Integer_Transition_Systems/From_AProVE_2014/Test9.jar-obl-20.smt2	unknown	1.83	unknown	0.4	yes	0.67	yes	0.08	yes	2.26
Integer_Transition_Systems/From_AProVE_2014/TestJulia6.jar-obl-8.smt2	no	0.03	no	0.04	no	0.46	no	0.04	no	0.53
Integer_Transition_Systems/From_AProVE_2014/TestJulia7.jar-obl-8.smt2	no	0.05	no	0.04	no	0.48	no	5.1	unknown	2.66
Integer_Transition_Systems/From_AProVE_2014/TimesPlusUserDef.jar-obl-9.smt2	unknown	0.19	unknown	0.08	yes	0.45	yes	0.05	yes	0.89
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostDepth.jar-obl-9.smt2	unknown	300.04	unknown	1.65	yes	0.51	yes	0.09	yes	2.01
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostPath.jar-obl-9.smt2	unknown	300.08	unknown	1.67	yes	0.5	yes	0.09	yes	1.98
Integer_Transition_Systems/From_AProVE_2014/TriTas.jar-obl-12.smt2	no	0.07	no	0.33	no	3.62	no	63.53	no	59.8
Integer_Transition_Systems/From_AProVE_2014/TwoWay.jar-obl-8.smt2	unknown	0.05	unknown	0.04	yes	0.45	yes	0.04	yes	0.51
Integer_Transition_Systems/From_AProVE_2014/TypeSwitch.jar-obl-8.smt2	no	0.06	no	0.21	no	0.5	no	5.28	no	0.91
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDiv.jar-obl-8.smt2	no	0.05	no	0.06	unknown	2.78	no	15.23	no	0.71
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWide.jar-obl-8.smt2	no	0.06	no	0.08	no	0.57	no	15.66	no	1.43
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWidening.jar-obl-8.smt2	no	0.07	no	0.1	unknown	11.08	no	48.89	no	1.85
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternKonv.jar-obl-8.smt2	no	0.05	no	0.13	unknown	14.65	unknown	22.32	no	1.16
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternatingIncr.jar-obl-8.smt2	unknown	0.08	unknown	0.09	unknown	0.87	no	5.19	no	133.38
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-collatz.jar-obl-8.smt2	unknown	0.08	unknown	0.17	unknown	3.24	unknown	5.19	unknown	108.46
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv.jar-obl-8.smt2	no	0.16	no	0.16	unknown	0.7	unknown	18.24	unknown	2.85
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv2.jar-obl-8.smt2	no	0.05	no	0.06	no	0.5	no	5.09	no	0.66
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv3.jar-obl-8.smt2	no	0.04	no	0.05	no	0.48	no	18.19	no	0.68
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complxStruc.jar-obl-8.smt2	unknown	3.88	unknown	0.42	unknown	33.44	no	17.06	unknown	11.68
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-convLower.jar-obl-8.smt2	no	0.05	no	0.07	no	0.52	no	18.7	no	0.78
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-cousot.jar-obl-8.smt2	no	0.06	no	0.17	no	0.5	no	54.54	no	0.67
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-even.jar-obl-9.smt2	no	0.07	no	0.07	no	0.57	no	18.15	no	0.84
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex01.jar-obl-8.smt2	no	0.05	no	0.06	no	0.51	no	18.13	no	0.67
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex02.jar-obl-8.smt2	no	0.05	no	0.05	no	0.49	no	10.5	no	0.8
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex03.jar-obl-8.smt2	no	0.05	no	0.08	no	0.56	no	9.91	no	0.87
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex04.jar-obl-8.smt2	no	0.03	no	0.05	unknown	0.75	no	33.27	no	0.64
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex05.jar-obl-8.smt2	no	0.05	no	0.05	no	0.49	no	5.08	no	0.57
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex06.jar-obl-8.smt2	no	0.06	no	0.14	no	0.69	no	1.52	no	1.35
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex07.jar-obl-9.smt2	no	0.03	no	0.11	no	0.55	no	9.1	no	0.98
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex08.jar-obl-8.smt2	no	0.09	unknown	0.11	unknown	20.89	no	61.91	unknown	299.01
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex09half.jar-obl-8.smt2	no	0.11	no	0.14	no	0.51	unknown	9.19	no	0.95
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-factorial.jar-obl-8.smt2	no	0.21	no	0.82	unknown	1.0	unknown	78.86	unknown	7.17
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-fib.jar-obl-8.smt2	unknown	0.8	unknown	0.07	unknown	2.66	no	119.04	unknown	5.86
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip.jar-obl-8.smt2	no	0.05	no	0.05	no	0.5	no	5.13	no	0.57
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip2.jar-obl-8.smt2	no	0.06	unknown	0.07	unknown	9.77	no	22.65	no	0.94
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-gauss.jar-obl-8.smt2	no	0.07	no	0.08	no	0.59	no	18.15	no	0.91
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-lcm.jar-obl-10.smt2	no	0.08	no	2.54	no	0.81	no	13.53	no	1.46
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie1.jar-obl-8.smt2	no	0.05	no	0.05	no	0.5	no	18.14	no	0.58
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie2.jar-obl-8.smt2	no	0.05	no	0.05	unknown	0.77	no	27.17	no	0.65
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-middle.jar-obl-8.smt2	no	0.05	no	0.12	no	0.51	no	68.4	no	0.7
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorInterv.jar-obl-8.smt2	no	0.06	no	0.13	no	2.01	no	67.93	no	1.56
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorIntervSim.jar-obl-8.smt2	no	0.06	no	0.06	no	0.55	no	36.63	no	0.81
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloLower.jar-obl-8.smt2	no	0.05	no	0.19	unknown	0.51	no	5.1	no	1.16
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloUp.jar-obl-8.smt2	unknown	0.1	unknown	0.24	unknown	0.5	no	5.81	no	2.89
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowKonv.jar-obl-8.smt2	no	0.08	unknown	0.09	unknown	0.83	no	6.63	unknown	21.65
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowing.jar-obl-8.smt2	no	0.15	unknown	0.25	unknown	69.97	no	24.97	unknown	299.01
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-plait.jar-obl-8.smt2	no	0.24	no	0.23	unknown	0.8	unknown	20.74	unknown	299.01
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-sunset.jar-obl-8.smt2	no	0.07	no	0.1	no	0.82	no	48.12	unknown	16.14
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-trueDiv.jar-obl-8.smt2	no	0.05	no	0.06	no	0.48	no	18.15	no	0.61
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-twoFloatInterv.jar-obl-8.smt2	no	0.04	no	0.1	no	0.54	no	2.7	no	1.32
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDown.jar-obl-8.smt2	no	0.07	unknown	0.09	unknown	23.46	no	40.12	unknown	15.02
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDownIneq.jar-obl-8.smt2	no	0.05	unknown	0.09	unknown	5.02	no	39.72	unknown	15.06
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileBreak.jar-obl-8.smt2	no	0.07	no	0.07	no	0.51	no	18.54	no	0.99
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileDecr.jar-obl-8.smt2	unknown	0.05	unknown	0.04	yes	0.44	yes	0.04	yes	0.48
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncr.jar-obl-8.smt2	no	0.05	no	0.05	no	0.48	no	18.1	no	0.57
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncrPart.jar-obl-8.smt2	no	0.06	no	0.06	no	0.5	no	18.21	no	0.69
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNested.jar-obl-8.smt2	no	0.07	no	0.06	no	0.55	no	63.59	no	0.8
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNestedOffset.jar-obl-8.smt2	no	0.07	no	0.06	no	0.54	no	13.17	no	0.79
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whilePart.jar-obl-8.smt2	no	0.05	no	0.06	no	0.53	no	5.09	no	0.7
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSingle.jar-obl-8.smt2	no	0.05	no	0.06	no	0.54	no	4.02	no	0.79
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSum.jar-obl-8.smt2	no	0.06	no	0.17	unknown	2.72	unknown	13.26	no	1.73
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileTrue.jar-obl-8.smt2	no	0.05	no	0.05	unknown	0.76	no	27.18	no	0.62
Integer_Transition_Systems/From_AProVE_2014/Virtual.jar-obl-9.smt2	unknown	0.07	unknown	0.06	yes	0.58	yes	0.04	yes	0.66
Integer_Transition_Systems/From_AProVE_2014/alternDivWide_rec.jar-obl-8.smt2	no	0.05	no	0.08	unknown	13.14	no	11.61	no	0.91
Integer_Transition_Systems/From_AProVE_2014/alternDivWidening_rec.jar-obl-8.smt2	no	0.06	no	0.1	unknown	5.78	no	86.71	no	2.14
Integer_Transition_Systems/From_AProVE_2014/alternDiv_rec.jar-obl-8.smt2	no	0.05	no	0.06	unknown	2.89	no	15.22	no	0.68
Integer_Transition_Systems/From_AProVE_2014/alternKonv_rec.jar-obl-8.smt2	no	0.06	no	0.13	unknown	9.32	unknown	25.94	no	1.13
Integer_Transition_Systems/From_AProVE_2014/complInterv2_rec.jar-obl-8.smt2	no	0.05	no	0.06	no	0.48	no	5.09	no	0.66
Integer_Transition_Systems/From_AProVE_2014/complInterv3_rec.jar-obl-8.smt2	no	0.05	no	0.05	no	0.51	no	18.23	no	0.67
Integer_Transition_Systems/From_AProVE_2014/complxStruc_rec.jar-obl-8.smt2	no	12.0	unknown	0.29	unknown	92.29	no	25.16	unknown	50.04
Integer_Transition_Systems/From_AProVE_2014/convLower_rec.jar-obl-8.smt2	no	0.02	no	0.07	no	0.54	no	18.68	no	0.81
Integer_Transition_Systems/From_AProVE_2014/costa09-example_1.jar-obl-10.smt2	unknown	0.11	unknown	0.11	yes	0.48	yes	0.05	yes	0.91
Integer_Transition_Systems/From_AProVE_2014/costa09-example_2.jar-obl-8.smt2	unknown	0.05	unknown	0.05	yes	0.44	yes	0.04	yes	0.6
Integer_Transition_Systems/From_AProVE_2014/costa09-example_3.jar-obl-8.smt2	unknown	0.05	unknown	0.06	yes	0.43	yes	0.04	yes	0.52
Integer_Transition_Systems/From_AProVE_2014/costa09-example_4.jar-obl-8.smt2	unknown	0.03	unknown	0.05	yes	0.43	yes	0.13	yes	0.55
Integer_Transition_Systems/From_AProVE_2014/costa09-example_5.jar-obl-8.smt2	no	0.04	no	0.03	no	0.46	no	0.04	no	0.52
Integer_Transition_Systems/From_AProVE_2014/cousot_rec.jar-obl-8.smt2	no	0.03	no	0.16	no	0.55	no	220.42	no	0.84
Integer_Transition_Systems/From_AProVE_2014/even_rec.jar-obl-8.smt2	no	0.05	no	0.05	no	0.5	no	18.14	no	0.56
Integer_Transition_Systems/From_AProVE_2014/ex01_rec.jar-obl-8.smt2	no	0.05	no	0.05	no	0.5	no	18.1	no	0.56
Integer_Transition_Systems/From_AProVE_2014/ex02_rec.jar-obl-8.smt2	no	0.05	no	0.07	no	0.51	no	10.49	no	0.76
Integer_Transition_Systems/From_AProVE_2014/ex03_rec.jar-obl-8.smt2	no	0.03	no	0.07	no	0.54	no	10.27	no	0.83
Integer_Transition_Systems/From_AProVE_2014/ex04_rec.jar-obl-8.smt2	no	0.05	no	0.05	no	0.5	no	63.28	no	0.6
Integer_Transition_Systems/From_AProVE_2014/ex05_rec.jar-obl-8.smt2	no	0.05	no	0.04	no	0.49	no	0.04	no	0.58
Integer_Transition_Systems/From_AProVE_2014/ex06_rec.jar-obl-8.smt2	no	0.05	no	0.04	no	0.46	no	0.04	no	0.53
Integer_Transition_Systems/From_AProVE_2014/ex07_rec.jar-obl-8.smt2	no	0.04	no	0.03	no	0.49	no	0.04	no	0.51
Integer_Transition_Systems/From_AProVE_2014/ex08_rec.jar-obl-8.smt2	no	0.13	unknown	0.17	unknown	55.42	no	66.05	unknown	156.22
Integer_Transition_Systems/From_AProVE_2014/flip2_rec.jar-obl-8.smt2	no	0.06	unknown	0.06	unknown	13.34	unknown	35.46	unknown	6.3
Integer_Transition_Systems/From_AProVE_2014/flip_rec.jar-obl-8.smt2	no	0.05	no	0.05	no	0.5	no	5.08	unknown	3.4
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreate.jar-obl-10.smt2	unknown	300.09	unknown	2.02	yes	0.8	unknown	183.36	yes	4.43
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateClear.jar-obl-11.smt2	unknown	300.07	unknown	1.92	yes	0.84	unknown	185.8	yes	4.62
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsKey.jar-obl-11.smt2	unknown	300.08	unknown	2.83	yes	0.94	unknown	183.73	yes	5.84
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsValue.jar-obl-11.smt2	unknown	300.09	unknown	3.07	yes	1.09	unknown	186.3	yes	8.81
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateGet.jar-obl-11.smt2	unknown	300.04	unknown	2.88	yes	0.9	unknown	183.77	yes	5.88
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIsEmpty.jar-obl-10.smt2	unknown	300.09	unknown	1.85	yes	0.75	unknown	186.52	yes	4.3
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorEntryLoop.jar-obl-12.smt2	unknown	300.06	unknown	3.54	yes	1.1	unknown	184.39	yes	6.16
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorKeyLoop.jar-obl-12.smt2	unknown	300.09	unknown	3.56	yes	1.15	unknown	184.45	yes	6.19
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorValueLoop.jar-obl-12.smt2	unknown	300.03	unknown	3.55	yes	1.1	unknown	185.25	yes	6.15
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreatePut.jar-obl-10.smt2	unknown	300.07	unknown	1.59	yes	0.84	unknown	183.24	yes	4.42
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateRemove.jar-obl-11.smt2	unknown	300.03	unknown	4.18	yes	0.94	unknown	185.93	yes	7.2
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateSize.jar-obl-10.smt2	unknown	300.02	unknown	2.08	yes	0.82	unknown	186.67	yes	4.47
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreate.jar-obl-8.smt2	unknown	0.06	unknown	0.26	yes	0.52	yes	0.04	yes	0.78
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAdd.jar-obl-8.smt2	unknown	0.07	unknown	0.28	yes	0.51	yes	0.09	yes	1.02
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAll.jar-obl-11.smt2	unknown	300.03	unknown	5.21	unknown	6.39	unknown	241.04	unknown	299.01
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAllAt.jar-obl-17.smt2	unknown	300.05	unknown	30.04	unknown	26.42	unknown	279.77	unknown	299.01
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAt.jar-obl-10.smt2	unknown	0.56	unknown	0.98	yes	0.83	yes	0.28	yes	5.27
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddFirst.jar-obl-8.smt2	unknown	0.07	unknown	0.28	yes	0.51	yes	0.07	yes	1.02
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddLast.jar-obl-8.smt2	unknown	0.07	unknown	0.27	yes	0.5	yes	0.07	yes	0.97
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateClear.jar-obl-9.smt2	unknown	0.09	unknown	0.33	yes	0.6	yes	0.1	yes	1.23
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContains.jar-obl-16.smt2	unknown	7.92	unknown	16.91	yes	3.67	yes	1.48	yes	21.53
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContainsAll.jar-obl-11.smt2	unknown	300.04	unknown	24.58	yes	17.0	unknown	300.04	yes	38.75
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateDescendingIteratorLoop.jar-obl-13.smt2	unknown	0.45	unknown	1.93	yes	1.11	yes	0.28	yes	4.61
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateElement.jar-obl-8.smt2	unknown	0.09	unknown	0.32	yes	0.52	yes	0.1	yes	1.2
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateEquals.jar-obl-13.smt2	unknown	219.55	unknown	16.65	yes	2.16	yes	1.26	yes	23.18
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGet.jar-obl-10.smt2	unknown	0.18	unknown	0.42	yes	0.64	yes	0.08	yes	1.71
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetFirst.jar-obl-8.smt2	unknown	0.11	unknown	0.33	yes	0.54	yes	0.12	yes	1.47
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetLast.jar-obl-8.smt2	unknown	0.08	unknown	0.3	yes	0.51	yes	0.11	yes	1.22
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIndexOf.jar-obl-16.smt2	unknown	8.11	unknown	16.83	yes	3.65	yes	1.53	yes	21.58
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIsEmpty.jar-obl-8.smt2	unknown	0.07	unknown	0.27	yes	0.5	yes	0.1	yes	1.04
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIteratorLoop.jar-obl-10.smt2	unknown	0.63	unknown	2.02	yes	0.84	yes	0.39	yes	5.65
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateLastIndexOf.jar-obl-16.smt2	unknown	300.09	unknown	32.42	yes	4.05	yes	1.43	yes	36.88
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateListIteratorLoop.jar-obl-10.smt2	unknown	0.63	unknown	2.01	yes	0.85	yes	0.37	yes	5.69
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOffer.jar-obl-8.smt2	unknown	0.07	unknown	0.31	yes	0.52	yes	0.09	yes	1.01
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferFirst.jar-obl-8.smt2	unknown	0.07	unknown	0.26	yes	0.5	yes	0.09	yes	1.03
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferLast.jar-obl-8.smt2	unknown	0.07	unknown	0.26	yes	0.5	yes	0.1	yes	1.02
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeek.jar-obl-8.smt2	unknown	0.06	unknown	0.32	yes	0.52	yes	0.11	yes	1.14
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekFirst.jar-obl-8.smt2	unknown	0.08	unknown	0.32	yes	0.5	yes	0.11	yes	1.21
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekLast.jar-obl-8.smt2	unknown	0.08	unknown	0.32	yes	0.52	yes	0.11	yes	1.15
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePoll.jar-obl-8.smt2	unknown	0.11	unknown	0.31	yes	0.53	yes	0.12	yes	1.5
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollFirst.jar-obl-8.smt2	unknown	0.11	unknown	0.33	yes	0.53	yes	0.12	yes	1.47
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollLast.jar-obl-8.smt2	unknown	0.12	unknown	0.34	yes	0.56	yes	0.19	yes	2.09
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePop.jar-obl-8.smt2	unknown	0.11	unknown	0.33	yes	0.51	yes	0.1	yes	1.53
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePush.jar-obl-8.smt2	unknown	0.07	unknown	0.29	yes	0.48	yes	0.09	yes	1.0
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemove.jar-obl-10.smt2	unknown	1.05	unknown	1.62	yes	1.24	yes	0.43	yes	7.92
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAll.jar-obl-11.smt2	unknown	300.02	unknown	60.68	unknown	123.69	unknown	300.03	unknown	299.01
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAt.jar-obl-10.smt2	unknown	1.02	unknown	1.64	yes	0.92	yes	0.45	yes	7.84
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveElement.jar-obl-16.smt2	unknown	300.03	unknown	37.34	yes	4.79	yes	1.67	yes	46.99
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirst.jar-obl-8.smt2	unknown	0.11	unknown	0.32	yes	0.55	yes	0.12	yes	1.53
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirstOccurrence.jar-obl-16.smt2	unknown	300.06	unknown	37.45	yes	4.83	yes	1.67	yes	46.82
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLast.jar-obl-8.smt2	unknown	0.13	unknown	0.32	yes	0.58	yes	0.19	yes	2.11
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLastOccurrence.jar-obl-16.smt2	unknown	300.1	unknown	36.9	yes	6.32	yes	1.95	yes	48.41
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveRange.jar-obl-14.smt2	unknown	300.05	unknown	8.82	yes	1.99	yes	1.16	yes	13.05
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSet.jar-obl-10.smt2	unknown	0.18	unknown	0.41	yes	0.66	yes	0.14	yes	1.8
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSize.jar-obl-8.smt2	unknown	0.05	unknown	0.27	yes	0.53	yes	0.04	yes	0.79
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSubList.jar-obl-8.smt2	unknown	0.07	unknown	0.3	yes	0.48	yes	0.09	yes	1.0
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateToArray.jar-obl-9.smt2	unknown	0.11	unknown	0.46	yes	0.58	yes	0.12	yes	1.53
Integer_Transition_Systems/From_AProVE_2014/mirrorIntervSim_rec.jar-obl-8.smt2	no	0.06	no	0.07	no	0.61	no	27.44	no	0.81
Integer_Transition_Systems/From_AProVE_2014/mirrorInterv_rec.jar-obl-8.smt2	no	0.06	no	0.12	no	0.61	no	67.94	no	1.89
Integer_Transition_Systems/From_AProVE_2014/narrowKonv_rec.jar-obl-8.smt2	no	0.07	unknown	0.09	unknown	0.84	no	6.62	unknown	21.62
Integer_Transition_Systems/From_AProVE_2014/narrowing_rec.jar-obl-8.smt2	no	0.14	unknown	0.29	unknown	2.07	no	42.14	unknown	299.01
Integer_Transition_Systems/From_AProVE_2014/sumGeneric2_rec.jar-obl-8.smt2	no	0.06	no	0.06	no	0.49	no	24.13	no	0.72
Integer_Transition_Systems/From_AProVE_2014/sumGeneric_rec.jar-obl-8.smt2	no	0.02	no	0.05	no	0.51	no	54.34	no	0.56
Integer_Transition_Systems/From_AProVE_2014/sum_rec.jar-obl-8.smt2	no	0.02	no	0.04	no	0.49	no	23.13	no	0.59
Integer_Transition_Systems/From_AProVE_2014/sunset_rec.jar-obl-8.smt2	no	0.04	no	0.11	no	0.75	no	55.86	unknown	16.06
Integer_Transition_Systems/From_AProVE_2014/trueDiv_rec.jar-obl-8.smt2	no	0.03	no	0.06	no	0.5	no	18.15	no	0.66
Integer_Transition_Systems/From_AProVE_2014/upAndDownIneq_rec.jar-obl-8.smt2	no	0.08	unknown	0.26	unknown	101.36	no	72.98	unknown	299.01
Integer_Transition_Systems/From_AProVE_2014/upAndDown_rec.jar-obl-8.smt2	no	0.08	unknown	0.1	unknown	51.31	no	32.72	unknown	18.94
Integer_Transition_Systems/From_AProVE_2014/whileNestedOffset_rec.jar-obl-9.smt2	no	0.05	no	0.07	no	0.52	no	28.64	no	0.61
Integer_Transition_Systems/From_AProVE_2014/whileNested_rec.jar-obl-9.smt2	no	0.03	no	0.06	no	0.52	no	25.57	no	0.63
Integer_Transition_Systems/From_AProVE_2014/whilePart_rec.jar-obl-8.smt2	no	0.02	no	0.06	no	0.53	no	5.09	no	0.64
Integer_Transition_Systems/From_AProVE_2014/whileSingle_rec.jar-obl-8.smt2	no	0.05	no	0.07	no	0.55	no	4.42	no	0.79
Integer_Transition_Systems/From_T2/1.t2.smt2	no	0.07	no	0.13	no	0.65	no	8.61	no	4.35
Integer_Transition_Systems/From_T2/1394-fail.t2.smt2	no	0.97	no	2.85	no	10.23	no	16.05	no	30.81
Integer_Transition_Systems/From_T2/1394-succeed.t2.smt2	no	0.92	no	2.47	no	9.86	no	16.05	no	28.72
Integer_Transition_Systems/From_T2/1394complete-fail.t2.smt2	no	1.07	no	2.43	no	9.34	no	45.98	no	31.92
Integer_Transition_Systems/From_T2/1394complete-fail.t2_fixed.smt2	no	1.09	no	2.47	no	9.4	no	46.02	no	31.91
Integer_Transition_Systems/From_T2/1394complete-succeed.t2.smt2	no	1.06	no	2.42	no	10.05	no	247.82	no	32.06
Integer_Transition_Systems/From_T2/1394complete-succeed.t2_fixed.smt2	no	1.09	no	2.56	no	10.05	no	247.91	no	32.12
Integer_Transition_Systems/From_T2/2.t2.smt2	no	0.1	no	0.22	no	1.09	no	26.69	unknown	24.9
Integer_Transition_Systems/From_T2/232.t2.smt2	unknown	0.09	unknown	0.06	yes	0.45	yes	0.04	yes	0.76
Integer_Transition_Systems/From_T2/241.t2.smt2	unknown	0.09	unknown	0.06	yes	0.47	yes	0.02	yes	0.71
Integer_Transition_Systems/From_T2/3.t2.smt2	no	0.05	no	0.04	no	0.49	no	0.04	no	0.65
Integer_Transition_Systems/From_T2/5.t2.smt2	unknown	0.04	unknown	0.01	yes	0.34	yes	0.03	yes	0.44
Integer_Transition_Systems/From_T2/6.t2.smt2	no	0.05	no	0.04	no	0.48	no	0.04	no	0.74
Integer_Transition_Systems/From_T2/7.t2.smt2	no	0.05	no	0.04	no	0.5	no	5.07	no	0.74
Integer_Transition_Systems/From_T2/Prim_4.t2.smt2	no	0.1	no	0.49	no	3.03	no	207.93	no	268.14
Integer_Transition_Systems/From_T2/Prim_5.t2.smt2	no	0.13	no	0.45	no	3.02	no	207.94	no	268.49
Integer_Transition_Systems/From_T2/acqrel-fail.t2.smt2	no	0.03	no	0.14	no	0.58	no	9.1	no	1.2
Integer_Transition_Systems/From_T2/acqrel-succeed2.t2.smt2	no	0.05	no	0.14	no	0.55	no	0.05	no	1.17
Integer_Transition_Systems/From_T2/afagp-fail.t2.smt2	no	6.66	no	6.63	no	106.08	no	96.77	unknown	299.01
Integer_Transition_Systems/From_T2/afagp-fail.t2_fixed.smt2	no	8.33	no	7.3	no	50.88	no	37.98	unknown	299.01
Integer_Transition_Systems/From_T2/afagx1.t2.smt2	no	0.06	no	0.06	no	0.51	no	0.02	no	1.01
Integer_Transition_Systems/From_T2/agafp.t2.smt2	no	28.92	no	21.94	no	51.14	unknown	300.02	no	241.9
Integer_Transition_Systems/From_T2/agafp.t2_fixed.smt2	no	32.4	no	21.49	no	83.62	no	115.04	unknown	299.01
Integer_Transition_Systems/From_T2/andrey.t2.smt2	unknown	0.07	unknown	0.04	yes	0.43	yes	0.04	yes	0.56
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2.smt2	no	4.2	no	6.39	no	45.82	unknown	152.21	no	116.54
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2_fixed.smt2	no	4.08	no	5.7	unknown	52.72	unknown	136.05	no	103.86
Integer_Transition_Systems/From_T2/apchild-accepted.t2.smt2	no	4.06	no	6.41	no	45.56	unknown	151.39	no	116.83
Integer_Transition_Systems/From_T2/apchild-accepted.t2_fixed.smt2	no	4.08	no	5.72	unknown	52.7	unknown	136.63	no	103.9
Integer_Transition_Systems/From_T2/apchild-live.t2.smt2	no	5.94	no	9.5	unknown	75.44	unknown	149.67	no	280.36
Integer_Transition_Systems/From_T2/apchild-live.t2_fixed.smt2	no	5.93	no	8.5	no	52.47	unknown	173.98	no	192.43
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2.smt2	no	3.5	no	6.33	no	23.09	unknown	216.39	unknown	299.01
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2_fixed.smt2	no	3.12	no	5.64	no	24.24	no	181.32	unknown	299.01
Integer_Transition_Systems/From_T2/arith.t2.smt2	unknown	0.05	unknown	0.05	yes	0.43	yes	0.03	yes	0.73
Integer_Transition_Systems/From_T2/armc-difficult_defect.t2.smt2	unknown	0.03	unknown	0.04	yes	0.57	yes	0.05	yes	0.62
Integer_Transition_Systems/From_T2/armc-difficult_foo2.t2.smt2	unknown	0.04	unknown	0.01	yes	0.34	yes	0.02	yes	0.41
Integer_Transition_Systems/From_T2/armc-difficult_foo3.t2.smt2	unknown	300.03	unknown	66.22	yes	9.39	yes	8.4	yes	17.9
Integer_Transition_Systems/From_T2/armc-difficult_k.t2.smt2	unknown	0.07	unknown	0.09	yes	2.28	yes	0.15	yes	1.14
Integer_Transition_Systems/From_T2/array.t2.smt2	unknown	0.04	unknown	0.02	yes	0.35	yes	0.02	yes	0.43
Integer_Transition_Systems/From_T2/array2.t2.smt2	unknown	0.05	unknown	0.05	yes	0.45	yes	0.02	yes	0.65
Integer_Transition_Systems/From_T2/array2.t2_fixed.smt2	unknown	0.07	unknown	0.04	yes	0.45	yes	0.04	yes	0.62
Integer_Transition_Systems/From_T2/array3.t2.smt2	unknown	0.08	unknown	0.06	yes	0.47	yes	0.04	yes	0.94
Integer_Transition_Systems/From_T2/array4.t2.smt2	unknown	0.09	unknown	0.06	yes	0.47	yes	0.04	yes	0.9
Integer_Transition_Systems/From_T2/array_free.t2.smt2	unknown	300.11	unknown	0.08	yes	0.49	yes	0.04	yes	0.95
Integer_Transition_Systems/From_T2/array_free2.t2.smt2	unknown	300.02	unknown	0.08	yes	0.46	yes	0.02	yes	0.92
Integer_Transition_Systems/From_T2/array_init.t2.smt2	unknown	0.1	unknown	0.05	yes	0.45	yes	0.04	yes	0.77
Integer_Transition_Systems/From_T2/array_init.t2_fixed.smt2	unknown	0.08	unknown	0.04	yes	0.45	yes	0.04	yes	0.68
Integer_Transition_Systems/From_T2/array_init_assign.t2.smt2	unknown	0.1	unknown	0.05	yes	0.46	yes	0.04	yes	0.95
Integer_Transition_Systems/From_T2/ase_example.t2.smt2	unknown	0.13	unknown	0.07	yes	0.52	yes	0.05	yes	1.43
Integer_Transition_Systems/From_T2/ase_example.t2_fixed.smt2	unknown	0.12	unknown	0.07	yes	0.48	yes	0.05	yes	1.32
Integer_Transition_Systems/From_T2/ax_test.t2.smt2	no	0.02	no	0.04	no	0.49	no	0.04	no	0.62
Integer_Transition_Systems/From_T2/ax_test_2.t2.smt2	no	0.05	no	0.04	no	0.48	no	0.04	no	0.68
Integer_Transition_Systems/From_T2/ax_test_3.t2.smt2	no	0.05	no	0.05	no	0.48	no	0.04	no	0.76
Integer_Transition_Systems/From_T2/bakery.t2.smt2	no	0.08	no	1.12	no	0.74	unknown	300.04	no	12.3
Integer_Transition_Systems/From_T2/bakerybug.t2.smt2	no	0.05	no	1.12	no	0.72	unknown	300.05	no	10.41
Integer_Transition_Systems/From_T2/bf10.t2.smt2	unknown	0.76	unknown	0.2	yes	0.74	yes	0.06	yes	3.67
Integer_Transition_Systems/From_T2/bf10.t2_fixed.smt2	unknown	0.37	unknown	0.2	yes	0.67	yes	0.06	yes	3.48
Integer_Transition_Systems/From_T2/bf11.t2.smt2	unknown	0.76	unknown	0.19	yes	0.65	yes	0.06	yes	3.43
Integer_Transition_Systems/From_T2/bf11.t2_fixed.smt2	unknown	0.38	unknown	0.2	yes	0.71	yes	0.06	yes	3.26
Integer_Transition_Systems/From_T2/bf12.t2.smt2	unknown	0.76	unknown	0.2	yes	0.67	yes	0.06	yes	3.49
Integer_Transition_Systems/From_T2/bf12.t2_fixed.smt2	unknown	0.36	unknown	0.19	yes	0.68	yes	0.06	yes	3.25
Integer_Transition_Systems/From_T2/bf13.t2.smt2	unknown	0.75	unknown	0.19	yes	0.67	yes	0.06	yes	3.43
Integer_Transition_Systems/From_T2/bf13.t2_fixed.smt2	unknown	0.38	unknown	0.2	yes	0.68	yes	0.06	yes	3.28
Integer_Transition_Systems/From_T2/bf14.t2.smt2	unknown	0.75	unknown	0.23	yes	0.67	yes	0.06	yes	3.53
Integer_Transition_Systems/From_T2/bf14.t2_fixed.smt2	unknown	0.38	unknown	0.17	yes	0.68	yes	0.04	yes	3.05
Integer_Transition_Systems/From_T2/bf15.t2.smt2	unknown	0.75	unknown	0.2	yes	0.7	yes	0.06	yes	3.56
Integer_Transition_Systems/From_T2/bf15.t2_fixed.smt2	unknown	0.38	unknown	0.23	yes	0.64	yes	0.06	yes	3.25
Integer_Transition_Systems/From_T2/bf16.t2.smt2	unknown	0.75	unknown	0.19	yes	0.68	yes	0.04	yes	3.4
Integer_Transition_Systems/From_T2/bf16.t2_fixed.smt2	unknown	0.38	unknown	0.2	yes	0.64	yes	0.06	yes	3.28
Integer_Transition_Systems/From_T2/bf17.t2.smt2	unknown	0.73	unknown	0.21	yes	0.69	yes	0.06	yes	3.46
Integer_Transition_Systems/From_T2/bf17.t2_fixed.smt2	unknown	0.38	unknown	0.19	yes	0.66	yes	0.07	yes	3.21
Integer_Transition_Systems/From_T2/bf18.t2.smt2	unknown	0.76	unknown	0.2	yes	0.75	yes	0.06	yes	3.43
Integer_Transition_Systems/From_T2/bf18.t2_fixed.smt2	unknown	0.38	unknown	0.2	yes	0.67	yes	0.04	yes	3.3
Integer_Transition_Systems/From_T2/bf19.t2.smt2	unknown	0.75	unknown	0.2	yes	0.74	yes	0.06	yes	3.44
Integer_Transition_Systems/From_T2/bf19.t2_fixed.smt2	unknown	0.38	unknown	0.2	yes	0.66	yes	0.06	yes	3.26
Integer_Transition_Systems/From_T2/bf20.t2.smt2	unknown	0.73	unknown	0.18	yes	0.71	yes	0.04	yes	3.64
Integer_Transition_Systems/From_T2/bf20.t2_fixed.smt2	unknown	0.37	unknown	0.19	yes	0.68	yes	0.06	yes	3.27
Integer_Transition_Systems/From_T2/bf5.t2.smt2	unknown	0.52	unknown	0.26	yes	0.69	yes	0.06	yes	3.49
Integer_Transition_Systems/From_T2/bf5.t2_fixed.smt2	unknown	0.38	unknown	0.2	yes	0.69	yes	0.06	yes	2.93
Integer_Transition_Systems/From_T2/bf6.t2.smt2	unknown	0.76	unknown	0.19	yes	0.7	yes	0.06	yes	3.36
Integer_Transition_Systems/From_T2/bf6.t2_fixed.smt2	unknown	0.38	unknown	0.2	yes	0.69	yes	0.04	yes	3.14
Integer_Transition_Systems/From_T2/bf7.t2.smt2	unknown	0.73	unknown	0.2	yes	0.68	yes	0.06	yes	4.21
Integer_Transition_Systems/From_T2/bf7.t2_fixed.smt2	unknown	0.35	unknown	0.19	yes	0.66	yes	0.06	yes	3.67
Integer_Transition_Systems/From_T2/bf8.t2.smt2	unknown	0.73	unknown	0.21	yes	0.67	yes	0.04	yes	3.72
Integer_Transition_Systems/From_T2/bf8.t2_fixed.smt2	unknown	0.38	unknown	0.2	yes	0.66	yes	0.06	yes	3.44
Integer_Transition_Systems/From_T2/bf9.t2.smt2	unknown	0.76	unknown	0.21	yes	0.7	yes	0.04	yes	3.69
Integer_Transition_Systems/From_T2/bf9.t2_fixed.smt2	unknown	0.35	unknown	0.2	yes	0.64	yes	0.06	yes	3.4
Integer_Transition_Systems/From_T2/bio.t2.smt2	unknown	300.08	unknown	253.79	unknown	300.02	unknown	300.03	unknown	299.01
Integer_Transition_Systems/From_T2/bitcount16.t2.smt2	unknown	1.91	unknown	0.09	yes	0.53	yes	0.04	yes	1.23
Integer_Transition_Systems/From_T2/bitcount16.t2_fixed.smt2	unknown	2.48	unknown	0.08	yes	0.5	yes	0.04	yes	1.54
Integer_Transition_Systems/From_T2/bitcount32.t2.smt2	unknown	1.92	unknown	0.08	yes	0.51	yes	0.04	yes	1.27
Integer_Transition_Systems/From_T2/bitcount32.t2_fixed.smt2	unknown	2.82	unknown	0.08	yes	0.53	yes	0.04	yes	1.55
Integer_Transition_Systems/From_T2/brockschmidt_1.t2.smt2	unknown	0.06	unknown	0.07	unknown	2.78	yes	0.06	yes	1.65
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2.smt2	unknown	300.02	unknown	3.87	unknown	300.03	yes	3.68	yes	41.57
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2_fixed.smt2	unknown	300.04	unknown	3.93	unknown	300.03	yes	2.88	yes	40.0
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.smt2	unknown	300.05	unknown	3.85	unknown	300.05	yes	3.71	yes	38.31
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2	unknown	300.07	unknown	3.9	unknown	300.1	yes	2.91	yes	37.09
Integer_Transition_Systems/From_T2/broydn.t2.smt2	unknown	300.05	unknown	3.84	unknown	300.03	yes	5.13	yes	85.66
Integer_Transition_Systems/From_T2/broydn.t2_fixed.smt2	unknown	300.1	unknown	3.78	unknown	300.04	yes	3.45	yes	81.18
Integer_Transition_Systems/From_T2/brp_withassume.t2.smt2	unknown	300.06	unknown	240.12	unknown	12.09	unknown	188.85	unknown	299.01
Integer_Transition_Systems/From_T2/bs.t2.smt2	no	0.07	no	0.14	no	0.6	no	5.35	no	5.05
Integer_Transition_Systems/From_T2/bs.t2_fixed.smt2	no	0.04	no	0.12	no	0.55	no	15.27	no	19.39
Integer_Transition_Systems/From_T2/bsort100.t2.smt2	unknown	300.08	unknown	0.25	yes	0.64	yes	0.07	yes	4.33
Integer_Transition_Systems/From_T2/bsort100.t2_fixed.smt2	unknown	300.02	unknown	0.18	yes	0.73	yes	0.48	yes	4.03
Integer_Transition_Systems/From_T2/bubbleSort.t2.smt2	unknown	5.95	unknown	0.12	yes	0.52	yes	0.06	yes	1.75
Integer_Transition_Systems/From_T2/bubblesort_inner_loop.t2.smt2	unknown	2.1	unknown	0.08	yes	0.47	yes	0.02	yes	1.27
Integer_Transition_Systems/From_T2/byron-1.t2.smt2	unknown	0.11	unknown	0.1	yes	0.53	yes	0.05	yes	0.7
Integer_Transition_Systems/From_T2/byron-2.t2.smt2	unknown	1.41	unknown	0.08	yes	0.48	yes	0.05	yes	1.55
Integer_Transition_Systems/From_T2/byron-2.t2_fixed.smt2	unknown	300.06	unknown	0.14	yes	0.46	yes	0.03	yes	1.68
Integer_Transition_Systems/From_T2/byron-3.t2.smt2	unknown	0.08	unknown	0.11	yes	0.55	yes	0.07	yes	0.69
Integer_Transition_Systems/From_T2/byron-4.t2.smt2	no	0.07	no	0.07	no	0.51	unknown	300.04	no	5.99
Integer_Transition_Systems/From_T2/byron-4.t2_fixed.smt2	unknown	0.12	unknown	0.08	yes	0.51	yes	0.05	yes	1.25
Integer_Transition_Systems/From_T2/cfg.t2.smt2	no	0.09	no	0.19	no	0.48	no	5.12	no	0.94
Integer_Transition_Systems/From_T2/cnt.t2.smt2	unknown	300.08	unknown	0.25	yes	1.05	yes	0.07	yes	14.31
Integer_Transition_Systems/From_T2/cnt.t2_fixed.smt2	unknown	300.08	unknown	0.18	yes	0.99	yes	0.07	yes	10.8
Integer_Transition_Systems/From_T2/collatz.t2.smt2	unknown	0.06	unknown	0.15	unknown	0.7	unknown	5.16	unknown	6.45
Integer_Transition_Systems/From_T2/collatz.t2_fixed.smt2	unknown	0.3	unknown	0.21	unknown	3.89	unknown	15.64	unknown	26.44
Integer_Transition_Systems/From_T2/complex_guard.t2.smt2	unknown	1.27	unknown	0.06	yes	0.44	yes	0.04	yes	0.86
Integer_Transition_Systems/From_T2/compress.t2.smt2	no	2.31	no	42.34	no	39.98	no	154.07	no	95.59
Integer_Transition_Systems/From_T2/compress.t2_fixed.smt2	unknown	300.05	unknown	2.53	unknown	37.15	no	26.05	unknown	299.01
Integer_Transition_Systems/From_T2/constants.t2.smt2	unknown	0.09	unknown	0.07	yes	0.44	yes	0.04	yes	1.1
Integer_Transition_Systems/From_T2/constants.t2_fixed.smt2	unknown	0.08	unknown	0.07	yes	0.47	yes	0.05	yes	1.01
Integer_Transition_Systems/From_T2/consts1.t2.smt2	no	0.03	no	0.05	no	0.49	no	36.17	no	0.83
Integer_Transition_Systems/From_T2/consts1.t2_fixed.smt2	unknown	0.07	unknown	0.06	yes	0.48	yes	0.98	unknown	4.64
Integer_Transition_Systems/From_T2/consts1nt.t2.smt2	no	0.05	no	0.04	no	0.48	no	36.2	no	0.86
Integer_Transition_Systems/From_T2/consts1nt.t2_fixed.smt2	no	0.05	no	0.06	no	0.51	no	23.26	no	0.75
Integer_Transition_Systems/From_T2/consts2.t2.smt2	no	0.1	no	0.11	no	0.48	no	5.15	no	0.68
Integer_Transition_Systems/From_T2/consts2.t2_fixed.smt2	unknown	0.05	unknown	0.04	yes	0.44	yes	0.04	yes	0.54
Integer_Transition_Systems/From_T2/consts2nt.t2.smt2	no	0.1	no	0.11	no	0.46	no	5.18	no	0.7
Integer_Transition_Systems/From_T2/consts2nt.t2_fixed.smt2	no	0.05	no	0.04	no	0.5	no	21.9	no	3.04
Integer_Transition_Systems/From_T2/consts3.t2.smt2	unknown	0.05	unknown	0.05	yes	0.44	yes	0.04	yes	0.59
Integer_Transition_Systems/From_T2/consts3.t2_fixed.smt2	unknown	0.03	unknown	0.05	yes	0.44	yes	0.04	yes	0.55
Integer_Transition_Systems/From_T2/consts3nt.t2.smt2	no	0.05	no	0.05	no	0.49	no	36.22	no	3.2
Integer_Transition_Systems/From_T2/consts3nt.t2_fixed.smt2	no	0.05	no	0.05	no	0.49	no	18.81	no	2.62
Integer_Transition_Systems/From_T2/consts4.t2.smt2	no	0.1	no	0.11	no	0.47	no	5.19	no	0.75
Integer_Transition_Systems/From_T2/consts4.t2_fixed.smt2	unknown	0.05	unknown	0.05	yes	0.46	yes	0.02	yes	0.58
Integer_Transition_Systems/From_T2/consts4nt.t2.smt2	no	0.08	no	0.11	no	0.48	no	5.2	no	0.75
Integer_Transition_Systems/From_T2/consts4nt.t2_fixed.smt2	no	0.05	no	0.05	no	0.47	no	33.45	no	2.97
Integer_Transition_Systems/From_T2/consts5.t2.smt2	no	0.1	no	0.12	no	0.5	no	17.38	no	0.94
Integer_Transition_Systems/From_T2/consts5.t2_fixed.smt2	unknown	0.04	unknown	0.05	yes	0.45	yes	0.04	yes	0.53
Integer_Transition_Systems/From_T2/consts5nt.t2.smt2	no	0.08	no	0.12	no	0.48	no	17.38	no	0.94
Integer_Transition_Systems/From_T2/consts5nt.t2_fixed.smt2	no	0.03	no	0.05	no	0.5	no	32.99	no	2.89
Integer_Transition_Systems/From_T2/cover.t2.smt2	unknown	300.03	unknown	253.55	unknown	300.04	unknown	300.02	unknown	299.01
Integer_Transition_Systems/From_T2/cover.t2_fixed.smt2	unknown	300.03	unknown	3.32	unknown	300.03	yes	27.58	unknown	299.01
Integer_Transition_Systems/From_T2/crc.t2.smt2	unknown	300.06	unknown	0.8	yes	2.7	yes	0.12	yes	36.18
Integer_Transition_Systems/From_T2/crc.t2_fixed.smt2	unknown	300.04	unknown	0.72	yes	2.59	yes	0.12	yes	33.91
Integer_Transition_Systems/From_T2/create.t2.smt2	unknown	2.82	unknown	0.09	yes	0.51	yes	0.06	yes	1.21
Integer_Transition_Systems/From_T2/create_seg.t2.smt2	unknown	3.03	unknown	0.09	yes	0.51	yes	0.06	yes	1.33
Integer_Transition_Systems/From_T2/create_via_tmps.t2.smt2	unknown	3.97	unknown	0.37	yes	0.7	yes	0.11	yes	5.27
Integer_Transition_Systems/From_T2/create_via_tmps.t2_fixed.smt2	unknown	84.35	unknown	0.47	yes	1.2	yes	0.14	yes	6.24
Integer_Transition_Systems/From_T2/ctl.t2.smt2	no	0.12	no	0.14	no	0.55	no	0.06	no	3.47
Integer_Transition_Systems/From_T2/ctl.t2_fixed.smt2	no	0.12	no	0.11	no	0.54	no	0.05	no	3.13
Integer_Transition_Systems/From_T2/curious.t2.smt2	no	0.03	no	0.06	no	0.49	no	5.11	no	0.9
Integer_Transition_Systems/From_T2/curious.t2_fixed.smt2	no	0.03	no	0.05	no	0.5	no	5.08	no	0.85
Integer_Transition_Systems/From_T2/curious2.t2.smt2	unknown	0.04	unknown	0.02	yes	0.35	yes	0.03	yes	0.46
Integer_Transition_Systems/From_T2/curious2.t2_fixed.smt2	unknown	0.02	unknown	0.02	yes	0.36	yes	0.03	yes	0.4
Integer_Transition_Systems/From_T2/curious4.t2.smt2	no	4.92	no	5.92	unknown	153.05	unknown	52.49	unknown	299.01
Integer_Transition_Systems/From_T2/d.t2.smt2	no	0.05	no	0.07	no	0.5	no	15.99	unknown	3.74
Integer_Transition_Systems/From_T2/db.t2.smt2	unknown	0.04	unknown	0.02	yes	0.44	yes	0.01	yes	0.62
Integer_Transition_Systems/From_T2/db2.t2.smt2	unknown	300.11	no	107.71	unknown	300.07	unknown	160.08	unknown	299.01
Integer_Transition_Systems/From_T2/db2.t2_fixed.smt2	no	91.29	no	105.13	unknown	300.07	unknown	154.63	unknown	299.01
Integer_Transition_Systems/From_T2/db3.t2.smt2	unknown	300.04	no	107.85	unknown	300.07	unknown	157.36	unknown	299.01
Integer_Transition_Systems/From_T2/db3.t2_fixed.smt2	no	89.99	no	105.44	unknown	300.04	unknown	154.01	unknown	299.01
Integer_Transition_Systems/From_T2/dead.neg-st88b-succeed.t2.smt2	no	0.06	no	0.14	no	0.78	no	36.34	no	4.33
Integer_Transition_Systems/From_T2/defect.t2.smt2	no	0.02	no	0.04	no	0.46	no	0.04	no	0.58
Integer_Transition_Systems/From_T2/destroy.t2.smt2	unknown	3.78	unknown	0.37	yes	0.69	yes	0.11	yes	5.83
Integer_Transition_Systems/From_T2/destroy.t2_fixed.smt2	unknown	100.91	unknown	0.48	yes	1.1	yes	0.14	yes	6.97
Integer_Transition_Systems/From_T2/destroy_seg.t2.smt2	unknown	3.84	unknown	0.45	yes	0.8	yes	0.1	yes	7.04
Integer_Transition_Systems/From_T2/destroy_seg.t2_fixed.smt2	unknown	113.71	unknown	0.56	yes	1.17	yes	0.19	yes	8.38
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2.smt2	no	2.42	no	0.86	no	1.14	no	11.46	no	36.66
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2_fixed.smt2	no	1.07	no	0.71	no	3.37	unknown	300.03	no	58.03
Integer_Transition_Systems/From_T2/disj_nightmare.t2.smt2	no	0.21	no	0.16	no	0.49	no	9.27	no	5.22
Integer_Transition_Systems/From_T2/disj_nightmare.t2_fixed.smt2	unknown	300.05	unknown	253.05	yes	84.21	yes	22.18	unknown	299.01
Integer_Transition_Systems/From_T2/disj_nightmare_abi.t2.smt2	unknown	0.05	unknown	0.06	yes	1.07	yes	0.05	yes	1.5
Integer_Transition_Systems/From_T2/dropbuf-live.t2.smt2	unknown	0.04	unknown	0.02	yes	0.35	yes	0.03	yes	0.45
Integer_Transition_Systems/From_T2/dropbuf.t2.smt2	no	0.18	no	0.69	no	1.84	no	3.3	no	5.76
Integer_Transition_Systems/From_T2/dsa_test1.t2.smt2	unknown	0.02	unknown	0.03	yes	0.35	yes	0.03	yes	0.46
Integer_Transition_Systems/From_T2/dsa_test10.t2.smt2	unknown	0.09	unknown	0.07	yes	0.48	yes	0.04	yes	0.95
Integer_Transition_Systems/From_T2/dsa_test10.t2_fixed.smt2	unknown	0.09	unknown	0.06	yes	0.45	yes	0.02	yes	0.92
Integer_Transition_Systems/From_T2/dsa_test12.t2.smt2	unknown	0.04	unknown	0.01	yes	0.33	yes	0.04	yes	0.45
Integer_Transition_Systems/From_T2/dsa_test13.t2.smt2	unknown	0.04	unknown	0.01	yes	0.35	yes	0.04	yes	0.44
Integer_Transition_Systems/From_T2/dsa_test15.t2.smt2	unknown	0.11	unknown	0.06	yes	0.47	yes	0.04	yes	0.88
Integer_Transition_Systems/From_T2/dsa_test15.t2_fixed.smt2	unknown	0.09	unknown	0.06	yes	0.47	yes	0.04	yes	0.89
Integer_Transition_Systems/From_T2/dsa_test6.t2.smt2	unknown	0.07	unknown	0.04	yes	0.43	yes	0.04	yes	0.67
Integer_Transition_Systems/From_T2/dsa_test6.t2_fixed.smt2	unknown	0.07	unknown	0.05	yes	0.45	yes	0.04	yes	0.62
Integer_Transition_Systems/From_T2/dsa_test8.t2.smt2	unknown	0.02	unknown	0.02	yes	0.35	yes	0.04	yes	0.45
Integer_Transition_Systems/From_T2/dsa_test9.t2.smt2	unknown	0.04	unknown	0.03	yes	0.35	yes	0.03	yes	0.45
Integer_Transition_Systems/From_T2/dummy.t2.smt2	no	0.04	no	0.04	no	0.49	no	36.31	no	0.71
Integer_Transition_Systems/From_T2/dumper.t2.smt2	no	6.16	no	6.63	no	65.65	unknown	59.06	unknown	299.01
Integer_Transition_Systems/From_T2/e-1394-fail.t2.smt2	no	0.85	no	2.49	no	9.18	no	16.06	no	28.23
Integer_Transition_Systems/From_T2/e-1394-succeed.t2.smt2	no	0.8	no	2.61	no	9.08	no	16.07	no	27.51
Integer_Transition_Systems/From_T2/e-1394-succeed.t2_fixed.smt2	no	0.84	no	2.62	no	9.07	no	16.06	no	27.36
Integer_Transition_Systems/From_T2/e-1394complete-fail.t2.smt2	no	0.88	no	2.09	no	8.16	no	45.98	no	28.57
Integer_Transition_Systems/From_T2/e-1394complete-failA.t2.smt2	no	0.91	no	2.19	no	8.1	no	45.99	no	28.96
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2.smt2	no	0.89	no	2.07	no	8.09	no	46.0	no	28.56
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2_fixed.smt2	no	0.91	no	2.21	no	8.07	no	46.03	no	28.62
Integer_Transition_Systems/From_T2/e-acqrel-fail.t2.smt2	no	0.05	no	0.07	no	0.56	no	5.06	no	1.17
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2.smt2	no	0.06	no	0.09	no	0.58	no	5.09	no	1.28
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2_fixed.smt2	no	0.05	no	0.09	no	0.6	no	5.07	no	1.26
Integer_Transition_Systems/From_T2/e-pgarch-fail.t2.smt2	no	0.1	no	0.13	no	0.53	no	0.06	no	2.72
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2.smt2	no	0.1	no	0.17	no	0.56	no	0.06	no	2.8
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2_fixed.smt2	no	0.1	no	0.14	no	0.6	no	0.04	no	2.64
Integer_Transition_Systems/From_T2/e-popl07-fail.t2.smt2	no	0.13	no	0.29	no	0.81	no	0.32	no	5.07
Integer_Transition_Systems/From_T2/e-popl07-fail.t2_fixed.smt2	no	0.15	no	0.29	no	0.8	no	0.31	no	5.04
Integer_Transition_Systems/From_T2/e-popl07-succeed.t2.smt2	no	0.11	no	0.22	no	0.78	no	0.11	no	4.15
Integer_Transition_Systems/From_T2/e-smagill-fail.t2.smt2	no	0.06	no	0.1	no	0.55	no	0.05	no	1.5
Integer_Transition_Systems/From_T2/e-smagill-succeed.t2.smt2	no	0.15	no	0.09	no	0.59	no	12.16	unknown	7.36
Integer_Transition_Systems/From_T2/e-st88b-fail.t2.smt2	no	0.07	no	0.16	no	0.58	no	0.05	no	1.66
Integer_Transition_Systems/From_T2/edn.t2.smt2	no	0.75	no	1.17	unknown	30.71	unknown	300.05	unknown	299.01
Integer_Transition_Systems/From_T2/edn.t2_fixed.smt2	unknown	2.59	unknown	0.58	yes	5.02	yes	4.15	yes	27.89
Integer_Transition_Systems/From_T2/efegp.t2.smt2	no	2.46	no	2.4	no	176.0	no	5.94	unknown	299.01
Integer_Transition_Systems/From_T2/efegp.t2_fixed.smt2	no	3.02	no	2.57	no	42.85	no	5.83	unknown	299.01
Integer_Transition_Systems/From_T2/elmhes.c.i.elmhes.pl.t2.fixed.t2.smt2	unknown	300.05	unknown	0.46	yes	2.59	yes	0.61	yes	4.51
Integer_Transition_Systems/From_T2/elmhes.t2.smt2	unknown	300.05	unknown	0.46	yes	2.49	yes	0.65	yes	4.64
Integer_Transition_Systems/From_T2/eric.t2.smt2	unknown	0.12	unknown	0.19	unknown	4.12	unknown	9.29	yes	3.57
Integer_Transition_Systems/From_T2/eric1.t2.smt2	unknown	300.03	unknown	0.12	unknown	300.04	yes	8.27	yes	1.08
Integer_Transition_Systems/From_T2/eric2.t2.smt2	unknown	300.05	unknown	2.84	unknown	27.85	unknown	59.16	yes	12.92
Integer_Transition_Systems/From_T2/eric3.t2.smt2	no	0.06	no	0.07	no	0.54	no	23.11	no	1.52
Integer_Transition_Systems/From_T2/ex1.t2.smt2	no	0.05	no	0.04	no	0.5	no	63.35	no	0.78
Integer_Transition_Systems/From_T2/ex10.t2.smt2	no	0.15	no	0.08	no	0.58	no	18.15	no	4.52
Integer_Transition_Systems/From_T2/ex11.t2.smt2	no	0.08	no	0.14	unknown	4.49	no	0.9	unknown	46.74
Integer_Transition_Systems/From_T2/ex12.t2.smt2	unknown	0.07	unknown	0.04	yes	0.45	yes	0.04	yes	0.61
Integer_Transition_Systems/From_T2/ex12.t2_fixed.smt2	unknown	0.07	unknown	0.04	yes	0.45	yes	0.04	yes	0.6
Integer_Transition_Systems/From_T2/ex13.t2.smt2	unknown	0.04	unknown	0.03	yes	0.35	yes	0.03	yes	0.45
Integer_Transition_Systems/From_T2/ex14.t2.smt2	unknown	0.07	unknown	0.05	yes	0.45	yes	0.04	yes	0.64
Integer_Transition_Systems/From_T2/ex14.t2_fixed.smt2	unknown	0.06	unknown	0.05	yes	0.46	yes	0.04	yes	0.6
Integer_Transition_Systems/From_T2/ex15.t2.smt2	unknown	0.04	unknown	0.02	yes	0.34	yes	0.04	yes	0.47
Integer_Transition_Systems/From_T2/ex16.t2.smt2	no	0.15	no	0.21	no	1.67	no	50.65	no	6.09
Integer_Transition_Systems/From_T2/ex16.t2_fixed.smt2	no	0.14	no	0.2	no	1.93	no	50.8	no	5.75
Integer_Transition_Systems/From_T2/ex17.t2.smt2	unknown	0.1	unknown	0.1	yes	0.57	yes	23.19	yes	2.06
Integer_Transition_Systems/From_T2/ex17.t2_fixed.smt2	unknown	0.06	unknown	0.09	yes	0.58	yes	0.05	yes	1.94
Integer_Transition_Systems/From_T2/ex18.t2.smt2	unknown	0.18	unknown	0.08	yes	0.52	yes	0.05	yes	7.69
Integer_Transition_Systems/From_T2/ex18.t2_fixed.smt2	unknown	0.18	unknown	0.09	yes	0.5	yes	0.05	yes	7.08
Integer_Transition_Systems/From_T2/ex19.t2.smt2	no	0.12	no	0.07	no	0.52	no	54.32	no	1.65
Integer_Transition_Systems/From_T2/ex2.t2.smt2	no	0.07	no	0.05	no	0.51	no	23.14	no	1.14
Integer_Transition_Systems/From_T2/ex2.t2_fixed.smt2	no	0.06	no	0.07	no	0.5	no	23.15	no	1.08
Integer_Transition_Systems/From_T2/ex20.t2.smt2	unknown	0.2	unknown	0.06	yes	0.45	yes	0.04	yes	1.2
Integer_Transition_Systems/From_T2/ex20.t2_fixed.smt2	unknown	0.19	unknown	0.06	yes	0.45	yes	0.05	yes	1.18
Integer_Transition_Systems/From_T2/ex21.t2.smt2	unknown	0.15	unknown	0.07	yes	0.47	yes	0.02	yes	0.97
Integer_Transition_Systems/From_T2/ex21.t2_fixed.smt2	unknown	0.1	unknown	0.06	yes	0.46	yes	0.07	yes	0.91
Integer_Transition_Systems/From_T2/ex22.t2.smt2	unknown	150.34	unknown	0.65	yes	1.03	yes	0.14	yes	11.81
Integer_Transition_Systems/From_T2/ex22.t2_fixed.smt2	unknown	11.39	unknown	0.5	yes	1.0	yes	0.1	yes	12.28
Integer_Transition_Systems/From_T2/ex23.t2.smt2	unknown	0.08	unknown	0.06	yes	0.45	yes	0.02	yes	0.73
Integer_Transition_Systems/From_T2/ex23.t2_fixed.smt2	unknown	0.07	unknown	0.05	yes	0.44	yes	0.04	yes	0.72
Integer_Transition_Systems/From_T2/ex26.t2.smt2	unknown	0.16	unknown	0.08	yes	0.48	yes	0.04	yes	1.65
Integer_Transition_Systems/From_T2/ex26.t2_fixed.smt2	unknown	0.1	unknown	0.09	yes	0.48	yes	0.1	yes	1.65
Integer_Transition_Systems/From_T2/ex27.t2.smt2	unknown	300.05	unknown	1.09	yes	1.42	yes	0.2	yes	17.46
Integer_Transition_Systems/From_T2/ex27.t2_fixed.smt2	unknown	78.63	unknown	0.81	yes	1.39	yes	0.13	yes	19.16
Integer_Transition_Systems/From_T2/ex29.t2.smt2	unknown	0.19	unknown	0.05	yes	0.37	yes	0.05	yes	2.57
Integer_Transition_Systems/From_T2/ex29.t2_fixed.smt2	unknown	0.21	unknown	0.05	yes	0.41	yes	0.05	yes	2.49
Integer_Transition_Systems/From_T2/ex3.t2.smt2	unknown	0.08	unknown	0.06	yes	0.46	yes	0.03	yes	0.88
Integer_Transition_Systems/From_T2/ex3.t2_fixed.smt2	unknown	0.08	unknown	0.05	yes	0.44	yes	0.02	yes	0.88
Integer_Transition_Systems/From_T2/ex30.t2.smt2	unknown	0.15	unknown	0.06	yes	0.49	yes	0.04	yes	1.07
Integer_Transition_Systems/From_T2/ex31.t2.smt2	no	0.05	no	0.15	no	0.5	no	5.16	no	1.12
Integer_Transition_Systems/From_T2/ex31.t2_fixed.smt2	no	0.03	no	0.15	no	0.5	no	5.11	no	0.97
Integer_Transition_Systems/From_T2/ex32.t2.smt2	unknown	0.12	unknown	0.08	yes	0.48	yes	0.04	yes	1.23
Integer_Transition_Systems/From_T2/ex32.t2_fixed.smt2	unknown	0.1	unknown	0.08	yes	0.49	yes	0.04	yes	1.19
Integer_Transition_Systems/From_T2/ex33.t2.smt2	unknown	0.07	unknown	0.03	yes	0.34	yes	0.04	yes	0.68
Integer_Transition_Systems/From_T2/ex33.t2_fixed.smt2	unknown	0.07	unknown	0.02	yes	0.36	yes	0.04	yes	0.73
Integer_Transition_Systems/From_T2/ex34.t2.smt2	unknown	0.06	unknown	0.02	yes	0.36	yes	0.04	yes	0.63
Integer_Transition_Systems/From_T2/ex36.t2.smt2	no	26.0	no	10.54	no	128.57	unknown	300.06	unknown	299.01
Integer_Transition_Systems/From_T2/ex36.t2_fixed.smt2	no	22.23	no	7.62	no	120.78	unknown	300.04	unknown	299.01
Integer_Transition_Systems/From_T2/ex4.t2.smt2	unknown	99.44	unknown	0.13	yes	0.53	yes	0.05	yes	2.04
Integer_Transition_Systems/From_T2/ex4.t2_fixed.smt2	unknown	52.58	unknown	0.11	yes	0.52	yes	0.05	yes	1.99
Integer_Transition_Systems/From_T2/ex40.t2.smt2	no	0.07	no	0.05	no	0.51	no	23.19	no	1.32
Integer_Transition_Systems/From_T2/ex6.t2.smt2	unknown	0.06	unknown	0.01	yes	0.35	yes	0.03	yes	0.63
Integer_Transition_Systems/From_T2/ex7.t2.smt2	unknown	0.08	unknown	0.05	yes	0.45	yes	0.02	yes	0.77
Integer_Transition_Systems/From_T2/ex7.t2_fixed.smt2	unknown	0.07	unknown	0.05	yes	0.46	yes	0.04	yes	0.74
Integer_Transition_Systems/From_T2/ex8.t2.smt2	no	0.07	no	0.09	no	0.56	no	3.08	no	2.07
Integer_Transition_Systems/From_T2/ex9.t2.smt2	no	0.08	no	0.11	no	0.65	no	3.1	no	2.42
Integer_Transition_Systems/From_T2/example.t2.smt2	unknown	1.53	unknown	0.08	yes	0.45	yes	0.04	yes	0.63
Integer_Transition_Systems/From_T2/fake-succeed.t2.smt2	no	7.53	no	15.08	no	5.5	no	1.15	no	76.78
Integer_Transition_Systems/From_T2/fake-succeed.t2_fixed.smt2	no	4.5	no	8.89	no	4.19	no	0.78	no	61.64
Integer_Transition_Systems/From_T2/fast_poll.t2.smt2	no	0.67	no	2.09	no	8.41	no	2.81	no	21.46
Integer_Transition_Systems/From_T2/fast_poll.t2_fixed.smt2	no	0.65	no	1.88	no	7.96	no	2.77	no	20.84
Integer_Transition_Systems/From_T2/fdct.t2.smt2	unknown	0.17	unknown	0.14	yes	0.78	yes	0.07	yes	2.36
Integer_Transition_Systems/From_T2/fdct.t2_fixed.smt2	unknown	0.12	unknown	0.1	yes	0.75	yes	0.05	yes	1.35
Integer_Transition_Systems/From_T2/fermat.t2.smt2	unknown	0.14	unknown	0.1	yes	0.66	yes	0.05	yes	3.34
Integer_Transition_Systems/From_T2/fibcall.t2.smt2	unknown	0.07	unknown	0.05	yes	0.44	yes	0.02	yes	0.97
Integer_Transition_Systems/From_T2/fibcall.t2_fixed.smt2	unknown	0.06	unknown	0.05	yes	0.45	yes	0.04	yes	0.9
Integer_Transition_Systems/From_T2/fir.t2.smt2	unknown	300.05	unknown	0.43	yes	0.67	yes	0.07	yes	4.39
Integer_Transition_Systems/From_T2/fir.t2_fixed.smt2	unknown	300.03	unknown	0.38	yes	0.64	yes	0.45	yes	3.22
Integer_Transition_Systems/From_T2/firewire.t2.smt2	unknown	300.03	unknown	12.4	yes	7.05	unknown	91.44	unknown	299.01
Integer_Transition_Systems/From_T2/flipflop.t2.smt2	no	0.05	no	0.06	no	0.47	no	0.12	unknown	3.14
Integer_Transition_Systems/From_T2/florian.t2.smt2	unknown	0.05	unknown	0.05	yes	0.42	yes	0.02	yes	0.52
Integer_Transition_Systems/From_T2/florian_new_ex.t2.smt2	unknown	300.09	unknown	0.24	unknown	3.64	yes	0.2	yes	4.98
Integer_Transition_Systems/From_T2/florian_pldi.t2.smt2	unknown	300.09	unknown	0.19	yes	0.51	yes	0.08	yes	1.41
Integer_Transition_Systems/From_T2/florian_sas1.t2.smt2	unknown	300.03	unknown	0.14	yes	1.18	yes	0.04	yes	1.75
Integer_Transition_Systems/From_T2/florian_sas2.t2.smt2	unknown	1.13	unknown	6.04	unknown	66.52	yes	50.23	unknown	299.01
Integer_Transition_Systems/From_T2/florian_sumit.t2.smt2	unknown	0.07	unknown	0.5	unknown	4.34	unknown	51.61	yes	8.97
Integer_Transition_Systems/From_T2/foo.t2.smt2	unknown	300.04	unknown	1.56	unknown	300.04	unknown	193.69	unknown	299.01
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.fixed.t2.smt2	no	0.28	no	253.42	no	19.43	unknown	67.94	no	39.08
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.smt2	no	0.23	no	253.48	no	15.24	no	46.38	no	38.92
Integer_Transition_Systems/From_T2/fourn.t2.smt2	no	0.21	no	252.24	no	16.15	no	98.28	no	64.01
Integer_Transition_Systems/From_T2/fuhs-inflasso.t2.smt2	unknown	0.1	unknown	0.08	yes	0.46	yes	0.02	yes	0.83
Integer_Transition_Systems/From_T2/fun1.t2.smt2	no	42.62	no	252.86	unknown	300.04	no	162.87	unknown	299.01
Integer_Transition_Systems/From_T2/fun1.t2_fixed.smt2	no	7.21	no	10.49	no	87.76	no	67.68	unknown	299.01
Integer_Transition_Systems/From_T2/fun10.t2.smt2	no	4.17	no	4.26	no	6.76	no	6.01	no	77.74
Integer_Transition_Systems/From_T2/fun10.t2_fixed.smt2	no	4.21	no	4.29	no	6.84	no	5.99	no	78.24
Integer_Transition_Systems/From_T2/fun10b.t2.smt2	no	3.33	no	3.56	no	5.58	no	5.97	no	66.9
Integer_Transition_Systems/From_T2/fun10b.t2_fixed.smt2	no	3.33	no	3.55	no	5.61	no	5.98	no	67.22
Integer_Transition_Systems/From_T2/fun11.t2.smt2	no	0.07	no	0.08	no	0.52	no	36.2	no	2.15
Integer_Transition_Systems/From_T2/fun11.t2_fixed.smt2	no	0.08	no	0.1	unknown	1.05	no	18.2	no	2.73
Integer_Transition_Systems/From_T2/fun1b.t2.smt2	no	41.66	no	252.95	no	137.35	no	187.92	unknown	299.01
Integer_Transition_Systems/From_T2/fun1b.t2_fixed.smt2	no	6.97	no	9.55	no	70.45	no	67.7	unknown	299.01
Integer_Transition_Systems/From_T2/fun2.t2.smt2	unknown	300.03	unknown	294.57	unknown	8.66	yes	2.86	yes	12.82
Integer_Transition_Systems/From_T2/fun2.t2_fixed.smt2	unknown	300.02	unknown	7.54	unknown	7.42	yes	0.89	yes	9.14
Integer_Transition_Systems/From_T2/fun2b.t2.smt2	unknown	300.08	unknown	294.56	unknown	38.39	yes	2.67	yes	12.87
Integer_Transition_Systems/From_T2/fun2b.t2_fixed.smt2	unknown	300.1	unknown	7.51	unknown	10.09	yes	0.86	yes	9.06
Integer_Transition_Systems/From_T2/fun3.t2.smt2	unknown	300.11	unknown	294.59	unknown	7.58	yes	2.88	yes	12.75
Integer_Transition_Systems/From_T2/fun4-alt.t2.smt2	unknown	0.04	unknown	0.18	yes	3.44	yes	6.63	yes	2.27
Integer_Transition_Systems/From_T2/fun4.t2.smt2	no	0.05	no	0.25	no	0.49	no	10.18	no	2.31
Integer_Transition_Systems/From_T2/fun4.t2_fixed.smt2	unknown	0.12	unknown	0.07	yes	4.84	yes	6.73	yes	4.87
Integer_Transition_Systems/From_T2/fun5.t2.smt2	no	0.07	no	4.48	no	0.55	no	18.2	no	47.11
Integer_Transition_Systems/From_T2/fun5.t2_fixed.smt2	unknown	300.04	unknown	2.96	unknown	155.17	unknown	30.35	unknown	299.01
Integer_Transition_Systems/From_T2/fun6.t2.smt2	no	0.33	no	43.07	no	4.61	no	9.55	no	103.5
Integer_Transition_Systems/From_T2/fun6.t2_fixed.smt2	no	0.33	no	55.32	no	4.98	no	9.99	no	115.16
Integer_Transition_Systems/From_T2/fun7.t2.smt2	no	0.21	no	0.73	no	0.68	unknown	40.07	no	17.01
Integer_Transition_Systems/From_T2/fun7.t2_fixed.smt2	no	0.21	no	0.85	no	0.68	unknown	41.46	no	20.81
Integer_Transition_Systems/From_T2/fun8.t2.smt2	unknown	0.43	unknown	0.37	yes	0.73	yes	0.07	yes	6.28
Integer_Transition_Systems/From_T2/fun8.t2_fixed.smt2	unknown	5.91	unknown	0.61	yes	1.0	yes	0.14	yes	7.19
Integer_Transition_Systems/From_T2/fun9.t2.smt2	unknown	300.04	unknown	0.8	no	1.2	unknown	300.07	unknown	299.01
Integer_Transition_Systems/From_T2/graycode.t2.smt2	unknown	300.02	unknown	0.52	yes	1.24	yes	0.35	yes	12.87
Integer_Transition_Systems/From_T2/graycode.t2_fixed.smt2	unknown	300.03	unknown	0.52	yes	1.17	yes	0.28	yes	12.21
Integer_Transition_Systems/From_T2/hand7.t2.smt2	no	0.05	no	0.06	no	0.51	no	33.37	no	2.91
Integer_Transition_Systems/From_T2/heidy1.t2.smt2	no	0.05	no	0.04	no	0.5	no	23.16	no	0.69
Integer_Transition_Systems/From_T2/heidy10.t2.smt2	unknown	1.77	unknown	0.07	yes	0.46	yes	0.02	yes	0.88
Integer_Transition_Systems/From_T2/heidy2.t2.smt2	no	0.03	no	0.05	unknown	0.71	no	0.47	no	0.81
Integer_Transition_Systems/From_T2/heidy3.t2.smt2	no	0.05	no	0.06	no	0.51	no	3.08	no	0.78
Integer_Transition_Systems/From_T2/heidy5.t2.smt2	unknown	0.08	unknown	0.05	yes	0.43	yes	0.03	yes	0.73
Integer_Transition_Systems/From_T2/heidy6.t2.smt2	no	0.06	no	0.08	no	0.51	no	23.14	no	1.33
Integer_Transition_Systems/From_T2/heidy7.t2.smt2	no	0.06	no	0.08	no	0.72	no	3.19	no	9.92
Integer_Transition_Systems/From_T2/heidy8.t2.smt2	no	0.03	no	0.09	no	0.56	no	3.24	no	1.37
Integer_Transition_Systems/From_T2/heidy8.t2_fixed.smt2	no	0.06	no	0.09	no	0.56	no	3.24	no	1.39
Integer_Transition_Systems/From_T2/heidy9.t2.smt2	unknown	0.05	unknown	0.05	yes	0.44	yes	0.04	yes	0.58
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2.smt2	no	1.72	unknown	4.79	unknown	300.05	unknown	280.67	unknown	299.01
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2_fixed.smt2	no	21.96	unknown	4.53	unknown	300.04	unknown	193.56	unknown	299.01
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.smt2	no	1.73	unknown	4.76	unknown	300.1	unknown	265.48	unknown	299.01
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2	no	22.67	unknown	4.52	unknown	300.06	unknown	178.38	unknown	299.01
Integer_Transition_Systems/From_T2/hqr.t2.smt2	no	1.73	unknown	4.88	no	290.39	unknown	187.5	unknown	299.01
Integer_Transition_Systems/From_T2/hqr.t2_fixed.smt2	no	3.51	unknown	4.6	unknown	300.02	unknown	194.66	unknown	299.01
Integer_Transition_Systems/From_T2/huh.t2.smt2	unknown	0.12	unknown	0.12	yes	0.69	yes	0.06	yes	2.24
Integer_Transition_Systems/From_T2/huh.t2_fixed.smt2	unknown	0.12	unknown	0.12	yes	0.65	yes	0.06	yes	2.11
Integer_Transition_Systems/From_T2/iecs.t2.smt2	unknown	0.1	unknown	0.11	yes	0.53	yes	0.05	yes	0.55
Integer_Transition_Systems/From_T2/insertsort.t2.smt2	no	0.04	no	0.06	no	0.56	no	10.13	no	1.24
Integer_Transition_Systems/From_T2/insertsort.t2_fixed.smt2	no	0.05	no	0.06	no	0.57	no	18.13	no	1.12
Integer_Transition_Systems/From_T2/intSqRoot.t2.smt2	no	0.06	no	0.09	no	0.51	no	5.17	no	6.82
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2.smt2	unknown	0.64	unknown	3.56	yes	70.76	yes	0.08	yes	7.71
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2_fixed.smt2	unknown	0.64	unknown	1.78	yes	76.71	yes	0.08	yes	7.68
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.smt2	unknown	0.61	unknown	1.85	yes	24.18	yes	0.08	yes	7.52
Integer_Transition_Systems/From_T2/jacobi.t2.smt2	unknown	0.66	unknown	1.42	yes	65.24	yes	0.08	yes	6.68
Integer_Transition_Systems/From_T2/jacobi.t2_fixed.smt2	unknown	0.64	unknown	1.74	yes	67.37	yes	0.08	yes	6.36
Integer_Transition_Systems/From_T2/janne_complex.t2.smt2	no	0.22	no	253.1	no	1.35	unknown	232.2	unknown	299.01
Integer_Transition_Systems/From_T2/janne_complex.t2_fixed.smt2	no	0.11	unknown	0.24	unknown	300.03	no	30.06	unknown	299.01
Integer_Transition_Systems/From_T2/java_AG313.c.t2.smt2	unknown	0.39	unknown	0.18	yes	0.48	yes	0.06	yes	1.29
Integer_Transition_Systems/From_T2/java_AProVEMath.c.t2.smt2	unknown	234.37	unknown	0.3	yes	0.53	yes	0.32	yes	2.95
Integer_Transition_Systems/From_T2/java_AProVEMathRecursive.c.t2.smt2	unknown	300.04	unknown	0.38	yes	0.68	yes	0.44	yes	26.01
Integer_Transition_Systems/From_T2/java_Ackermann.c.t2.smt2	unknown	300.06	unknown	0.18	yes	0.7	yes	0.07	yes	11.67
Integer_Transition_Systems/From_T2/java_Avg.c.t2.smt2	unknown	300.09	unknown	0.15	unknown	14.04	yes	1.32	unknown	16.91
Integer_Transition_Systems/From_T2/java_Break.c.t2.smt2	unknown	0.23	unknown	0.07	yes	0.45	yes	0.02	yes	0.97
Integer_Transition_Systems/From_T2/java_Break.c.t2_fixed.smt2	unknown	0.19	unknown	0.07	yes	0.44	yes	0.02	yes	0.93
Integer_Transition_Systems/From_T2/java_BubbleSort.c.t2.smt2	unknown	300.06	unknown	0.45	yes	0.58	yes	0.08	yes	3.38
Integer_Transition_Systems/From_T2/java_Continue1.c.t2.smt2	unknown	0.23	unknown	0.07	yes	0.43	yes	0.04	yes	0.97
Integer_Transition_Systems/From_T2/java_Continue1.c.t2_fixed.smt2	unknown	0.21	unknown	0.07	yes	0.46	yes	0.04	yes	0.89
Integer_Transition_Systems/From_T2/java_Diff.c.t2.smt2	unknown	300.04	unknown	0.42	yes	3.38	yes	0.29	yes	39.12
Integer_Transition_Systems/From_T2/java_DivMinus1.c.t2.smt2	unknown	0.35	unknown	0.16	yes	0.48	yes	0.03	yes	1.21
Integer_Transition_Systems/From_T2/java_DivMinus2.c.t2.smt2	unknown	300.03	unknown	0.73	unknown	46.84	yes	0.15	yes	26.39
Integer_Transition_Systems/From_T2/java_DivWithoutMinus.c.t2.smt2	unknown	300.05	unknown	0.23	unknown	1.04	yes	1.72	yes	20.06
Integer_Transition_Systems/From_T2/java_Double1.c.t2.smt2	unknown	4.75	unknown	0.1	yes	1.54	yes	0.12	yes	4.05
Integer_Transition_Systems/From_T2/java_Double2.c.t2.smt2	unknown	300.04	unknown	0.08	yes	0.5	yes	0.05	yes	1.54
Integer_Transition_Systems/From_T2/java_Double3.c.t2.smt2	unknown	300.08	unknown	0.09	yes	0.58	yes	0.06	yes	1.92
Integer_Transition_Systems/From_T2/java_Duplicate.c.t2.smt2	unknown	0.26	unknown	0.11	yes	0.45	yes	0.03	yes	1.05
Integer_Transition_Systems/From_T2/java_EqUserDefRec.c.t2.smt2	unknown	0.48	unknown	0.08	yes	0.47	yes	0.06	yes	1.31
Integer_Transition_Systems/From_T2/java_FactSum.c.t2.smt2	unknown	0.54	unknown	0.12	yes	0.52	yes	0.06	yes	2.04
Integer_Transition_Systems/From_T2/java_Factorial.c.t2.smt2	unknown	0.3	unknown	0.06	yes	0.45	yes	0.05	yes	0.95
Integer_Transition_Systems/From_T2/java_FibRecursive.c.t2.smt2	unknown	300.07	unknown	0.21	yes	0.47	yes	0.03	yes	1.52
Integer_Transition_Systems/From_T2/java_Hanoi.c.t2.smt2	unknown	300.05	unknown	0.13	yes	0.5	yes	0.08	yes	2.09
Integer_Transition_Systems/From_T2/java_LeUserDefRec.c.t2.smt2	unknown	0.42	unknown	0.08	yes	0.45	yes	0.04	yes	1.25
Integer_Transition_Systems/From_T2/java_LogBuiltIn.c.t2.smt2	unknown	0.24	unknown	0.08	yes	0.48	yes	0.06	yes	1.3
Integer_Transition_Systems/From_T2/java_MinusBuiltIn.c.t2.smt2	unknown	0.25	unknown	0.07	yes	0.48	yes	0.05	yes	1.2
Integer_Transition_Systems/From_T2/java_MinusMin.c.t2.smt2	unknown	0.26	unknown	0.07	yes	0.47	yes	0.03	yes	1.18
Integer_Transition_Systems/From_T2/java_Nested.c.t2.smt2	unknown	5.08	unknown	0.14	yes	0.52	yes	0.03	yes	1.71
Integer_Transition_Systems/From_T2/java_Nested.c.t2_fixed.smt2	unknown	6.92	unknown	0.11	yes	0.5	yes	0.05	yes	1.5
Integer_Transition_Systems/From_T2/java_NestedLoop.c.t2.smt2	unknown	300.05	unknown	0.38	yes	0.75	yes	0.12	yes	8.01
Integer_Transition_Systems/From_T2/java_PlusSwap.c.t2.smt2	unknown	0.26	unknown	0.09	yes	0.66	yes	1.18	yes	1.32
Integer_Transition_Systems/From_T2/java_Recursions.c.t2.smt2	unknown	3.99	unknown	0.29	yes	0.92	yes	7.16	yes	6.44
Integer_Transition_Systems/From_T2/java_Sequence.c.t2.smt2	unknown	0.76	unknown	0.11	yes	0.49	yes	0.06	yes	1.58
Integer_Transition_Systems/From_T2/java_Sequence.c.t2_fixed.smt2	unknown	0.59	unknown	0.1	yes	0.47	yes	0.05	yes	1.39
Integer_Transition_Systems/From_T2/java_TimesPlusUserDef.c.t2.smt2	unknown	6.89	unknown	0.14	yes	0.53	yes	0.07	yes	2.44
Integer_Transition_Systems/From_T2/jfdctint.c.t2.smt2	unknown	0.89	unknown	0.14	yes	0.52	yes	0.07	yes	2.07
Integer_Transition_Systems/From_T2/jfdctint.c.t2_fixed.smt2	unknown	0.78	unknown	0.13	yes	0.52	yes	0.06	yes	1.93
Integer_Transition_Systems/From_T2/jfdctint.t2.smt2	unknown	0.32	unknown	0.12	yes	0.74	yes	0.03	yes	2.2
Integer_Transition_Systems/From_T2/jfdctint.t2_fixed.smt2	unknown	0.16	unknown	0.11	yes	0.81	yes	0.05	yes	1.92
Integer_Transition_Systems/From_T2/l1.t2.smt2	no	0.1	no	0.11	no	0.56	no	5.17	no	0.82
Integer_Transition_Systems/From_T2/loop3.t2.smt2	unknown	3.11	unknown	32.78	unknown	300.04	yes	0.75	yes	41.21
Integer_Transition_Systems/From_T2/loop3.t2_fixed.smt2	unknown	2.47	unknown	26.24	unknown	300.05	yes	0.59	yes	24.67
Integer_Transition_Systems/From_T2/loop_on_input.t2.smt2	unknown	0.08	unknown	0.07	yes	0.45	yes	0.04	yes	0.78
Integer_Transition_Systems/From_T2/loop_on_input.t2_fixed.smt2	unknown	0.11	unknown	0.06	yes	0.44	yes	0.04	yes	0.77
Integer_Transition_Systems/From_T2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.smt2	unknown	300.03	unknown	0.78	yes	6.86	yes	0.24	yes	7.58
Integer_Transition_Systems/From_T2/ludcmp.t2.smt2	unknown	300.05	unknown	0.8	yes	5.52	yes	0.42	yes	7.39
Integer_Transition_Systems/From_T2/magic.t2.smt2	unknown	300.08	unknown	1.11	yes	3.34	yes	0.46	yes	66.17
Integer_Transition_Systems/From_T2/matmul.t2.smt2	unknown	0.34	unknown	0.17	yes	0.6	yes	0.12	yes	2.96
Integer_Transition_Systems/From_T2/matmul.t2_fixed.smt2	unknown	0.31	unknown	0.1	yes	0.63	yes	0.2	yes	2.53
Integer_Transition_Systems/From_T2/matmult.t2.smt2	unknown	0.54	unknown	0.22	yes	1.01	yes	0.2	yes	5.29
Integer_Transition_Systems/From_T2/matmult.t2_fixed.smt2	unknown	0.48	unknown	0.15	yes	1.01	yes	0.31	yes	4.98
Integer_Transition_Systems/From_T2/matrixsqrt.t2.smt2	unknown	0.43	unknown	0.18	yes	0.7	yes	0.1	yes	3.54
Integer_Transition_Systems/From_T2/mc91.t2.smt2	no	0.08	no	1.06	unknown	1.71	no	15.54	no	1.42
Integer_Transition_Systems/From_T2/mc91.t2_fixed.smt2	unknown	2.15	unknown	0.38	yes	0.46	yes	0.11	yes	0.74
Integer_Transition_Systems/From_T2/mc91test.t2.smt2	no	0.11	no	1.67	unknown	0.93	no	179.87	no	3.02
Integer_Transition_Systems/From_T2/mc91test.t2_fixed.smt2	unknown	38.91	unknown	0.7	yes	0.48	yes	0.32	yes	1.58
Integer_Transition_Systems/From_T2/minmax.t2.smt2	unknown	0.12	unknown	0.03	yes	0.35	yes	0.05	yes	2.04
Integer_Transition_Systems/From_T2/minmax.t2_fixed.smt2	unknown	0.11	unknown	0.05	yes	0.38	yes	0.05	yes	1.97
Integer_Transition_Systems/From_T2/n-1.t2.smt2	no	0.06	no	0.06	no	0.5	no	5.07	no	1.25
Integer_Transition_Systems/From_T2/n-1.t2_fixed.smt2	no	0.06	no	0.08	no	0.51	no	5.13	no	1.61
Integer_Transition_Systems/From_T2/n-10.t2.smt2	no	0.06	no	0.1	no	0.49	no	5.21	no	3.21
Integer_Transition_Systems/From_T2/n-10.t2_fixed.smt2	no	0.07	no	0.11	no	0.54	unknown	0.05	no	4.03
Integer_Transition_Systems/From_T2/n-12.t2.smt2	no	0.03	no	0.07	no	0.47	no	20.32	no	1.21
Integer_Transition_Systems/From_T2/n-12.t2_fixed.smt2	no	0.16	no	0.08	no	0.5	no	20.13	no	1.27
Integer_Transition_Systems/From_T2/n-12a.t2.smt2	no	0.05	no	0.04	no	0.47	no	5.05	no	0.7
Integer_Transition_Systems/From_T2/n-13.t2.smt2	no	0.05	no	0.05	no	0.47	no	18.12	no	0.71
Integer_Transition_Systems/From_T2/n-14.t2.smt2	no	0.06	no	0.08	no	0.5	no	5.09	no	1.15
Integer_Transition_Systems/From_T2/n-14.t2_fixed.smt2	no	0.2	no	0.09	no	0.51	no	5.11	no	1.41
Integer_Transition_Systems/From_T2/n-15.t2.smt2	no	0.05	no	0.06	no	0.5	no	33.29	no	3.26
Integer_Transition_Systems/From_T2/n-15a.t2.smt2	no	0.06	no	0.14	no	0.53	unknown	14.62	no	5.78
Integer_Transition_Systems/From_T2/n-15a.t2_fixed.smt2	no	0.13	no	0.11	no	0.49	unknown	17.4	no	1.7
Integer_Transition_Systems/From_T2/n-16a.t2.smt2	no	0.08	no	0.11	no	0.49	no	5.13	no	0.76
Integer_Transition_Systems/From_T2/n-17.t2.smt2	no	0.05	no	0.06	no	0.51	no	33.33	no	3.02
Integer_Transition_Systems/From_T2/n-18.t2.smt2	no	0.05	no	0.05	no	0.48	no	18.12	no	2.71
Integer_Transition_Systems/From_T2/n-18a.t2.smt2	no	0.1	no	0.11	no	0.49	no	5.13	no	0.79
Integer_Transition_Systems/From_T2/n-1c.t2.smt2	no	0.04	no	0.1	no	0.48	no	5.2	no	1.83
Integer_Transition_Systems/From_T2/n-1c.t2_fixed.smt2	no	0.07	no	0.1	no	0.52	unknown	0.06	no	2.16
Integer_Transition_Systems/From_T2/n-1d.t2.smt2	no	0.06	no	0.07	no	0.5	no	20.31	no	1.33
Integer_Transition_Systems/From_T2/n-1d.t2_fixed.smt2	no	0.16	no	0.09	no	0.53	no	20.13	no	1.51
Integer_Transition_Systems/From_T2/n-20.t2.smt2	no	0.07	no	0.07	no	0.53	unknown	0.05	no	1.39
Integer_Transition_Systems/From_T2/n-21.t2.smt2	no	0.05	no	0.07	no	0.51	no	184.11	no	1.31
Integer_Transition_Systems/From_T2/n-21.t2_fixed.smt2	no	0.06	no	0.06	no	0.54	no	36.24	no	1.09
Integer_Transition_Systems/From_T2/n-3.t2.smt2	no	0.05	no	0.06	no	0.55	no	36.18	no	1.09
Integer_Transition_Systems/From_T2/n-32.t2.smt2	no	0.05	no	0.09	no	0.47	no	5.2	no	0.92
Integer_Transition_Systems/From_T2/n-33.t2.smt2	no	0.07	no	0.55	no	0.52	unknown	300.02	no	3.93
Integer_Transition_Systems/From_T2/n-36.t2.smt2	no	0.12	no	0.14	no	0.56	unknown	0.07	no	7.74
Integer_Transition_Systems/From_T2/n-36.t2_fixed.smt2	no	0.14	no	0.15	no	0.58	unknown	0.09	no	6.96
Integer_Transition_Systems/From_T2/n-37.t2.smt2	no	0.06	no	0.04	no	0.53	no	43.31	no	1.07
Integer_Transition_Systems/From_T2/n-37.t2_fixed.smt2	no	0.06	no	0.05	no	0.52	no	43.32	no	1.09
Integer_Transition_Systems/From_T2/n-38.t2.smt2	unknown	0.04	unknown	0.01	yes	0.35	yes	0.03	yes	0.47
Integer_Transition_Systems/From_T2/n-3a.t2.smt2	no	0.07	no	0.16	no	0.51	no	15.28	no	3.12
Integer_Transition_Systems/From_T2/n-3a.t2_fixed.smt2	no	0.39	no	0.17	no	0.53	no	15.15	no	2.61
Integer_Transition_Systems/From_T2/n-4.t2.smt2	no	0.05	no	0.17	no	0.67	no	20.81	no	3.88
Integer_Transition_Systems/From_T2/n-4.t2_fixed.smt2	no	2.64	no	0.22	no	0.78	no	20.57	no	2.77
Integer_Transition_Systems/From_T2/n-40.t2.smt2	no	0.07	no	0.25	no	0.69	no	117.33	no	3.1
Integer_Transition_Systems/From_T2/n-40.t2_fixed.smt2	no	0.1	unknown	0.17	no	0.73	no	36.51	no	4.42
Integer_Transition_Systems/From_T2/n-46.t2.smt2	no	0.06	no	0.06	no	0.5	no	170.07	no	0.94
Integer_Transition_Systems/From_T2/n-48.t2.smt2	no	0.11	no	0.11	no	0.5	no	32.24	no	1.12
Integer_Transition_Systems/From_T2/n-48.t2_fixed.smt2	no	0.12	no	0.12	no	0.49	no	32.23	no	1.14
Integer_Transition_Systems/From_T2/n-5.t2.smt2	no	0.23	no	0.18	no	1.03	no	14.06	no	2.6
Integer_Transition_Systems/From_T2/n-5.t2_fixed.smt2	no	0.25	no	0.19	no	1.18	no	11.52	no	2.68
Integer_Transition_Systems/From_T2/n-6.t2.smt2	no	0.03	no	0.09	no	0.48	no	126.67	no	1.62
Integer_Transition_Systems/From_T2/n-6.t2_fixed.smt2	no	0.14	no	0.09	no	0.51	no	69.83	no	2.01
Integer_Transition_Systems/From_T2/n-6a.t2.smt2	no	0.06	no	0.08	no	0.55	no	20.18	no	1.13
Integer_Transition_Systems/From_T2/n-6a.t2_fixed.smt2	no	0.06	no	0.08	no	0.54	no	20.16	no	1.42
Integer_Transition_Systems/From_T2/n-7.t2.smt2	no	0.04	no	0.06	no	0.51	no	238.45	no	1.29
Integer_Transition_Systems/From_T2/n-7.t2_fixed.smt2	no	0.07	no	0.07	no	0.54	no	145.04	no	1.33
Integer_Transition_Systems/From_T2/n-8.t2.smt2	no	0.06	no	0.09	no	0.5	no	5.21	no	2.37
Integer_Transition_Systems/From_T2/n-8.t2_fixed.smt2	no	0.06	no	0.1	no	0.49	unknown	0.05	no	2.98
Integer_Transition_Systems/From_T2/n-8a.t2.smt2	no	0.03	no	0.05	no	0.48	no	5.1	no	0.93
Integer_Transition_Systems/From_T2/n-9.t2.smt2	no	0.06	no	0.14	no	0.51	no	5.3	no	2.81
Integer_Transition_Systems/From_T2/n-9.t2_fixed.smt2	no	0.07	no	0.35	no	0.5	no	5.34	no	3.54
Integer_Transition_Systems/From_T2/n_firewire_instrumented-PP.t2.smt2	unknown	300.05	unknown	4.72	unknown	7.7	unknown	149.05	yes	41.0
Integer_Transition_Systems/From_T2/nakata.t2.smt2	unknown	300.07	unknown	1.58	unknown	300.09	no	153.81	unknown	299.01
Integer_Transition_Systems/From_T2/nakata_withassume.t2.smt2	unknown	300.07	unknown	27.57	yes	129.86	yes	1.91	unknown	299.01
Integer_Transition_Systems/From_T2/ndes.t2.smt2	unknown	300.03	unknown	21.77	unknown	300.02	yes	14.39	unknown	299.01
Integer_Transition_Systems/From_T2/ndes.t2_fixed.smt2	unknown	300.08	unknown	17.68	unknown	300.02	yes	13.27	unknown	299.01
Integer_Transition_Systems/From_T2/neg-1394-fail.t2.smt2	no	0.95	no	2.53	no	9.89	no	16.06	no	28.57
Integer_Transition_Systems/From_T2/neg-1394-succeed.t2.smt2	no	1.0	no	2.93	no	10.33	no	16.07	no	30.72
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2.smt2	no	1.02	no	2.41	no	9.51	no	247.98	no	31.43
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2_fixed.smt2	no	1.03	no	2.5	no	9.43	no	248.07	no	31.43
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2.smt2	no	1.03	no	2.33	no	9.17	no	46.05	no	31.5
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2_fixed.smt2	no	1.03	no	2.45	no	9.19	no	45.96	no	31.3
Integer_Transition_Systems/From_T2/neg-acqrel-fail.t2.smt2	no	0.06	no	0.18	no	0.58	no	9.12	no	1.19
Integer_Transition_Systems/From_T2/neg-acqrel-succeed.t2.smt2	no	0.06	no	0.14	no	0.59	no	9.1	no	1.24
Integer_Transition_Systems/From_T2/neg-e-1394-succeed.t2.smt2	no	0.87	no	2.49	no	9.25	no	16.05	no	28.2
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2.smt2	no	0.87	no	2.04	no	7.89	no	46.0	no	28.15
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2_fixed.smt2	no	0.89	no	2.21	no	7.79	no	46.0	no	28.21
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2.smt2	no	0.87	no	2.09	no	7.95	no	45.98	no	27.87
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2_fixed.smt2	no	0.89	no	2.1	no	7.77	no	45.99	no	28.03
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2.smt2	no	0.06	no	0.1	no	0.58	no	5.09	no	1.29
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2_fixed.smt2	no	0.03	no	0.09	no	0.56	no	5.09	no	1.29
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2.smt2	no	0.06	no	0.07	no	0.58	no	5.04	no	1.27
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2_fixed.smt2	no	0.06	no	0.07	no	0.59	no	5.07	no	1.25
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2.smt2	no	0.09	no	0.12	no	0.52	no	0.06	no	2.22
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2_fixed.smt2	no	0.06	no	0.12	no	0.52	no	0.04	no	2.14
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2.smt2	no	0.08	no	0.15	no	0.53	no	0.04	no	2.12
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2_fixed.smt2	no	0.08	no	0.13	no	0.52	no	0.06	no	1.99
Integer_Transition_Systems/From_T2/neg-e-popl07-fail.t2.smt2	no	0.09	no	0.22	no	0.75	no	0.11	no	4.17
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2.smt2	no	0.14	no	0.29	no	0.78	no	0.26	no	4.72
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2_fixed.smt2	no	0.14	no	0.28	no	0.74	no	0.27	no	4.72
Integer_Transition_Systems/From_T2/neg-e-smagill-succeed.t2.smt2	no	0.03	no	0.1	no	0.54	no	0.05	no	1.49
Integer_Transition_Systems/From_T2/neg-e-st88b-succeed.t2.smt2	no	0.06	no	0.15	no	0.59	no	0.05	no	1.56
Integer_Transition_Systems/From_T2/neg-pgarch-fail.t2.smt2	no	0.07	no	0.15	no	0.55	no	0.07	no	2.78
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2.smt2	no	0.1	no	0.15	no	0.56	no	0.06	no	2.75
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2_fixed.smt2	no	0.09	no	0.14	no	0.56	no	0.07	no	2.63
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2.smt2	no	0.11	no	0.21	no	0.75	no	0.11	no	4.16
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2_fixed.smt2	no	0.11	no	0.22	no	0.73	no	0.09	no	4.14
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2.smt2	no	0.13	no	0.25	no	0.79	no	0.24	no	4.68
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2_fixed.smt2	no	0.13	no	0.25	no	0.82	no	0.24	no	4.58
Integer_Transition_Systems/From_T2/neg-smagilla-fail.t2.smt2	no	0.03	no	0.09	no	0.53	no	3.13	no	1.38
Integer_Transition_Systems/From_T2/neg-smagilla-succeed.t2.smt2	no	0.13	no	0.09	no	0.61	no	12.17	unknown	8.52
Integer_Transition_Systems/From_T2/neg-st88b-fail.t2.smt2	no	0.04	no	0.12	no	1.02	no	36.35	no	4.44
Integer_Transition_Systems/From_T2/neg.t2.smt2	unknown	0.01	unknown	0.03	yes	0.35	yes	0.03	yes	0.42
Integer_Transition_Systems/From_T2/nested.t2.smt2	unknown	0.15	unknown	0.12	yes	0.51	yes	0.05	yes	1.02
Integer_Transition_Systems/From_T2/nested2.t2.smt2	unknown	0.14	unknown	0.12	yes	0.48	yes	0.05	yes	1.0
Integer_Transition_Systems/From_T2/nested2.t2_fixed.smt2	unknown	0.09	unknown	0.06	yes	0.51	yes	4.04	yes	0.97
Integer_Transition_Systems/From_T2/non_term.t2.smt2	no	0.09	no	0.11	no	0.49	no	32.28	no	0.76
Integer_Transition_Systems/From_T2/ns.t2.smt2	unknown	300.05	unknown	0.14	yes	0.83	yes	0.53	yes	6.75
Integer_Transition_Systems/From_T2/ns.t2_fixed.smt2	unknown	300.08	unknown	0.1	yes	0.81	yes	0.4	yes	5.16
Integer_Transition_Systems/From_T2/oct_vs_subpoly.t2.smt2	no	0.05	no	0.03	no	0.5	no	33.18	no	0.71
Integer_Transition_Systems/From_T2/opt-tree.c.t2.smt2	unknown	300.02	unknown	1.43	yes	1.93	yes	15.03	yes	59.23
Integer_Transition_Systems/From_T2/p-1.t2.smt2	no	0.03	no	0.06	no	0.52	unknown	0.02	no	0.84
Integer_Transition_Systems/From_T2/p-10.t2.smt2	no	0.06	no	0.06	no	0.52	unknown	0.05	no	1.08
Integer_Transition_Systems/From_T2/p-12.t2.smt2	unknown	0.06	unknown	0.04	yes	0.44	yes	0.04	yes	0.65
Integer_Transition_Systems/From_T2/p-13.t2.smt2	unknown	0.05	unknown	0.02	yes	0.36	yes	0.04	yes	0.5
Integer_Transition_Systems/From_T2/p-14.t2.smt2	unknown	0.06	unknown	0.05	yes	0.44	yes	0.04	yes	0.63
Integer_Transition_Systems/From_T2/p-15.t2.smt2	unknown	0.03	unknown	0.05	yes	0.42	yes	0.04	yes	0.65
Integer_Transition_Systems/From_T2/p-19.t2.smt2	no	0.05	no	0.06	no	0.51	unknown	0.05	no	0.94
Integer_Transition_Systems/From_T2/p-19a.t2.smt2	no	0.06	no	0.05	no	0.52	unknown	0.05	no	0.98
Integer_Transition_Systems/From_T2/p-1a.t2.smt2	no	0.06	no	0.06	no	0.53	unknown	0.04	no	0.79
Integer_Transition_Systems/From_T2/p-1b.t2.smt2	unknown	0.06	unknown	0.05	yes	0.45	yes	0.04	yes	0.62
Integer_Transition_Systems/From_T2/p-1c.t2.smt2	no	0.06	no	0.06	no	0.52	unknown	0.05	no	0.79
Integer_Transition_Systems/From_T2/p-1d.t2.smt2	unknown	1.69	unknown	0.08	yes	0.42	yes	0.05	yes	1.0
Integer_Transition_Systems/From_T2/p-20.t2.smt2	no	0.06	no	0.07	no	0.53	unknown	0.05	no	1.24
Integer_Transition_Systems/From_T2/p-21.t2.smt2	unknown	0.13	unknown	0.09	yes	0.48	yes	0.05	yes	0.91
Integer_Transition_Systems/From_T2/p-21.t2_fixed.smt2	unknown	0.12	unknown	0.08	yes	0.48	yes	0.03	yes	0.81
Integer_Transition_Systems/From_T2/p-22.t2.smt2	unknown	0.07	unknown	0.05	yes	0.45	yes	0.02	yes	0.75
Integer_Transition_Systems/From_T2/p-3.t2.smt2	unknown	0.08	unknown	0.05	yes	0.45	yes	0.04	yes	0.88
Integer_Transition_Systems/From_T2/p-3.t2_fixed.smt2	unknown	0.09	unknown	0.07	yes	0.45	yes	0.04	yes	0.96
Integer_Transition_Systems/From_T2/p-32.t2.smt2	no	0.05	no	0.09	no	0.49	no	5.26	no	0.91
Integer_Transition_Systems/From_T2/p-33.t2.smt2	no	0.07	no	0.29	no	0.51	unknown	300.05	no	1.78
Integer_Transition_Systems/From_T2/p-34.t2.smt2	no	0.08	no	0.16	no	0.58	unknown	0.06	no	9.57
Integer_Transition_Systems/From_T2/p-36.t2.smt2	no	0.09	no	0.1	no	0.54	unknown	0.04	no	2.5
Integer_Transition_Systems/From_T2/p-36.t2_fixed.smt2	no	0.09	no	0.1	no	0.54	unknown	0.06	no	2.29
Integer_Transition_Systems/From_T2/p-37.t2.smt2	unknown	0.08	unknown	0.05	yes	0.46	yes	0.04	yes	1.03
Integer_Transition_Systems/From_T2/p-37.t2_fixed.smt2	unknown	0.08	unknown	0.05	yes	0.46	yes	0.04	yes	1.0
Integer_Transition_Systems/From_T2/p-38.t2.smt2	unknown	0.13	unknown	0.04	yes	0.37	yes	0.05	yes	1.14
Integer_Transition_Systems/From_T2/p-38.t2_fixed.smt2	unknown	0.16	unknown	0.03	yes	0.38	yes	0.03	yes	1.3
Integer_Transition_Systems/From_T2/p-4.t2.smt2	unknown	0.09	unknown	0.09	yes	0.46	yes	0.04	yes	0.85
Integer_Transition_Systems/From_T2/p-40.t2.smt2	unknown	0.07	unknown	0.06	yes	0.44	yes	0.04	yes	0.87
Integer_Transition_Systems/From_T2/p-40.t2_fixed.smt2	unknown	0.07	unknown	0.06	yes	0.45	yes	0.04	yes	0.84
Integer_Transition_Systems/From_T2/p-41.t2.smt2	unknown	0.04	unknown	0.02	yes	0.33	yes	0.02	yes	0.46
Integer_Transition_Systems/From_T2/p-42.t2.smt2	unknown	0.08	unknown	0.08	yes	0.43	yes	0.04	yes	0.84
Integer_Transition_Systems/From_T2/p-43-terminate.t2.smt2	unknown	300.08	unknown	1.22	yes	6.96	yes	1.7	yes	23.92
Integer_Transition_Systems/From_T2/p-43-terminate.t2_fixed.smt2	unknown	300.03	unknown	1.07	yes	8.49	yes	3.4	yes	29.89
Integer_Transition_Systems/From_T2/p-43.t2.smt2	unknown	2.53	unknown	0.09	yes	1.99	yes	0.16	yes	4.17
Integer_Transition_Systems/From_T2/p-43.t2_fixed.smt2	unknown	300.03	unknown	0.11	yes	1.93	yes	0.44	yes	5.79
Integer_Transition_Systems/From_T2/p-44.t2.smt2	unknown	0.06	unknown	0.06	yes	0.45	yes	0.02	yes	0.71
Integer_Transition_Systems/From_T2/p-45.t2.smt2	unknown	0.07	unknown	0.06	yes	0.44	yes	0.05	yes	0.78
Integer_Transition_Systems/From_T2/p-46.t2.smt2	no	0.06	no	0.09	unknown	0.84	no	5.22	no	40.24
Integer_Transition_Systems/From_T2/p-46.t2_fixed.smt2	no	0.23	no	0.25	unknown	5.39	no	5.2	unknown	299.01
Integer_Transition_Systems/From_T2/p-49.t2.smt2	unknown	0.06	unknown	0.04	yes	0.45	yes	0.04	yes	0.66
Integer_Transition_Systems/From_T2/p-5.t2.smt2	no	0.24	no	0.19	no	1.02	no	14.26	no	2.63
Integer_Transition_Systems/From_T2/p-5.t2_fixed.smt2	no	0.25	no	0.18	no	1.16	no	21.77	no	2.66
Integer_Transition_Systems/From_T2/p-50.t2.smt2	unknown	0.04	unknown	0.01	yes	0.35	yes	0.04	yes	0.47
Integer_Transition_Systems/From_T2/p-52.t2.smt2	no	0.06	no	0.05	no	0.53	unknown	0.05	no	1.05
Integer_Transition_Systems/From_T2/p-53.t2.smt2	unknown	0.03	unknown	0.02	yes	0.36	yes	0.04	yes	0.62
Integer_Transition_Systems/From_T2/p-55.t2.smt2	unknown	0.1	unknown	0.22	yes	0.45	yes	0.05	yes	1.5
Integer_Transition_Systems/From_T2/p-55.t2_fixed.smt2	unknown	0.16	unknown	0.11	yes	0.47	yes	0.05	yes	1.62
Integer_Transition_Systems/From_T2/p-56.t2.smt2	unknown	0.04	unknown	0.06	yes	0.45	yes	0.04	yes	0.83
Integer_Transition_Systems/From_T2/p-56.t2_fixed.smt2	unknown	0.12	unknown	0.07	yes	0.47	yes	0.04	yes	0.92
Integer_Transition_Systems/From_T2/p-58.t2.smt2	unknown	0.03	unknown	0.03	yes	0.45	yes	0.02	yes	0.68
Integer_Transition_Systems/From_T2/p-6.t2.smt2	unknown	300.05	unknown	0.1	yes	0.46	yes	0.05	yes	1.09
Integer_Transition_Systems/From_T2/p-60.t2.smt2	unknown	0.05	unknown	0.06	yes	0.45	yes	0.04	yes	0.78
Integer_Transition_Systems/From_T2/p-60.t2_fixed.smt2	unknown	0.04	unknown	0.05	yes	0.46	yes	0.02	yes	0.79
Integer_Transition_Systems/From_T2/p-61.t2.smt2	unknown	0.07	unknown	0.05	yes	0.43	yes	0.04	yes	0.8
Integer_Transition_Systems/From_T2/p-61.t2_fixed.smt2	unknown	0.06	unknown	0.04	yes	0.45	yes	0.03	yes	0.73
Integer_Transition_Systems/From_T2/p-62.t2.smt2	unknown	0.04	unknown	0.03	yes	0.35	yes	0.02	yes	0.49
Integer_Transition_Systems/From_T2/p-63.t2.smt2	unknown	0.13	unknown	0.12	yes	0.55	yes	0.03	yes	0.86
Integer_Transition_Systems/From_T2/p-63.t2_fixed.smt2	unknown	0.13	unknown	0.1	yes	0.55	yes	0.05	yes	0.83
Integer_Transition_Systems/From_T2/p-7.t2.smt2	unknown	0.09	unknown	0.07	yes	0.45	yes	0.04	yes	0.86
Integer_Transition_Systems/From_T2/p-7.t2_fixed.smt2	unknown	0.1	unknown	0.07	yes	0.48	yes	0.02	yes	0.91
Integer_Transition_Systems/From_T2/p-7b.t2.smt2	unknown	0.08	unknown	0.06	yes	0.46	yes	0.02	yes	0.76
Integer_Transition_Systems/From_T2/p-8.t2.smt2	no	0.03	no	0.06	no	0.51	unknown	0.04	no	0.9
Integer_Transition_Systems/From_T2/p.t2.smt2	no	0.16	unknown	2.87	unknown	300.09	unknown	300.05	no	113.55
Integer_Transition_Systems/From_T2/p_armc.t2.smt2	no	0.16	no	0.4	no	218.66	unknown	41.36	no	23.28
Integer_Transition_Systems/From_T2/pearl-necklace.t2.smt2	unknown	0.15	unknown	0.1	yes	0.5	yes	0.05	yes	1.3
Integer_Transition_Systems/From_T2/peculiar.t2.smt2	no	0.07	no	0.22	no	0.68	no	3.2	no	1.66
Integer_Transition_Systems/From_T2/peculiar.t2_fixed.smt2	no	0.06	no	0.21	no	0.67	no	3.2	no	1.69
Integer_Transition_Systems/From_T2/pentagon.t2.smt2	unknown	4.41	unknown	0.18	unknown	60.15	unknown	300.1	unknown	299.01
Integer_Transition_Systems/From_T2/pgarch-fail.t2.smt2	no	0.09	no	0.15	no	0.55	no	0.06	no	2.56
Integer_Transition_Systems/From_T2/pgarch-succeed.t2.smt2	no	0.1	no	0.13	no	0.56	no	0.06	no	2.67
Integer_Transition_Systems/From_T2/pgarch.t2.smt2	no	139.85	no	62.48	no	13.52	unknown	137.32	unknown	299.01
Integer_Transition_Systems/From_T2/pgarch.t2_fixed.smt2	no	68.54	no	67.98	no	129.25	unknown	300.07	unknown	299.01
Integer_Transition_Systems/From_T2/polling.bug.t2.smt2	no	0.75	no	2.02	no	3.77	unknown	32.6	no	19.61
Integer_Transition_Systems/From_T2/polling.bug.t2_fixed.smt2	no	0.67	no	1.84	no	3.58	unknown	18.38	no	18.74
Integer_Transition_Systems/From_T2/polling.t2.smt2	no	0.64	no	1.79	no	2.94	unknown	18.02	no	16.02
Integer_Transition_Systems/From_T2/polling.t2_fixed.smt2	no	0.57	no	1.56	no	2.95	unknown	17.14	no	15.12
Integer_Transition_Systems/From_T2/polyrank1.t2.smt2	unknown	0.1	unknown	0.11	yes	0.56	yes	0.07	yes	0.61
Integer_Transition_Systems/From_T2/polyrank2.t2.smt2	unknown	0.06	unknown	0.06	yes	0.57	yes	17.86	unknown	3.51
Integer_Transition_Systems/From_T2/polyrank3.t2.smt2	unknown	48.32	unknown	0.89	yes	0.67	yes	24.24	unknown	22.75
Integer_Transition_Systems/From_T2/polyrank4.t2.smt2	unknown	3.48	unknown	0.45	yes	0.83	yes	13.62	unknown	19.0
Integer_Transition_Systems/From_T2/polyrank5.t2.smt2	unknown	0.16	unknown	0.09	yes	1.33	yes	54.9	unknown	48.04
Integer_Transition_Systems/From_T2/polyrank6.t2.smt2	unknown	25.68	unknown	0.51	yes	0.58	yes	0.16	yes	0.78
Integer_Transition_Systems/From_T2/polyrank7.t2.smt2	no	0.06	no	0.08	no	0.48	no	27.28	no	1.0
Integer_Transition_Systems/From_T2/popl07-fail.t2.smt2	no	0.08	no	0.2	no	0.68	no	0.07	no	3.82
Integer_Transition_Systems/From_T2/popl07-succeed.t2.smt2	no	0.11	no	0.2	no	0.73	no	0.1	no	3.88
Integer_Transition_Systems/From_T2/ppblock.t2.smt2	no	0.06	no	0.12	no	0.75	no	125.13	no	12.37
Integer_Transition_Systems/From_T2/ppblockbug.t2.smt2	no	0.06	no	0.19	no	0.72	no	52.61	no	8.27
Integer_Transition_Systems/From_T2/ppblockterm.t2.smt2	no	0.11	no	0.1	unknown	2.25	no	125.11	no	3.65
Integer_Transition_Systems/From_T2/ppblocktermbug.t2.smt2	no	0.16	no	0.13	unknown	2.33	no	125.12	no	4.76
Integer_Transition_Systems/From_T2/prime.t2.smt2	no	0.45	no	0.33	unknown	7.86	no	23.19	no	14.0
Integer_Transition_Systems/From_T2/prime.t2_fixed.smt2	no	0.4	no	0.31	unknown	18.08	no	23.17	no	12.9
Integer_Transition_Systems/From_T2/print.t2.smt2	unknown	11.64	unknown	2.3	yes	1.7	yes	0.24	yes	18.67
Integer_Transition_Systems/From_T2/print.t2_fixed.smt2	unknown	300.05	unknown	1.77	yes	4.71	yes	0.61	yes	20.52
Integer_Transition_Systems/From_T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.smt2	unknown	203.48	unknown	0.64	yes	8.95	yes	0.48	yes	6.38
Integer_Transition_Systems/From_T2/qrdcmp.t2.smt2	unknown	191.68	unknown	0.65	yes	12.56	yes	0.7	yes	9.02
Integer_Transition_Systems/From_T2/queens.t2.smt2	unknown	300.05	unknown	0.5	yes	1.9	yes	1.62	yes	82.31
Integer_Transition_Systems/From_T2/queens.t2_fixed.smt2	unknown	300.08	unknown	0.52	yes	1.87	yes	1.85	yes	109.4
Integer_Transition_Systems/From_T2/queue_1.t2.smt2	unknown	2.33	unknown	0.15	yes	0.55	yes	0.04	yes	2.34
Integer_Transition_Systems/From_T2/queue_10.t2.smt2	unknown	300.05	unknown	0.17	yes	0.55	yes	0.07	yes	2.82
Integer_Transition_Systems/From_T2/queue_10.t2_fixed.smt2	unknown	300.02	unknown	0.18	yes	0.56	yes	0.06	yes	2.6
Integer_Transition_Systems/From_T2/queue_100.t2.smt2	unknown	300.09	unknown	0.19	yes	0.57	yes	0.04	yes	2.77
Integer_Transition_Systems/From_T2/queue_100.t2_fixed.smt2	unknown	300.08	unknown	0.15	yes	0.56	yes	0.06	yes	2.67
Integer_Transition_Systems/From_T2/queue_1000.t2.smt2	unknown	300.1	unknown	0.17	yes	0.55	yes	0.07	yes	2.78
Integer_Transition_Systems/From_T2/queue_1000.t2_fixed.smt2	unknown	300.05	unknown	0.18	yes	0.59	yes	0.06	yes	2.67
Integer_Transition_Systems/From_T2/randomwalk.t2.smt2	unknown	2.22	unknown	1.08	yes	2.59	unknown	94.81	yes	22.79
Integer_Transition_Systems/From_T2/randomwalk_withassume.t2.smt2	unknown	2.51	unknown	1.31	yes	3.29	yes	0.09	yes	6.52
Integer_Transition_Systems/From_T2/refine_disj_problem.t2.smt2	no	0.07	no	0.11	no	0.47	no	5.19	no	1.0
Integer_Transition_Systems/From_T2/refine_disj_problem.t2_fixed.smt2	no	0.13	no	0.14	no	0.54	no	36.31	no	1.21
Integer_Transition_Systems/From_T2/rev_nt2.t2.smt2	no	0.19	no	0.22	no	1.02	no	10.14	no	6.33
Integer_Transition_Systems/From_T2/rev_nt2.t2_fixed.smt2	no	0.17	no	0.33	no	1.1	no	7.71	no	9.22
Integer_Transition_Systems/From_T2/rev_nt3.t2.smt2	no	0.14	no	0.28	no	0.9	no	7.9	no	8.97
Integer_Transition_Systems/From_T2/rev_nt3.t2_fixed.smt2	no	0.14	no	0.29	no	0.87	no	7.89	no	8.96
Integer_Transition_Systems/From_T2/rev_nt4.t2.smt2	unknown	0.04	unknown	0.03	yes	0.35	yes	0.03	yes	0.5
Integer_Transition_Systems/From_T2/rev_nt4.t2_fixed.smt2	unknown	0.02	unknown	0.02	yes	0.36	yes	0.04	yes	0.48
Integer_Transition_Systems/From_T2/reverse.t2.smt2	unknown	16.66	unknown	3.72	yes	2.02	yes	0.31	yes	37.38
Integer_Transition_Systems/From_T2/reverse.t2_fixed.smt2	unknown	300.08	unknown	2.28	yes	8.7	yes	1.0	yes	37.69
Integer_Transition_Systems/From_T2/reverse_div4.t2.smt2	no	0.85	no	0.71	no	1.34	no	11.28	no	18.21
Integer_Transition_Systems/From_T2/reverse_div4.t2_fixed.smt2	no	0.4	no	0.69	no	2.09	no	11.68	no	27.29
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2.smt2	unknown	6.43	unknown	1.16	yes	1.16	yes	0.18	yes	16.05
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2_fixed.smt2	unknown	207.69	unknown	1.01	yes	2.51	yes	0.56	yes	25.11
Integer_Transition_Systems/From_T2/rewrite.t2.smt2	no	0.05	no	0.04	no	0.5	no	0.04	no	0.71
Integer_Transition_Systems/From_T2/rlft3.c.i.rlft3.pl.t2.fixed.t2.smt2	no	0.27	no	0.8	no	7.42	unknown	300.06	no	13.01
Integer_Transition_Systems/From_T2/rlft3.t2.smt2	no	0.27	no	0.8	no	8.37	no	242.68	no	9.72
Integer_Transition_Systems/From_T2/ruslan-benchmarks_misc_n-38.t2.smt2	no	0.19	no	0.22	unknown	5.6	unknown	300.02	no	38.43
Integer_Transition_Systems/From_T2/s1-saved.t2.smt2	unknown	8.43	unknown	1.45	yes	1.27	yes	0.2	yes	17.25
Integer_Transition_Systems/From_T2/s1-saved.t2_fixed.smt2	unknown	300.04	unknown	1.02	yes	2.83	yes	0.42	yes	20.75
Integer_Transition_Systems/From_T2/s1-striped.t2.smt2	no	3.86	no	13.79	no	88.57	unknown	156.8	unknown	299.01
Integer_Transition_Systems/From_T2/s1-striped.t2_fixed.smt2	no	3.25	no	31.6	unknown	98.03	unknown	174.47	unknown	299.01
Integer_Transition_Systems/From_T2/s1.t2.smt2	no	3.87	no	13.5	no	162.6	unknown	156.76	unknown	299.01
Integer_Transition_Systems/From_T2/s1.t2_fixed.smt2	no	3.26	no	31.96	no	190.62	unknown	172.85	unknown	299.01
Integer_Transition_Systems/From_T2/s2.t2.smt2	unknown	0.06	unknown	0.06	yes	0.45	yes	0.04	yes	0.74
Integer_Transition_Systems/From_T2/s2.t2_fixed.smt2	unknown	0.05	unknown	0.05	yes	0.46	yes	0.05	yes	0.68
Integer_Transition_Systems/From_T2/s3-work.t2.smt2	unknown	300.03	unknown	40.45	yes	7.07	yes	1.95	yes	282.03
Integer_Transition_Systems/From_T2/s3-work.t2_fixed.smt2	unknown	300.07	unknown	10.31	yes	34.36	yes	7.2	yes	218.16
Integer_Transition_Systems/From_T2/s3.t2.smt2	unknown	300.02	unknown	258.19	unknown	300.03	unknown	300.04	unknown	299.01
Integer_Transition_Systems/From_T2/s3.t2_fixed.smt2	no	268.21	unknown	256.34	unknown	300.11	unknown	300.03	unknown	299.01
Integer_Transition_Systems/From_T2/s4.t2.smt2	unknown	300.09	unknown	270.33	unknown	300.05	unknown	300.1	unknown	299.01
Integer_Transition_Systems/From_T2/s4.t2_fixed.smt2	unknown	300.03	unknown	265.84	unknown	300.07	unknown	300.09	unknown	299.01
Integer_Transition_Systems/From_T2/sas07.cex.t2.smt2	unknown	0.62	unknown	0.46	yes	1.17	yes	0.16	yes	6.89
Integer_Transition_Systems/From_T2/sas2.t2.smt2	unknown	1.13	unknown	6.04	unknown	48.78	yes	81.02	unknown	299.01
Integer_Transition_Systems/From_T2/select.t2.smt2	no	0.13	no	0.74	no	2.35	no	211.52	unknown	299.01
Integer_Transition_Systems/From_T2/select.t2_fixed.smt2	no	0.12	no	0.74	no	2.27	no	45.22	unknown	299.01
Integer_Transition_Systems/From_T2/selectSort.t2.smt2	unknown	300.04	unknown	0.16	yes	0.62	yes	0.1	yes	2.63
Integer_Transition_Systems/From_T2/send-more-money.t2.smt2	unknown	300.03	unknown	0.17	yes	0.47	yes	0.41	yes	17.04
Integer_Transition_Systems/From_T2/send-more-money.t2_fixed.smt2	unknown	300.02	unknown	0.16	yes	0.49	yes	0.39	yes	16.61
Integer_Transition_Systems/From_T2/seq.t2.smt2	unknown	0.05	unknown	0.04	yes	0.44	yes	0.02	yes	0.55
Integer_Transition_Systems/From_T2/sequential_swap.t2.smt2	unknown	0.06	unknown	0.01	yes	0.35	yes	0.04	yes	0.59
Integer_Transition_Systems/From_T2/simple.t2.smt2	no	0.05	no	0.06	no	0.53	no	33.28	no	0.85
Integer_Transition_Systems/From_T2/simpleWhile.t2.smt2	unknown	2.63	unknown	0.08	yes	0.45	yes	0.05	yes	1.47
Integer_Transition_Systems/From_T2/simple_array_inversion.t2.smt2	unknown	0.07	unknown	0.05	yes	0.45	yes	0.04	yes	0.73
Integer_Transition_Systems/From_T2/simple_control_on_input.t2.smt2	unknown	0.09	unknown	0.05	yes	0.45	yes	0.04	yes	0.75
Integer_Transition_Systems/From_T2/simple_control_on_input.t2_fixed.smt2	unknown	0.09	unknown	0.05	yes	0.45	yes	0.02	yes	0.76
Integer_Transition_Systems/From_T2/simple_fail.t2.smt2	unknown	0.04	unknown	0.02	yes	0.35	yes	0.03	yes	0.46
Integer_Transition_Systems/From_T2/simple_pre.t2.smt2	unknown	0.04	unknown	0.03	yes	0.36	yes	0.04	yes	0.47
Integer_Transition_Systems/From_T2/simple_pre1.t2.smt2	unknown	0.04	unknown	0.01	yes	0.35	yes	0.04	yes	0.46
Integer_Transition_Systems/From_T2/simple_pre2.t2.smt2	unknown	0.04	unknown	0.02	yes	0.33	yes	0.03	yes	0.46
Integer_Transition_Systems/From_T2/simple_pre3.t2.smt2	unknown	0.05	unknown	0.01	yes	0.36	yes	0.04	yes	0.84
Integer_Transition_Systems/From_T2/simple_swap_call.t2.smt2	unknown	0.05	unknown	0.01	yes	0.34	yes	0.03	yes	0.59
Integer_Transition_Systems/From_T2/simple_test.t2.smt2	unknown	0.15	unknown	0.1	yes	0.48	yes	0.05	yes	1.14
Integer_Transition_Systems/From_T2/simple_test2.t2.smt2	no	0.05	no	0.05	no	0.49	no	0.02	no	0.68
Integer_Transition_Systems/From_T2/slayer-1-filtered.t2.smt2	unknown	4.78	unknown	0.26	yes	1.2	yes	0.12	yes	4.97
Integer_Transition_Systems/From_T2/slayer-1-rf.t2.smt2	unknown	4.66	unknown	0.35	yes	1.52	yes	0.11	yes	7.33
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2.smt2	unknown	0.06	unknown	0.06	yes	0.43	yes	0.02	yes	0.82
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2_fixed.smt2	unknown	0.04	unknown	0.05	yes	0.43	yes	0.04	yes	0.77
Integer_Transition_Systems/From_T2/slayer-3-filtered.t2.smt2	no	3.16	no	4.7	no	12.61	unknown	300.05	unknown	299.01
Integer_Transition_Systems/From_T2/slayer-3-new.t2.smt2	unknown	300.03	unknown	254.29	no	16.19	unknown	300.02	unknown	299.01
Integer_Transition_Systems/From_T2/slayer-3-new.t2_fixed.smt2	no	54.43	no	40.02	unknown	167.66	unknown	132.3	unknown	299.01
Integer_Transition_Systems/From_T2/slayer-3.t2.smt2	unknown	300.03	unknown	254.21	no	18.42	unknown	300.02	unknown	299.01
Integer_Transition_Systems/From_T2/slayer-3.t2_fixed.smt2	no	83.13	no	40.87	no	124.51	unknown	158.22	unknown	299.01
Integer_Transition_Systems/From_T2/slayer-4-filtered.t2.smt2	no	206.3	no	190.23	unknown	258.43	unknown	198.92	unknown	299.01
Integer_Transition_Systems/From_T2/slayer-5-filtered.t2.smt2	unknown	6.13	no	1.33	no	4.57	unknown	111.35	unknown	299.01
Integer_Transition_Systems/From_T2/slayer-n1-filtered.t2.smt2	no	0.13	no	0.15	no	1.01	no	8.52	no	3.35
Integer_Transition_Systems/From_T2/slayer-n1.t2.smt2	no	0.95	no	0.36	no	0.93	no	10.21	no	25.23
Integer_Transition_Systems/From_T2/slayer-n1.t2_fixed.smt2	no	0.29	no	0.38	no	5.13	no	127.1	no	42.28
Integer_Transition_Systems/From_T2/slayer-n2-filtered.t2.smt2	no	0.06	no	0.04	no	0.49	no	44.32	no	4.53
Integer_Transition_Systems/From_T2/slayer-n2.t2.smt2	no	0.05	no	0.05	no	0.49	no	23.16	no	4.02
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2.smt2	unknown	0.29	unknown	0.13	yes	1.08	yes	0.08	yes	4.46
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2_fixed.smt2	unknown	0.27	unknown	0.13	yes	1.08	yes	0.08	yes	4.35
Integer_Transition_Systems/From_T2/slayer-n5-filtered.t2.smt2	unknown	7.3	no	1.3	no	9.8	unknown	155.6	no	24.06
Integer_Transition_Systems/From_T2/smagilla-fail.t2.smt2	no	0.15	no	0.09	no	0.59	no	12.17	unknown	7.39
Integer_Transition_Systems/From_T2/smagilla-succeed.t2.smt2	no	0.13	no	0.09	unknown	0.55	no	12.18	unknown	7.34
Integer_Transition_Systems/From_T2/smagillb-succeed.t2.smt2	no	0.16	no	0.08	no	0.59	no	18.15	no	1.61
Integer_Transition_Systems/From_T2/smagillb-succeed.t2_fixed.smt2	no	0.16	no	0.08	no	0.58	no	18.15	no	1.59
Integer_Transition_Systems/From_T2/smagillc-fail.t2.smt2	no	0.15	no	0.09	no	0.58	no	12.27	unknown	8.54
Integer_Transition_Systems/From_T2/smagillc-fail.t2_fixed.smt2	no	0.15	no	0.09	no	0.58	no	12.27	unknown	8.56
Integer_Transition_Systems/From_T2/smagillc-succeed.t2.smt2	no	0.15	no	0.08	no	0.6	no	12.17	unknown	8.57
Integer_Transition_Systems/From_T2/small01.t2.smt2	no	0.03	no	0.05	no	0.48	no	43.35	no	0.74
Integer_Transition_Systems/From_T2/small01.t2_fixed.smt2	unknown	0.07	unknown	0.06	yes	0.46	yes	0.04	yes	0.67
Integer_Transition_Systems/From_T2/small02.t2.smt2	no	0.04	no	0.05	no	0.5	no	18.11	no	1.18
Integer_Transition_Systems/From_T2/small03.t2.smt2	no	0.05	no	0.04	no	0.5	no	33.18	no	0.76
Integer_Transition_Systems/From_T2/small04.t2.smt2	no	0.05	no	0.04	no	0.51	no	63.28	no	0.72
Integer_Transition_Systems/From_T2/small05.t2.smt2	no	0.05	no	0.05	no	0.49	no	54.32	no	0.71
Integer_Transition_Systems/From_T2/small06.t2.smt2	unknown	0.12	unknown	0.09	yes	0.47	yes	0.05	yes	1.04
Integer_Transition_Systems/From_T2/small07.t2.smt2	unknown	23.42	unknown	0.18	yes	0.49	yes	0.07	yes	1.36
Integer_Transition_Systems/From_T2/small08.t2.smt2	unknown	78.28	unknown	0.22	yes	0.52	yes	0.07	yes	1.43
Integer_Transition_Systems/From_T2/small09.t2.smt2	unknown	199.87	unknown	0.22	yes	0.48	yes	0.07	yes	1.49
Integer_Transition_Systems/From_T2/small10.t2.smt2	no	0.08	no	1.1	no	0.58	no	12.61	no	1.1
Integer_Transition_Systems/From_T2/small11.t2.smt2	no	0.05	no	0.05	no	0.47	no	0.04	no	0.71
Integer_Transition_Systems/From_T2/small12.t2.smt2	unknown	0.08	unknown	0.06	yes	0.44	yes	0.04	yes	0.57
Integer_Transition_Systems/From_T2/small13.t2.smt2	unknown	1.39	unknown	0.07	yes	0.46	yes	0.04	yes	0.75
Integer_Transition_Systems/From_T2/small14.t2.smt2	no	0.04	no	0.52	no	0.55	no	41.9	no	5.09
Integer_Transition_Systems/From_T2/small15.t2.smt2	no	0.05	no	0.11	no	1.88	unknown	83.85	no	0.86
Integer_Transition_Systems/From_T2/small16.t2.smt2	no	0.05	no	0.11	unknown	2.07	unknown	48.38	unknown	4.74
Integer_Transition_Systems/From_T2/small17.t2.smt2	no	0.05	no	0.1	no	0.54	unknown	35.25	unknown	4.24
Integer_Transition_Systems/From_T2/small18.t2.smt2	no	0.05	no	0.1	no	0.49	unknown	35.25	unknown	5.02
Integer_Transition_Systems/From_T2/small19.t2.smt2	unknown	1.3	unknown	0.08	yes	0.44	yes	0.03	yes	0.75
Integer_Transition_Systems/From_T2/small20.t2.smt2	unknown	0.07	unknown	0.06	yes	0.46	yes	0.05	yes	0.75
Integer_Transition_Systems/From_T2/small21.t2.smt2	unknown	0.08	unknown	0.05	yes	0.44	yes	0.02	yes	0.71
Integer_Transition_Systems/From_T2/small22.t2.smt2	no	0.05	no	0.13	no	0.53	no	5.11	no	1.96
Integer_Transition_Systems/From_T2/small23.t2.smt2	no	0.06	no	0.08	no	0.59	no	9.13	no	1.96
Integer_Transition_Systems/From_T2/small24.t2.smt2	no	0.02	no	0.04	no	0.48	no	0.04	no	0.69
Integer_Transition_Systems/From_T2/small26.t2.smt2	unknown	0.05	unknown	0.05	yes	0.44	yes	0.04	yes	0.59
Integer_Transition_Systems/From_T2/small27.t2.smt2	unknown	0.04	unknown	0.02	yes	0.47	yes	0.03	yes	0.5
Integer_Transition_Systems/From_T2/small28.t2.smt2	unknown	0.05	unknown	0.05	yes	0.44	yes	0.04	yes	0.59
Integer_Transition_Systems/From_T2/small29.t2.smt2	no	0.03	no	0.05	no	0.48	no	5.06	no	0.67
Integer_Transition_Systems/From_T2/small31.t2.smt2	unknown	0.04	unknown	0.03	yes	0.43	yes	0.04	yes	0.48
Integer_Transition_Systems/From_T2/small32.t2.smt2	unknown	0.02	unknown	0.01	yes	0.43	yes	0.03	yes	0.5
Integer_Transition_Systems/From_T2/small33.t2.smt2	unknown	0.04	unknown	0.01	yes	0.43	yes	0.03	yes	0.5
Integer_Transition_Systems/From_T2/small34.t2.smt2	unknown	0.05	unknown	0.05	yes	0.42	yes	0.02	yes	0.55
Integer_Transition_Systems/From_T2/small35.t2.smt2	no	0.03	no	0.04	no	0.49	no	161.06	no	0.78
Integer_Transition_Systems/From_T2/sort.t2.smt2	unknown	300.07	unknown	0.45	yes	1.28	yes	0.17	yes	11.07
Integer_Transition_Systems/From_T2/sort.t2_fixed.smt2	unknown	300.1	unknown	0.44	yes	1.29	yes	0.18	yes	15.13
Integer_Transition_Systems/From_T2/spctrm.c.i.spctrm.pl.t2.fixed.t2.smt2	unknown	300.04	unknown	2.36	yes	75.43	yes	7.18	yes	23.84
Integer_Transition_Systems/From_T2/spctrm.t2.smt2	unknown	300.02	unknown	2.43	yes	33.52	yes	5.76	yes	42.51
Integer_Transition_Systems/From_T2/spiral.t2.smt2	unknown	1.81	unknown	0.17	unknown	8.44	unknown	39.34	yes	7.24
Integer_Transition_Systems/From_T2/spiral.t2_fixed.smt2	unknown	0.54	unknown	0.19	unknown	94.17	yes	1.19	yes	10.57
Integer_Transition_Systems/From_T2/st88.bug.t2.smt2	no	0.07	no	0.29	no	0.93	no	19.62	no	3.85
Integer_Transition_Systems/From_T2/st88.bug.t2_fixed.smt2	no	0.1	no	0.23	no	1.02	no	9.2	no	3.07
Integer_Transition_Systems/From_T2/st88.t2.smt2	no	0.04	no	0.41	unknown	3.88	no	14.48	no	3.94
Integer_Transition_Systems/From_T2/st88.t2_fixed.smt2	no	0.1	no	0.13	unknown	3.96	no	9.41	no	44.44
Integer_Transition_Systems/From_T2/st88b-fail.t2.smt2	no	0.06	no	0.14	no	0.66	no	18.4	no	3.54
Integer_Transition_Systems/From_T2/st88b-succeed.t2.smt2	no	0.06	no	0.11	no	0.78	no	18.43	no	3.61
Integer_Transition_Systems/From_T2/statemate.t2.smt2	unknown	300.06	unknown	258.1	unknown	300.02	unknown	300.03	unknown	299.01
Integer_Transition_Systems/From_T2/statemate.t2_fixed.smt2	unknown	300.04	unknown	257.98	unknown	300.07	unknown	300.03	unknown	299.01
Integer_Transition_Systems/From_T2/stored.t2.smt2	no	0.09	no	0.08	no	0.51	no	0.05	no	2.01
Integer_Transition_Systems/From_T2/streamserver-succeed.t2.smt2	no	0.27	no	1.25	no	5.88	unknown	300.09	no	11.06
Integer_Transition_Systems/From_T2/streamserver-succeed.t2_fixed.smt2	no	0.26	no	1.3	no	6.15	unknown	86.81	no	10.85
Integer_Transition_Systems/From_T2/streamserver.bug.t2.smt2	no	0.29	no	1.66	no	3.73	no	12.68	unknown	299.01
Integer_Transition_Systems/From_T2/streamserver.bug.t2_fixed.smt2	no	0.27	no	1.65	no	3.75	no	12.35	unknown	299.01
Integer_Transition_Systems/From_T2/subpoly_crash.t2.smt2	no	0.03	no	0.05	no	0.49	no	54.32	no	0.74
Integer_Transition_Systems/From_T2/sudoku.t2.smt2	unknown	300.03	unknown	2.72	yes	12.06	yes	5.29	yes	176.83
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.fixed.t2.smt2	unknown	300.02	unknown	12.59	unknown	300.1	unknown	175.09	yes	243.12
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2.smt2	unknown	300.04	unknown	15.88	unknown	300.11	unknown	200.67	yes	233.02
Integer_Transition_Systems/From_T2/svdcmp.t2.smt2	unknown	300.05	unknown	12.5	unknown	300.04	yes	26.19	yes	151.17
Integer_Transition_Systems/From_T2/svdcmp.t2_fixed.smt2	unknown	300.08	unknown	12.39	unknown	300.04	yes	20.74	yes	145.83
Integer_Transition_Systems/From_T2/test_byron_2.t2.smt2	no	0.06	no	0.06	no	0.5	no	5.05	no	0.82
Integer_Transition_Systems/From_T2/toeplz.c.i.toeplz.pl.t2.fixed.t2.smt2	unknown	300.08	unknown	0.35	yes	1.94	yes	4.08	yes	4.06
Integer_Transition_Systems/From_T2/toeplz.t2.smt2	unknown	300.03	unknown	0.35	yes	2.71	yes	4.06	yes	7.93
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.fixed.t2.smt2	no	0.93	unknown	0.85	unknown	31.38	no	92.48	unknown	299.01
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2.smt2	unknown	300.08	unknown	0.8	unknown	300.12	no	177.74	unknown	299.01
Integer_Transition_Systems/From_T2/tqli.t2.smt2	no	0.94	unknown	0.87	unknown	136.83	no	137.07	unknown	299.01
Integer_Transition_Systems/From_T2/tqli.t2_fixed.smt2	unknown	300.06	unknown	0.81	unknown	300.1	no	178.38	unknown	299.01
Integer_Transition_Systems/From_T2/traverse.t2.smt2	unknown	8.12	unknown	1.43	yes	1.22	yes	0.18	yes	17.95
Integer_Transition_Systems/From_T2/traverse.t2_fixed.smt2	unknown	300.04	unknown	1.05	yes	2.96	yes	0.43	yes	19.07
Integer_Transition_Systems/From_T2/traverse2.t2.smt2	unknown	11.14	unknown	2.26	yes	1.73	yes	0.24	yes	25.33
Integer_Transition_Systems/From_T2/traverse2.t2_fixed.smt2	unknown	300.07	unknown	1.88	yes	5.02	yes	0.6	yes	28.81
Integer_Transition_Systems/From_T2/traverse_seg.t2.smt2	unknown	10.49	unknown	1.96	yes	1.44	yes	0.23	yes	23.99
Integer_Transition_Systems/From_T2/traverse_seg.t2_fixed.smt2	unknown	300.08	unknown	1.44	yes	3.97	yes	0.6	yes	25.71
Integer_Transition_Systems/From_T2/traverse_seg2.t2.smt2	unknown	8.37	unknown	1.62	yes	1.23	yes	0.23	yes	19.15
Integer_Transition_Systems/From_T2/traverse_seg2.t2_fixed.smt2	unknown	300.05	unknown	1.23	yes	2.94	yes	0.46	yes	24.0
Integer_Transition_Systems/From_T2/traverse_twice.t2.smt2	unknown	21.24	unknown	3.12	yes	1.87	yes	0.32	yes	33.39
Integer_Transition_Systems/From_T2/traverse_twice.t2_fixed.smt2	unknown	300.05	unknown	1.72	yes	5.41	yes	0.73	yes	32.77
Integer_Transition_Systems/From_T2/two_arrays.t2.smt2	unknown	0.29	unknown	0.13	yes	0.68	yes	0.06	yes	2.51
Integer_Transition_Systems/From_T2/two_arrays.t2_fixed.smt2	unknown	0.21	unknown	0.12	yes	0.66	yes	0.05	yes	2.25
Integer_Transition_Systems/From_T2/two_arrays1.t2.smt2	unknown	0.41	unknown	0.16	yes	0.86	yes	0.04	yes	3.87
Integer_Transition_Systems/From_T2/two_arrays1.t2_fixed.smt2	unknown	0.3	unknown	0.14	yes	0.87	yes	0.06	yes	3.2
Integer_Transition_Systems/From_T2/two_arrays2.t2.smt2	unknown	0.42	unknown	0.17	yes	0.83	yes	0.06	yes	3.9
Integer_Transition_Systems/From_T2/two_arrays6.t2.smt2	unknown	0.4	unknown	0.16	yes	0.84	yes	0.06	yes	4.1
Integer_Transition_Systems/From_T2/ud.t2.smt2	unknown	0.35	unknown	0.54	yes	2.56	yes	2.07	yes	29.99
Integer_Transition_Systems/From_T2/ud.t2_fixed.smt2	unknown	0.24	unknown	0.47	yes	2.14	yes	4.26	yes	27.45
Integer_Transition_Systems/From_T2/vmcai_bytes.t2.smt2	unknown	0.04	unknown	0.01	yes	0.36	yes	0.03	yes	0.42
Integer_Transition_Systems/From_T2/w1.t2.smt2	no	0.05	no	0.05	no	0.58	no	0.03	no	2.91
Integer_Transition_Systems/From_T2/w2_nt.t2.smt2	no	0.14	no	0.22	no	0.83	no	10.13	no	5.46
Integer_Transition_Systems/From_T2/w3_nt.t2.smt2	no	0.16	no	0.29	no	0.95	no	7.78	no	8.19
Integer_Transition_Systems/From_T2/walk.t2.smt2	no	0.08	no	0.24	unknown	2.63	no	110.95	no	4.3
Integer_Transition_Systems/From_T2/walk.t2_fixed.smt2	no	0.08	no	0.24	unknown	2.65	no	110.89	no	4.3
Integer_Transition_Systems/From_T2/weakness.t2.smt2	unknown	0.1	unknown	0.13	yes	0.57	yes	1.09	yes	0.71
Integer_Transition_Systems/From_T2/whatwhat.t2.smt2	unknown	0.08	unknown	0.1	yes	0.51	yes	0.05	yes	0.57
Integer_Transition_Systems/From_T2/wrap.c.t2.smt2	unknown	300.09	unknown	0.75	yes	0.76	yes	0.2	yes	8.73
Integer_Transition_Systems/From_T2/wrong_loop.t2.smt2	no	0.14	no	0.2	no	0.51	no	9.31	no	2.41
Integer_Transition_Systems/From_T2/wrong_loop.t2_fixed.smt2	no	0.08	no	0.13	no	0.62	no	0.52	unknown	8.05
Integer_Transition_Systems/From_T2/wtf.t2.smt2	unknown	300.03	unknown	7.62	unknown	7.85	yes	0.86	yes	9.06
Integer_Transition_Systems/From_T2/zeroconf.t2.smt2	unknown	300.03	unknown	9.22	unknown	1.32	yes	50.31	unknown	299.01
Integer_Transition_Systems/From_T2/zeroconf_withassume.t2.smt2	unknown	300.11	unknown	10.38	unknown	6.05	yes	4.25	unknown	299.01
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2.smt2	no	0.33	no	2.11	no	1.53	unknown	152.25	no	9.48
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2_fixed.smt2	unknown	300.1	unknown	0.49	yes	1.07	yes	63.85	yes	7.42
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2.smt2	no	0.29	no	0.98	no	1.76	no	26.37	no	7.47
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2_fixed.smt2	unknown	300.1	unknown	0.48	yes	1.36	yes	6.86	yes	8.79
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2.smt2	no	0.18	no	0.22	no	0.66	no	5.65	no	2.67
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2_fixed.smt2	unknown	0.83	unknown	0.12	yes	0.51	yes	0.07	yes	2.03