Termination Competition 2019: Integer Transition Systems33456

Job info CSV

benchmark	irankfinder competition	VeryMax-termCOMP17 termcomp2019_ITS	Ctrl Transition
From_AProVE_2014/Factorial.jar-obl-8.smt2 5153793	YES 1.29/1.29	YES 0.02/0.02	YES 0.09/0.09
From_AProVE_2014/costa09-example_2.jar-obl-8.smt2 5153794	YES 1.60/1.60	YES 0.02/0.02	YES 0.51/0.50
From_AProVE_2014/Fractale1.jar-obl-8.smt2 5153795	YES 10.36/10.36	YES 0.57/0.57	YES 24.84/24.48
From_AProVE_2014/juHashMapCreatePut.jar-obl-10.smt2 5153796	YES 15.29/15.29	MAYBE 163.78/163.97	YES 89.92/88.83
From_AProVE_2014/AckR.jar-obl-8.smt2 5153797	YES 2.20/2.20	YES 0.03/0.03	YES 0.60/0.59
From_AProVE_2014/juLinkedListCreateGetFirst.jar-obl-8.smt2 5153798	YES 3.65/3.79	YES 0.20/0.20	YES 2.44/2.73
From_AProVE_2014/Overflow.jar-obl-8.smt2 5153799	YES 1.28/1.28	YES 0.02/0.02	YES 0.29/0.38
From_AProVE_2014/ListReversePanhandleList.jar-obl-11.smt2 5153800	YES 4.24/4.23	YES 0.10/0.10	YES 4.19/4.13
From_AProVE_2014/sum_rec.jar-obl-8.smt2 5153801	MAYBE 3.33/3.37	NO 23.21/23.21	MAYBE 0.29/0.28
From_AProVE_2014/IntListSumRec.jar-obl-9.smt2 5153802	YES 2.09/2.08	YES 0.04/0.04	YES 0.50/0.49
From_AProVE_2014/Exc3.jar-obl-8.smt2 5153803	YES 1.49/1.48	YES 0.03/0.03	YES 0.39/0.39
From_AProVE_2014/BMOG_CAV_12_MarkingGraphVisitor.jar-obl-11.smt2 5153804	MAYBE 16.61/16.62	MAYBE 10.77/10.78	MAYBE 13.85/14.01
From_AProVE_2014/juLinkedListCreatePoll.jar-obl-8.smt2 5153805	YES 3.89/3.89	YES 0.21/0.21	YES 2.48/2.75
From_AProVE_2014/EvenOdd.jar-obl-8.smt2 5153806	MAYBE 5.64/5.64	NO 25.23/25.39	MAYBE 4.95/5.07
From_AProVE_2014/Double3.jar-obl-8.smt2 5153807	YES 1.29/1.29	YES 0.02/0.02	YES 0.09/0.09
From_AProVE_2014/PastaA9.jar-obl-8.smt2 5153808	YES 1.38/1.44	YES 0.02/0.02	YES 0.39/0.38
From_AProVE_2014/PastaA8.jar-obl-8.smt2 5153809	YES 1.31/1.50	YES 0.02/0.02	YES 0.31/0.30
From_AProVE_2014/juLinkedListCreateEquals.jar-obl-13.smt2 5153810	YES 93.36/93.36	YES 2.79/2.79	timeout (wallclock) [out]
From_AProVE_2014/juLinkedListCreatePollFirst.jar-obl-8.smt2 5153811	YES 3.88/3.87	YES 0.20/0.20	YES 2.45/2.43
From_AProVE_2014/NO_22.jar-obl-8.smt2 5153812	MAYBE 5.05/5.04	NO 7.00/7.00	MAYBE 0.35/0.34
From_AProVE_2014/BinarySearch.jar-obl-9.smt2 5153813	YES 146.20/146.44	YES 0.94/0.94	timeout (wallclock) [out]
From_AProVE_2014/Velroyen08-whileTrue.jar-obl-8.smt2 5153814	MAYBE 4.14/4.17	NO 27.29/27.31	MAYBE 0.43/0.42
From_AProVE_2014/Velroyen08-whileIncr.jar-obl-8.smt2 5153815	MAYBE 3.24/3.25	NO 18.17/18.17	MAYBE 0.33/0.33
From_AProVE_2014/juLinkedListCreateRemoveElement.jar-obl-16.smt2 5153816	YES 190.33/190.33	YES 3.66/3.67	timeout (wallclock) [out]
From_AProVE_2014/costa09-example_3.jar-obl-8.smt2 5153817	YES 1.38/1.38	YES 0.02/0.02	YES 0.41/0.41
From_AProVE_2014/Velroyen08-moduloLower.jar-obl-8.smt2 5153818	MAYBE 9.28/9.30	NO 5.11/5.11	MAYBE 2.40/2.60
From_AProVE_2014/IntRTA.jar-obl-8.smt2 5153819	YES 1.48/1.48	YES 0.03/0.03	YES 0.67/0.66
From_AProVE_2014/Test10.jar-obl-9.smt2 5153820	YES 2.28/2.28	YES 0.04/0.04	YES 1.72/1.69
From_AProVE_2014/DivWithoutMinus.jar-obl-8.smt2 5153821	YES 1.88/1.87	YES 0.04/0.04	YES 0.40/0.39
From_AProVE_2014/Velroyen08-mirrorInterv.jar-obl-8.smt2 5153822	MAYBE 11.31/11.31	NO 71.21/71.21	MAYBE 0.98/1.20
From_AProVE_2014/PastaB15.jar-obl-8.smt2 5153823	YES 1.99/2.08	YES 0.02/0.02	YES 0.49/0.48
From_AProVE_2014/NO_12.jar-obl-8.smt2 5153824	MAYBE 4.74/4.75	NO 54.64/54.81	MAYBE 0.64/0.62
From_AProVE_2014/ex06_rec.jar-obl-8.smt2 5153825	MAYBE 2.82/2.84	NO 0.03/0.03	MAYBE 0.29/0.28
From_AProVE_2014/Velroyen08-whileSum.jar-obl-8.smt2 5153826	MAYBE 49.23/49.23	MAYBE 13.51/13.53	MAYBE 8.03/8.27
From_AProVE_2014/juLinkedListCreateAddAt.jar-obl-10.smt2 5153827	YES 18.60/18.60	YES 0.56/0.56	YES 15.85/15.64
From_AProVE_2014/SharingPair.jar-obl-8.smt2 5153828	MAYBE 6.99/7.04	NO 5.81/5.81	MAYBE 0.61/0.60
From_AProVE_2014/LessLeavesRec.jar-obl-10.smt2 5153829	timeout (wallclock) [out]	MAYBE 20.68/20.72	timeout (wallclock) [out]
From_AProVE_2014/Break.jar-obl-8.smt2 5153830	YES 1.28/1.28	YES 0.02/0.02	YES 0.19/0.18
From_AProVE_2014/Infix2Postfix.jar-obl-11.smt2 5153831	YES 17.07/17.06	YES 0.27/0.27	YES 69.90/68.99
From_AProVE_2014/PastaA4.jar-obl-8.smt2 5153832	YES 1.32/1.32	YES 0.02/0.02	YES 0.28/0.27
From_AProVE_2014/Gopher.jar-obl-10.smt2 5153833	YES 5.60/5.60	YES 0.12/0.12	YES 4.71/4.64
From_AProVE_2014/AlternatingGrowReduceRec2.jar-obl-9.smt2 5153834	MAYBE 6.65/6.64	MAYBE 37.42/37.49	MAYBE 0.98/0.97
From_AProVE_2014/PastaB7.jar-obl-8.smt2 5153835	YES 1.37/1.37	YES 0.02/0.02	YES 0.36/0.36
From_AProVE_2014/Velroyen08-whileIncrPart.jar-obl-8.smt2 5153836	MAYBE 3.82/3.82	NO 18.34/18.37	MAYBE 0.42/0.41
From_AProVE_2014/RandomHard.jar-obl-10.smt2 5153837	MAYBE 126.25/126.27	MAYBE 32.43/32.47	MAYBE 113.33/112.87
From_AProVE_2014/TaylorSeriesRec.jar-obl-13.smt2 5153838	YES 16.86/16.86	MAYBE 64.56/64.63	YES 273.99/269.55
From_AProVE_2014/Duplicate.jar-obl-8.smt2 5153839	YES 1.31/1.31	YES 0.02/0.02	YES 0.33/0.34
From_AProVE_2014/even_rec.jar-obl-8.smt2 5153840	MAYBE 3.25/3.26	NO 18.18/18.20	MAYBE 0.41/0.40
From_AProVE_2014/juLinkedListCreateSet.jar-obl-10.smt2 5153841	YES 5.39/5.39	YES 0.25/0.25	YES 11.01/10.87
From_AProVE_2014/Exc5.jar-obl-8.smt2 5153842	YES 1.49/1.49	YES 0.03/0.03	YES 0.41/0.40
From_AProVE_2014/RetValRec.jar-obl-8.smt2 5153843	YES 2.74/2.75	YES 5.13/5.13	MAYBE 0.43/0.43
From_AProVE_2014/Collatz.jar-obl-8.smt2 5153844	MAYBE 20.73/20.73	MAYBE 5.48/5.48	MAYBE 3.69/3.63
From_AProVE_2014/NO_13.jar-obl-8.smt2 5153845	MAYBE 6.09/6.08	NO 26.67/26.67	MAYBE 0.54/0.53
From_AProVE_2014/alternDivWidening_rec.jar-obl-8.smt2 5153846	MAYBE 7.64/7.67	NO 90.58/90.71	MAYBE 1.08/1.07
From_AProVE_2014/BinarySearchTree.jar-obl-8.smt2 5153847	YES 1.92/1.92	YES 0.04/0.04	YES 0.68/0.91
From_AProVE_2014/Test1.jar-obl-8.smt2 5153848	YES 3.39/3.39	YES 30.21/30.22	MAYBE 1.78/1.78
From_AProVE_2014/Et5.jar-obl-8.smt2 5153849	YES 4.10/4.10	YES 0.19/0.19	YES 1.65/1.64
From_AProVE_2014/Virtual.jar-obl-9.smt2 5153850	YES 1.68/1.68	YES 0.06/0.06	MAYBE 0.75/0.74
From_AProVE_2014/ChooseLife.jar-obl-8.smt2 5153851	MAYBE 3.65/3.65	NO 6.39/6.39	MAYBE 0.39/0.38
From_AProVE_2014/juLinkedListCreatePush.jar-obl-8.smt2 5153852	YES 2.67/2.67	YES 0.14/0.14	YES 1.65/1.64
From_AProVE_2014/juLinkedListCreateAddAll.jar-obl-11.smt2 5153853	MAYBE 185.63/185.66	MAYBE 159.52/159.70	MAYBE 18.08/17.91
From_AProVE_2014/Nested.jar-obl-8.smt2 5153854	YES 1.79/1.79	YES 0.41/0.41	YES 2.03/1.99
From_AProVE_2014/Et4-rec.jar-obl-8.smt2 5153855	YES 2.96/2.96	YES 30.55/30.57	MAYBE 0.91/0.89
From_AProVE_2014/Velroyen08-flip2.jar-obl-8.smt2 5153856	MAYBE 6.65/6.65	NO 46.54/23.30	MAYBE 0.81/0.79
From_AProVE_2014/PastaB12.jar-obl-8.smt2 5153857	YES 1.52/1.51	YES 0.03/0.03	YES 0.24/0.23
From_AProVE_2014/LoopingNonterm.jar-obl-8.smt2 5153858	MAYBE 4.04/4.04	NO 5.73/5.73	MAYBE 0.45/0.44
From_AProVE_2014/juLinkedListCreateDescendingIteratorLoop.jar-obl-13.smt2 5153859	YES 15.25/15.25	YES 0.60/0.60	YES 89.78/88.46
From_AProVE_2014/Norm.jar-obl-9.smt2 5153860	MAYBE 182.48/182.49	MAYBE 45.41/45.43	MAYBE 34.87/34.27
From_AProVE_2014/Velroyen08-collatz.jar-obl-8.smt2 5153861	MAYBE 20.84/20.84	MAYBE 5.35/5.35	MAYBE 3.71/3.64
From_AProVE_2014/Double.jar-obl-8.smt2 5153862	YES 1.63/1.63	YES 0.03/0.03	YES 0.59/0.58
From_AProVE_2014/Matrix.jar-obl-16.smt2 5153863	MAYBE 160.82/160.83	MAYBE 191.81/191.94	MAYBE 250.56/246.79
From_AProVE_2014/juLinkedListCreateLastIndexOf.jar-obl-16.smt2 5153864	YES 148.63/148.64	YES 3.15/3.17	timeout (wallclock) [out]
From_AProVE_2014/alternKonv_rec.jar-obl-8.smt2 5153865	MAYBE 6.77/6.78	MAYBE 27.08/27.13	MAYBE 0.68/0.66
From_AProVE_2014/TreeLeftmostPath.jar-obl-9.smt2 5153866	YES 6.31/6.31	YES 0.13/0.13	YES 3.13/3.08
From_AProVE_2014/Velroyen08-complInterv2.jar-obl-8.smt2 5153867	MAYBE 3.86/3.86	NO 5.10/5.10	MAYBE 0.47/0.46
From_AProVE_2014/TaylorSeriesIte.jar-obl-13.smt2 5153868	YES 21.58/21.58	MAYBE 64.21/64.31	YES 287.49/285.06
From_AProVE_2014/TreeLeftmostDepth.jar-obl-9.smt2 5153869	YES 6.40/6.41	YES 0.13/0.13	YES 3.09/3.05
From_AProVE_2014/TermCreateCollect.jar-obl-9.smt2 5153870	YES 3.68/3.68	YES 0.08/0.08	YES 4.63/5.01
From_AProVE_2014/juLinkedListCreateOfferLast.jar-obl-8.smt2 5153871	YES 2.62/2.61	YES 0.14/0.14	YES 1.62/1.94
From_AProVE_2014/Test13Loops.jar-obl-10.smt2 5153872	MAYBE 9.61/9.60	NO 72.65/72.74	MAYBE 1.39/1.37
From_AProVE_2014/TwoWay.jar-obl-8.smt2 5153873	YES 1.28/1.28	YES 0.02/0.02	YES 0.17/0.17
From_AProVE_2014/SharingAnalysis.jar-obl-9.smt2 5153874	YES 1.96/1.96	YES 0.04/0.04	YES 0.71/0.70
From_AProVE_2014/Velroyen08-ex02.jar-obl-8.smt2 5153875	MAYBE 5.35/5.35	NO 12.24/12.26	MAYBE 0.44/0.43
From_AProVE_2014/Test6.jar-obl-13.smt2 5153876	timeout (wallclock) [out]	MAYBE 121.05/121.09	timeout (wallclock) [out]
From_AProVE_2014/Flatten.jar-obl-10.smt2 5153877	MAYBE 16.11/16.11	MAYBE 61.92/62.06	MAYBE 4.88/4.80
From_AProVE_2014/TestJulia6.jar-obl-8.smt2 5153878	MAYBE 1.30/1.30	NO 0.03/0.03	MAYBE 0.06/0.06
From_AProVE_2014/Velroyen08-ex08.jar-obl-8.smt2 5153879	MAYBE 17.68/17.68	NO 69.56/69.61	MAYBE 1.34/1.32
From_AProVE_2014/Velroyen08-factorial.jar-obl-8.smt2 5153880	MAYBE 9.64/9.65	MAYBE 79.65/79.78	MAYBE 0.88/1.38
From_AProVE_2014/Et2-rec.jar-obl-8.smt2 5153881	YES 2.61/2.63	YES 0.23/0.23	MAYBE 0.70/0.69
From_AProVE_2014/ConvertRec.jar-obl-9.smt2 5153882	MAYBE 20.11/20.13	NO 36.39/36.46	MAYBE 3.02/2.98
From_AProVE_2014/Velroyen08-lcm.jar-obl-10.smt2 5153883	MAYBE 45.30/45.30	NO 17.08/17.10	MAYBE 1.85/1.82
From_AProVE_2014/Test9.jar-obl-20.smt2 5153884	YES 6.96/6.96	YES 0.10/0.10	YES 3.42/3.36
From_AProVE_2014/Exc2.jar-obl-8.smt2 5153885	MAYBE 4.19/4.24	NO 1.06/1.08	MAYBE 0.30/0.30
From_AProVE_2014/juHashMapCreateRemove.jar-obl-11.smt2 5153886	YES 25.54/25.54	MAYBE 189.04/189.20	YES 120.71/119.21
From_AProVE_2014/Velroyen08-plait.jar-obl-8.smt2 5153887	MAYBE 262.16/262.16	MAYBE 26.26/26.27	MAYBE 25.70/25.76
From_AProVE_2014/AProVEMath.jar-obl-8.smt2 5153888	YES 2.36/2.35	YES 0.03/0.03	YES 1.22/1.20
From_AProVE_2014/MainCopy.jar-obl-10.smt2 5153889	MAYBE 19.57/19.66	NO 7.14/7.15	MAYBE 2.52/2.82
From_AProVE_2014/Convert.jar-obl-9.smt2 5153890	MAYBE 7.28/7.29	NO 11.81/11.82	MAYBE 1.09/1.07
From_AProVE_2014/List.jar-obl-12.smt2 5153891	MAYBE 8.69/8.69	NO 37.32/37.37	MAYBE 1.37/1.34
From_AProVE_2014/Velroyen08-convLower.jar-obl-8.smt2 5153892	MAYBE 5.34/5.34	NO 29.59/29.59	MAYBE 0.43/0.42
From_AProVE_2014/LogBuiltIn.jar-obl-8.smt2 5153893	YES 1.46/1.46	YES 0.02/0.02	YES 0.53/0.52
From_AProVE_2014/PastaC1.jar-obl-8.smt2 5153894	YES 1.71/1.71	YES 0.04/0.04	YES 2.84/2.79
From_AProVE_2014/PastaA1.jar-obl-8.smt2 5153895	YES 1.70/1.70	YES 0.03/0.03	YES 1.86/1.82
From_AProVE_2014/MainFind.jar-obl-10.smt2 5153896	MAYBE 20.86/20.88	MAYBE 41.13/41.14	MAYBE 3.05/3.00
From_AProVE_2014/ClassAnalysis.jar-obl-8.smt2 5153897	YES 1.42/1.46	YES 0.02/0.02	YES 0.20/0.19
From_AProVE_2014/juLinkedListCreateRemove.jar-obl-10.smt2 5153898	YES 28.84/28.84	YES 0.88/0.88	YES 27.11/26.85
From_AProVE_2014/Velroyen08-upAndDown.jar-obl-8.smt2 5153899	MAYBE 15.55/15.54	NO 42.87/42.94	MAYBE 1.11/1.09
From_AProVE_2014/Velroyen08-twoFloatInterv.jar-obl-8.smt2 5153900	MAYBE 11.92/11.92	NO 3.39/3.39	MAYBE 38.7/38.23
From_AProVE_2014/PastaC9.jar-obl-8.smt2 5153901	YES 2.14/2.14	YES 0.03/0.03	YES 0.56/0.63
From_AProVE_2014/IntListDupRec.jar-obl-9.smt2 5153902	YES 2.88/2.88	YES 0.07/0.07	YES 1.11/1.11
From_AProVE_2014/PastaB11.jar-obl-8.smt2 5153903	YES 2.14/2.13	YES 0.49/0.49	MAYBE 0.82/0.81
From_AProVE_2014/Kernel95.jar-obl-9.smt2 5153904	YES 5.29/5.37	YES 0.11/0.11	YES 3.78/3.72
From_AProVE_2014/TerminatorRec03.jar-obl-8.smt2 5153905	MAYBE 4.17/4.17	NO 5.11/5.11	MAYBE 0.56/0.55
From_AProVE_2014/MultiLasso.jar-obl-8.smt2 5153906	MAYBE 9.84/9.84	NO 19.57/19.59	MAYBE 2.51/2.87
From_AProVE_2014/Velroyen08-narrowing.jar-obl-8.smt2 5153907	MAYBE 56.33/56.55	NO 27.29/27.33	MAYBE 186.27/183.51
From_AProVE_2014/BinTreeChanger.jar-obl-10.smt2 5153908	MAYBE 14.60/14.59	MAYBE 10.28/10.28	MAYBE 12.51/12.52
From_AProVE_2014/Test2.jar-obl-8.smt2 5153909	YES 4.92/5.00	YES 12.51/12.51	MAYBE 1.71/1.68
From_AProVE_2014/Iterations.jar-obl-8.smt2 5153910	YES 11.65/11.66	YES 33.26/33.27	timeout (wallclock) [out]
From_AProVE_2014/PastaB1.jar-obl-8.smt2 5153911	YES 1.32/1.32	YES 0.02/0.02	YES 0.26/0.26
From_AProVE_2014/Velroyen08-complInterv3.jar-obl-8.smt2 5153912	MAYBE 3.63/3.63	NO 18.29/18.30	MAYBE 0.39/0.38
From_AProVE_2014/PastaC3.jar-obl-8.smt2 5153913	YES 1.67/1.67	YES 0.03/0.03	YES 1.05/1.31
From_AProVE_2014/juLinkedListCreateAddLast.jar-obl-8.smt2 5153914	YES 2.61/2.61	YES 0.14/0.14	YES 1.62/1.60
From_AProVE_2014/NO_20.jar-obl-8.smt2 5153915	MAYBE 1.29/1.29	NO 0.02/0.02	MAYBE 0.06/0.06
From_AProVE_2014/MinusMin.jar-obl-8.smt2 5153916	YES 1.95/1.95	YES 0.05/0.05	MAYBE 2.24/2.19
From_AProVE_2014/sunset_rec.jar-obl-8.smt2 5153917	MAYBE 7.44/7.70	NO 58.10/58.13	MAYBE 0.67/0.65
From_AProVE_2014/Test7.jar-obl-11.smt2 5153918	MAYBE 9.99/10.00	MAYBE 82.37/82.49	MAYBE 1.23/1.21
From_AProVE_2014/juHashMapCreateIteratorKeyLoop.jar-obl-12.smt2 5153919	YES 21.91/21.91	MAYBE 187.0/187.12	YES 190.17/188.56
From_AProVE_2014/upAndDownIneq_rec.jar-obl-8.smt2 5153920	timeout (wallclock) [out]	NO 47.50/47.50	MAYBE 3.61/4.00
From_AProVE_2014/ex07_rec.jar-obl-8.smt2 5153921	MAYBE 2.81/2.82	NO 0.03/0.03	MAYBE 0.28/0.28
From_AProVE_2014/Velroyen08-whileSingle.jar-obl-8.smt2 5153922	MAYBE 5.53/5.77	NO 5.66/5.66	MAYBE 0.69/0.70
From_AProVE_2014/Velroyen08-complxStruc.jar-obl-8.smt2 5153923	MAYBE 32.66/32.66	NO 25.56/25.61	MAYBE 1.60/1.58
From_AProVE_2014/juLinkedListCreateRemoveLast.jar-obl-8.smt2 5153924	YES 5.46/5.46	YES 0.36/0.36	YES 4.61/4.58
From_AProVE_2014/Velroyen08-ex03.jar-obl-8.smt2 5153925	MAYBE 5.56/5.55	NO 10.96/10.98	MAYBE 0.69/0.68
From_AProVE_2014/Velroyen08-ex07.jar-obl-9.smt2 5153926	MAYBE 6.49/6.49	NO 9.17/9.18	MAYBE 0.69/0.68
From_AProVE_2014/CyclicAnalysis.jar-obl-10.smt2 5153927	YES 3.64/3.64	YES 0.08/0.08	YES 2.05/2.01
From_AProVE_2014/BTreeR.jar-obl-9.smt2 5153928	YES 3.54/3.75	YES 0.06/0.06	YES 3.09/3.04
From_AProVE_2014/Et5-rec.jar-obl-8.smt2 5153929	YES 3.78/3.78	YES 0.07/0.07	YES 1.50/1.49
From_AProVE_2014/juLinkedListCreateIndexOf.jar-obl-16.smt2 5153930	YES 83.41/83.41	YES 3.40/3.40	timeout (wallclock) [out]
From_AProVE_2014/Log.jar-obl-8.smt2 5153931	YES 3.64/3.63	YES 0.17/0.17	MAYBE 1.51/1.48
From_AProVE_2014/Exc.jar-obl-8.smt2 5153932	YES 1.50/1.52	YES 0.08/0.08	YES 0.38/0.37
From_AProVE_2014/Kernel68.jar-obl-9.smt2 5153933	YES 23.25/23.25	YES 1.07/1.07	YES 38.01/37.60
From_AProVE_2014/juLinkedListCreatePeekLast.jar-obl-8.smt2 5153934	YES 3.09/3.09	YES 0.17/0.17	YES 2.02/2.02
From_AProVE_2014/Mod.jar-obl-8.smt2 5153935	YES 4.59/4.59	YES 0.06/0.06	YES 4.91/4.83
From_AProVE_2014/LeUserDefRec.jar-obl-8.smt2 5153936	YES 1.32/1.32	YES 0.02/0.02	YES 0.12/0.12
From_AProVE_2014/Continue1.jar-obl-8.smt2 5153937	YES 1.48/1.49	YES 0.03/0.03	YES 0.38/0.38
From_AProVE_2014/Velroyen08-trueDiv.jar-obl-8.smt2 5153938	MAYBE 4.51/4.78	NO 18.23/18.25	MAYBE 0.37/0.36
From_AProVE_2014/TriTas.jar-obl-12.smt2 5153939	MAYBE 22.22/22.22	NO 64.04/64.20	MAYBE 16.56/16.44
From_AProVE_2014/Power.jar-obl-10.smt2 5153940	YES 6.21/6.20	YES 15.28/15.30	YES 27.09/26.86
From_AProVE_2014/CyclicalListDuplicate.jar-obl-9.smt2 5153941	MAYBE 18.45/18.44	NO 12.83/12.83	MAYBE 2.24/2.21
From_AProVE_2014/BTree.jar-obl-9.smt2 5153942	YES 3.36/3.36	YES 0.10/0.10	YES 2.12/2.10
From_AProVE_2014/upAndDown_rec.jar-obl-8.smt2 5153943	MAYBE 20.60/20.59	NO 38.74/38.77	MAYBE 1.71/1.69
From_AProVE_2014/FactSumList.jar-obl-8.smt2 5153944	YES 2.35/2.35	YES 0.09/0.09	YES 5.29/5.21
From_AProVE_2014/DivMinus.jar-obl-8.smt2 5153945	YES 1.42/1.54	YES 0.02/0.02	YES 0.24/0.23
From_AProVE_2014/FactSum.jar-obl-9.smt2 5153946	YES 1.56/1.56	YES 0.02/0.02	YES 0.21/0.20
From_AProVE_2014/TerminatorRec04.jar-obl-9.smt2 5153947	MAYBE 6.85/3.47	NO 18.17/18.19	MAYBE 0.52/0.51
From_AProVE_2014/Velroyen08-mirrorIntervSim.jar-obl-8.smt2 5153948	MAYBE 4.27/5.07	NO 37.29/37.30	MAYBE 0.46/0.46
From_AProVE_2014/CountMetaList.jar-obl-9.smt2 5153949	MAYBE 7.42/7.41	NO 20.67/20.70	MAYBE 1.74/1.72
From_AProVE_2014/NO_00.jar-obl-8.smt2 5153950	MAYBE 1.29/1.29	NO 0.03/0.03	MAYBE 0.06/0.06
From_AProVE_2014/NO_03.jar-obl-8.smt2 5153951	MAYBE 3.48/3.47	NO 0.20/0.20	MAYBE 0.27/0.27
From_AProVE_2014/TerminatorRec01.jar-obl-8.smt2 5153952	YES 2.19/2.19	YES 0.07/0.07	YES 3.14/1.59
From_AProVE_2014/juLinkedListCreatePop.jar-obl-8.smt2 5153953	YES 3.87/3.87	YES 0.20/0.20	YES 2.54/2.83
From_AProVE_2014/Queen.jar-obl-10.smt2 5153954	MAYBE 41.48/41.48	MAYBE 23.66/23.68	MAYBE 3.67/3.94
From_AProVE_2014/Test8.jar-obl-12.smt2 5153955	YES 2.94/2.94	YES 0.13/0.13	MAYBE 1.42/1.65
From_AProVE_2014/PastaB3.jar-obl-8.smt2 5153956	YES 1.33/1.33	YES 0.02/0.02	YES 0.07/0.07
From_AProVE_2014/juLinkedListCreateAddFirst.jar-obl-8.smt2 5153957	YES 2.65/2.65	YES 0.13/0.13	YES 1.64/1.62
From_AProVE_2014/PastaC5.jar-obl-8.smt2 5153958	YES 1.57/1.57	YES 0.03/0.03	YES 0.43/0.42
From_AProVE_2014/Velroyen08-cousot.jar-obl-8.smt2 5153959	MAYBE 5.60/5.59	NO 54.89/55.02	MAYBE 0.53/0.52
From_AProVE_2014/Et6.jar-obl-8.smt2 5153960	YES 4.09/4.09	YES 0.31/0.31	YES 1.56/1.59
From_AProVE_2014/juLinkedListCreateElement.jar-obl-8.smt2 5153961	YES 3.07/3.07	YES 0.16/0.16	YES 1.99/1.98
From_AProVE_2014/Velroyen08-alternDivWide.jar-obl-8.smt2 5153962	MAYBE 4.82/4.82	NO 16.39/16.39	MAYBE 0.56/0.55
From_AProVE_2014/Velroyen08-complInterv.jar-obl-8.smt2 5153963	MAYBE 3.33/3.32	MAYBE 18.41/18.41	MAYBE 0.39/0.50
From_AProVE_2014/PastaB13.jar-obl-8.smt2 5153964	YES 9.13/9.13	YES 0.03/0.03	YES 4.52/4.45
From_AProVE_2014/whileSingle_rec.jar-obl-8.smt2 5153965	MAYBE 5.46/5.46	NO 5.73/5.73	MAYBE 0.64/0.63
From_AProVE_2014/MergeSort.jar-obl-12.smt2 5153966	YES 15.13/15.13	YES 0.56/0.56	YES 56.74/56.51
From_AProVE_2014/Kernel93.jar-obl-9.smt2 5153967	MAYBE 14.71/15.47	NO 9.38/9.38	MAYBE 4.21/4.15
From_AProVE_2014/Velroyen08-whilePart.jar-obl-8.smt2 5153968	MAYBE 3.86/3.85	NO 5.09/5.11	MAYBE 0.46/0.45
From_AProVE_2014/TermsCreateMatch.jar-obl-9.smt2 5153969	YES 6.77/6.77	YES 0.16/0.16	YES 18.43/18.37
From_AProVE_2014/LessLeaves.jar-obl-10.smt2 5153970	MAYBE 42.32/42.32	MAYBE 49.62/49.63	MAYBE 10.69/10.55
From_AProVE_2014/LogIterative.jar-obl-8.smt2 5153971	YES 1.53/1.53	YES 0.02/0.02	YES 0.53/0.52
From_AProVE_2014/Velroyen08-middle.jar-obl-8.smt2 5153972	MAYBE 5.62/5.61	NO 68.83/68.94	MAYBE 0.40/0.41
From_AProVE_2014/Distances.jar-obl-19.smt2 5153973	YES 121.92/121.93	MAYBE 40.83/40.84	timeout (wallclock) [out]
From_AProVE_2014/Avg.jar-obl-8.smt2 5153974	YES 1.53/1.54	YES 0.03/0.03	MAYBE 0.61/0.62
From_AProVE_2014/ListContent.jar-obl-9.smt2 5153975	MAYBE 3.62/3.61	NO 5.23/5.23	MAYBE 0.47/0.46
From_AProVE_2014/juHashMapCreateIteratorValueLoop.jar-obl-12.smt2 5153976	YES 21.70/21.69	MAYBE 186.53/186.67	YES 183.54/181.32
From_AProVE_2014/AlternatingGrowReduceRec.jar-obl-9.smt2 5153977	YES 4.31/4.31	YES 0.09/0.09	MAYBE 1.13/1.11
From_AProVE_2014/whileNested_rec.jar-obl-9.smt2 5153978	MAYBE 4.16/4.15	NO 26.09/26.11	MAYBE 0.46/0.45
From_AProVE_2014/RSA.jar-obl-17.smt2 5153979	MAYBE 119.00/119.00	MAYBE 32.18/32.22	timeout (wallclock) [out]
From_AProVE_2014/PastaB6.jar-obl-8.smt2 5153980	YES 1.31/1.31	YES 0.02/0.02	YES 0.12/0.12
From_AProVE_2014/PartitionList.jar-obl-16.smt2 5153981	YES 40.04/40.05	YES 1.48/1.49	YES 78.36/77.39
From_AProVE_2014/costa09-example_4.jar-obl-8.smt2 5153982	YES 1.44/1.44	YES 0.21/0.21	YES 0.24/0.24
From_AProVE_2014/juLinkedListCreateSize.jar-obl-8.smt2 5153983	YES 1.98/1.99	YES 0.03/0.03	YES 1.48/1.47
From_AProVE_2014/CyclicPair2.jar-obl-8.smt2 5153984	YES 1.29/1.29	YES 0.02/0.02	YES 0.22/0.21
From_AProVE_2014/PastaA6.jar-obl-8.smt2 5153985	YES 1.44/1.44	YES 0.07/0.07	MAYBE 0.58/0.56
From_AProVE_2014/ListContentTail.jar-obl-10.smt2 5153986	YES 3.30/3.30	YES 0.06/0.06	YES 2.86/2.81
From_AProVE_2014/Velroyen08-moduloUp.jar-obl-8.smt2 5153987	MAYBE 3.75/3.75	NO 6.69/6.69	MAYBE 1.16/1.14
From_AProVE_2014/ListInt.jar-obl-12.smt2 5153988	MAYBE 27.26/27.25	NO 6.57/6.57	MAYBE 3.99/3.94
From_AProVE_2014/MinusUserDefined.jar-obl-8.smt2 5153989	YES 2.65/2.64	YES 0.13/0.13	MAYBE 0.86/1.18
From_AProVE_2014/Et4.jar-obl-8.smt2 5153990	YES 3.55/3.54	YES 65.06/65.16	MAYBE 1.18/1.16
From_AProVE_2014/Samefringe.jar-obl-10.smt2 5153991	MAYBE 12.59/12.58	NO 6.11/6.23	MAYBE 3.40/3.34
From_AProVE_2014/Kernel88.jar-obl-9.smt2 5153992	YES 2.63/2.63	YES 0.11/0.11	YES 10.02/10.17
From_AProVE_2014/LogRecursive.jar-obl-8.smt2 5153993	YES 2.38/2.38	YES 0.04/0.04	YES 1.20/1.20
From_AProVE_2014/whileNestedOffset_rec.jar-obl-9.smt2 5153994	MAYBE 4.18/4.17	NO 30.34/30.42	MAYBE 0.47/0.46
From_AProVE_2014/DivTernary2.jar-obl-9.smt2 5153995	MAYBE 15.44/15.44	NO 11.30/11.31	MAYBE 2.28/2.56
From_AProVE_2014/sumGeneric2_rec.jar-obl-8.smt2 5153996	MAYBE 4.20/4.20	NO 24.26/24.27	MAYBE 0.52/0.51
From_AProVE_2014/Velroyen08-marbie2.jar-obl-8.smt2 5153997	MAYBE 4.14/4.13	NO 27.28/27.28	MAYBE 0.41/0.40
From_AProVE_2014/Velroyen08-alternatingIncr.jar-obl-8.smt2 5153998	MAYBE 15.58/15.59	NO 5.33/5.33	MAYBE 2.39/2.35
From_AProVE_2014/MirrorTree.jar-obl-9.smt2 5153999	YES 4.48/4.48	YES 0.08/0.08	YES 2.37/2.34
From_AProVE_2014/juLinkedListCreatePollLast.jar-obl-8.smt2 5154000	YES 5.52/5.51	YES 0.36/0.36	YES 4.64/4.63
From_AProVE_2014/PastaB5.jar-obl-8.smt2 5154001	YES 1.46/1.47	YES 0.02/0.02	YES 0.13/0.13
From_AProVE_2014/MainGet.jar-obl-10.smt2 5154002	MAYBE 10.73/10.72	NO 7.23/7.23	MAYBE 2.07/2.04
From_AProVE_2014/SharingAnalysisRec.jar-obl-9.smt2 5154003	YES 2.29/2.34	YES 0.04/0.04	YES 0.88/0.86
From_AProVE_2014/Et6-rec.jar-obl-8.smt2 5154004	YES 3.74/3.74	YES 0.08/0.08	YES 1.42/1.41
From_AProVE_2014/NonPeriodicNonterm2.jar-obl-8.smt2 5154005	MAYBE 10.61/11.20	NO 18.80/18.80	MAYBE 0.65/0.64
From_AProVE_2014/Test3.jar-obl-10.smt2 5154006	YES 10.93/10.93	YES 0.49/0.49	MAYBE 4.13/4.12
From_AProVE_2014/Et2.jar-obl-8.smt2 5154007	YES 3.32/3.32	YES 1.27/1.27	MAYBE 0.92/0.91
From_AProVE_2014/FlattenTree.jar-obl-9.smt2 5154008	MAYBE 19.93/19.96	MAYBE 39.56/39.59	MAYBE 2.66/2.62
From_AProVE_2014/CAppE.jar-obl-9.smt2 5154009	YES 1.68/1.67	YES 0.02/0.03	YES 0.36/0.35
From_AProVE_2014/Velroyen08-ex06.jar-obl-8.smt2 5154010	MAYBE 9.38/9.38	NO 2.09/2.09	MAYBE 2.00/1.97
From_AProVE_2014/juLinkedListCreateSubList.jar-obl-8.smt2 5154011	YES 2.63/2.62	YES 0.13/0.13	YES 1.62/1.62
From_AProVE_2014/ClassAnalysisRec.jar-obl-8.smt2 5154012	YES 1.50/1.50	YES 0.02/0.02	YES 0.18/0.18
From_AProVE_2014/PastaB17.jar-obl-8.smt2 5154013	YES 1.84/1.84	YES 0.03/0.03	YES 3.61/3.88
From_AProVE_2014/Exc1.jar-obl-8.smt2 5154014	MAYBE 4.11/4.11	NO 0.05/0.05	MAYBE 0.26/0.31
From_AProVE_2014/Sequence.jar-obl-9.smt2 5154015	YES 1.54/1.53	YES 0.05/0.05	YES 0.38/0.37
From_AProVE_2014/PastaB18.jar-obl-8.smt2 5154016	YES 2.49/2.49	YES 0.03/0.03	YES 0.37/0.36
From_AProVE_2014/GCD2.jar-obl-8.smt2 5154017	YES 2.38/2.38	YES 0.04/0.04	YES 0.74/0.72
From_AProVE_2014/trueDiv_rec.jar-obl-8.smt2 5154018	MAYBE 4.49/4.49	NO 18.21/18.23	MAYBE 0.45/0.44
From_AProVE_2014/Round3.jar-obl-8.smt2 5154019	MAYBE 4.54/4.54	MAYBE 36.68/36.72	MAYBE 0.90/1.19
From_AProVE_2014/AppE.jar-obl-9.smt2 5154020	YES 2.22/2.24	YES 0.04/0.04	YES 0.78/0.76
From_AProVE_2014/Main.jar-obl-11.smt2 5154021	YES 110.93/110.93	MAYBE 123.74/123.78	timeout (wallclock) [out]
From_AProVE_2014/Velroyen08-ex05.jar-obl-8.smt2 5154022	MAYBE 3.39/3.39	NO 5.13/5.13	MAYBE 0.34/0.33
From_AProVE_2014/Binomial.jar-obl-9.smt2 5154023	YES 17.39/17.39	YES 0.71/0.71	timeout (wallclock) [out]
From_AProVE_2014/NO_11.jar-obl-8.smt2 5154024	MAYBE 5.00/5.00	NO 66.61/66.75	MAYBE 0.39/0.38
From_AProVE_2014/juLinkedListCreateOffer.jar-obl-8.smt2 5154025	YES 2.59/2.59	YES 0.13/0.13	YES 1.66/1.66
From_AProVE_2014/juLinkedListCreateRemoveAll.jar-obl-11.smt2 5154026	timeout (wallclock) [out]	timeout (wallclock) [out]	MAYBE 174.95/174.72
From_AProVE_2014/juLinkedListCreate.jar-obl-8.smt2 5154027	YES 1.99/1.98	YES 0.03/0.03	YES 1.50/1.48
From_AProVE_2014/DuplicateNodes.jar-obl-9.smt2 5154028	YES 5.13/5.13	YES 0.09/0.09	YES 2.69/2.65
From_AProVE_2014/whilePart_rec.jar-obl-8.smt2 5154029	MAYBE 3.87/3.89	NO 5.09/5.09	MAYBE 0.44/0.43
From_AProVE_2014/EqUserDefRec.jar-obl-8.smt2 5154030	YES 1.33/1.33	YES 0.02/0.02	YES 0.12/0.12
From_AProVE_2014/Test12.jar-obl-8.smt2 5154031	YES 3.30/3.31	YES 0.13/0.13	MAYBE 1.02/1.02
From_AProVE_2014/mirrorInterv_rec.jar-obl-8.smt2 5154032	MAYBE 13.20/13.28	NO 71.17/71.25	MAYBE 1.01/0.98
From_AProVE_2014/AProVE12-cyclic-Visit.jar-obl-9.smt2 5154033	MAYBE 5.01/5.00	NO 7.35/7.35	MAYBE 0.62/0.61
From_AProVE_2014/juLinkedListCreateAdd.jar-obl-8.smt2 5154034	YES 2.60/2.60	YES 0.14/0.13	YES 1.64/1.63
From_AProVE_2014/ex02_rec.jar-obl-8.smt2 5154035	MAYBE 5.30/5.29	NO 12.24/12.25	MAYBE 0.40/0.40
From_AProVE_2014/AProVEMathRecursive.jar-obl-8.smt2 5154036	YES 4.37/4.37	YES 0.06/0.06	YES 6.24/6.15
From_AProVE_2014/BubbleSortR.jar-obl-10.smt2 5154037	YES 6.28/6.29	YES 0.13/0.13	YES 36.85/36.29
From_AProVE_2014/FlattenTreeListRec.jar-obl-10.smt2 5154038	MAYBE 16.68/16.70	MAYBE 56.59/56.64	MAYBE 4.54/4.48
From_AProVE_2014/juLinkedListCreateToArray.jar-obl-9.smt2 5154039	YES 4.48/4.49	YES 0.20/0.20	YES 5.00/4.94
From_AProVE_2014/Test4.jar-obl-10.smt2 5154040	timeout (wallclock) [out]	MAYBE 62.60/62.64	timeout (wallclock) [out]
From_AProVE_2014/juHashMapCreateSize.jar-obl-10.smt2 5154041	YES 16.04/16.05	MAYBE 185.56/185.67	YES 88.73/87.98
From_AProVE_2014/PastaB2.jar-obl-8.smt2 5154042	YES 1.32/1.33	YES 0.02/0.02	YES 0.29/0.29
From_AProVE_2014/StupidArray.jar-obl-8.smt2 5154043	YES 1.30/1.29	YES 0.02/0.02	YES 0.05/0.05
From_AProVE_2014/cousot_rec.jar-obl-8.smt2 5154044	MAYBE 5.50/5.50	NO 225.57/225.84	MAYBE 20.62/20.28
From_AProVE_2014/complInterv2_rec.jar-obl-8.smt2 5154045	MAYBE 3.87/3.86	NO 5.10/5.10	MAYBE 0.44/0.45
From_AProVE_2014/LogMult.jar-obl-8.smt2 5154046	MAYBE 3.45/3.45	MAYBE 5.16/5.17	YES 0.35/0.35
From_AProVE_2014/NO_10.jar-obl-8.smt2 5154047	MAYBE 3.59/3.59	NO 63.62/63.74	MAYBE 0.31/0.30
From_AProVE_2014/Recursions.jar-obl-13.smt2 5154048	YES 3.99/3.98	YES 0.07/0.07	YES 3.07/3.01
From_AProVE_2014/complxStruc_rec.jar-obl-8.smt2 5154049	MAYBE 24.10/24.12	NO 27.35/27.38	MAYBE 23.74/23.82
From_AProVE_2014/complInterv3_rec.jar-obl-8.smt2 5154050	MAYBE 3.63/3.62	NO 18.28/18.33	MAYBE 0.36/0.37
From_AProVE_2014/juLinkedListCreateContains.jar-obl-16.smt2 5154051	YES 82.95/82.96	YES 3.30/3.31	timeout (wallclock) [out]
From_AProVE_2014/LogAG.jar-obl-8.smt2 5154052	YES 1.70/1.70	YES 0.14/0.14	MAYBE 2.31/2.26
From_AProVE_2014/costa09-example_1.jar-obl-10.smt2 5154053	YES 2.78/2.78	YES 0.04/0.03	YES 1.37/1.34
From_AProVE_2014/Loop1.jar-obl-8.smt2 5154054	YES 1.43/1.43	YES 0.02/0.02	YES 0.44/0.43
From_AProVE_2014/costa09-example_5.jar-obl-8.smt2 5154055	MAYBE 1.30/1.30	NO 0.02/0.02	MAYBE 0.07/0.06
From_AProVE_2014/FlattenRTA.jar-obl-10.smt2 5154056	MAYBE 22.31/22.33	MAYBE 66.84/66.92	MAYBE 5.01/4.94
From_AProVE_2014/Velroyen08-whileNestedOffset.jar-obl-8.smt2 5154057	MAYBE 5.86/5.87	NO 13.27/13.27	MAYBE 0.50/0.49
From_AProVE_2014/Et1.jar-obl-8.smt2 5154058	YES 1.43/1.43	YES 11.14/11.16	MAYBE 0.34/0.34
From_AProVE_2014/Velroyen08-ex01.jar-obl-8.smt2 5154059	MAYBE 3.48/3.62	NO 18.17/18.19	MAYBE 0.37/0.36
From_AProVE_2014/ListReverseAcyclicList.jar-obl-9.smt2 5154060	YES 1.59/1.59	YES 0.03/0.03	YES 0.39/0.38
From_AProVE_2014/FactSLR.jar-obl-8.smt2 5154061	YES 2.02/2.01	YES 0.07/0.07	MAYBE 0.67/0.95
From_AProVE_2014/alternDiv_rec.jar-obl-8.smt2 5154062	MAYBE 3.83/3.82	NO 15.37/15.37	MAYBE 0.56/0.57
From_AProVE_2014/MysteriousProgram.jar-obl-12.smt2 5154063	timeout (wallclock) [out]	MAYBE 52.85/52.87	MAYBE 96.02/95.05
From_AProVE_2014/TerminatorRec02.jar-obl-8.smt2 5154064	YES 1.28/1.28	YES 0.02/0.02	YES 0.17/0.17
From_AProVE_2014/Ackermann.jar-obl-8.smt2 5154065	YES 2.09/2.08	YES 0.03/0.03	YES 0.46/0.45
From_AProVE_2014/convLower_rec.jar-obl-8.smt2 5154066	MAYBE 5.29/5.29	NO 29.53/29.54	MAYBE 0.41/0.41
From_AProVE_2014/Et1-rec.jar-obl-8.smt2 5154067	YES 1.76/1.76	YES 11.21/11.21	MAYBE 0.57/0.56
From_AProVE_2014/sumGeneric_rec.jar-obl-8.smt2 5154068	MAYBE 3.64/3.64	NO 54.68/54.75	MAYBE 0.46/0.45
From_AProVE_2014/juHashMapCreateClear.jar-obl-11.smt2 5154069	YES 16.27/16.27	MAYBE 189.04/189.46	YES 92.39/91.68
From_AProVE_2014/SearchTreeR.jar-obl-9.smt2 5154070	YES 4.92/4.92	YES 0.12/0.12	YES 4.48/4.77
From_AProVE_2014/juLinkedListCreateGetLast.jar-obl-8.smt2 5154071	YES 3.05/3.05	YES 0.17/0.19	YES 1.93/1.91
From_AProVE_2014/GCD.jar-obl-8.smt2 5154072	YES 2.69/2.71	YES 0.05/0.05	YES 0.78/0.78
From_AProVE_2014/Velroyen08-alternDiv.jar-obl-8.smt2 5154073	MAYBE 3.85/3.84	NO 15.36/15.37	MAYBE 0.50/0.49
From_AProVE_2014/HanR.jar-obl-8.smt2 5154074	YES 1.67/1.67	YES 0.02/0.02	YES 0.29/0.29
From_AProVE_2014/Fibonacci.jar-obl-8.smt2 5154075	YES 2.07/2.07	YES 0.03/0.03	YES 0.84/0.82
From_AProVE_2014/DuplicateTreePath.jar-obl-9.smt2 5154076	YES 7.80/7.84	YES 0.15/0.15	YES 6.74/6.95
From_AProVE_2014/Velroyen08-flip.jar-obl-8.smt2 5154077	MAYBE 3.47/3.49	NO 5.19/5.19	MAYBE 0.36/0.36
From_AProVE_2014/ex04_rec.jar-obl-8.smt2 5154078	MAYBE 3.51/3.51	NO 63.46/63.52	MAYBE 0.36/0.37
From_AProVE_2014/PastaC7.jar-obl-8.smt2 5154079	YES 1.39/1.39	YES 0.02/0.02	YES 0.25/0.25
From_AProVE_2014/Exc4.jar-obl-8.smt2 5154080	MAYBE 4.16/4.18	NO 1.03/1.03	MAYBE 0.31/0.31
From_AProVE_2014/NO_21.jar-obl-8.smt2 5154081	MAYBE 1.29/1.28	NO 0.02/0.02	MAYBE 0.06/0.06
From_AProVE_2014/Init.jar-obl-8.smt2 5154082	MAYBE 1.30/1.29	NO 0.03/0.02	MAYBE 0.06/0.06
From_AProVE_2014/juHashMapCreateIteratorEntryLoop.jar-obl-12.smt2 5154083	YES 21.91/22.46	MAYBE 187.27/187.32	YES 172.72/171.06
From_AProVE_2014/PastaA5.jar-obl-8.smt2 5154084	YES 1.39/1.92	YES 0.06/0.06	MAYBE 0.43/0.76
From_AProVE_2014/BubbleSort.jar-obl-8.smt2 5154085	YES 2.56/2.56	YES 4.05/4.05	YES 7.79/7.66
From_AProVE_2014/PastaC2.jar-obl-8.smt2 5154086	YES 3.33/1.80	YES 0.03/0.03	YES 2.68/2.69
From_AProVE_2014/juLinkedListCreatePeekFirst.jar-obl-8.smt2 5154087	YES 3.07/3.07	YES 0.16/0.16	YES 2.04/2.01
From_AProVE_2014/AProVE12-cyclic-Iterate.jar-obl-9.smt2 5154088	YES 2.57/2.57	YES 0.13/0.13	MAYBE 1.61/1.59
From_AProVE_2014/juLinkedListCreateIteratorLoop.jar-obl-10.smt2 5154089	YES 20.80/20.80	YES 0.82/0.82	YES 13.48/13.45
From_AProVE_2014/FibSLR.jar-obl-8.smt2 5154090	YES 2.53/2.53	YES 0.46/0.46	MAYBE 0.69/0.68
From_AProVE_2014/juLinkedListCreateGet.jar-obl-10.smt2 5154091	YES 4.85/4.85	YES 0.15/0.15	YES 10.54/10.77
From_AProVE_2014/AlternatingGrowReduce2.jar-obl-9.smt2 5154092	MAYBE 5.94/5.94	MAYBE 37.36/37.44	MAYBE 0.94/0.93
From_AProVE_2014/RotateTree.jar-obl-10.smt2 5154093	YES 6.00/6.04	YES 0.13/0.13	YES 5.04/4.97
From_AProVE_2014/juLinkedListCreateRemoveAt.jar-obl-10.smt2 5154094	YES 28.54/28.54	YES 0.93/0.93	YES 26.42/26.18
From_AProVE_2014/PastaC10.jar-obl-8.smt2 5154095	YES 1.55/1.55	YES 0.08/0.08	MAYBE 0.64/1.04
From_AProVE_2014/Parts.jar-obl-9.smt2 5154096	YES 6.30/6.29	YES 0.12/0.13	YES 15.75/15.61
From_AProVE_2014/Nest.jar-obl-8.smt2 5154097	YES 1.89/1.91	YES 0.02/0.02	YES 0.35/0.35
From_AProVE_2014/Velroyen08-sunset.jar-obl-8.smt2 5154098	MAYBE 7.39/7.78	NO 49.53/49.57	MAYBE 0.84/0.82
From_AProVE_2014/PastaA10.jar-obl-8.smt2 5154099	YES 2.92/2.92	YES 0.05/0.05	YES 0.49/0.48
From_AProVE_2014/TypeSwitch.jar-obl-8.smt2 5154100	MAYBE 10.20/10.21	NO 5.58/5.60	MAYBE 0.96/0.94
From_AProVE_2014/PastaB4.jar-obl-8.smt2 5154101	YES 1.31/1.31	YES 0.02/0.02	YES 0.07/0.07
From_AProVE_2014/Velroyen08-whileNested.jar-obl-8.smt2 5154102	MAYBE 5.82/5.81	NO 64.11/64.16	MAYBE 0.50/0.49
From_AProVE_2014/CountUpRound.jar-obl-8.smt2 5154103	YES 2.37/2.37	YES 0.03/0.03	YES 1.94/2.25
From_AProVE_2014/Count.jar-obl-10.smt2 5154104	MAYBE 17.63/17.62	MAYBE 29.17/29.17	MAYBE 2.89/2.87
From_AProVE_2014/Hanoi.jar-obl-8.smt2 5154105	YES 1.29/1.29	YES 0.02/0.02	YES 0.09/0.09
From_AProVE_2014/Double2.jar-obl-8.smt2 5154106	YES 1.28/1.28	YES 0.02/0.02	YES 0.09/0.09
From_AProVE_2014/CyclicList.jar-obl-9.smt2 5154107	YES 2.39/2.39	YES 0.04/0.04	YES 0.91/0.90
From_AProVE_2014/CountMetaListRec.jar-obl-9.smt2 5154108	MAYBE 7.79/7.79	NO 20.78/20.78	MAYBE 1.66/1.64
From_AProVE_2014/Velroyen08-alternDivWidening.jar-obl-8.smt2 5154109	MAYBE 6.22/6.51	NO 49.59/49.63	MAYBE 0.92/0.91
From_AProVE_2014/Velroyen08-alternKonv.jar-obl-8.smt2 5154110	MAYBE 6.84/6.83	MAYBE 23.97/23.97	MAYBE 0.66/0.66
From_AProVE_2014/TestJulia7.jar-obl-8.smt2 5154111	MAYBE 2.98/3.00	NO 5.17/5.17	MAYBE 0.27/0.26
From_AProVE_2014/NO_24.jar-obl-8.smt2 5154112	MAYBE 4.11/4.12	NO 5.21/5.21	MAYBE 0.39/0.38
From_AProVE_2014/GrowTreeR.jar-obl-9.smt2 5154113	YES 5.35/5.35	YES 0.27/0.27	YES 13.60/13.79
From_AProVE_2014/Velroyen08-whileDecr.jar-obl-8.smt2 5154114	YES 1.29/1.30	YES 0.02/0.02	YES 0.16/0.16
From_AProVE_2014/juLinkedListCreatePeek.jar-obl-8.smt2 5154115	YES 3.06/3.06	YES 0.17/0.17	YES 1.99/1.98
From_AProVE_2014/Alternate.jar-obl-10.smt2 5154116	YES 28.08/28.09	MAYBE 20.56/20.58	timeout (wallclock) [out]
From_AProVE_2014/Swingers.jar-obl-8.smt2 5154117	MAYBE 3.73/3.72	NO 5.97/6.00	MAYBE 0.42/0.41
From_AProVE_2014/FlattenTreeRec.jar-obl-9.smt2 5154118	MAYBE 13.49/13.51	MAYBE 35.83/35.85	MAYBE 2.71/2.81
From_AProVE_2014/ListDuplicate.jar-obl-9.smt2 5154119	YES 2.27/2.26	YES 0.05/0.05	YES 0.80/0.78
From_AProVE_2014/MirrorBinTreeRec.jar-obl-9.smt2 5154120	YES 20.68/20.67	MAYBE 50.34/50.39	timeout (wallclock) [out]
From_AProVE_2014/Velroyen08-whileBreak.jar-obl-8.smt2 5154121	MAYBE 8.28/8.28	NO 19.15/19.16	MAYBE 5.90/5.87
From_AProVE_2014/Sudoku.jar-obl-14.smt2 5154122	YES 26.80/26.80	YES 2.38/2.38	YES 74.50/73.63
From_AProVE_2014/juLinkedListCreateListIteratorLoop.jar-obl-10.smt2 5154123	YES 21.02/21.02	YES 0.82/0.83	YES 13.65/13.54
From_AProVE_2014/juHashMapCreate.jar-obl-10.smt2 5154124	YES 16.08/16.10	MAYBE 186.38/186.61	YES 87.82/86.63
From_AProVE_2014/McCarthyIterative.jar-obl-8.smt2 5154125	YES 1.65/1.64	YES 0.22/0.22	MAYBE 0.50/0.49
From_AProVE_2014/Velroyen08-narrowKonv.jar-obl-8.smt2 5154126	MAYBE 10.35/10.36	NO 16.98/8.55	MAYBE 0.52/0.62
From_AProVE_2014/Domino.jar-obl-27.smt2 5154127	YES 270.31/270.34	MAYBE 42.19/42.21	timeout (wallclock) [out]
From_AProVE_2014/Velroyen08-ex09half.jar-obl-8.smt2 5154128	MAYBE 6.22/6.22	MAYBE 9.32/9.32	MAYBE 4.47/4.66
From_AProVE_2014/PastaA7.jar-obl-8.smt2 5154129	YES 1.38/1.38	YES 0.02/0.02	YES 0.35/0.34
From_AProVE_2014/flip2_rec.jar-obl-8.smt2 5154130	MAYBE 6.01/6.47	MAYBE 35.92/35.98	MAYBE 1.00/0.98
From_AProVE_2014/mirrorIntervSim_rec.jar-obl-8.smt2 5154131	MAYBE 4.33/4.35	NO 27.86/27.88	MAYBE 0.45/0.44
From_AProVE_2014/GCD4.jar-obl-8.smt2 5154132	YES 1.74/1.74	YES 0.03/0.03	YES 2.61/2.55
From_AProVE_2014/PlusSwap.jar-obl-8.smt2 5154133	YES 1.31/1.31	YES 0.04/0.04	MAYBE 0.34/0.34
From_AProVE_2014/NestedLoop.jar-obl-10.smt2 5154134	YES 4.59/4.59	YES 0.26/0.26	MAYBE 1.14/1.49
From_AProVE_2014/juLinkedListCreateOfferFirst.jar-obl-8.smt2 5154135	YES 2.63/2.63	YES 0.13/0.13	YES 1.66/1.63
From_AProVE_2014/Test5.jar-obl-11.smt2 5154136	YES 12.68/12.69	YES 2.64/2.64	MAYBE 3.39/3.34
From_AProVE_2014/Count.jar-obl-10-2.smt2 5154137	MAYBE 44.94/44.94	MAYBE 50.68/50.70	MAYBE 6.41/6.33
From_AProVE_2014/PastaB16.jar-obl-8.smt2 5154138	YES 1.67/1.67	YES 0.02/0.02	YES 1.34/1.32
From_AProVE_2014/NO_05.jar-obl-9.smt2 5154139	MAYBE 6.45/6.50	NO 52.37/52.77	MAYBE 0.44/0.44
From_AProVE_2014/DivMinus2.jar-obl-8.smt2 5154140	YES 5.62/5.62	YES 0.07/0.07	YES 7.62/7.81
From_AProVE_2014/MirrorMultiTreeRec.jar-obl-9.smt2 5154141	YES 5.67/5.69	YES 0.33/0.33	YES 10.81/10.67
From_AProVE_2014/Velroyen08-ex04.jar-obl-8.smt2 5154142	MAYBE 4.17/4.20	NO 33.30/33.34	MAYBE 0.44/0.43
From_AProVE_2014/Shuffle.jar-obl-10.smt2 5154143	MAYBE 6.26/6.26	MAYBE 36.28/36.28	MAYBE 1.15/1.13
From_AProVE_2014/ex01_rec.jar-obl-8.smt2 5154144	MAYBE 3.27/3.26	NO 18.23/18.24	MAYBE 0.46/0.46
From_AProVE_2014/QuicksortRec.jar-obl-9.smt2 5154145	YES 12.26/12.26	YES 1.12/1.12	YES 30.13/29.70
From_AProVE_2014/Et3-rec.jar-obl-8.smt2 5154146	YES 1.72/1.72	YES 13.41/13.41	MAYBE 0.57/0.58
From_AProVE_2014/NO_23.jar-obl-8.smt2 5154147	MAYBE 3.67/3.68	NO 25.20/25.22	MAYBE 0.28/0.27
From_AProVE_2014/CyclicAnalysisRec.jar-obl-9.smt2 5154148	YES 3.76/3.76	YES 0.08/0.08	YES 1.64/1.61
From_AProVE_2014/juHashMapCreateGet.jar-obl-11.smt2 5154149	YES 20.62/20.62	MAYBE 179.68/179.84	YES 112.74/111.39
From_AProVE_2014/TimesPlusUserDef.jar-obl-9.smt2 5154150	YES 2.36/2.35	YES 0.03/0.03	YES 0.89/0.89
From_AProVE_2014/juHashMapCreateContainsKey.jar-obl-11.smt2 5154151	YES 20.63/20.63	MAYBE 182.33/182.51	YES 115.40/113.88
From_AProVE_2014/GCD5.jar-obl-8.smt2 5154152	MAYBE 3.74/3.74	MAYBE 5.14/5.14	YES 0.47/0.47
From_AProVE_2014/PastaB8.jar-obl-8.smt2 5154153	YES 2.14/2.14	YES 0.03/0.03	YES 1.03/1.03
From_AProVE_2014/AProVE12-cyclic-Length.jar-obl-9.smt2 5154154	YES 1.92/1.92	YES 0.09/0.09	MAYBE 1.18/1.17
From_AProVE_2014/Velroyen08-marbie1.jar-obl-8.smt2 5154155	MAYBE 3.20/3.21	NO 18.24/18.25	MAYBE 0.36/0.36
From_AProVE_2014/DupTreeRec.jar-obl-9.smt2 5154156	YES 5.10/5.11	YES 0.26/0.26	YES 15.59/15.35
From_AProVE_2014/juLinkedListCreateAddAllAt.jar-obl-17.smt2 5154157	timeout (wallclock) [out]	MAYBE 227.72/228.05	MAYBE 71.25/70.95
From_AProVE_2014/ListReverseCyclicList.jar-obl-10.smt2 5154158	YES 3.41/3.40	YES 0.09/0.09	YES 3.95/3.90
From_AProVE_2014/Velroyen08-upAndDownIneq.jar-obl-8.smt2 5154159	MAYBE 15.53/15.53	NO 43.04/43.05	MAYBE 1.12/1.42
From_AProVE_2014/Graph.jar-obl-17.smt2 5154160	MAYBE 77.18/77.22	MAYBE 66.93/67.03	MAYBE 227.10/223.57
From_AProVE_2014/AlternatingGrowReduce.jar-obl-9.smt2 5154161	YES 3.95/3.96	YES 0.09/0.09	MAYBE 1.07/1.05
From_AProVE_2014/Carre.jar-obl-9.smt2 5154162	YES 4.14/4.14	YES 0.10/0.10	YES 14.48/14.33
From_AProVE_2014/GCD3.jar-obl-8.smt2 5154163	YES 1.74/1.74	YES 0.03/0.03	YES 2.82/2.76
From_AProVE_2014/Choose.jar-obl-8.smt2 5154164	MAYBE 4.39/4.38	NO 23.47/23.49	MAYBE 0.28/0.28
From_AProVE_2014/narrowKonv_rec.jar-obl-8.smt2 5154165	MAYBE 10.47/10.48	NO 8.58/8.58	MAYBE 0.55/0.54
From_AProVE_2014/NO_04.jar-obl-8.smt2 5154166	MAYBE 1.29/1.29	NO 0.03/0.03	MAYBE 0.06/0.06
From_AProVE_2014/alternDivWide_rec.jar-obl-8.smt2 5154167	MAYBE 6.77/6.77	NO 12.77/12.78	MAYBE 0.78/0.77
From_AProVE_2014/narrowing_rec.jar-obl-8.smt2 5154168	MAYBE 52.23/52.23	NO 44.67/44.73	MAYBE 281.44/279.04
From_AProVE_2014/KnapsackDP.jar-obl-11.smt2 5154169	MAYBE 101.80/101.86	NO 138.37/138.51	MAYBE 12.85/12.63
From_AProVE_2014/DivTernary.jar-obl-10.smt2 5154170	timeout (wallclock) [out]	MAYBE 59.09/59.10	MAYBE 129.61/128.33
From_AProVE_2014/MainMove.jar-obl-11.smt2 5154171	MAYBE 20.33/20.32	NO 6.06/6.06	MAYBE 62.82/61.85
From_AProVE_2014/ex03_rec.jar-obl-8.smt2 5154172	MAYBE 5.38/5.39	NO 11.73/11.74	MAYBE 0.63/0.62
From_AProVE_2014/ListContentArbitrary.jar-obl-10.smt2 5154173	YES 2.06/2.06	YES 0.03/0.03	YES 0.57/0.56
From_AProVE_2014/LinkedList.jar-obl-10.smt2 5154174	MAYBE 6.03/6.03	NO 22.75/22.77	MAYBE 0.74/0.72
From_AProVE_2014/juLinkedListCreateRemoveLastOccurrence.jar-obl-16.smt2 5154175	YES 199.18/199.20	YES 4.34/4.35	timeout (wallclock) [out]
From_AProVE_2014/flip_rec.jar-obl-8.smt2 5154176	MAYBE 3.86/3.86	NO 5.15/5.15	MAYBE 0.35/0.35
From_AProVE_2014/MainDelete.jar-obl-10.smt2 5154177	MAYBE 25.27/25.30	MAYBE 96.78/96.94	MAYBE 5.07/5.00
From_AProVE_2014/Diff.jar-obl-8.smt2 5154178	YES 5.03/5.03	YES 0.49/0.49	YES 13.72/13.48
From_AProVE_2014/NO_02.jar-obl-8.smt2 5154179	MAYBE 1.29/1.43	NO 0.03/0.03	MAYBE 0.06/0.06
From_AProVE_2014/DivMinus.jar-obl-11.smt2 5154180	MAYBE 256.64/256.66	MAYBE 56.53/56.57	MAYBE 28.87/28.87
From_AProVE_2014/ex05_rec.jar-obl-8.smt2 5154181	MAYBE 3.08/3.07	NO 0.03/0.03	MAYBE 0.24/0.23
From_AProVE_2014/Take.jar-obl-8.smt2 5154182	YES 1.61/1.61	YES 0.03/0.03	YES 0.72/0.70
From_AProVE_2014/NO_01.jar-obl-8.smt2 5154183	MAYBE 1.29/1.29	NO 0.03/0.03	MAYBE 0.06/0.06
From_AProVE_2014/Velroyen08-even.jar-obl-9.smt2 5154184	MAYBE 4.90/4.90	NO 18.22/18.22	MAYBE 0.67/0.66
From_AProVE_2014/juLinkedListCreateRemoveRange.jar-obl-14.smt2 5154185	YES 50.63/50.62	YES 2.55/2.56	timeout (wallclock) [out]
From_AProVE_2014/Sharing.jar-obl-8.smt2 5154186	YES 1.26/1.28	YES 0.02/0.02	YES 0.16/0.17
From_AProVE_2014/juHashMapCreateContainsValue.jar-obl-11.smt2 5154187	YES 33.73/33.73	MAYBE 190.18/190.28	YES 227.83/224.60
From_AProVE_2014/Velroyen08-gauss.jar-obl-8.smt2 5154188	MAYBE 5.00/5.02	NO 18.24/18.25	MAYBE 0.57/0.56
From_AProVE_2014/NO_06.jar-obl-8.smt2 5154189	MAYBE 1.28/1.30	NO 0.03/0.03	MAYBE 0.06/0.06
From_AProVE_2014/Velroyen08-fib.jar-obl-8.smt2 5154190	MAYBE 10.72/10.72	NO 123.11/123.26	MAYBE 0.72/0.71
From_AProVE_2014/juLinkedListCreateIsEmpty.jar-obl-8.smt2 5154191	YES 2.65/2.64	YES 0.15/0.15	YES 1.69/1.69
From_AProVE_2014/Et3.jar-obl-9.smt2 5154192	YES 1.77/1.76	YES 9.45/9.46	MAYBE 0.42/0.42
From_AProVE_2014/MinusBuiltIn.jar-obl-8.smt2 5154193	YES 1.31/1.32	YES 0.02/0.02	YES 0.26/0.26
From_AProVE_2014/ex08_rec.jar-obl-8.smt2 5154194	MAYBE 49.55/49.57	NO 67.09/67.12	MAYBE 11.20/11.00
From_AProVE_2014/PastaB14.jar-obl-8.smt2 5154195	YES 1.82/1.81	YES 0.02/0.02	YES 0.23/0.22
From_AProVE_2014/juLinkedListCreateRemoveFirstOccurrence.jar-obl-16.smt2 5154196	YES 190.84/190.86	YES 3.69/3.71	timeout (wallclock) [out]
From_AProVE_2014/PastaC11.jar-obl-8.smt2 5154197	YES 1.93/1.94	YES 0.03/0.03	YES 0.37/0.36
From_AProVE_2014/Loop.jar-obl-8.smt2 5154198	MAYBE 1.31/1.31	NO 0.03/0.03	MAYBE 0.06/0.06
From_AProVE_2014/juHashMapCreateIsEmpty.jar-obl-10.smt2 5154199	YES 15.08/15.68	MAYBE 187.08/187.22	YES 82.93/82.34
From_AProVE_2014/RunningPointers.jar-obl-9.smt2 5154200	YES 1.77/1.77	YES 0.03/0.03	YES 0.39/0.39
From_AProVE_2014/PastaB10.jar-obl-8.smt2 5154201	YES 1.77/1.77	YES 0.04/0.04	YES 0.41/0.40
From_AProVE_2014/juLinkedListCreateRemoveFirst.jar-obl-8.smt2 5154202	YES 3.87/3.86	YES 0.20/0.20	YES 2.51/2.86
From_AProVE_2014/AG313.jar-obl-8.smt2 5154203	YES 1.35/1.34	YES 0.02/0.02	YES 0.14/0.14
From_AProVE_2014/Test11.jar-obl-8.smt2 5154204	YES 4.38/4.39	YES 0.57/0.57	MAYBE 2.80/2.76
From_AProVE_2014/Continue.jar-obl-8.smt2 5154205	MAYBE 1.29/1.28	NO 0.03/0.03	MAYBE 0.06/0.08
From_AProVE_2014/SortCount.jar-obl-10.smt2 5154206	MAYBE 50.23/50.25	YES 1.75/1.76	MAYBE 3.77/3.77
From_AProVE_2014/juLinkedListCreateContainsAll.jar-obl-11.smt2 5154207	YES 160.97/160.98	timeout (wallclock) [out]	timeout (wallclock) [out]
From_AProVE_2014/juLinkedListCreateClear.jar-obl-9.smt2 5154208	YES 3.25/3.25	YES 0.17/0.17	YES 3.28/3.23
From_T2/svdcmp.c.i.svdcmp.pl.t2.fixed.t2.smt2 5152987	timeout (wallclock) [out]	MAYBE 273.84/273.95	timeout (wallclock) [out]
From_T2/refine_disj_problem.t2.smt2 5152988	MAYBE 5.03/5.05	NO 5.38/5.38	MAYBE 2.85/2.80
From_T2/e-pgarch-succeed.t2.smt2 5152989	MAYBE 25.55/25.55	NO 0.07/0.07	MAYBE 48.35/47.64
From_T2/ex8.t2.smt2 5152990	MAYBE 26.52/26.52	NO 3.13/3.13	MAYBE 6.93/6.81
From_T2/ex15.t2.smt2 5152991	YES 1.24/1.26	YES 0.02/0.02	YES 0.01/0.02
From_T2/fake-succeed.t2.smt2 5152992	timeout (wallclock) [out]	NO 2.52/2.52	timeout (wallclock) [out]
From_T2/rev_nt2.t2_fixed.smt2 5152993	MAYBE 94.85/94.85	NO 8.45/8.45	timeout (wallclock) [out]
From_T2/java_DivWithoutMinus.c.t2.smt2 5152994	YES 60.56/60.56	YES 2.30/2.32	YES 123.47/121.96
From_T2/ex36.t2_fixed.smt2 5152995	timeout (wallclock) [out]	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/insertsort.t2_fixed.smt2 5152996	MAYBE 8.91/8.92	NO 18.34/18.37	MAYBE 4.61/4.54
From_T2/create_via_tmps.t2.smt2 5152997	YES 25.84/25.83	YES 0.16/0.16	timeout (wallclock) [out]
From_T2/polyrank4.t2.smt2 5152998	MAYBE 14.19/14.21	YES 34.54/34.60	MAYBE 3.31/3.25
From_T2/n-8.t2_fixed.smt2 5152999	MAYBE 42.96/42.96	MAYBE 0.04/0.04	MAYBE 33.01/33.02
From_T2/simple_pre2.t2.smt2 5153000	YES 2.25/1.18	YES 0.02/0.02	YES 0.01/0.01
From_T2/ex33.t2.smt2 5153001	YES 1.89/1.97	YES 0.02/0.02	YES 0.15/0.15
From_T2/consts3nt.t2.smt2 5153002	MAYBE 3.81/3.87	NO 36.38/36.40	MAYBE 0.89/0.88
From_T2/array4.t2.smt2 5153003	YES 2.50/2.50	YES 0.02/0.02	YES 3.36/3.30
From_T2/java_Double2.c.t2.smt2 5153004	YES 5.07/5.07	YES 0.05/0.05	YES 15.17/15.21
From_T2/two_arrays1.t2.smt2 5153005	YES 16.27/16.27	YES 0.06/0.06	YES 129.33/127.45
From_T2/ex27.t2.smt2 5153006	YES 88.12/88.28	YES 0.36/0.36	timeout (wallclock) [out]
From_T2/small12.t2.smt2 5153007	YES 1.58/1.58	YES 0.02/0.02	YES 1.22/1.21
From_T2/pgarch.t2.smt2 5153008	timeout (wallclock) [out]	MAYBE 126.34/126.38	timeout (wallclock) [out]
From_T2/bf12.t2.smt2 5153009	YES 13.71/13.70	YES 0.06/0.06	YES 141.82/139.88
From_T2/bf6.t2.smt2 5153010	YES 13.23/13.23	YES 0.06/0.06	YES 137.31/134.99
From_T2/e-pgarch-succeed.t2_fixed.smt2 5153011	MAYBE 24.02/24.03	NO 0.08/0.08	MAYBE 43.78/43.05
From_T2/slayer-3.t2.smt2 5153012	timeout (wallclock) [out]	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.smt2 5153013	YES 28.93/28.93	YES 0.47/0.47	timeout (wallclock) [out]
From_T2/constants.t2_fixed.smt2 5153014	YES 3.15/3.15	YES 0.03/0.03	YES 11.09/10.90
From_T2/bakerybug.t2.smt2 5153015	timeout (wallclock) [out]	timeout (wallclock) [out]	MAYBE 171.28/168.91
From_T2/s1-saved.t2_fixed.smt2 5153016	YES 104.33/104.35	YES 0.86/0.86	timeout (wallclock) [out]
From_T2/traverse_twice.t2_fixed.smt2 5153017	YES 180.79/180.81	YES 1.52/1.52	timeout (wallclock) [out]
From_T2/small34.t2.smt2 5153018	YES 1.42/1.43	YES 0.02/0.02	YES 0.15/0.14
From_T2/s1-striped.t2.smt2 5153019	timeout (wallclock) [out]	MAYBE 164.58/164.70	timeout (wallclock) [out]
From_T2/p-56.t2_fixed.smt2 5153020	YES 2.64/2.64	YES 0.03/0.02	YES 9.34/9.48
From_T2/small18.t2.smt2 5153021	MAYBE 6.40/6.70	MAYBE 35.34/35.40	MAYBE 0.67/1.08
From_T2/consts1nt.t2.smt2 5153022	MAYBE 4.54/4.55	NO 36.27/36.30	MAYBE 1.87/1.84
From_T2/ex20.t2.smt2 5153023	YES 3.82/3.82	YES 0.03/0.03	YES 6.24/6.13
From_T2/mc91test.t2_fixed.smt2 5153024	YES 5.23/5.22	YES 0.69/0.69	MAYBE 37.93/37.38
From_T2/two_arrays6.t2.smt2 5153025	YES 17.35/17.35	YES 0.06/0.06	YES 108.92/107.94
From_T2/st88b-fail.t2.smt2 5153026	MAYBE 44.79/44.80	NO 18.74/18.78	MAYBE 13.33/13.44
From_T2/smagillc-fail.t2.smt2 5153027	MAYBE 13.95/13.97	NO 12.50/12.50	MAYBE 5.10/5.01
From_T2/ex21.t2.smt2 5153028	YES 3.23/3.23	YES 0.02/0.02	YES 15.64/15.36
From_T2/1394complete-fail.t2_fixed.smt2 5153029	timeout (wallclock) [out]	NO 49.14/49.21	timeout (wallclock) [out]
From_T2/simple_pre1.t2.smt2 5153030	YES 1.19/1.19	YES 0.02/0.02	YES 0.01/0.03
From_T2/fun2.t2.smt2 5153031	YES 51.31/51.31	YES 6.25/6.25	timeout (wallclock) [out]
From_T2/p-7.t2.smt2 5153032	YES 2.45/2.45	YES 0.02/0.02	YES 9.18/9.03
From_T2/consts5.t2.smt2 5153033	MAYBE 6.18/6.17	NO 18.85/18.87	MAYBE 6.49/6.74
From_T2/armc-difficult_defect.t2.smt2 5153034	YES 1.68/1.68	YES 0.04/0.04	MAYBE 1.68/1.67
From_T2/n-16a.t2.smt2 5153035	MAYBE 4.05/4.06	NO 5.26/5.26	MAYBE 1.64/1.60
From_T2/huh.t2_fixed.smt2 5153036	YES 9.16/9.16	YES 0.06/0.06	YES 167.42/165.68
From_T2/p-15.t2.smt2 5153037	YES 1.61/1.62	YES 0.02/0.02	YES 0.37/0.36
From_T2/bf10.t2_fixed.smt2 5153038	YES 12.55/12.55	YES 0.06/0.06	YES 105.40/104.48
From_T2/neg-e-popl07-succeed.t2_fixed.smt2 5153039	MAYBE 60.08/60.09	NO 0.51/0.52	MAYBE 89.98/88.66
From_T2/stored.t2.smt2 5153040	MAYBE 23.47/23.46	NO 0.05/0.05	MAYBE 5.81/5.70
From_T2/loop3.t2.smt2 5153041	YES 172.55/172.56	YES 1.55/1.56	timeout (wallclock) [out]
From_T2/n-33.t2.smt2 5153042	MAYBE 26.56/26.66	timeout (wallclock) [out]	MAYBE 25.60/25.19
From_T2/array_free2.t2.smt2 5153043	YES 2.42/2.41	YES 0.02/0.02	YES 0.49/0.48
From_T2/consts1nt.t2_fixed.smt2 5153044	MAYBE 3.97/3.96	NO 23.36/23.39	MAYBE 1.08/1.07
From_T2/p-1b.t2.smt2 5153045	YES 1.73/1.73	YES 0.02/0.02	YES 1.72/2.02
From_T2/s1.t2_fixed.smt2 5153046	timeout (wallclock) [out]	MAYBE 180.64/180.77	timeout (wallclock) [out]
From_T2/small29.t2.smt2 5153047	MAYBE 3.72/3.73	NO 10.05/5.07	MAYBE 1.27/1.55
From_T2/p-1c.t2.smt2 5153048	MAYBE 4.32/4.33	MAYBE 0.03/0.03	MAYBE 15.09/14.85
From_T2/byron-2.t2.smt2 5153049	YES 5.17/5.17	YES 0.03/0.03	YES 38.05/37.80
From_T2/java_Diff.c.t2.smt2 5153050	YES 162.21/162.24	YES 0.57/0.57	timeout (wallclock) [out]
From_T2/p-43.t2_fixed.smt2 5153051	YES 11.63/11.63	YES 0.95/0.95	MAYBE 11.71/11.52
From_T2/bitcount32.t2_fixed.smt2 5153052	YES 5.73/5.73	YES 0.03/0.03	YES 48.65/48.21
From_T2/reverse_seg_cyclic.t2_fixed.smt2 5153053	YES 134.11/134.12	YES 1.17/1.18	timeout (wallclock) [out]
From_T2/compress.t2.smt2 5153054	timeout (wallclock) [out]	NO 154.77/154.86	timeout (wallclock) [out]
From_T2/nakata_withassume.t2.smt2 5153055	timeout (wallclock) [out]	YES 4.10/4.10	timeout (wallclock) [out]
From_T2/ex18.t2_fixed.smt2 5153056	YES 9.26/9.29	YES 0.04/0.04	MAYBE 18.14/17.85
From_T2/e-1394complete-fail.t2.smt2 5153057	timeout (wallclock) [out]	NO 49.00/49.05	timeout (wallclock) [out]
From_T2/queue_10.t2.smt2 5153058	YES 8.79/8.79	YES 0.07/0.07	YES 27.12/26.66
From_T2/fun7.t2.smt2 5153059	MAYBE 232.24/232.26	MAYBE 43.56/43.56	timeout (wallclock) [out]
From_T2/p-5.t2.smt2 5153060	MAYBE 22.43/22.44	NO 21.41/21.44	timeout (wallclock) [out]
From_T2/java_FibRecursive.c.t2.smt2 5153061	YES 4.54/4.54	YES 0.05/0.05	YES 4.13/4.16
From_T2/queens.t2.smt2 5153062	timeout (wallclock) [out]	YES 3.63/3.62	timeout (wallclock) [out]
From_T2/armc-difficult_foo3.t2.smt2 5153063	YES 82.88/82.87	YES 6.96/6.96	timeout (wallclock) [out]
From_T2/simple_test.t2.smt2 5153064	YES 3.45/3.45	YES 0.03/0.03	YES 5.15/5.08
From_T2/heidy7.t2.smt2 5153065	MAYBE 20.46/20.45	NO 3.12/3.12	MAYBE 2.68/2.64
From_T2/destroy_seg.t2.smt2 5153066	YES 36.91/36.92	YES 0.20/0.20	timeout (wallclock) [out]
From_T2/reverse_div4.t2.smt2 5153067	MAYBE 174.33/174.77	NO 11.55/11.55	timeout (wallclock) [out]
From_T2/disj_nightmare_abi.t2.smt2 5153068	YES 3.44/3.43	YES 0.03/0.03	MAYBE 3.60/3.54
From_T2/consts5nt.t2.smt2 5153069	MAYBE 6.18/6.18	NO 18.85/18.85	MAYBE 6.53/6.41
From_T2/mc91.t2.smt2 5153070	MAYBE 19.09/19.09	NO 17.01/17.01	MAYBE 10.97/10.78
From_T2/collatz.t2.smt2 5153071	MAYBE 9.51/9.62	MAYBE 5.27/5.27	MAYBE 12.75/12.58
From_T2/smagillc-fail.t2_fixed.smt2 5153072	MAYBE 14.08/14.08	NO 12.50/12.51	MAYBE 4.82/4.73
From_T2/neg-e-acqrel-fail.t2_fixed.smt2 5153073	MAYBE 25.71/26.14	NO 5.14/5.14	MAYBE 5.53/5.43
From_T2/selectSort.t2.smt2 5153074	YES 9.78/9.78	YES 0.14/0.14	YES 85.85/84.68
From_T2/ex18.t2.smt2 5153075	YES 10.44/10.45	YES 0.04/0.04	MAYBE 26.25/25.88
From_T2/dead.neg-st88b-succeed.t2.smt2 5153076	MAYBE 63.08/63.10	NO 36.60/36.63	MAYBE 19.48/19.14
From_T2/ex29.t2.smt2 5153077	YES 10.24/10.24	YES 0.04/0.04	YES 1.18/1.17
From_T2/ns.t2.smt2 5153078	YES 27.53/27.53	YES 1.12/1.12	YES 154.79/152.99
From_T2/destroy_seg.t2_fixed.smt2 5153079	YES 40.51/40.51	YES 0.34/0.34	timeout (wallclock) [out]
From_T2/p-38.t2.smt2 5153080	YES 5.24/5.41	YES 0.03/0.04	YES 0.34/0.34
From_T2/simple_test2.t2.smt2 5153081	MAYBE 3.50/3.49	NO 0.03/0.03	MAYBE 0.90/0.90
From_T2/bubbleSort.t2.smt2 5153082	YES 5.89/5.90	YES 0.06/0.06	YES 25.08/24.67
From_T2/small10.t2.smt2 5153083	MAYBE 12.10/12.11	NO 13.12/13.12	MAYBE 3.89/4.11
From_T2/apchild-accepted.t2_fixed.smt2 5153084	timeout (wallclock) [out]	MAYBE 231.93/232.43	timeout (wallclock) [out]
From_T2/slayer-n1.t2.smt2 5153085	MAYBE 126.21/126.21	NO 12.08/12.08	timeout (wallclock) [out]
From_T2/ex23.t2.smt2 5153086	YES 2.31/2.33	YES 0.02/0.02	YES 4.18/4.12
From_T2/neg-acqrel-succeed.t2.smt2 5153087	MAYBE 38.83/38.83	NO 9.13/9.13	MAYBE 3.90/3.88
From_T2/heidy8.t2_fixed.smt2 5153088	MAYBE 24.75/24.75	NO 3.12/3.12	MAYBE 6.17/6.05
From_T2/neg-acqrel-fail.t2.smt2 5153089	MAYBE 39.09/39.29	NO 9.13/9.13	MAYBE 3.70/3.90
From_T2/n-20.t2.smt2 5153090	MAYBE 8.20/8.21	MAYBE 0.04/0.04	MAYBE 23.06/22.70
From_T2/zlib-crc32-BYFOUR.c.t2.smt2 5153091	MAYBE 104.55/104.55	NO 32.64/32.67	MAYBE 245.56/242.28
From_T2/p-37.t2_fixed.smt2 5153092	YES 3.14/3.14	YES 0.03/0.03	YES 9.55/9.61
From_T2/bf7.t2.smt2 5153093	YES 16.35/16.35	YES 0.06/0.06	YES 140.64/138.38
From_T2/spctrm.t2.smt2 5153094	YES 199.54/199.64	YES 13.13/13.15	timeout (wallclock) [out]
From_T2/small28.t2.smt2 5153095	YES 1.50/1.52	YES 0.02/0.02	YES 1.24/1.22
From_T2/array_init.t2.smt2 5153096	YES 2.07/2.08	YES 0.02/0.02	YES 0.94/1.20
From_T2/bf20.t2.smt2 5153097	YES 14.48/14.48	YES 0.06/0.06	YES 139.62/138.58
From_T2/byron-4.t2.smt2 5153098	MAYBE 9.83/9.82	timeout (wallclock) [out]	MAYBE 32.86/32.53
From_T2/ex32.t2_fixed.smt2 5153099	YES 3.50/3.50	YES 0.03/0.02	YES 4.32/4.69
From_T2/ex29.t2_fixed.smt2 5153100	YES 9.55/9.54	YES 0.04/0.04	YES 1.34/1.32
From_T2/n-48.t2.smt2 5153101	MAYBE 6.86/6.86	NO 32.45/32.45	MAYBE 7.93/7.79
From_T2/neg-e-1394-succeed.t2.smt2 5153102	timeout (wallclock) [out]	NO 17.11/17.11	timeout (wallclock) [out]
From_T2/fun11.t2_fixed.smt2 5153103	MAYBE 22.18/22.19	NO 18.26/18.26	MAYBE 15.78/15.54
From_T2/seq.t2.smt2 5153104	YES 1.42/1.41	YES 0.02/0.02	YES 0.12/0.12
From_T2/p-4.t2.smt2 5153105	YES 2.46/2.46	YES 0.03/0.03	YES 7.96/7.83
From_T2/neg-1394-succeed.t2.smt2 5153106	timeout (wallclock) [out]	NO 17.03/17.06	timeout (wallclock) [out]
From_T2/ndes.t2.smt2 5153107	timeout (wallclock) [out]	YES 36.58/36.66	timeout (wallclock) [out]
From_T2/p-7.t2_fixed.smt2 5153108	YES 2.58/2.59	YES 0.02/0.02	YES 9.06/8.89
From_T2/p-21.t2_fixed.smt2 5153109	YES 2.22/2.24	YES 0.03/0.03	YES 3.73/3.66
From_T2/apchild-live.t2_fixed.smt2 5153110	timeout (wallclock) [out]	MAYBE 175.54/175.68	timeout (wallclock) [out]
From_T2/traverse2.t2.smt2 5153111	YES 170.12/170.12	YES 0.44/0.77	timeout (wallclock) [out]
From_T2/p-61.t2_fixed.smt2 5153112	YES 2.16/2.19	YES 0.04/0.04	YES 2.45/2.41
From_T2/send-more-money.t2_fixed.smt2 5153113	YES 83.30/83.29	YES 0.79/0.79	YES 72.44/72.35
From_T2/agafp.t2_fixed.smt2 5153114	timeout (wallclock) [out]	NO 105.33/105.49	timeout (wallclock) [out]
From_T2/232.t2.smt2 5153115	YES 2.04/2.04	YES 0.03/0.03	YES 2.97/2.93
From_T2/neg-e-1394complete-fail.t2_fixed.smt2 5153116	timeout (wallclock) [out]	NO 48.71/48.80	timeout (wallclock) [out]
From_T2/streamserver.bug.t2_fixed.smt2 5153117	timeout (wallclock) [out]	NO 20.11/20.14	MAYBE 84.65/83.38
From_T2/bf10.t2.smt2 5153118	YES 14.32/14.32	YES 0.06/0.06	YES 140.25/138.86
From_T2/sas2.t2.smt2 5153119	YES 239.98/239.98	MAYBE 212.40/212.6	timeout (wallclock) [out]
From_T2/hqr.t2.smt2 5153120	timeout (wallclock) [out]	MAYBE 271.45/271.59	timeout (wallclock) [out]
From_T2/bs.t2_fixed.smt2 5153121	MAYBE 64.31/64.31	NO 15.57/15.61	MAYBE 25.86/25.42
From_T2/destroy_seg_leak.t2_fixed.smt2 5153122	timeout (wallclock) [out]	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/e-1394-succeed.t2.smt2 5153123	timeout (wallclock) [out]	NO 17.10/17.13	timeout (wallclock) [out]
From_T2/p-32.t2.smt2 5153124	MAYBE 4.74/4.93	NO 5.40/5.42	MAYBE 3.45/3.41
From_T2/queue_1000.t2_fixed.smt2 5153125	YES 8.22/8.22	YES 0.06/0.06	YES 14.44/14.21
From_T2/byron-3.t2.smt2 5153126	YES 1.96/1.96	YES 0.09/0.10	MAYBE 2.87/2.82
From_T2/send-more-money.t2.smt2 5153127	YES 87.86/87.87	YES 0.83/0.83	YES 77.43/77.32
From_T2/bf13.t2.smt2 5153128	YES 12.98/12.98	YES 0.06/0.06	YES 129.29/128.16
From_T2/java_LeUserDefRec.c.t2.smt2 5153129	YES 3.63/3.63	YES 0.06/0.06	YES 10.13/10.26
From_T2/n-3a.t2_fixed.smt2 5153130	MAYBE 16.77/16.76	NO 15.26/15.26	MAYBE 52.84/52.52
From_T2/bf13.t2_fixed.smt2 5153131	YES 11.81/11.81	YES 0.06/0.06	YES 106.07/105.37
From_T2/neg-1394-fail.t2.smt2 5153132	timeout (wallclock) [out]	NO 17.14/17.17	timeout (wallclock) [out]
From_T2/polyrank3.t2.smt2 5153133	MAYBE 12.15/12.35	YES 26.74/26.75	MAYBE 3.43/3.38
From_T2/p-21.t2.smt2 5153134	YES 2.61/2.61	YES 0.03/0.03	YES 16.81/16.51
From_T2/neg-e-1394complete-succeed.t2_fixed.smt2 5153135	timeout (wallclock) [out]	NO 49.00/49.05	timeout (wallclock) [out]
From_T2/e-popl07-fail.t2_fixed.smt2 5153136	MAYBE 65.61/65.62	NO 0.62/0.62	MAYBE 89.91/88.62
From_T2/neg-popl07-fail.t2.smt2 5153137	MAYBE 50.20/50.20	NO 0.17/0.17	MAYBE 95.68/94.14
From_T2/apchild-accepted.t2.smt2 5153138	timeout (wallclock) [out]	MAYBE 130.44/130.50	timeout (wallclock) [out]
From_T2/fourn.t2.smt2 5153139	timeout (wallclock) [out]	MAYBE 134.41/134.53	timeout (wallclock) [out]
From_T2/s2.t2.smt2 5153140	YES 2.15/2.15	YES 0.03/0.03	YES 6.87/6.76
From_T2/1394-succeed.t2.smt2 5153141	timeout (wallclock) [out]	NO 17.10/17.11	timeout (wallclock) [out]
From_T2/ex33.t2_fixed.smt2 5153142	YES 1.91/1.91	YES 0.02/0.02	YES 0.16/0.15
From_T2/elmhes.c.i.elmhes.pl.t2.fixed.t2.smt2 5153143	YES 16.72/16.72	YES 1.32/1.32	timeout (wallclock) [out]
From_T2/neg-e-st88b-succeed.t2.smt2 5153144	MAYBE 50.96/50.97	NO 0.03/0.03	MAYBE 1.79/1.76
From_T2/print.t2_fixed.smt2 5153145	YES 114.57/114.58	YES 1.25/1.25	timeout (wallclock) [out]
From_T2/small01.t2.smt2 5153146	MAYBE 3.73/3.73	NO 43.31/43.32	MAYBE 0.83/0.82
From_T2/wrap.c.t2.smt2 5153147	YES 36.30/36.42	YES 0.39/0.39	timeout (wallclock) [out]
From_T2/3.t2.smt2 5153148	MAYBE 3.29/3.56	NO 0.03/0.03	MAYBE 0.22/0.22
From_T2/java_Continue1.c.t2.smt2 5153149	YES 2.73/2.73	YES 0.03/0.03	YES 3.06/3.01
From_T2/walk.t2.smt2 5153150	MAYBE 40.34/40.34	NO 112.63/112.87	MAYBE 79.35/78.23
From_T2/small23.t2.smt2 5153151	MAYBE 19.51/19.54	NO 9.17/9.17	MAYBE 2.97/3.19
From_T2/curious2.t2.smt2 5153152	YES 1.18/1.20	YES 0.02/0.02	YES 0.01/0.01
From_T2/wrong_loop.t2_fixed.smt2 5153153	MAYBE 11.21/11.20	NO 1.10/1.10	MAYBE 4.21/4.13
From_T2/java_Double3.c.t2.smt2 5153154	YES 6.58/6.58	YES 0.05/0.05	YES 21.35/21.45
From_T2/toeplz.t2.smt2 5153155	YES 33.26/33.26	YES 4.10/4.10	timeout (wallclock) [out]
From_T2/p-41.t2.smt2 5153156	YES 1.15/1.15	YES 0.01/0.01	YES 0.01/0.02
From_T2/smagillc-succeed.t2.smt2 5153157	MAYBE 13.89/13.90	NO 12.29/12.31	MAYBE 5.52/5.47
From_T2/bitcount16.t2.smt2 5153158	YES 4.59/4.59	YES 0.03/0.03	MAYBE 56.91/56.77
From_T2/slayer-n3-filtered.t2.smt2 5153159	YES 21.30/21.30	YES 0.10/0.10	timeout (wallclock) [out]
From_T2/ex16.t2.smt2 5153160	MAYBE 50.58/50.58	NO 51.12/51.37	MAYBE 123.50/122.22
From_T2/consts3nt.t2_fixed.smt2 5153161	MAYBE 3.41/3.41	NO 19.78/19.79	MAYBE 0.34/0.33
From_T2/bf15.t2_fixed.smt2 5153162	YES 11.80/11.80	YES 0.06/0.06	YES 97.75/96.01
From_T2/n-9.t2.smt2 5153163	MAYBE 24.42/24.44	NO 5.64/5.64	MAYBE 49.53/49.08
From_T2/apchildlive-succeed.t2.smt2 5153164	timeout (wallclock) [out]	MAYBE 103.99/104.05	timeout (wallclock) [out]
From_T2/consts4.t2_fixed.smt2 5153165	YES 1.40/1.40	YES 0.02/0.02	YES 0.11/0.11
From_T2/w2_nt.t2.smt2 5153166	MAYBE 42.25/42.26	NO 10.18/10.18	MAYBE 262.49/260.04
From_T2/fun2.t2_fixed.smt2 5153167	YES 34.97/34.97	YES 1.90/1.90	MAYBE 286.61/283.16
From_T2/st88.t2.smt2 5153168	MAYBE 214.20/214.23	NO 14.95/14.97	MAYBE 14.27/14.34
From_T2/bf14.t2_fixed.smt2 5153169	YES 10.79/10.79	YES 0.06/0.06	YES 104.21/102.84
From_T2/e-1394complete-failA.t2.smt2 5153170	timeout (wallclock) [out]	NO 48.94/49.02	timeout (wallclock) [out]
From_T2/fast_poll.t2_fixed.smt2 5153171	timeout (wallclock) [out]	NO 6.12/6.13	timeout (wallclock) [out]
From_T2/smagillb-succeed.t2.smt2 5153172	MAYBE 16.54/16.54	NO 18.27/18.32	MAYBE 7.34/7.22
From_T2/java_PlusSwap.c.t2.smt2 5153173	YES 4.35/4.35	YES 1.20/1.21	MAYBE 12.92/12.69
From_T2/neg-st88b-fail.t2.smt2 5153174	MAYBE 62.37/62.38	NO 36.65/36.70	MAYBE 20.96/20.73
From_T2/n_firewire_instrumented-PP.t2.smt2 5153175	timeout (wallclock) [out]	MAYBE 111.58/111.71	MAYBE 141.96/139.50
From_T2/fun6.t2.smt2 5153176	timeout (wallclock) [out]	NO 15.24/15.25	timeout (wallclock) [out]
From_T2/dsa_test13.t2.smt2 5153177	YES 1.14/1.14	YES 0.01/0.01	YES 0.01/0.01
From_T2/apchild-accepted-fail.t2.smt2 5153178	timeout (wallclock) [out]	MAYBE 129.98/130.08	timeout (wallclock) [out]
From_T2/dsa_test6.t2.smt2 5153179	YES 1.79/1.79	YES 0.02/0.02	YES 1.71/1.97
From_T2/small19.t2.smt2 5153180	YES 2.24/2.25	YES 0.03/0.03	MAYBE 3.64/3.58
From_T2/rlft3.c.i.rlft3.pl.t2.fixed.t2.smt2 5153181	MAYBE 128.33/128.09	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/eric2.t2.smt2 5153182	YES 59.18/59.18	MAYBE 50.81/50.83	timeout (wallclock) [out]
From_T2/n-15a.t2.smt2 5153183	MAYBE 8.41/8.75	MAYBE 15.28/15.28	MAYBE 11.22/11.09
From_T2/walk.t2_fixed.smt2 5153184	MAYBE 40.36/40.36	NO 112.36/112.55	MAYBE 83.64/82.51
From_T2/matmul.t2.smt2 5153185	YES 11.29/11.29	YES 0.18/0.18	YES 34.71/34.28
From_T2/p-34.t2.smt2 5153186	MAYBE 67.20/67.19	MAYBE 0.07/0.07	timeout (wallclock) [out]
From_T2/n-9.t2_fixed.smt2 5153187	MAYBE 40.88/40.88	NO 5.77/5.77	MAYBE 47.09/46.34
From_T2/heidy8.t2.smt2 5153188	MAYBE 24.67/24.67	NO 3.12/3.12	MAYBE 6.38/6.27
From_T2/nested2.t2.smt2 5153189	YES 3.28/3.28	YES 0.04/0.04	YES 26.05/25.65
From_T2/ex3.t2_fixed.smt2 5153190	YES 2.47/2.46	YES 0.02/0.02	YES 1.83/1.80
From_T2/n-6.t2.smt2 5153191	MAYBE 13.31/13.34	NO 130.96/131.12	MAYBE 12.39/12.18
From_T2/dsa_test10.t2.smt2 5153192	YES 2.82/2.81	YES 0.03/0.03	YES 12.14/12.24
From_T2/simple_control_on_input.t2.smt2 5153193	YES 1.92/1.92	YES 0.02/0.02	YES 0.97/0.96
From_T2/neg-1394complete-fail.t2_fixed.smt2 5153194	timeout (wallclock) [out]	NO 267.93/268.29	timeout (wallclock) [out]
From_T2/ppblocktermbug.t2.smt2 5153195	MAYBE 45.21/45.23	NO 127.09/127.24	MAYBE 64.53/63.45
From_T2/ax_test_3.t2.smt2 5153196	MAYBE 4.58/4.59	NO 0.03/0.03	MAYBE 0.22/0.21
From_T2/n-1.t2.smt2 5153197	MAYBE 6.03/6.03	NO 5.07/5.07	MAYBE 24.15/23.91
From_T2/p-8.t2.smt2 5153198	MAYBE 5.13/5.14	MAYBE 0.03/0.03	MAYBE 7.63/7.88
From_T2/fun10b.t2_fixed.smt2 5153199	timeout (wallclock) [out]	NO 7.08/7.1	timeout (wallclock) [out]
From_T2/flipflop.t2.smt2 5153200	MAYBE 3.62/3.61	NO 0.18/0.18	MAYBE 0.64/0.62
From_T2/p-19a.t2.smt2 5153201	MAYBE 5.81/5.81	MAYBE 0.04/0.04	MAYBE 17.23/17.26
From_T2/fun9.t2.smt2 5153202	MAYBE 87.49/87.49	timeout (wallclock) [out]	MAYBE 77.59/76.27
From_T2/subpoly_crash.t2.smt2 5153203	MAYBE 3.91/3.91	NO 54.49/54.59	MAYBE 0.50/0.49
From_T2/fun6.t2_fixed.smt2 5153204	timeout (wallclock) [out]	NO 16.19/16.22	timeout (wallclock) [out]
From_T2/queue_100.t2.smt2 5153205	YES 8.77/9.43	YES 0.07/0.07	YES 26.41/25.95
From_T2/n-18.t2.smt2 5153206	MAYBE 3.70/3.74	NO 18.24/18.26	MAYBE 0.88/0.86
From_T2/fun1b.t2.smt2 5153207	timeout (wallclock) [out]	NO 112.89/113.02	timeout (wallclock) [out]
From_T2/p-5.t2_fixed.smt2 5153208	MAYBE 22.69/22.69	NO 23.81/23.84	MAYBE 263.93/259.50
From_T2/n-6a.t2.smt2 5153209	MAYBE 7.53/7.52	NO 40.59/20.32	MAYBE 15.90/15.64
From_T2/n-10.t2_fixed.smt2 5153210	MAYBE 63.82/63.82	MAYBE 0.05/0.05	MAYBE 67.08/66.42
From_T2/mc91.t2_fixed.smt2 5153211	YES 2.00/2.00	YES 0.21/0.21	MAYBE 3.03/2.98
From_T2/2.t2.smt2 5153212	MAYBE 58.12/58.12	NO 30.63/30.65	MAYBE 90.92/89.65
From_T2/n-6a.t2_fixed.smt2 5153213	MAYBE 13.95/13.94	NO 40.53/20.31	MAYBE 14.49/14.51
From_T2/java_DivMinus1.c.t2.smt2 5153214	YES 3.93/3.93	YES 0.05/0.05	YES 14.39/14.15
From_T2/polyrank5.t2.smt2 5153215	MAYBE 14.14/14.14	YES 45.98/45.98	MAYBE 5.40/5.31
From_T2/cfg.t2.smt2 5153216	MAYBE 6.74/6.73	NO 5.23/5.23	MAYBE 5.16/5.08
From_T2/matmult.t2.smt2 5153217	YES 22.41/22.41	YES 0.38/0.38	YES 290.53/286.38
From_T2/spiral.t2_fixed.smt2 5153218	YES 13.65/13.65	YES 2.70/2.71	MAYBE 27.06/26.63
From_T2/slayer-4-filtered.t2.smt2 5153219	timeout (wallclock) [out]	MAYBE 186.92/186.98	timeout (wallclock) [out]
From_T2/curious4.t2.smt2 5153220	timeout (wallclock) [out]	MAYBE 66.22/66.29	timeout (wallclock) [out]
From_T2/disj_nightmare.t2_fixed.smt2 5153221	timeout (wallclock) [out]	YES 10.33/10.33	timeout (wallclock) [out]
From_T2/small09.t2.smt2 5153222	YES 4.73/4.73	YES 0.08/0.08	MAYBE 19.47/19.16
From_T2/small24.t2.smt2 5153223	MAYBE 1.71/1.70	NO 0.03/0.03	MAYBE 0.26/0.25
From_T2/hqr.t2_fixed.smt2 5153224	timeout (wallclock) [out]	MAYBE 256.11/256.21	timeout (wallclock) [out]
From_T2/fun4.t2_fixed.smt2 5153225	MAYBE 18.93/18.94	YES 13.01/13.02	MAYBE 10.28/10.11
From_T2/n-15a.t2_fixed.smt2 5153226	MAYBE 10.44/10.63	MAYBE 10.20/10.22	MAYBE 3.29/3.24
From_T2/ppblock.t2.smt2 5153227	MAYBE 77.76/77.81	NO 127.28/127.42	MAYBE 15.44/15.46
From_T2/florian_pldi.t2.smt2 5153228	YES 4.65/4.65	YES 0.11/0.11	YES 25.82/25.65
From_T2/neg-e-popl07-fail.t2.smt2 5153229	MAYBE 51.55/51.56	NO 0.17/0.17	MAYBE 103.73/102.54
From_T2/p-42.t2.smt2 5153230	YES 2.23/2.23	YES 0.03/0.03	YES 7.20/7.07
From_T2/weakness.t2.smt2 5153231	YES 1.99/1.99	YES 1.06/1.06	MAYBE 3.09/3.03
From_T2/s3.t2_fixed.smt2 5153232	timeout (wallclock) [out]	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/java_FactSum.c.t2.smt2 5153233	YES 6.53/6.53	YES 0.06/0.06	YES 32.96/32.45
From_T2/small35.t2.smt2 5153234	MAYBE 4.17/4.17	NO 160.91/161.09	MAYBE 1.22/1.19
From_T2/mc91test.t2.smt2 5153235	MAYBE 62.60/62.63	NO 180.73/181.24	MAYBE 84.76/83.53
From_T2/bubblesort_inner_loop.t2.smt2 5153236	YES 3.82/3.81	YES 0.02/0.02	YES 5.76/5.65
From_T2/ppblockbug.t2.smt2 5153237	timeout (wallclock) [out]	NO 52.96/53.00	MAYBE 14.84/14.58
From_T2/bf19.t2.smt2 5153238	YES 13.09/13.09	YES 0.06/0.06	YES 137.76/136.09
From_T2/n-1c.t2_fixed.smt2 5153239	MAYBE 27.25/27.25	MAYBE 0.04/0.04	MAYBE 44.84/44.19
From_T2/java_Continue1.c.t2_fixed.smt2 5153240	YES 2.50/2.50	YES 0.03/0.09	YES 1.71/1.67
From_T2/n-8a.t2.smt2 5153241	MAYBE 5.52/5.52	NO 5.13/5.13	MAYBE 8.59/8.94
From_T2/p-40.t2_fixed.smt2 5153242	YES 2.53/2.53	YES 0.02/0.02	YES 5.96/6.24
From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2 5153243	timeout (wallclock) [out]	MAYBE 255.64/255.72	timeout (wallclock) [out]
From_T2/java_Break.c.t2.smt2 5153244	YES 2.73/2.73	YES 0.03/0.03	YES 2.87/2.82
From_T2/small13.t2.smt2 5153245	YES 2.01/2.01	YES 0.02/0.02	MAYBE 2.08/2.14
From_T2/zlib-adler32.c.t2_fixed.smt2 5153246	YES 30.62/30.62	YES 65.15/65.26	timeout (wallclock) [out]
From_T2/reverse_seg_cyclic.t2.smt2 5153247	YES 105.84/105.85	YES 0.32/0.32	timeout (wallclock) [out]
From_T2/select.t2_fixed.smt2 5153248	timeout (wallclock) [out]	NO 48.92/48.96	timeout (wallclock) [out]
From_T2/bf8.t2.smt2 5153249	YES 14.56/14.56	YES 0.06/0.06	YES 141.33/139.03
From_T2/bf19.t2_fixed.smt2 5153250	YES 11.63/11.63	YES 0.06/0.06	YES 81.72/80.70
From_T2/rewrite.t2.smt2 5153251	MAYBE 3.65/3.66	NO 0.03/0.03	MAYBE 0.71/0.70
From_T2/polling.bug.t2_fixed.smt2 5153252	timeout (wallclock) [out]	MAYBE 29.08/29.10	timeout (wallclock) [out]
From_T2/fake-succeed.t2_fixed.smt2 5153253	timeout (wallclock) [out]	NO 1.65/1.65	timeout (wallclock) [out]
From_T2/p-62.t2.smt2 5153254	YES 1.25/1.31	YES 0.02/0.02	YES 0.01/0.01
From_T2/fun11.t2.smt2 5153255	MAYBE 10.78/10.78	NO 36.33/36.34	MAYBE 26.09/25.66
From_T2/crc.t2_fixed.smt2 5153256	YES 163.13/163.14	YES 0.19/0.19	timeout (wallclock) [out]
From_T2/db2.t2_fixed.smt2 5153257	timeout (wallclock) [out]	MAYBE 237.85/237.95	timeout (wallclock) [out]
From_T2/fibcall.t2_fixed.smt2 5153258	YES 3.24/3.24	YES 0.02/0.02	YES 12.68/12.44
From_T2/n-17.t2.smt2 5153259	MAYBE 4.83/4.84	NO 33.76/33.85	MAYBE 1.48/1.45
From_T2/bio.t2.smt2 5153260	timeout (wallclock) [out]	NO 216.30/216.35	timeout (wallclock) [out]
From_T2/huh.t2.smt2 5153261	YES 9.75/9.75	YES 0.06/0.06	YES 181.86/179.15
From_T2/florian.t2.smt2 5153262	YES 1.32/1.32	YES 0.02/0.02	YES 0.11/0.11
From_T2/brp_withassume.t2.smt2 5153263	timeout (wallclock) [out]	MAYBE 196.75/196.79	timeout (wallclock) [out]
From_T2/apchildlive-succeed.t2_fixed.smt2 5153264	timeout (wallclock) [out]	MAYBE 137.55/137.60	timeout (wallclock) [out]
From_T2/consts1.t2.smt2 5153265	MAYBE 4.55/4.78	NO 36.27/36.34	MAYBE 1.71/1.68
From_T2/tqli.c.i.tqli.pl.t2.fixed.t2.smt2 5153266	timeout (wallclock) [out]	MAYBE 89.10/89.16	timeout (wallclock) [out]
From_T2/polling.bug.t2.smt2 5153267	timeout (wallclock) [out]	MAYBE 27.28/27.29	timeout (wallclock) [out]
From_T2/neg-smagilla-fail.t2.smt2 5153268	MAYBE 13.55/13.54	NO 3.20/3.20	MAYBE 5.14/5.18
From_T2/curious.t2.smt2 5153269	MAYBE 4.16/4.18	NO 5.15/5.15	MAYBE 1.51/1.49
From_T2/p-44.t2.smt2 5153270	YES 1.92/1.91	YES 0.02/0.02	YES 0.77/0.76
From_T2/java_AProVEMath.c.t2.smt2 5153271	YES 10.27/10.27	YES 0.72/0.72	MAYBE 47.52/47.23
From_T2/p-43-terminate.t2.smt2 5153272	YES 63.56/63.79	YES 3.81/3.81	timeout (wallclock) [out]
From_T2/fibcall.t2.smt2 5153273	YES 3.57/3.57	YES 0.03/0.03	YES 16.15/15.91
From_T2/fun7.t2_fixed.smt2 5153274	timeout (wallclock) [out]	MAYBE 46.61/46.61	timeout (wallclock) [out]
From_T2/p-3.t2.smt2 5153275	YES 2.54/2.63	YES 0.03/0.03	YES 10.57/10.39
From_T2/java_Duplicate.c.t2.smt2 5153276	YES 3.19/3.19	YES 0.04/0.04	YES 7.56/7.45
From_T2/ex21.t2_fixed.smt2 5153277	YES 2.72/2.71	YES 0.14/0.14	YES 8.38/8.58
From_T2/e-acqrel-succeed.t2_fixed.smt2 5153278	MAYBE 21.38/21.44	NO 5.14/5.14	MAYBE 3.97/4.22
From_T2/ex14.t2.smt2 5153279	YES 1.77/1.79	YES 0.02/0.02	YES 1.84/1.82
From_T2/simple_pre.t2.smt2 5153280	YES 1.17/1.16	YES 0.01/0.01	YES 0.01/0.01
From_T2/slayer-n1.t2_fixed.smt2 5153281	timeout (wallclock) [out]	NO 133.04/133.27	timeout (wallclock) [out]
From_T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.smt2 5153282	timeout (wallclock) [out]	MAYBE 85.01/85.10	timeout (wallclock) [out]
From_T2/nested.t2.smt2 5153283	YES 3.42/3.42	YES 0.04/0.04	YES 29.19/29.03
From_T2/neg.t2.smt2 5153284	YES 1.07/1.08	YES 0.01/0.04	YES 0.01/0.01
From_T2/loop_on_input.t2_fixed.smt2 5153285	YES 1.86/1.85	YES 0.02/0.02	YES 1.17/1.15
From_T2/neg-popl07-succeed.t2_fixed.smt2 5153286	MAYBE 62.68/62.86	NO 0.45/0.46	MAYBE 104.53/102.87
From_T2/jfdctint.c.t2_fixed.smt2 5153287	YES 5.79/5.78	YES 0.06/0.06	YES 18.37/18.07
From_T2/popl07-fail.t2.smt2 5153288	MAYBE 44.98/44.98	NO 0.14/0.14	MAYBE 82.45/81.30
From_T2/fun2b.t2.smt2 5153289	YES 50.78/50.79	YES 5.82/5.83	timeout (wallclock) [out]
From_T2/n-1d.t2.smt2 5153290	MAYBE 8.76/8.75	NO 20.48/20.51	MAYBE 16.51/16.34
From_T2/traverse_seg2.t2.smt2 5153291	YES 118.06/118.07	YES 0.43/0.43	timeout (wallclock) [out]
From_T2/statemate.t2.smt2 5153292	timeout (wallclock) [out]	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/bf12.t2_fixed.smt2 5153293	YES 11.79/11.79	YES 0.06/0.06	YES 104.20/102.59
From_T2/p-63.t2.smt2 5153294	YES 2.61/2.60	YES 0.04/0.04	MAYBE 8.19/8.11
From_T2/fun1b.t2_fixed.smt2 5153295	timeout (wallclock) [out]	NO 103.49/103.81	timeout (wallclock) [out]
From_T2/ex17.t2_fixed.smt2 5153296	YES 6.29/6.28	YES 0.02/0.02	MAYBE 33.04/32.50
From_T2/peculiar.t2_fixed.smt2 5153297	MAYBE 17.35/17.37	NO 3.36/3.36	MAYBE 11.16/11.31
From_T2/p-60.t2_fixed.smt2 5153298	YES 2.28/2.28	YES 0.02/0.02	YES 5.20/5.57
From_T2/edn.t2.smt2 5153299	timeout (wallclock) [out]	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/traverse2.t2_fixed.smt2 5153300	YES 168.63/168.64	YES 1.25/1.25	timeout (wallclock) [out]
From_T2/bf20.t2_fixed.smt2 5153301	YES 11.90/11.90	YES 0.06/0.06	YES 86.58/85.11
From_T2/acqrel-succeed2.t2.smt2 5153302	MAYBE 9.09/9.10	NO 0.04/0.04	MAYBE 6.40/6.30
From_T2/svdcmp.t2_fixed.smt2 5153303	timeout (wallclock) [out]	YES 30.45/30.48	timeout (wallclock) [out]
From_T2/bakery.t2.smt2 5153304	timeout (wallclock) [out]	timeout (wallclock) [out]	MAYBE 162.69/160.13
From_T2/queue_1.t2.smt2 5153305	YES 6.80/6.80	YES 0.06/0.06	YES 14.10/14.35
From_T2/cover.t2_fixed.smt2 5153306	timeout (wallclock) [out]	YES 39.21/39.25	timeout (wallclock) [out]
From_T2/p-36.t2.smt2 5153307	MAYBE 15.81/15.81	MAYBE 0.06/0.06	timeout (wallclock) [out]
From_T2/consts2nt.t2.smt2 5153308	MAYBE 3.90/3.90	NO 5.31/5.31	MAYBE 0.99/0.97
From_T2/ex34.t2.smt2 5153309	YES 2.07/2.07	YES 0.03/0.03	YES 0.03/0.03
From_T2/curious2.t2_fixed.smt2 5153310	YES 1.09/1.27	YES 0.01/0.02	YES 0.01/0.01
From_T2/fun1.t2_fixed.smt2 5153311	timeout (wallclock) [out]	NO 105.09/105.22	MAYBE 280.42/277.78
From_T2/bf5.t2_fixed.smt2 5153312	YES 10.27/10.27	YES 0.06/0.06	YES 103.88/102.08
From_T2/constants.t2.smt2 5153313	YES 3.57/3.57	YES 0.03/0.03	YES 15.34/15.52
From_T2/simple_fail.t2.smt2 5153314	YES 1.15/1.14	YES 0.01/0.01	YES 0.01/0.02
From_T2/db2.t2.smt2 5153315	timeout (wallclock) [out]	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/neg-smagilla-succeed.t2.smt2 5153316	MAYBE 14.04/14.05	NO 12.30/12.46	MAYBE 5.67/5.58
From_T2/ex7.t2_fixed.smt2 5153317	YES 2.09/2.08	YES 0.02/0.05	YES 4.09/4.02
From_T2/polyrank6.t2.smt2 5153318	YES 2.14/2.14	YES 0.29/0.29	MAYBE 4.33/4.69
From_T2/ex30.t2.smt2 5153319	YES 3.38/3.37	YES 0.03/0.03	YES 16.37/16.55
From_T2/heidy5.t2.smt2 5153320	YES 1.94/1.94	YES 0.02/0.02	YES 0.82/0.81
From_T2/neg-pgarch-succeed.t2.smt2 5153321	MAYBE 24.40/24.43	NO 0.07/0.07	MAYBE 37.78/37.54
From_T2/p-50.t2.smt2 5153322	YES 1.25/1.24	YES 0.02/0.02	YES 0.01/0.01
From_T2/n-3a.t2.smt2 5153323	MAYBE 16.78/16.79	NO 15.40/15.41	MAYBE 119.11/117.67
From_T2/armc-difficult_foo2.t2.smt2 5153324	YES 1.04/1.11	YES 0.02/0.01	YES 0.01/0.02
From_T2/n-37.t2.smt2 5153325	MAYBE 6.96/6.96	NO 43.36/43.42	MAYBE 7.14/7.01
From_T2/spiral.t2.smt2 5153326	YES 8.34/8.35	MAYBE 79.21/39.68	MAYBE 15.84/15.58
From_T2/ex1.t2.smt2 5153327	MAYBE 4.36/4.35	NO 63.57/63.69	MAYBE 1.19/1.48
From_T2/test_byron_2.t2.smt2 5153328	MAYBE 5.75/5.76	NO 5.06/5.06	MAYBE 0.70/0.68
From_T2/pgarch.t2_fixed.smt2 5153329	timeout (wallclock) [out]	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/e-popl07-succeed.t2.smt2 5153330	MAYBE 51.41/51.40	NO 0.16/0.16	MAYBE 103.50/101.97
From_T2/p-33.t2.smt2 5153331	MAYBE 9.91/9.92	timeout (wallclock) [out]	MAYBE 7.24/7.14
From_T2/ex12.t2_fixed.smt2 5153332	YES 1.68/1.68	YES 0.02/0.02	YES 0.93/0.91
From_T2/java_Sequence.c.t2.smt2 5153333	YES 5.36/5.38	YES 0.05/0.05	YES 26.67/26.52
From_T2/small31.t2.smt2 5153334	YES 1.21/1.21	YES 0.01/0.01	YES 0.01/0.02
From_T2/heidy3.t2.smt2 5153335	MAYBE 9.64/4.90	NO 3.09/3.09	MAYBE 0.68/0.67
From_T2/consts1.t2_fixed.smt2 5153336	MAYBE 7.21/7.22	YES 2.14/2.14	MAYBE 1.18/1.58
From_T2/bf18.t2.smt2 5153337	YES 13.52/13.52	YES 0.06/0.06	YES 138.89/136.51
From_T2/dummy.t2.smt2 5153338	MAYBE 4.00/3.99	NO 36.52/36.55	MAYBE 1.20/1.18
From_T2/reverse.t2_fixed.smt2 5153339	YES 217.52/217.54	YES 4.23/2.13	timeout (wallclock) [out]
From_T2/loop3.t2_fixed.smt2 5153340	YES 80.34/80.35	YES 1.20/1.20	MAYBE 144.39/144.26
From_T2/eric1.t2.smt2 5153341	YES 3.38/3.38	YES 8.54/8.54	MAYBE 3.92/3.85
From_T2/neg-e-acqrel-fail.t2.smt2 5153342	MAYBE 25.81/25.82	NO 5.14/5.14	MAYBE 5.29/5.61
From_T2/hqr.c.i.hqr.pl.t2.fixed.t2.smt2 5153343	timeout (wallclock) [out]	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/ex6.t2.smt2 5153344	YES 1.52/1.52	YES 0.02/0.02	YES 0.01/0.05
From_T2/consts3.t2.smt2 5153345	YES 1.48/1.48	YES 0.02/0.02	YES 0.87/1.21
From_T2/fun8.t2_fixed.smt2 5153346	YES 34.60/34.60	YES 0.24/0.24	timeout (wallclock) [out]
From_T2/efegp.t2.smt2 5153347	timeout (wallclock) [out]	NO 6.90/6.93	timeout (wallclock) [out]
From_T2/small17.t2.smt2 5153348	MAYBE 5.62/5.61	MAYBE 35.35/35.41	MAYBE 0.55/0.53
From_T2/slayer-5-filtered.t2.smt2 5153349	timeout (wallclock) [out]	MAYBE 119.18/119.20	timeout (wallclock) [out]
From_T2/e-1394-succeed.t2_fixed.smt2 5153350	timeout (wallclock) [out]	NO 17.09/17.12	timeout (wallclock) [out]
From_T2/array_init_assign.t2.smt2 5153351	YES 2.62/2.67	YES 0.02/0.02	YES 1.81/1.77
From_T2/ax_test_2.t2.smt2 5153352	MAYBE 3.21/3.21	NO 0.03/0.03	MAYBE 0.15/0.15
From_T2/ex16.t2_fixed.smt2 5153353	MAYBE 36.67/36.66	NO 51.23/51.31	MAYBE 114.38/113.34
From_T2/slayer-1-filtered.t2.smt2 5153354	YES 23.73/23.73	YES 0.18/0.18	timeout (wallclock) [out]
From_T2/slayer-3-new.t2.smt2 5153355	timeout (wallclock) [out]	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/slayer-3-filtered.t2.smt2 5153356	timeout (wallclock) [out]	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/p-1a.t2.smt2 5153357	MAYBE 4.33/4.34	MAYBE 0.03/0.03	MAYBE 15.42/15.21
From_T2/curious.t2_fixed.smt2 5153358	MAYBE 4.11/4.12	NO 5.14/5.14	MAYBE 0.80/0.78
From_T2/dumper.t2.smt2 5153359	timeout (wallclock) [out]	MAYBE 60.93/60.94	timeout (wallclock) [out]
From_T2/ud.t2_fixed.smt2 5153360	YES 120.56/120.58	YES 4.55/4.55	timeout (wallclock) [out]
From_T2/consts4.t2.smt2 5153361	MAYBE 4.33/4.33	NO 5.34/5.38	MAYBE 1.76/1.74
From_T2/dsa_test10.t2_fixed.smt2 5153362	YES 2.50/2.50	YES 0.02/0.02	YES 8.85/8.70
From_T2/ctl.t2_fixed.smt2 5153363	MAYBE 18.29/18.31	NO 0.04/0.04	MAYBE 4.14/4.08
From_T2/java_Nested.c.t2_fixed.smt2 5153364	YES 4.76/4.76	YES 0.05/0.04	YES 24.17/24.20
From_T2/n-10.t2.smt2 5153365	MAYBE 30.16/30.17	NO 5.37/5.37	MAYBE 64.33/63.22
From_T2/slayer-n2-filtered.t2.smt2 5153366	MAYBE 6.42/6.42	NO 44.48/44.60	MAYBE 5.90/5.80
From_T2/eric3.t2.smt2 5153367	MAYBE 8.42/8.42	NO 23.23/23.26	MAYBE 22.77/22.40
From_T2/small04.t2.smt2 5153368	MAYBE 4.23/4.24	NO 63.53/63.74	MAYBE 0.57/0.55
From_T2/241.t2.smt2 5153369	YES 2.01/2.01	YES 0.03/0.03	YES 2.79/2.75
From_T2/bf17.t2_fixed.smt2 5153370	YES 11.75/11.75	YES 0.06/0.06	YES 80.03/78.78
From_T2/bf11.t2.smt2 5153371	YES 13.54/13.54	YES 0.06/0.06	YES 143.73/141.38
From_T2/fun4-alt.t2.smt2 5153372	YES 5.65/5.65	YES 8.06/8.06	MAYBE 4.36/4.30
From_T2/sort.t2_fixed.smt2 5153373	YES 64.65/64.65	YES 0.33/0.33	timeout (wallclock) [out]
From_T2/broydn.c.i.broydn.pl.t2.fixed.t2.smt2 5153374	YES 200.83/200.87	YES 8.15/8.32	timeout (wallclock) [out]
From_T2/p-1.t2.smt2 5153375	MAYBE 4.31/4.33	MAYBE 0.03/0.03	MAYBE 10.11/10.21
From_T2/consts4nt.t2_fixed.smt2 5153376	MAYBE 3.45/3.45	NO 29.31/29.33	MAYBE 0.37/0.38
From_T2/hand7.t2.smt2 5153377	MAYBE 4.08/4.08	NO 33.36/33.42	MAYBE 0.76/0.75
From_T2/dsa_test15.t2_fixed.smt2 5153378	YES 2.49/2.49	YES 0.02/0.02	YES 3.30/3.24
From_T2/java_Sequence.c.t2_fixed.smt2 5153379	YES 4.19/4.19	YES 0.05/0.05	YES 12.28/12.06
From_T2/zlib-crc32-BYFOUR.c.t2_fixed.smt2 5153380	YES 35.69/35.69	YES 8.28/8.30	timeout (wallclock) [out]
From_T2/Prim_5.t2.smt2 5153381	timeout (wallclock) [out]	NO 121.96/122.04	timeout (wallclock) [out]
From_T2/slayer-1-rf.t2.smt2 5153382	YES 36.96/36.97	YES 0.17/0.17	timeout (wallclock) [out]
From_T2/p-22.t2.smt2 5153383	YES 1.84/1.84	YES 0.02/0.02	YES 0.35/0.35
From_T2/jfdctint.c.t2.smt2 5153384	YES 6.97/6.97	YES 0.07/0.07	YES 32.70/32.45
From_T2/consts2.t2_fixed.smt2 5153385	YES 1.41/1.41	YES 0.02/0.02	YES 0.12/0.11
From_T2/heidy9.t2.smt2 5153386	YES 1.57/1.57	YES 0.02/0.02	YES 0.34/0.33
From_T2/n-40.t2.smt2 5153387	MAYBE 23.26/23.26	NO 121.64/121.76	timeout (wallclock) [out]
From_T2/5.t2.smt2 5153388	YES 1.11/1.11	YES 0.01/0.01	YES 0.01/0.01
From_T2/destroy_seg_leak.t2.smt2 5153389	MAYBE 198.2/198.21	NO 11.93/11.93	timeout (wallclock) [out]
From_T2/zeroconf.t2.smt2 5153390	timeout (wallclock) [out]	MAYBE 90.06/90.13	timeout (wallclock) [out]
From_T2/dsa_test1.t2.smt2 5153391	YES 1.15/1.15	YES 0.01/0.01	YES 0.01/0.01
From_T2/zlib-crc32.c.t2.smt2 5153392	MAYBE 19.07/19.07	NO 6.37/6.38	MAYBE 52.07/51.21
From_T2/dsa_test6.t2_fixed.smt2 5153393	YES 1.67/1.67	YES 0.02/0.02	YES 0.87/0.85
From_T2/java_NestedLoop.c.t2.smt2 5153394	YES 32.90/32.90	YES 0.18/0.18	YES 217.66/214.42
From_T2/fir.t2.smt2 5153395	YES 18.44/18.44	YES 0.09/0.09	YES 143.17/140.99
From_T2/consts2nt.t2_fixed.smt2 5153396	MAYBE 3.43/3.43	NO 29.79/29.82	MAYBE 0.38/0.38
From_T2/p-58.t2.smt2 5153397	YES 1.88/1.88	YES 0.02/0.02	MAYBE 2.26/2.24
From_T2/neg-1394complete-succeed.t2.smt2 5153398	timeout (wallclock) [out]	NO 49.08/49.17	timeout (wallclock) [out]
From_T2/slayer-3.t2_fixed.smt2 5153399	timeout (wallclock) [out]	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2.smt2 5153400	YES 73.22/36.67	YES 0.11/0.11	timeout (wallclock) [out]
From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.smt2 5153401	YES 191.90/191.92	YES 8.11/8.12	timeout (wallclock) [out]
From_T2/ex3.t2.smt2 5153402	YES 2.74/2.73	YES 0.02/0.02	YES 3.23/3.18
From_T2/s1.t2.smt2 5153403	timeout (wallclock) [out]	MAYBE 165.54/165.73	timeout (wallclock) [out]
From_T2/bf16.t2.smt2 5153404	YES 13.29/13.29	YES 0.06/0.06	YES 177.84/175.48
From_T2/create_seg.t2.smt2 5153405	YES 4.57/4.57	YES 0.06/0.06	YES 48.49/47.74
From_T2/small22.t2.smt2 5153406	MAYBE 37.80/37.81	NO 5.17/5.17	MAYBE 2.46/2.69
From_T2/streamserver-succeed.t2.smt2 5153407	timeout (wallclock) [out]	MAYBE 57.34/57.35	MAYBE 112.34/110.90
From_T2/e-smagill-fail.t2.smt2 5153408	MAYBE 19.15/19.15	NO 0.05/0.05	MAYBE 8.01/8.28
From_T2/fun5.t2.smt2 5153409	timeout (wallclock) [out]	NO 27.18/27.26	MAYBE 124.31/122.25
From_T2/fdct.t2.smt2 5153410	YES 11.08/11.08	YES 0.07/0.07	timeout (wallclock) [out]
From_T2/wtf.t2.smt2 5153411	YES 35.06/35.06	YES 1.90/1.96	MAYBE 275.19/272.5
From_T2/n-12.t2.smt2 5153412	MAYBE 7.36/7.36	NO 40.61/20.33	MAYBE 11.10/10.93
From_T2/array_free.t2.smt2 5153413	YES 2.62/2.61	YES 0.03/0.03	YES 2.01/1.99
From_T2/randomwalk_withassume.t2.smt2 5153414	YES 27.28/27.28	YES 0.12/0.12	MAYBE 51.76/51.09
From_T2/p-40.t2.smt2 5153415	YES 2.69/2.69	YES 0.02/0.02	YES 6.69/6.59
From_T2/acqrel-fail.t2.smt2 5153416	MAYBE 29.38/29.37	NO 9.12/9.12	MAYBE 2.56/2.51
From_T2/p-49.t2.smt2 5153417	YES 1.63/1.63	YES 0.02/0.02	YES 0.38/0.38
From_T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.smt2 5153418	YES 27.20/27.21	YES 1.00/0.99	timeout (wallclock) [out]
From_T2/n-18a.t2.smt2 5153419	MAYBE 4.04/4.06	NO 5.26/5.26	MAYBE 1.65/1.92
From_T2/dropbuf.t2.smt2 5153420	MAYBE 290.94/290.94	NO 3.59/3.59	MAYBE 107.18/106.08
From_T2/iecs.t2.smt2 5153421	YES 1.51/1.51	YES 0.04/0.03	MAYBE 0.98/0.98
From_T2/n-1c.t2.smt2 5153422	MAYBE 13.85/13.86	NO 5.37/5.37	MAYBE 45.07/44.80
From_T2/st88b-succeed.t2.smt2 5153423	MAYBE 42.92/42.93	NO 18.88/18.88	MAYBE 12.61/12.70
From_T2/neg-e-popl07-succeed.t2.smt2 5153424	MAYBE 60.24/60.24	NO 0.51/0.52	MAYBE 90.78/89.25
From_T2/sudoku.t2.smt2 5153425	timeout (wallclock) [out]	YES 12.04/12.04	timeout (wallclock) [out]
From_T2/non_term.t2.smt2 5153426	MAYBE 4.41/4.42	NO 32.39/32.44	MAYBE 0.91/0.89
From_T2/minmax.t2_fixed.smt2 5153427	YES 7.90/7.90	YES 0.03/0.03	YES 1.06/1.04
From_T2/neg-pgarch-succeed.t2_fixed.smt2 5153428	MAYBE 23.39/23.40	NO 0.08/0.10	MAYBE 33.91/33.40
From_T2/neg-e-pgarch-fail.t2.smt2 5153429	MAYBE 18.79/18.79	NO 0.06/0.06	MAYBE 27.63/27.63
From_T2/jfdctint.t2_fixed.smt2 5153430	YES 8.24/8.24	YES 0.04/0.04	YES 153.97/151.93
From_T2/java_EqUserDefRec.c.t2.smt2 5153431	YES 3.89/3.89	YES 0.05/0.04	YES 8.97/8.82
From_T2/java_Avg.c.t2.smt2 5153432	MAYBE 25.73/25.75	YES 1.44/1.44	MAYBE 18.60/18.27
From_T2/small08.t2.smt2 5153433	YES 4.69/4.68	YES 0.08/0.08	MAYBE 20.59/20.35
From_T2/fuhs-inflasso.t2.smt2 5153434	YES 2.41/2.40	YES 0.03/0.03	YES 6.56/6.44
From_T2/e-popl07-fail.t2.smt2 5153435	MAYBE 65.80/65.80	NO 0.62/0.62	MAYBE 104.34/102.68
From_T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2.smt2 5153436	timeout (wallclock) [out]	MAYBE 267.15/267.37	timeout (wallclock) [out]
From_T2/nested2.t2_fixed.smt2 5153437	YES 2.97/2.97	YES 4.05/4.05	YES 19.46/19.53
From_T2/p-43-terminate.t2_fixed.smt2 5153438	YES 66.81/66.83	YES 6.74/6.78	timeout (wallclock) [out]
From_T2/7.t2.smt2 5153439	MAYBE 4.10/4.10	NO 5.11/5.11	MAYBE 1.48/1.46
From_T2/two_arrays.t2_fixed.smt2 5153440	YES 7.93/7.93	YES 0.04/0.04	YES 48.83/48.01
From_T2/polling.t2_fixed.smt2 5153441	timeout (wallclock) [out]	MAYBE 26.60/26.60	timeout (wallclock) [out]
From_T2/l1.t2.smt2 5153442	MAYBE 4.80/4.79	NO 5.28/5.28	MAYBE 2.36/2.32
From_T2/simple_pre3.t2.smt2 5153443	YES 2.11/2.10	YES 0.02/0.02	YES 0.21/0.20
From_T2/java_MinusMin.c.t2.smt2 5153444	YES 3.78/3.78	YES 0.05/0.05	YES 14.90/14.73
From_T2/afagx1.t2.smt2 5153445	MAYBE 8.09/8.09	NO 0.03/0.03	MAYBE 0.68/0.67
From_T2/polyrank7.t2.smt2 5153446	MAYBE 6.82/7.05	NO 27.51/27.53	MAYBE 2.57/2.53
From_T2/neg-pgarch-fail.t2.smt2 5153447	MAYBE 23.96/23.96	NO 0.07/0.07	MAYBE 38.55/37.89
From_T2/two_arrays.t2.smt2 5153448	YES 9.46/9.48	YES 0.05/0.05	YES 61.72/61.07
From_T2/neg-1394complete-fail.t2.smt2 5153449	timeout (wallclock) [out]	NO 267.87/268.23	timeout (wallclock) [out]
From_T2/simpleWhile.t2.smt2 5153450	YES 4.78/4.78	YES 0.03/0.03	YES 6.30/6.56
From_T2/e-smagill-succeed.t2.smt2 5153451	MAYBE 11.71/11.71	NO 12.30/12.31	MAYBE 3.84/4.16
From_T2/ex9.t2.smt2 5153452	MAYBE 36.59/36.58	NO 3.13/3.13	MAYBE 10.87/10.70
From_T2/bf6.t2_fixed.smt2 5153453	YES 11.41/11.41	YES 0.06/0.06	YES 105.71/104.17
From_T2/broydn.t2.smt2 5153454	timeout (wallclock) [out]	YES 11.30/11.30	timeout (wallclock) [out]
From_T2/java_Recursions.c.t2.smt2 5153455	YES 25.17/25.16	YES 7.70/7.72	timeout (wallclock) [out]
From_T2/small27.t2.smt2 5153456	YES 1.29/1.29	YES 0.02/0.02	YES 0.01/0.01
From_T2/1394complete-succeed.t2.smt2 5153457	timeout (wallclock) [out]	NO 266.51/267.09	timeout (wallclock) [out]
From_T2/ex20.t2_fixed.smt2 5153458	YES 3.63/3.63	YES 0.03/0.03	YES 4.86/4.78
From_T2/p-20.t2.smt2 5153459	MAYBE 7.46/7.61	MAYBE 0.04/0.04	MAYBE 19.43/19.08
From_T2/ex10.t2.smt2 5153460	MAYBE 34.84/34.85	NO 18.22/18.24	MAYBE 86.60/85.38
From_T2/firewire.t2.smt2 5153461	YES 246.50/246.52	MAYBE 119.31/119.47	MAYBE 189.03/186.23
From_T2/reverse.t2.smt2 5153462	YES 260.54/260.58	YES 0.60/0.95	timeout (wallclock) [out]
From_T2/java_TimesPlusUserDef.c.t2.smt2 5153463	YES 7.73/7.73	YES 0.07/0.07	YES 36.73/36.49
From_T2/n-38.t2.smt2 5153464	YES 1.25/1.25	YES 0.02/0.02	YES 0.01/0.01
From_T2/ex36.t2.smt2 5153465	timeout (wallclock) [out]	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/traverse.t2.smt2 5153466	YES 111.96/111.98	YES 0.36/0.36	timeout (wallclock) [out]
From_T2/p-38.t2_fixed.smt2 5153467	YES 6.12/6.12	YES 0.05/0.05	YES 0.49/0.51
From_T2/elmhes.t2.smt2 5153468	YES 17.57/17.57	YES 1.38/1.38	timeout (wallclock) [out]
From_T2/small26.t2.smt2 5153469	YES 1.51/1.50	YES 0.02/0.02	YES 1.20/1.55
From_T2/p-19.t2.smt2 5153470	MAYBE 5.14/5.14	MAYBE 0.03/0.03	MAYBE 10.17/9.99
From_T2/consts2.t2.smt2 5153471	MAYBE 3.89/3.89	NO 5.31/5.31	MAYBE 0.91/0.90
From_T2/s4.t2_fixed.smt2 5153472	timeout (wallclock) [out]	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/p-43.t2.smt2 5153473	YES 8.65/8.65	YES 0.29/0.29	MAYBE 14.05/14.15
From_T2/fun1.t2.smt2 5153474	timeout (wallclock) [out]	NO 154.23/154.47	timeout (wallclock) [out]
From_T2/small21.t2.smt2 5153475	YES 2.00/2.00	YES 0.03/0.03	YES 2.83/2.78
From_T2/n-8.t2.smt2 5153476	MAYBE 20.93/20.93	NO 5.38/5.40	MAYBE 37.01/36.42
From_T2/minmax.t2.smt2 5153477	YES 8.29/8.29	YES 0.03/0.03	YES 1.11/1.09
From_T2/broydn.c.i.broydn.pl.t2.fixed.t2_fixed.smt2 5153478	YES 192.95/192.96	YES 6.34/6.34	timeout (wallclock) [out]
From_T2/e-1394complete-succeed.t2.smt2 5153479	timeout (wallclock) [out]	NO 48.77/48.84	timeout (wallclock) [out]
From_T2/java_Hanoi.c.t2.smt2 5153480	YES 7.84/7.84	YES 0.09/0.09	YES 49.26/48.83
From_T2/n-4.t2.smt2 5153481	MAYBE 21.63/21.62	NO 21.67/21.69	MAYBE 161.62/159.61
From_T2/afagp-fail.t2_fixed.smt2 5153482	timeout (wallclock) [out]	NO 40.06/40.08	timeout (wallclock) [out]
From_T2/p-52.t2.smt2 5153483	MAYBE 6.32/6.32	MAYBE 0.03/0.03	MAYBE 15.01/14.79
From_T2/p.t2.smt2 5153484	timeout (wallclock) [out]	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/matmul.t2_fixed.smt2 5153485	YES 8.72/8.72	YES 0.38/0.38	YES 20.37/20.13
From_T2/magic.t2.smt2 5153486	timeout (wallclock) [out]	YES 0.95/0.95	timeout (wallclock) [out]
From_T2/p-55.t2.smt2 5153487	YES 4.83/4.83	YES 0.03/0.03	YES 21.55/21.20
From_T2/n-4.t2_fixed.smt2 5153488	MAYBE 21.40/21.40	NO 21.25/21.27	MAYBE 96.03/94.86
From_T2/two_arrays2.t2.smt2 5153489	YES 16.41/16.43	YES 0.06/0.06	YES 128.97/127.33
From_T2/ex7.t2.smt2 5153490	YES 2.25/2.25	YES 0.02/0.02	YES 6.43/6.32
From_T2/n-6.t2_fixed.smt2 5153491	MAYBE 29.10/29.10	NO 71.60/71.66	MAYBE 9.51/9.35
From_T2/bf11.t2_fixed.smt2 5153492	YES 11.78/11.78	YES 0.06/0.06	YES 107.20/105.77
From_T2/traverse_seg.t2_fixed.smt2 5153493	YES 140.77/140.78	YES 1.25/1.25	timeout (wallclock) [out]
From_T2/zeroconf_withassume.t2.smt2 5153494	timeout (wallclock) [out]	YES 4.47/4.47	timeout (wallclock) [out]
From_T2/brockschmidt_1.t2.smt2 5153495	YES 3.79/3.80	YES 0.06/0.06	MAYBE 3.68/3.62
From_T2/ax_test.t2.smt2 5153496	MAYBE 3.28/3.28	NO 0.03/0.03	MAYBE 0.14/0.14
From_T2/fun8.t2.smt2 5153497	YES 30.96/30.97	YES 0.08/0.08	timeout (wallclock) [out]
From_T2/cover.t2.smt2 5153498	timeout (wallclock) [out]	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/n-32.t2.smt2 5153499	MAYBE 4.73/4.73	NO 5.37/5.37	MAYBE 3.65/3.70
From_T2/rev_nt3.t2.smt2 5153500	MAYBE 79.37/79.42	NO 8.81/8.81	timeout (wallclock) [out]
From_T2/ase_example.t2.smt2 5153501	YES 4.98/4.97	YES 0.03/0.03	YES 24.67/24.29
From_T2/queue_100.t2_fixed.smt2 5153502	YES 8.23/8.23	YES 0.06/0.06	YES 14.59/14.38
From_T2/p-61.t2.smt2 5153503	YES 2.66/2.65	YES 0.02/0.02	YES 12.18/11.99
From_T2/ex14.t2_fixed.smt2 5153504	YES 1.65/1.65	YES 0.02/0.02	YES 0.98/1.15
From_T2/p-45.t2.smt2 5153505	YES 2.34/2.34	YES 0.03/0.03	YES 5.06/5.30
From_T2/1394-fail.t2.smt2 5153506	timeout (wallclock) [out]	NO 17.05/17.10	timeout (wallclock) [out]
From_T2/n-46.t2.smt2 5153507	MAYBE 5.25/5.25	NO 170.68/171.06	MAYBE 2.29/2.25
From_T2/p-60.t2.smt2 5153508	YES 2.48/2.48	YES 0.02/0.02	YES 7.13/7.08
From_T2/heidy1.t2.smt2 5153509	MAYBE 4.02/4.04	NO 23.21/23.23	MAYBE 0.49/0.48
From_T2/neg-e-pgarch-succeed.t2.smt2 5153510	MAYBE 17.42/17.94	NO 0.05/0.05	MAYBE 18.19/18.17
From_T2/neg-e-1394complete-fail.t2.smt2 5153511	timeout (wallclock) [out]	NO 48.98/49.07	timeout (wallclock) [out]
From_T2/vmcai_bytes.t2.smt2 5153512	YES 1.14/1.14	YES 0.01/0.01	YES 0.01/0.02
From_T2/polyrank2.t2.smt2 5153513	MAYBE 4.33/4.32	YES 18.88/18.94	MAYBE 1.64/1.62
From_T2/small11.t2.smt2 5153514	MAYBE 1.78/1.81	NO 0.03/0.03	MAYBE 0.07/0.07
From_T2/heidy10.t2.smt2 5153515	YES 2.48/2.65	YES 0.02/0.02	YES 1.00/1.46
From_T2/whatwhat.t2.smt2 5153516	YES 1.49/1.49	YES 0.04/0.04	MAYBE 0.95/0.94
From_T2/bf14.t2.smt2 5153517	YES 13.69/13.69	YES 0.06/0.06	YES 139.19/136.87
From_T2/bsort100.t2.smt2 5153518	YES 17.64/17.64	YES 0.07/0.07	YES 132.68/130.53
From_T2/smagilla-fail.t2.smt2 5153519	MAYBE 11.60/11.60	NO 12.29/12.29	MAYBE 3.80/3.80
From_T2/tqli.t2.smt2 5153520	timeout (wallclock) [out]	NO 47.45/47.50	timeout (wallclock) [out]
From_T2/ndes.t2_fixed.smt2 5153521	timeout (wallclock) [out]	YES 19.77/19.80	timeout (wallclock) [out]
From_T2/queue_10.t2_fixed.smt2 5153522	YES 8.31/8.30	YES 0.06/0.06	YES 14.07/14.26
From_T2/streamserver-succeed.t2_fixed.smt2 5153523	timeout (wallclock) [out]	MAYBE 79.01/79.03	MAYBE 107.59/106.04
From_T2/florian_sas1.t2.smt2 5153524	YES 6.01/6.44	YES 0.06/0.06	MAYBE 19.23/19.36
From_T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2.smt2 5153525	timeout (wallclock) [out]	NO 45.74/45.79	timeout (wallclock) [out]
From_T2/sort.t2.smt2 5153526	YES 47.21/47.24	YES 0.31/0.31	timeout (wallclock) [out]
From_T2/array_init.t2_fixed.smt2 5153527	YES 1.82/1.82	YES 0.02/0.02	YES 0.42/0.41
From_T2/small02.t2.smt2 5153528	MAYBE 6.34/6.35	NO 18.12/18.14	MAYBE 3.65/3.60
From_T2/efegp.t2_fixed.smt2 5153529	timeout (wallclock) [out]	NO 6.71/6.75	timeout (wallclock) [out]
From_T2/n-48.t2_fixed.smt2 5153530	MAYBE 6.91/6.90	NO 32.45/32.46	MAYBE 8.10/8.22
From_T2/ex26.t2.smt2 5153531	YES 6.07/6.07	YES 0.03/0.03	YES 36.56/35.94
From_T2/p-14.t2.smt2 5153532	YES 1.60/1.60	YES 0.02/0.02	YES 0.37/0.36
From_T2/bf17.t2.smt2 5153533	YES 13.29/13.29	YES 0.06/0.06	YES 135.16/133.44
From_T2/e-1394complete-succeed.t2_fixed.smt2 5153534	timeout (wallclock) [out]	NO 49.00/49.05	timeout (wallclock) [out]
From_T2/dropbuf-live.t2.smt2 5153535	YES 1.21/1.21	YES 0.02/0.02	YES 0.01/0.01
From_T2/small33.t2.smt2 5153536	YES 1.27/1.27	YES 0.01/0.01	YES 0.01/0.01
From_T2/afagp-fail.t2.smt2 5153537	timeout (wallclock) [out]	NO 103.52/103.68	timeout (wallclock) [out]
From_T2/s3.t2.smt2 5153538	timeout (wallclock) [out]	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/reverse_div4.t2_fixed.smt2 5153539	timeout (wallclock) [out]	NO 12.40/12.41	timeout (wallclock) [out]
From_T2/prime.t2_fixed.smt2 5153540	MAYBE 197.35/197.33	NO 23.24/23.26	MAYBE 276.95/273.41
From_T2/fermat.t2.smt2 5153541	YES 14.72/14.71	YES 0.04/0.04	YES 245.73/242.20
From_T2/rev_nt4.t2.smt2 5153542	YES 1.36/1.36	YES 0.02/0.02	YES 0.01/0.01
From_T2/destroy.t2_fixed.smt2 5153543	YES 31.99/32.00	YES 0.29/0.29	timeout (wallclock) [out]
From_T2/crc.t2.smt2 5153544	YES 175.53/175.55	YES 0.20/0.20	timeout (wallclock) [out]
From_T2/small15.t2.smt2 5153545	MAYBE 13.28/13.28	MAYBE 84.66/84.74	MAYBE 2.76/2.71
From_T2/simple_array_inversion.t2.smt2 5153546	YES 1.80/1.80	YES 0.02/0.02	YES 0.44/0.43
From_T2/bsort100.t2_fixed.smt2 5153547	YES 15.44/15.44	YES 1.00/1.00	YES 77.66/76.57
From_T2/simple.t2.smt2 5153548	MAYBE 4.94/4.96	NO 33.48/33.51	MAYBE 0.69/0.68
From_T2/small06.t2.smt2 5153549	YES 2.99/2.99	YES 0.03/0.03	YES 2.38/2.33
From_T2/java_Double1.c.t2.smt2 5153550	YES 9.77/9.76	YES 0.19/0.19	MAYBE 14.35/14.12
From_T2/bf9.t2_fixed.smt2 5153551	YES 12.46/12.46	YES 0.05/0.05	YES 105.43/104.23
From_T2/tqli.t2_fixed.smt2 5153552	timeout (wallclock) [out]	NO 45.47/45.51	timeout (wallclock) [out]
From_T2/simple_control_on_input.t2_fixed.smt2 5153553	YES 1.79/1.78	YES 0.02/0.02	YES 0.49/0.49
From_T2/ns.t2_fixed.smt2 5153554	YES 20.30/20.30	YES 0.81/0.81	YES 80.10/78.71
From_T2/simple_swap_call.t2.smt2 5153555	YES 1.61/1.60	YES 0.02/0.02	YES 0.07/0.07
From_T2/small32.t2.smt2 5153556	YES 1.29/1.29	YES 0.01/0.02	YES 0.01/0.01
From_T2/p-63.t2_fixed.smt2 5153557	YES 2.61/2.68	YES 0.04/0.04	MAYBE 8.36/8.23
From_T2/ludcmp.t2.smt2 5153558	YES 29.33/29.33	YES 0.87/0.87	timeout (wallclock) [out]
From_T2/n-21.t2.smt2 5153559	MAYBE 8.74/8.74	NO 184.78/185.13	MAYBE 10.89/10.68
From_T2/array2.t2_fixed.smt2 5153560	YES 1.67/1.66	YES 0.02/0.02	YES 0.88/0.86
From_T2/disj_nightmare.t2.smt2 5153561	MAYBE 21.81/21.81	NO 12.51/12.52	timeout (wallclock) [out]
From_T2/slayer-2-filtered.t2.smt2 5153562	YES 2.45/2.45	YES 0.02/0.02	YES 6.42/6.31
From_T2/svdcmp.t2.smt2 5153563	timeout (wallclock) [out]	YES 34.41/34.44	timeout (wallclock) [out]
From_T2/janne_complex.t2_fixed.smt2 5153564	timeout (wallclock) [out]	NO 33.50/33.51	MAYBE 71.72/70.92
From_T2/smagilla-succeed.t2.smt2 5153565	MAYBE 11.65/11.66	NO 12.30/12.32	MAYBE 4.06/3.99
From_T2/p-6.t2.smt2 5153566	YES 3.16/3.16	YES 0.03/0.03	YES 12.68/12.47
From_T2/n-37.t2_fixed.smt2 5153567	MAYBE 6.98/6.97	NO 43.32/43.39	MAYBE 7.58/7.84
From_T2/p-46.t2.smt2 5153568	MAYBE 26.44/26.43	NO 5.41/5.43	MAYBE 40.47/39.88
From_T2/consts4nt.t2.smt2 5153569	MAYBE 4.32/4.31	NO 5.35/5.35	MAYBE 1.69/1.66
From_T2/db.t2.smt2 5153570	YES 1.69/1.69	YES 0.02/0.03	YES 0.07/0.07
From_T2/create_via_tmps.t2_fixed.smt2 5153571	YES 28.11/28.11	YES 0.28/0.28	timeout (wallclock) [out]
From_T2/example.t2.smt2 5153572	YES 1.68/1.67	YES 0.03/0.03	MAYBE 2.33/2.30
From_T2/p-13.t2.smt2 5153573	YES 1.30/1.30	YES 0.02/0.02	YES 0.01/0.01
From_T2/dsa_test12.t2.smt2 5153574	YES 1.15/1.15	YES 0.01/0.01	YES 0.01/0.01
From_T2/graycode.t2_fixed.smt2 5153575	YES 57.06/57.06	YES 0.55/0.55	timeout (wallclock) [out]
From_T2/slayer-n1-filtered.t2.smt2 5153576	MAYBE 25.93/25.92	NO 8.97/8.97	MAYBE 141.10/138.69
From_T2/s3-work.t2_fixed.smt2 5153577	timeout (wallclock) [out]	YES 14.88/14.89	timeout (wallclock) [out]
From_T2/n-36.t2_fixed.smt2 5153578	MAYBE 39.74/39.74	MAYBE 0.14/0.14	timeout (wallclock) [out]
From_T2/s1-striped.t2_fixed.smt2 5153579	timeout (wallclock) [out]	MAYBE 180.50/180.76	timeout (wallclock) [out]
From_T2/ex4.t2_fixed.smt2 5153580	YES 7.24/7.54	YES 0.03/0.03	YES 36.46/35.87
From_T2/andrey.t2.smt2 5153581	YES 1.43/1.43	YES 0.02/0.02	YES 0.09/0.09
From_T2/traverse_seg2.t2_fixed.smt2 5153582	YES 122.88/122.91	YES 1.00/1.00	timeout (wallclock) [out]
From_T2/hqr.c.i.hqr.pl.t2.fixed.t2_fixed.smt2 5153583	timeout (wallclock) [out]	MAYBE 269.45/269.62	timeout (wallclock) [out]
From_T2/bf18.t2_fixed.smt2 5153584	YES 11.82/11.82	YES 0.06/0.06	YES 85.00/84.15
From_T2/eric.t2.smt2 5153585	MAYBE 26.18/26.18	MAYBE 9.71/9.85	MAYBE 20.18/20.08
From_T2/cnt.t2_fixed.smt2 5153586	YES 48.59/48.59	YES 0.08/0.08	timeout (wallclock) [out]
From_T2/small01.t2_fixed.smt2 5153587	YES 1.64/1.64	YES 0.02/0.02	MAYBE 1.19/1.18
From_T2/java_MinusBuiltIn.c.t2.smt2 5153588	YES 3.69/3.69	YES 0.04/0.04	YES 14.07/14.32
From_T2/byron-4.t2_fixed.smt2 5153589	YES 3.67/3.67	YES 0.04/0.04	MAYBE 16.42/16.16
From_T2/statemate.t2_fixed.smt2 5153590	timeout (wallclock) [out]	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/create.t2.smt2 5153591	YES 4.21/4.20	YES 0.06/0.06	YES 38.45/37.80
From_T2/fast_poll.t2.smt2 5153592	timeout (wallclock) [out]	NO 6.26/6.30	timeout (wallclock) [out]
From_T2/java_AG313.c.t2.smt2 5153593	YES 4.19/4.20	YES 0.06/0.06	YES 15.69/15.90
From_T2/p-53.t2.smt2 5153594	YES 1.53/1.53	YES 0.02/0.02	YES 0.07/0.07
From_T2/neg-e-pgarch-fail.t2_fixed.smt2 5153595	MAYBE 17.61/17.61	NO 0.06/0.06	MAYBE 21.23/21.16
From_T2/st88.bug.t2.smt2 5153596	MAYBE 117.45/117.45	NO 20.28/20.29	MAYBE 13.82/13.57
From_T2/ex2.t2.smt2 5153597	MAYBE 7.75/7.81	NO 23.21/23.24	MAYBE 4.02/4.28
From_T2/neg-e-acqrel-succeed.t2_fixed.smt2 5153598	MAYBE 9.62/9.63	NO 5.08/5.08	MAYBE 3.67/3.62
From_T2/Prim_4.t2.smt2 5153599	timeout (wallclock) [out]	NO 121.73/121.84	timeout (wallclock) [out]
From_T2/bitcount32.t2.smt2 5153600	YES 4.58/4.61	YES 0.03/0.03	MAYBE 55.52/54.59
From_T2/edn.t2_fixed.smt2 5153601	YES 135.85/135.86	YES 4.29/4.29	timeout (wallclock) [out]
From_T2/java_Factorial.c.t2.smt2 5153602	YES 2.60/2.60	YES 0.03/0.03	YES 2.19/2.15
From_T2/fun10.t2.smt2 5153603	timeout (wallclock) [out]	NO 7.15/7.15	timeout (wallclock) [out]
From_T2/java_BubbleSort.c.t2.smt2 5153604	YES 12.67/12.67	YES 0.09/0.09	YES 84.78/83.48
From_T2/ex4.t2.smt2 5153605	YES 7.84/7.84	YES 0.04/0.04	YES 47.28/46.48
From_T2/compress.t2_fixed.smt2 5153606	timeout (wallclock) [out]	NO 27.08/27.09	timeout (wallclock) [out]
From_T2/st88.bug.t2_fixed.smt2 5153607	MAYBE 40.43/40.43	NO 9.34/9.37	MAYBE 7.57/7.43
From_T2/bs.t2.smt2 5153608	MAYBE 72.40/72.40	NO 5.76/5.76	MAYBE 39.25/38.57
From_T2/dsa_test15.t2.smt2 5153609	YES 2.62/2.62	YES 0.02/0.02	YES 5.48/5.60
From_T2/fun4.t2.smt2 5153610	MAYBE 18.64/18.65	NO 10.35/10.36	MAYBE 12.40/12.33
From_T2/n-12a.t2.smt2 5153611	MAYBE 3.60/3.59	NO 5.08/5.13	MAYBE 0.94/0.94
From_T2/ex11.t2.smt2 5153612	MAYBE 28.18/28.19	NO 1.71/1.72	MAYBE 5.40/5.30
From_T2/jacobi.t2.smt2 5153613	YES 31.28/31.28	YES 0.11/0.11	timeout (wallclock) [out]
From_T2/p_armc.t2.smt2 5153614	timeout (wallclock) [out]	MAYBE 43.95/43.97	MAYBE 61.54/60.90
From_T2/ex40.t2.smt2 5153615	MAYBE 8.91/8.97	NO 23.22/23.22	MAYBE 2.13/1.08
From_T2/peculiar.t2.smt2 5153616	MAYBE 17.48/17.52	NO 3.36/3.36	MAYBE 11.76/11.66
From_T2/d.t2.smt2 5153617	MAYBE 4.57/4.57	NO 16.81/16.83	MAYBE 4.80/4.71
From_T2/ex2.t2_fixed.smt2 5153618	MAYBE 7.08/7.11	NO 23.23/23.25	MAYBE 2.26/2.23
From_T2/java_Nested.c.t2.smt2 5153619	YES 5.76/5.76	YES 0.05/0.05	YES 40.34/39.98
From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2_fixed.smt2 5153620	YES 36.04/36.08	YES 0.10/0.10	timeout (wallclock) [out]
From_T2/slayer-n3-filtered.t2_fixed.smt2 5153621	YES 20.39/20.39	YES 0.10/0.10	timeout (wallclock) [out]
From_T2/slayer-2-filtered.t2_fixed.smt2 5153622	YES 2.28/2.27	YES 0.02/0.02	YES 4.28/4.20
From_T2/n-40.t2_fixed.smt2 5153623	MAYBE 26.32/26.31	NO 36.90/36.96	MAYBE 146.68/144.44
From_T2/ex32.t2.smt2 5153624	YES 3.86/3.86	YES 0.03/0.03	YES 6.91/6.81
From_T2/ex31.t2_fixed.smt2 5153625	MAYBE 10.84/10.84	NO 5.31/5.31	MAYBE 1.57/1.53
From_T2/p-37.t2.smt2 5153626	YES 6.51/3.27	YES 0.03/0.03	YES 12.66/12.82
From_T2/slayer-n5-filtered.t2.smt2 5153627	timeout (wallclock) [out]	MAYBE 159.59/159.66	timeout (wallclock) [out]
From_T2/ex19.t2.smt2 5153628	MAYBE 15.12/15.14	NO 54.47/54.53	MAYBE 9.58/9.42
From_T2/fun2b.t2_fixed.smt2 5153629	YES 35.30/35.30	YES 1.84/1.86	MAYBE 287.38/284.15
From_T2/zlib-adler32.c.t2.smt2 5153630	timeout (wallclock) [out]	MAYBE 151.35/151.39	MAYBE 271.63/267.18
From_T2/bf16.t2_fixed.smt2 5153631	YES 11.87/11.86	YES 0.06/0.06	YES 107.06/105.27
From_T2/java_Ackermann.c.t2.smt2 5153632	YES 22.36/22.37	YES 0.08/0.08	MAYBE 23.05/23.09
From_T2/p-56.t2.smt2 5153633	YES 2.42/2.62	YES 0.02/0.02	YES 9.08/8.93
From_T2/ex12.t2.smt2 5153634	YES 1.79/1.79	YES 0.02/0.02	YES 1.83/1.81
From_T2/armc-difficult_k.t2.smt2 5153635	YES 3.73/3.74	YES 0.25/0.25	MAYBE 37.88/37.51
From_T2/java_DivMinus2.c.t2.smt2 5153636	YES 98.97/98.97	YES 0.26/0.25	timeout (wallclock) [out]
From_T2/pgarch-fail.t2.smt2 5153637	MAYBE 44.62/22.35	NO 0.07/0.07	MAYBE 33.81/33.43
From_T2/small14.t2.smt2 5153638	timeout (wallclock) [out]	NO 42.79/42.84	MAYBE 43.40/42.90
From_T2/st88.t2_fixed.smt2 5153639	MAYBE 69.09/69.31	NO 9.59/9.59	MAYBE 8.56/8.42
From_T2/n-7.t2.smt2 5153640	MAYBE 6.31/6.31	NO 239.40/239.83	MAYBE 9.19/9.15
From_T2/popl07-succeed.t2.smt2 5153641	MAYBE 45.26/45.26	NO 0.15/0.15	MAYBE 81.46/80.13
From_T2/fun3.t2.smt2 5153642	YES 52.09/52.10	YES 6.26/6.26	timeout (wallclock) [out]
From_T2/p-36.t2_fixed.smt2 5153643	MAYBE 14.02/14.01	MAYBE 0.06/0.06	timeout (wallclock) [out]
From_T2/small20.t2.smt2 5153644	YES 2.01/2.01	YES 0.03/0.03	YES 3.09/3.05
From_T2/polyrank1.t2.smt2 5153645	YES 1.61/1.60	YES 0.09/0.09	MAYBE 0.94/0.94
From_T2/w1.t2.smt2 5153646	MAYBE 3.74/3.75	NO 0.03/0.03	MAYBE 0.26/0.25
From_T2/polling.t2.smt2 5153647	timeout (wallclock) [out]	MAYBE 27.39/27.40	timeout (wallclock) [out]
From_T2/e-1394-fail.t2.smt2 5153648	timeout (wallclock) [out]	NO 17.15/17.16	timeout (wallclock) [out]
From_T2/1394complete-succeed.t2_fixed.smt2 5153649	timeout (wallclock) [out]	NO 266.26/266.69	timeout (wallclock) [out]
From_T2/agafp.t2.smt2 5153650	timeout (wallclock) [out]	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/neg-popl07-succeed.t2.smt2 5153651	MAYBE 62.71/62.71	NO 0.44/0.45	MAYBE 103.46/102.09
From_T2/java_Break.c.t2_fixed.smt2 5153652	YES 2.52/2.51	YES 0.03/0.03	YES 1.71/1.74
From_T2/defect.t2.smt2 5153653	MAYBE 1.44/1.44	NO 0.02/0.02	MAYBE 0.04/0.04
From_T2/wrong_loop.t2.smt2 5153654	MAYBE 19.63/19.63	NO 19.11/9.60	MAYBE 10.59/10.39
From_T2/ctl.t2.smt2 5153655	MAYBE 20.42/20.42	NO 0.05/0.05	MAYBE 27.24/27.11
From_T2/neg-e-acqrel-succeed.t2.smt2 5153656	MAYBE 9.65/9.64	NO 5.08/5.08	MAYBE 3.54/3.49
From_T2/queue_1000.t2.smt2 5153657	YES 8.85/8.85	YES 0.07/0.07	YES 24.70/24.48
From_T2/1.t2.smt2 5153658	MAYBE 27.15/27.18	NO 9.17/9.17	MAYBE 90.06/88.69
From_T2/array.t2.smt2 5153659	YES 1.15/1.14	YES 0.01/0.01	YES 0.01/0.02
From_T2/fun10b.t2.smt2 5153660	timeout (wallclock) [out]	NO 7.07/7.07	timeout (wallclock) [out]
From_T2/insertsort.t2.smt2 5153661	MAYBE 10.67/10.67	NO 10.20/10.20	MAYBE 7.97/7.84
From_T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.smt2 5153662	YES 34.99/34.99	YES 0.11/0.11	timeout (wallclock) [out]
From_T2/pearl-necklace.t2.smt2 5153663	YES 4.39/4.38	YES 0.03/0.03	YES 12.50/12.55
From_T2/array3.t2.smt2 5153664	YES 2.69/2.69	YES 0.03/0.03	YES 5.41/5.31
From_T2/randomwalk.t2.smt2 5153665	YES 168.39/168.4	timeout (wallclock) [out]	MAYBE 47.89/47.34
From_T2/two_arrays1.t2_fixed.smt2 5153666	YES 12.41/12.40	YES 0.05/0.05	YES 105.22/104.27
From_T2/java_AProVEMathRecursive.c.t2.smt2 5153667	YES 45.59/45.59	YES 0.92/0.92	MAYBE 41.23/40.89
From_T2/s2.t2_fixed.smt2 5153668	YES 1.96/1.96	YES 0.03/0.03	YES 4.64/4.56
From_T2/n-3.t2.smt2 5153669	MAYBE 5.42/5.42	NO 36.31/36.36	MAYBE 7.73/7.89
From_T2/ex22.t2.smt2 5153670	YES 58.86/58.87	YES 0.24/0.24	timeout (wallclock) [out]
From_T2/n-12.t2_fixed.smt2 5153671	MAYBE 8.26/8.27	NO 20.20/20.22	MAYBE 7.85/7.72
From_T2/ex22.t2_fixed.smt2 5153672	YES 60.23/60.23	YES 0.14/0.14	timeout (wallclock) [out]
From_T2/refine_disj_problem.t2_fixed.smt2 5153673	MAYBE 9.17/9.18	NO 36.57/36.60	MAYBE 2.38/2.63
From_T2/prime.t2.smt2 5153674	MAYBE 216.70/216.71	NO 23.24/23.24	MAYBE 299.28/294.40
From_T2/cnt.t2.smt2 5153675	YES 65.35/65.35	YES 0.07/0.07	timeout (wallclock) [out]
From_T2/db3.t2.smt2 5153676	timeout (wallclock) [out]	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/neg-1394complete-succeed.t2_fixed.smt2 5153677	timeout (wallclock) [out]	NO 48.95/49.13	timeout (wallclock) [out]
From_T2/small07.t2.smt2 5153678	YES 4.30/4.54	YES 0.07/0.07	MAYBE 14.59/14.65
From_T2/nakata.t2.smt2 5153679	timeout (wallclock) [out]	NO 157.00/157.07	timeout (wallclock) [out]
From_T2/fun5.t2_fixed.smt2 5153680	timeout (wallclock) [out]	MAYBE 34.94/34.97	MAYBE 126.69/125.30
From_T2/sequential_swap.t2.smt2 5153681	YES 1.62/1.65	YES 0.02/0.02	YES 0.08/0.07
From_T2/n-13.t2.smt2 5153682	MAYBE 3.66/3.65	NO 18.16/18.16	MAYBE 0.94/0.92
From_T2/select.t2.smt2 5153683	timeout (wallclock) [out]	NO 217.62/217.90	timeout (wallclock) [out]
From_T2/graycode.t2.smt2 5153684	YES 53.85/53.85	YES 0.72/0.72	timeout (wallclock) [out]
From_T2/s3-work.t2.smt2 5153685	timeout (wallclock) [out]	YES 4.28/4.28	timeout (wallclock) [out]
From_T2/rev_nt2.t2.smt2 5153686	MAYBE 50.14/50.16	NO 10.20/10.20	timeout (wallclock) [out]
From_T2/neg-e-smagill-succeed.t2.smt2 5153687	MAYBE 17.43/17.65	NO 0.05/0.05	MAYBE 5.27/5.17
From_T2/consts5nt.t2_fixed.smt2 5153688	MAYBE 3.93/3.94	NO 29.75/29.76	MAYBE 1.21/1.19
From_T2/ex13.t2.smt2 5153689	YES 1.15/1.15	YES 0.02/0.02	YES 0.01/0.01
From_T2/dsa_test8.t2.smt2 5153690	YES 1.15/1.18	YES 0.01/0.01	YES 0.01/0.01
From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2 5153691	YES 181.43/181.45	YES 5.94/5.96	timeout (wallclock) [out]
From_T2/bf7.t2_fixed.smt2 5153692	YES 13.61/13.61	YES 0.06/0.06	YES 104.32/102.93
From_T2/n-1.t2_fixed.smt2 5153693	MAYBE 11.33/12.07	NO 5.22/5.22	MAYBE 25.88/25.42
From_T2/heidy6.t2.smt2 5153694	MAYBE 8.47/8.47	NO 23.19/23.23	MAYBE 1.54/1.53
From_T2/fdct.t2_fixed.smt2 5153695	YES 6.39/6.38	YES 0.04/0.04	YES 148.28/146.13
From_T2/e-acqrel-fail.t2.smt2 5153696	MAYBE 8.11/8.11	NO 5.09/5.09	MAYBE 2.48/2.43
From_T2/java_LogBuiltIn.c.t2.smt2 5153697	YES 4.24/4.24	YES 0.04/0.04	MAYBE 17.03/16.97
From_T2/ex17.t2.smt2 5153698	YES 6.82/6.82	YES 23.34/23.36	MAYBE 31.68/31.47
From_T2/opt-tree.c.t2.smt2 5153699	YES 268.54/268.6	YES 22.75/22.80	timeout (wallclock) [out]
From_T2/apchild-accepted-fail.t2_fixed.smt2 5153700	timeout (wallclock) [out]	MAYBE 234.68/234.85	timeout (wallclock) [out]
From_T2/ex26.t2_fixed.smt2 5153701	YES 5.57/5.57	YES 0.14/0.14	YES 18.47/18.16
From_T2/ex27.t2_fixed.smt2 5153702	YES 97.38/97.39	YES 0.22/0.22	timeout (wallclock) [out]
From_T2/bf8.t2_fixed.smt2 5153703	YES 12.54/12.54	YES 0.06/0.10	YES 104.10/102.74
From_T2/matrixsqrt.t2.smt2 5153704	YES 12.58/12.58	YES 0.16/0.16	YES 96.97/95.30
From_T2/florian_sas2.t2.smt2 5153705	YES 274.25/274.32	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/ex23.t2_fixed.smt2 5153706	YES 2.02/2.02	YES 0.02/0.02	YES 1.74/1.70
From_T2/neg-e-1394complete-succeed.t2.smt2 5153707	timeout (wallclock) [out]	NO 48.91/48.94	timeout (wallclock) [out]
From_T2/p-3.t2_fixed.smt2 5153708	YES 2.63/2.63	YES 0.03/0.03	YES 7.38/7.49
From_T2/fun10.t2_fixed.smt2 5153709	timeout (wallclock) [out]	NO 7.16/7.17	timeout (wallclock) [out]
From_T2/traverse.t2_fixed.smt2 5153710	YES 99.33/99.34	YES 0.87/0.87	timeout (wallclock) [out]
From_T2/sas07.cex.t2.smt2 5153711	YES 32.71/32.71	YES 0.34/0.34	timeout (wallclock) [out]
From_T2/heidy2.t2.smt2 5153712	MAYBE 7.35/7.34	NO 0.99/0.99	MAYBE 1.40/1.38
From_T2/bf5.t2.smt2 5153713	YES 26.47/13.30	YES 0.06/0.06	YES 111.98/110.28
From_T2/florian_sumit.t2.smt2 5153714	MAYBE 138.98/138.99	MAYBE 83.86/84.29	MAYBE 14.39/14.21
From_T2/bitcount16.t2_fixed.smt2 5153715	YES 5.80/5.80	YES 0.03/0.03	YES 48.07/47.31
From_T2/small16.t2.smt2 5153716	MAYBE 6.67/6.66	MAYBE 48.49/48.53	MAYBE 1.44/1.42
From_T2/foo.t2.smt2 5153717	timeout (wallclock) [out]	MAYBE 246.50/246.58	timeout (wallclock) [out]
From_T2/slayer-n2.t2.smt2 5153718	MAYBE 5.56/5.57	NO 23.24/23.27	MAYBE 4.22/4.14
From_T2/destroy.t2.smt2 5153719	YES 28.93/28.93	YES 0.17/0.17	timeout (wallclock) [out]
From_T2/n-5.t2.smt2 5153720	MAYBE 22.58/22.58	NO 21.08/21.08	timeout (wallclock) [out]
From_T2/janne_complex.t2.smt2 5153721	timeout (wallclock) [out]	MAYBE 240.05/240.29	MAYBE 102.50/101.09
From_T2/ase_example.t2_fixed.smt2 5153722	YES 4.29/4.37	YES 0.03/0.03	YES 16.52/16.69
From_T2/n-5.t2_fixed.smt2 5153723	MAYBE 22.81/22.88	NO 16.78/16.78	MAYBE 270.85/267.46
From_T2/ex31.t2.smt2 5153724	MAYBE 11.67/11.66	NO 5.27/5.27	MAYBE 3.17/3.20
From_T2/traverse_twice.t2.smt2 5153725	YES 226.75/226.77	YES 0.63/0.63	timeout (wallclock) [out]
From_T2/w3_nt.t2.smt2 5153726	MAYBE 79.49/79.55	NO 8.59/8.59	MAYBE 252.73/248.77
From_T2/p-12.t2.smt2 5153727	YES 1.62/1.61	YES 0.02/0.02	YES 0.35/0.34
From_T2/jfdctint.t2.smt2 5153728	YES 9.48/9.48	YES 0.04/0.04	YES 189.04/186.39
From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.smt2 5153729	timeout (wallclock) [out]	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/e-st88b-fail.t2.smt2 5153730	MAYBE 70.97/70.98	NO 0.03/0.03	MAYBE 2.50/2.70
From_T2/qrdcmp.t2.smt2 5153731	YES 38.87/38.88	YES 1.49/1.50	timeout (wallclock) [out]
From_T2/s4.t2.smt2 5153732	timeout (wallclock) [out]	timeout (wallclock) [out]	timeout (wallclock) [out]
From_T2/consts5.t2_fixed.smt2 5153733	YES 1.36/1.37	YES 0.02/0.02	MAYBE 1.25/1.25
From_T2/traverse_seg.t2.smt2 5153734	YES 153.11/153.11	YES 0.47/0.47	timeout (wallclock) [out]
From_T2/e-pgarch-fail.t2.smt2 5153735	MAYBE 23.78/23.78	NO 0.07/0.07	MAYBE 39.08/38.45
From_T2/n-36.t2.smt2 5153736	MAYBE 45.05/45.05	MAYBE 0.15/0.15	timeout (wallclock) [out]
From_T2/p-7b.t2.smt2 5153737	YES 2.01/2.00	YES 0.02/0.02	YES 4.81/4.73
From_T2/n-21.t2_fixed.smt2 5153738	MAYBE 7.12/7.11	NO 36.46/36.51	MAYBE 4.87/4.78
From_T2/small03.t2.smt2 5153739	MAYBE 4.21/4.20	NO 35.03/35.03	MAYBE 0.50/0.49
From_T2/p-55.t2_fixed.smt2 5153740	YES 5.11/5.11	YES 0.03/0.03	YES 13.27/13.08
From_T2/s1-saved.t2.smt2 5153741	YES 106.43/106.45	YES 0.35/0.35	timeout (wallclock) [out]
From_T2/byron-2.t2_fixed.smt2 5153742	YES 5.69/5.69	YES 0.03/0.03	YES 33.98/33.46
From_T2/streamserver.bug.t2.smt2 5153743	timeout (wallclock) [out]	NO 20.77/20.79	MAYBE 94.94/93.76
From_T2/bf15.t2.smt2 5153744	YES 14.20/14.19	YES 0.06/0.06	YES 188.13/184.92
From_T2/apchild-live.t2.smt2 5153745	timeout (wallclock) [out]	MAYBE 177.90/177.99	timeout (wallclock) [out]
From_T2/fourn.c.i.fourn.pl.t2.fixed.t2.smt2 5153746	timeout (wallclock) [out]	MAYBE 77.25/77.32	timeout (wallclock) [out]
From_T2/oct_vs_subpoly.t2.smt2 5153747	MAYBE 4.20/4.20	NO 35.05/35.08	MAYBE 0.51/0.50
From_T2/p-1d.t2.smt2 5153748	YES 2.92/2.92	YES 0.03/0.03	YES 15.48/15.21
From_T2/p-46.t2_fixed.smt2 5153749	MAYBE 106.7/106.70	NO 5.39/5.39	MAYBE 36.21/35.98
From_T2/consts3.t2_fixed.smt2 5153750	YES 1.40/1.40	YES 0.02/0.02	YES 0.12/0.12
From_T2/slayer-3-new.t2_fixed.smt2 5153751	timeout (wallclock) [out]	MAYBE 266.1/266.19	timeout (wallclock) [out]
From_T2/rev_nt4.t2_fixed.smt2 5153752	YES 1.36/1.36	YES 0.02/0.02	YES 0.01/0.01
From_T2/n-1d.t2_fixed.smt2 5153753	MAYBE 9.65/9.73	NO 20.30/20.33	MAYBE 11.59/11.40
From_T2/e-acqrel-succeed.t2.smt2 5153754	MAYBE 21.44/21.43	NO 5.15/5.16	MAYBE 3.85/3.79
From_T2/small05.t2.smt2 5153755	MAYBE 3.79/3.78	NO 54.49/54.52	MAYBE 0.52/0.51
From_T2/n-15.t2.smt2 5153756	MAYBE 5.17/5.17	NO 33.72/33.76	MAYBE 1.49/1.47
From_T2/zlib-crc32.c.t2_fixed.smt2 5153757	YES 7.10/7.10	YES 0.10/0.10	YES 40.05/39.85
From_T2/intSqRoot.t2.smt2 5153758	MAYBE 15.33/15.32	NO 5.29/5.29	MAYBE 4.87/4.78
From_T2/ud.t2.smt2 5153759	YES 136.70/136.69	YES 4.51/4.51	timeout (wallclock) [out]
From_T2/queens.t2_fixed.smt2 5153760	YES 294.51/294.51	YES 4.17/4.17	timeout (wallclock) [out]
From_T2/smagillb-succeed.t2_fixed.smt2 5153761	MAYBE 16.34/16.33	NO 18.27/18.27	MAYBE 6.99/6.88
From_T2/florian_new_ex.t2.smt2 5153762	YES 19.31/19.31	YES 0.43/0.43	MAYBE 54.91/54.21
From_T2/6.t2.smt2 5153763	MAYBE 3.48/3.59	NO 0.03/0.03	MAYBE 0.24/0.24
From_T2/complex_guard.t2.smt2 5153764	YES 2.38/2.39	YES 0.02/0.02	YES 0.64/0.63
From_T2/collatz.t2_fixed.smt2 5153765	MAYBE 42.72/42.72	MAYBE 17.52/17.53	MAYBE 8.66/8.51
From_T2/dsa_test9.t2.smt2 5153766	YES 1.14/1.13	YES 0.01/0.01	YES 0.01/0.01
From_T2/db3.t2_fixed.smt2 5153767	timeout (wallclock) [out]	MAYBE 235.03/235.11	timeout (wallclock) [out]
From_T2/fir.t2_fixed.smt2 5153768	YES 12.90/12.90	YES 0.98/0.98	YES 73.26/72.06
From_T2/pentagon.t2.smt2 5153769	timeout (wallclock) [out]	timeout (wallclock) [out]	MAYBE 50.13/49.39
From_T2/broydn.t2_fixed.smt2 5153770	timeout (wallclock) [out]	YES 7.58/7.58	timeout (wallclock) [out]
From_T2/toeplz.c.i.toeplz.pl.t2.fixed.t2.smt2 5153771	YES 16.90/16.90	YES 4.10/4.10	timeout (wallclock) [out]
From_T2/arith.t2.smt2 5153772	YES 1.96/1.96	YES 0.02/0.02	YES 2.39/2.35
From_T2/bf9.t2.smt2 5153773	YES 14.30/14.30	YES 0.06/0.06	YES 144.03/141.76
From_T2/p-10.t2.smt2 5153774	MAYBE 6.45/6.44	MAYBE 0.03/0.03	MAYBE 14.96/14.70
From_T2/neg-e-pgarch-succeed.t2_fixed.smt2 5153775	MAYBE 16.58/16.57	NO 0.06/0.06	MAYBE 15.96/15.70
From_T2/matmult.t2_fixed.smt2 5153776	YES 20.26/20.26	YES 0.62/0.62	YES 242.05/237.99
From_T2/byron-1.t2.smt2 5153777	YES 1.92/1.92	YES 0.04/0.04	MAYBE 2.77/2.96
From_T2/n-7.t2_fixed.smt2 5153778	MAYBE 6.43/6.42	NO 145.94/146.17	MAYBE 8.91/8.76
From_T2/rev_nt3.t2_fixed.smt2 5153779	MAYBE 79.18/79.19	NO 8.79/8.79	timeout (wallclock) [out]
From_T2/1394complete-fail.t2.smt2 5153780	timeout (wallclock) [out]	NO 49.18/49.24	timeout (wallclock) [out]
From_T2/spctrm.c.i.spctrm.pl.t2.fixed.t2.smt2 5153781	YES 113.56/113.56	YES 16.60/16.62	timeout (wallclock) [out]
From_T2/print.t2.smt2 5153782	YES 122.27/122.28	YES 0.51/0.51	timeout (wallclock) [out]
From_T2/pgarch-succeed.t2.smt2 5153783	MAYBE 22.64/22.63	NO 0.07/0.07	MAYBE 34.16/33.91
From_T2/neg-popl07-fail.t2_fixed.smt2 5153784	MAYBE 49.55/49.55	NO 0.17/0.17	MAYBE 98.58/97.28
From_T2/n-14.t2_fixed.smt2 5153785	MAYBE 8.98/8.98	NO 5.33/5.35	MAYBE 4.73/5.02
From_T2/loop_on_input.t2.smt2 5153786	YES 2.03/2.03	YES 0.02/0.02	YES 2.30/2.27
From_T2/array2.t2.smt2 5153787	YES 1.80/1.80	YES 0.02/0.02	YES 1.56/1.53
From_T2/n-14.t2.smt2 5153788	MAYBE 7.16/7.18	NO 5.13/5.13	MAYBE 11.09/10.90
From_T2/ppblockterm.t2.smt2 5153789	MAYBE 38.09/38.09	NO 127.07/127.31	MAYBE 44.74/43.99
From_T2/ruslan-benchmarks_misc_n-38.t2.smt2 5153790	MAYBE 296.94/296.96	timeout (wallclock) [out]	MAYBE 75.07/73.86
From_T2/jacobi.t2_fixed.smt2 5153791	YES 30.37/30.37	YES 0.11/0.11	timeout (wallclock) [out]
From_T2/rlft3.t2.smt2 5153792	MAYBE 114.60/114.60	NO 268.04/268.32	timeout (wallclock) [out]
	631	1046	445