Termination Competition 2020: Integer Transition Systems41219

Job info CSV

benchmark	Ctrl Transition	irankfinder competition	LoAT loat_nonterm_proofout
From_T2/1.t2.smt2 11762213	MAYBE 86.81/87.17	NO 7.85/7.91	NO 0.16/0.16
From_T2/1394-fail.t2.smt2 11762424	timeout (wallclock) [out]	NO 44.04/44.04	NO 3.60/3.58
From_T2/1394-succeed.t2.smt2 11762002	timeout (wallclock) [out]	NO 42.42/42.42	NO 3.44/3.43
From_T2/1394complete-fail.t2.smt2 11761977	timeout (wallclock) [out]	NO 49.34/49.34	NO 3.12/3.10
From_T2/1394complete-fail.t2_fixed.smt2 11762507	timeout (wallclock) [out]	NO 49.12/49.12	NO 3.16/3.14
From_T2/1394complete-succeed.t2.smt2 11762421	timeout (wallclock) [out]	NO 49.53/49.54	NO 3.10/3.09
From_T2/1394complete-succeed.t2_fixed.smt2 11762057	timeout (wallclock) [out]	NO 49.34/49.36	NO 3.14/3.12
From_T2/2.t2.smt2 11762540	MAYBE 87.74/88.11	MAYBE 147.44/148.25	NO 0.27/0.27
From_T2/232.t2.smt2 11762209	YES 3.04/3.00	YES 15.28/15.33	ERROR 0.08/0.08
From_T2/241.t2.smt2 11762621	YES 2.99/3.01	YES 16.50/16.62	ERROR 0.09/0.08
From_T2/3.t2.smt2 11762452	MAYBE 0.23/0.23	NO 1.24/1.24	NO 0.02/0.02
From_T2/5.t2.smt2 11762202	YES 0.01/0.01	YES 0.83/0.83	ERROR 0.00/0.01
From_T2/6.t2.smt2 11762530	MAYBE 0.41/0.40	NO 1.41/1.41	NO 0.02/0.02
From_T2/7.t2.smt2 11762443	MAYBE 1.30/1.27	NO 1.42/1.41	NO 0.02/0.04
From_T2/acqrel-fail.t2.smt2 11761940	MAYBE 2.27/2.58	NO 2.18/2.18	NO 0.30/0.30
From_T2/acqrel-succeed2.t2.smt2 11762480	MAYBE 6.64/6.55	NO 2.54/2.54	NO 0.32/0.31
From_T2/afagp-fail.t2.smt2 11761899	timeout (wallclock) [out]	MAYBE 298.94/299.00	NO 7.10/7.08
From_T2/afagp-fail.t2_fixed.smt2 11762301	timeout (wallclock) [out]	MAYBE 298.92/299.00	NO 7.46/7.45
From_T2/afagx1.t2.smt2 11762162	MAYBE 0.75/0.73	NO 1.82/1.83	NO 0.08/0.08
From_T2/agafp.t2.smt2 11762409	timeout (wallclock) [out]	MAYBE 298.91/299.00	NO 22.65/22.62
From_T2/agafp.t2_fixed.smt2 11762125	timeout (wallclock) [out]	MAYBE 298.91/299.00	NO 22.45/22.43
From_T2/andrey.t2.smt2 11762477	YES 0.09/0.09	YES 1.03/1.05	ERROR 0.04/0.04
From_T2/apchild-accepted-fail.t2.smt2 11762131	timeout (wallclock) [out]	MAYBE 298.86/299.00	NO 7.45/7.43
From_T2/apchild-accepted-fail.t2_fixed.smt2 11761951	timeout (wallclock) [out]	MAYBE 298.86/299.00	NO 6.37/6.35
From_T2/apchild-accepted.t2.smt2 11761978	timeout (wallclock) [out]	MAYBE 298.82/299.00	NO 7.44/7.41
From_T2/apchild-accepted.t2_fixed.smt2 11762151	timeout (wallclock) [out]	MAYBE 298.83/299.00	NO 6.39/6.37
From_T2/apchild-live.t2.smt2 11762133	timeout (wallclock) [out]	MAYBE 298.92/299.00	NO 10.44/10.42
From_T2/apchild-live.t2_fixed.smt2 11761887	timeout (wallclock) [out]	MAYBE 298.93/299.00	NO 18.59/9.32
From_T2/apchildlive-succeed.t2.smt2 11762073	timeout (wallclock) [out]	MAYBE 298.86/299.00	NO 9.99/9.96
From_T2/apchildlive-succeed.t2_fixed.smt2 11762271	timeout (wallclock) [out]	MAYBE 298.82/299.00	NO 9.56/9.53
From_T2/arith.t2.smt2 11762328	YES 2.22/2.18	YES 1.30/1.29	ERROR 0.38/0.38
From_T2/armc-difficult_defect.t2.smt2 11762153	MAYBE 1.82/1.79	YES 1.17/1.17	ERROR 0.05/0.05
From_T2/armc-difficult_foo2.t2.smt2 11762305	YES 0.01/0.01	YES 0.76/0.78	ERROR 0.00/0.01
From_T2/armc-difficult_foo3.t2.smt2 11762614	timeout (wallclock) [out]	MAYBE 298.91/299.00	ERROR 44.41/44.31
From_T2/armc-difficult_k.t2.smt2 11762098	MAYBE 37.92/37.60	YES 3.17/3.18	ERROR 0.61/0.61
From_T2/array.t2.smt2 11762567	YES 0.01/0.02	YES 0.86/0.87	ERROR 0.00/0.01
From_T2/array2.t2.smt2 11762166	YES 1.73/1.70	YES 1.25/1.25	ERROR 0.05/0.05
From_T2/array2.t2_fixed.smt2 11762066	YES 0.98/0.97	YES 1.17/1.18	ERROR 0.04/0.04
From_T2/array3.t2.smt2 11761886	YES 5.54/5.44	YES 1.77/1.77	ERROR 0.10/0.10
From_T2/array4.t2.smt2 11762357	YES 3.38/3.32	YES 1.66/1.65	ERROR 0.08/0.08
From_T2/array_free.t2.smt2 11762031	YES 2.09/2.06	YES 6.41/6.65	ERROR 0.07/0.07
From_T2/array_free2.t2.smt2 11762379	YES 0.50/0.49	YES 5.15/5.18	ERROR 0.06/0.06
From_T2/array_init.t2.smt2 11762533	YES 1.00/0.98	YES 1.28/1.28	ERROR 0.06/0.06
From_T2/array_init.t2_fixed.smt2 11762519	YES 0.76/0.75	YES 1.25/1.24	ERROR 0.04/0.04
From_T2/array_init_assign.t2.smt2 11762459	YES 3.71/1.91	YES 1.69/1.69	ERROR 0.08/0.08
From_T2/ase_example.t2.smt2 11762457	YES 23.92/23.64	YES 2.62/2.62	ERROR 0.14/0.14
From_T2/ase_example.t2_fixed.smt2 11762432	YES 18.08/18.28	YES 2.42/2.42	ERROR 0.14/0.14
From_T2/ax_test.t2.smt2 11762411	MAYBE 0.15/0.14	NO 1.24/1.24	NO 0.02/0.02
From_T2/ax_test_2.t2.smt2 11762560	MAYBE 0.14/0.14	NO 1.35/1.35	NO 0.02/0.02
From_T2/ax_test_3.t2.smt2 11762258	MAYBE 0.21/0.21	NO 1.38/1.38	NO 0.03/0.03
From_T2/bakery.t2.smt2 11762268	MAYBE 270.52/273.17	NO 29.13/29.14	NO 14.65/14.57
From_T2/bakerybug.t2.smt2 11762366	ERROR 171.55/170.38	NO 29.34/29.33	NO 14.15/14.08
From_T2/bf10.t2.smt2 11762531	YES 143.09/140.69	YES 39.48/39.52	ERROR 1.56/1.55
From_T2/bf10.t2_fixed.smt2 11762498	YES 101.14/103.31	YES 30.17/30.18	ERROR 1.55/1.54
From_T2/bf11.t2.smt2 11762446	YES 226.08/224.11	YES 39.15/39.19	ERROR 1.56/1.55
From_T2/bf11.t2_fixed.smt2 11762027	YES 106.83/105.60	YES 29.74/29.74	ERROR 1.54/1.54
From_T2/bf12.t2.smt2 11761897	YES 142.88/141.42	YES 39.50/39.60	ERROR 1.56/1.55
From_T2/bf12.t2_fixed.smt2 11762453	YES 99.07/97.71	YES 30.31/30.32	ERROR 1.54/1.53
From_T2/bf13.t2.smt2 11762197	ERROR 226.31/225.58	YES 40.76/40.76	ERROR 1.54/1.53
From_T2/bf13.t2_fixed.smt2 11762086	YES 172.73/171.18	YES 31.26/31.27	ERROR 1.51/1.50
From_T2/bf14.t2.smt2 11762545	YES 133.16/131.44	YES 40.98/40.99	ERROR 1.54/1.53
From_T2/bf14.t2_fixed.smt2 11761968	ERROR 105.91/105.52	YES 31.13/31.17	ERROR 1.51/1.50
From_T2/bf15.t2.smt2 11762454	YES 186.64/185.75	YES 41.07/41.08	ERROR 1.54/1.53
From_T2/bf15.t2_fixed.smt2 11762534	YES 100.16/99.32	YES 31.05/31.03	ERROR 1.51/1.50
From_T2/bf16.t2.smt2 11761903	YES 170.65/169.71	YES 41.17/41.19	ERROR 1.54/1.53
From_T2/bf16.t2_fixed.smt2 11762121	ERROR 101.26/99.64	YES 31.45/31.45	ERROR 1.50/1.50
From_T2/bf17.t2.smt2 11762212	YES 134.51/134.89	YES 41.20/41.96	ERROR 1.55/1.54
From_T2/bf17.t2_fixed.smt2 11762386	YES 81.22/80.38	YES 31.41/31.41	ERROR 1.50/1.50
From_T2/bf18.t2.smt2 11762553	YES 141.34/144.17	YES 40.78/40.81	ERROR 1.54/1.53
From_T2/bf18.t2_fixed.smt2 11762315	YES 86.65/85.28	YES 31.15/31.14	ERROR 1.50/1.50
From_T2/bf19.t2.smt2 11762435	YES 141.22/139.64	YES 41.06/41.09	ERROR 1.54/1.53
From_T2/bf19.t2_fixed.smt2 11762152	YES 88.93/89.08	YES 30.91/31.14	ERROR 1.52/1.51
From_T2/bf20.t2.smt2 11761979	YES 142.01/144.07	YES 41.34/41.37	ERROR 1.54/1.53
From_T2/bf20.t2_fixed.smt2 11762236	YES 81.86/81.46	YES 31.51/31.51	ERROR 1.51/1.50
From_T2/bf5.t2.smt2 11762294	YES 113.56/112.14	YES 36.27/36.28	ERROR 1.74/1.74
From_T2/bf5.t2_fixed.smt2 11762102	ERROR 107.46/106.81	YES 31.45/31.48	ERROR 1.54/1.53
From_T2/bf6.t2.smt2 11762028	YES 236.16/240.35	YES 42.79/42.91	ERROR 3.44/1.76
From_T2/bf6.t2_fixed.smt2 11762518	YES 106.47/104.72	YES 31.36/31.36	ERROR 1.54/1.53
From_T2/bf7.t2.smt2 11762113	YES 143.41/143.37	YES 40.62/40.61	ERROR 1.56/1.55
From_T2/bf7.t2_fixed.smt2 11761959	YES 98.84/97.04	YES 31.83/31.89	ERROR 1.54/1.54
From_T2/bf8.t2.smt2 11762611	ERROR 144.08/142.41	YES 40.80/40.82	ERROR 1.56/1.55
From_T2/bf8.t2_fixed.smt2 11761926	YES 100.66/99.54	YES 31.05/31.05	ERROR 1.54/1.54
From_T2/bf9.t2.smt2 11762303	YES 143.13/141.44	YES 39.58/39.60	ERROR 1.56/1.55
From_T2/bf9.t2_fixed.smt2 11762591	YES 105.16/103.50	YES 30.11/30.11	ERROR 1.54/1.54
From_T2/bio.t2.smt2 11762145	timeout (wallclock) [out]	MAYBE 298.87/299.00	ERROR 253.83/256.62
From_T2/bitcount16.t2.smt2 11762190	MAYBE 55.16/54.71	YES 15.40/15.39	ERROR 0.47/0.47
From_T2/bitcount16.t2_fixed.smt2 11761934	YES 45.49/44.88	YES 13.81/13.81	ERROR 0.11/0.11
From_T2/bitcount32.t2.smt2 11762520	MAYBE 57.19/56.24	YES 15.47/15.97	ERROR 0.15/0.15
From_T2/bitcount32.t2_fixed.smt2 11762378	YES 45.98/45.58	YES 13.80/13.82	ERROR 0.11/0.11
From_T2/brockschmidt_1.t2.smt2 11762414	MAYBE 3.98/3.91	YES 3.21/3.84	ERROR 0.11/0.11
From_T2/broydn.c.i.broydn.pl.t2.fixed.t2.smt2 11762293	timeout (wallclock) [out]	MAYBE 298.93/299.00	ERROR 21.73/21.63
From_T2/broydn.c.i.broydn.pl.t2.fixed.t2_fixed.smt2 11762419	timeout (wallclock) [out]	MAYBE 298.89/299.00	ERROR 17.25/17.15
From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.smt2 11762163	timeout (wallclock) [out]	MAYBE 298.86/299.00	ERROR 21.01/20.90
From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2 11762403	timeout (wallclock) [out]	MAYBE 298.9/299.00	ERROR 16.62/16.53
From_T2/broydn.t2.smt2 11762035	timeout (wallclock) [out]	MAYBE 298.9/299.00	ERROR 58.70/29.30
From_T2/broydn.t2_fixed.smt2 11762263	timeout (wallclock) [out]	MAYBE 298.92/299.00	ERROR 18.30/18.64
From_T2/brp_withassume.t2.smt2 11762535	timeout (wallclock) [out]	MAYBE 298.91/299.00	ERROR 89.66/89.15
From_T2/bs.t2.smt2 11762539	MAYBE 44.54/44.25	NO 11.52/11.54	NO 0.77/0.76
From_T2/bs.t2_fixed.smt2 11762648	MAYBE 26.52/26.22	NO 70.18/70.24	NO 0.74/0.74
From_T2/bsort100.t2.smt2 11761962	YES 135.84/133.78	MAYBE 298.88/299.00	ERROR 336.50/296.25
From_T2/bsort100.t2_fixed.smt2 11762460	YES 79.19/78.55	MAYBE 298.86/299.00	ERROR 1.44/1.44
From_T2/bubbleSort.t2.smt2 11762537	YES 40.70/40.24	YES 11.52/11.52	ERROR 1.11/1.11
From_T2/bubblesort_inner_loop.t2.smt2 11761853	YES 5.95/5.86	YES 5.61/5.60	ERROR 0.11/0.11
From_T2/byron-1.t2.smt2 11761906	MAYBE 2.81/2.81	YES 1.37/1.37	ERROR 0.13/0.13
From_T2/byron-2.t2.smt2 11762451	YES 39.69/39.20	YES 11.53/11.53	ERROR 0.15/0.14
From_T2/byron-2.t2_fixed.smt2 11762016	YES 34.72/34.55	YES 20.34/20.35	ERROR 0.45/0.45
From_T2/byron-3.t2.smt2 11762542	MAYBE 3.05/3.00	YES 1.30/1.29	ERROR 0.10/0.10
From_T2/byron-4.t2.smt2 11762200	MAYBE 28.89/28.45	NO 20.14/20.16	NO 0.07/0.06
From_T2/byron-4.t2_fixed.smt2 11762399	MAYBE 16.06/16.07	YES 65.16/65.75	ERROR 0.17/0.17
From_T2/cfg.t2.smt2 11762169	MAYBE 5.03/4.94	NO 1.81/1.81	NO 0.70/0.70
From_T2/cnt.t2.smt2 11762565	timeout (wallclock) [out]	YES 213.65/213.66	ERROR 0.74/0.73
From_T2/cnt.t2_fixed.smt2 11762008	timeout (wallclock) [out]	MAYBE 298.87/299.00	ERROR 0.32/0.31
From_T2/collatz.t2.smt2 11762353	MAYBE 19.75/19.56	MAYBE 33.38/33.66	ERROR 0.79/0.79
From_T2/collatz.t2_fixed.smt2 11762319	MAYBE 8.52/8.37	MAYBE 200.45/200.63	ERROR 1.59/1.59
From_T2/complex_guard.t2.smt2 11762352	YES 0.61/0.60	YES 1.58/1.57	ERROR 0.05/0.05
From_T2/compress.t2.smt2 11762651	timeout (wallclock) [out]	NO 70.18/70.18	NO 144.36/144.09
From_T2/compress.t2_fixed.smt2 11761943	timeout (wallclock) [out]	MAYBE 298.9/299.00	ERROR 3.57/3.55
From_T2/constants.t2.smt2 11762108	YES 16.04/15.80	YES 4.26/4.26	ERROR 0.56/0.56
From_T2/constants.t2_fixed.smt2 11762309	YES 9.79/9.63	YES 3.78/3.78	ERROR 0.43/0.43
From_T2/consts1.t2.smt2 11762561	MAYBE 1.77/1.74	NO 1.57/1.57	NO 0.03/0.03
From_T2/consts1.t2_fixed.smt2 11762124	MAYBE 1.16/1.14	YES 18.07/18.21	ERROR 0.05/0.05
From_T2/consts1nt.t2.smt2 11762426	MAYBE 1.69/1.66	NO 1.60/1.60	NO 0.03/0.03
From_T2/consts1nt.t2_fixed.smt2 11762508	MAYBE 1.08/1.07	NO 1.59/1.59	NO 0.05/0.05
From_T2/consts2.t2.smt2 11762076	MAYBE 0.91/0.89	NO 1.29/1.29	NO 0.16/0.16
From_T2/consts2.t2_fixed.smt2 11762536	YES 0.11/0.11	YES 1.02/1.02	ERROR 0.05/0.05
From_T2/consts2nt.t2.smt2 11762359	MAYBE 0.91/0.89	NO 1.28/1.29	NO 0.10/0.10
From_T2/consts2nt.t2_fixed.smt2 11762362	MAYBE 0.39/0.38	NO 7.56/8.62	NO 0.06/0.06
From_T2/consts3.t2.smt2 11761967	YES 0.96/0.95	YES 1.05/1.05	ERROR 0.05/0.05
From_T2/consts3.t2_fixed.smt2 11761969	YES 0.12/0.12	YES 1.18/1.18	ERROR 0.04/0.04
From_T2/consts3nt.t2.smt2 11762385	MAYBE 0.86/0.85	NO 8.29/9.86	NO 0.03/0.03
From_T2/consts3nt.t2_fixed.smt2 11762279	MAYBE 0.33/0.32	NO 7.05/7.07	NO 0.03/0.03
From_T2/consts4.t2.smt2 11762269	MAYBE 1.72/1.68	NO 1.41/1.41	NO 0.12/0.12
From_T2/consts4.t2_fixed.smt2 11762088	YES 0.11/0.11	YES 1.16/1.16	ERROR 0.05/0.05
From_T2/consts4nt.t2.smt2 11762314	MAYBE 1.60/1.57	NO 1.41/1.40	NO 0.11/0.11
From_T2/consts4nt.t2_fixed.smt2 11762062	MAYBE 0.40/0.40	NO 7.59/7.61	NO 0.03/0.03
From_T2/consts5.t2.smt2 11762566	MAYBE 7.17/8.37	NO 1.87/1.86	NO 0.16/0.16
From_T2/consts5.t2_fixed.smt2 11762456	MAYBE 1.23/1.23	YES 7.62/9.00	ERROR 0.04/0.04
From_T2/consts5nt.t2.smt2 11762349	MAYBE 6.72/6.59	NO 1.87/1.87	NO 0.14/0.14
From_T2/consts5nt.t2_fixed.smt2 11762143	MAYBE 1.34/1.32	NO 8.64/8.69	NO 0.04/0.04
From_T2/cover.t2.smt2 11762427	timeout (wallclock) [out]	MAYBE 298.91/299.00	ERROR 254.41/256.65
From_T2/cover.t2_fixed.smt2 11761860	timeout (wallclock) [out]	MAYBE 298.88/299.00	ERROR 6.66/6.58
From_T2/crc.t2.smt2 11762572	timeout (wallclock) [out]	MAYBE 298.94/299.00	ERROR 1.47/1.45
From_T2/crc.t2_fixed.smt2 11762445	timeout (wallclock) [out]	MAYBE 298.93/299.00	ERROR 1.18/1.16
From_T2/create.t2.smt2 11762298	YES 79.55/39.34	YES 2.22/2.22	ERROR 0.10/0.10
From_T2/create_seg.t2.smt2 11761982	YES 47.21/46.42	YES 2.33/2.33	ERROR 0.10/0.10
From_T2/create_via_tmps.t2.smt2 11762132	timeout (wallclock) [out]	YES 34.84/34.85	ERROR 0.52/0.52
From_T2/create_via_tmps.t2_fixed.smt2 11762513	timeout (wallclock) [out]	YES 127.50/127.51	ERROR 1.36/1.35
From_T2/ctl.t2.smt2 11762014	MAYBE 27.62/27.48	NO 6.72/6.72	NO 0.14/0.14
From_T2/ctl.t2_fixed.smt2 11762207	MAYBE 7.13/7.08	NO 11.09/5.61	NO 0.11/0.10
From_T2/curious.t2.smt2 11762022	MAYBE 2.29/2.66	NO 1.66/1.66	NO 0.04/0.04
From_T2/curious.t2_fixed.smt2 11761998	MAYBE 0.79/0.79	NO 1.84/1.84	NO 0.04/0.04
From_T2/curious2.t2.smt2 11762449	YES 0.01/0.01	YES 0.85/0.85	ERROR 0.00/0.01
From_T2/curious2.t2_fixed.smt2 11762473	YES 0.01/0.01	YES 0.79/0.80	ERROR 0.00/0.01
From_T2/curious4.t2.smt2 11762205	timeout (wallclock) [out]	MAYBE 298.91/299.00	NO 8.53/8.50
From_T2/d.t2.smt2 11761974	MAYBE 4.63/4.55	MAYBE 16.81/16.90	NO 0.06/0.06
From_T2/db.t2.smt2 11762485	YES 0.07/0.07	YES 1.33/1.34	ERROR 0.00/0.01
From_T2/db2.t2.smt2 11762524	timeout (wallclock) [out]	MAYBE 298.92/299.00	NO 106.33/106.25
From_T2/db2.t2_fixed.smt2 11762224	timeout (wallclock) [out]	MAYBE 298.88/299.00	NO 108.55/108.47
From_T2/db3.t2.smt2 11762407	timeout (wallclock) [out]	MAYBE 298.9/299.00	NO 104.94/104.82
From_T2/db3.t2_fixed.smt2 11762280	timeout (wallclock) [out]	MAYBE 298.9/299.00	NO 108.17/108.10
From_T2/dead.neg-st88b-succeed.t2.smt2 11762290	MAYBE 19.94/19.61	NO 10.02/10.02	NO 2.09/2.46
From_T2/defect.t2.smt2 11762118	MAYBE 0.04/0.04	NO 2.10/1.08	NO 0.05/0.04
From_T2/destroy.t2.smt2 11762312	timeout (wallclock) [out]	YES 45.69/45.72	ERROR 0.52/0.52
From_T2/destroy.t2_fixed.smt2 11762186	timeout (wallclock) [out]	YES 160.99/161.03	ERROR 1.11/1.10
From_T2/destroy_seg.t2.smt2 11762023	timeout (wallclock) [out]	YES 66.25/66.25	ERROR 0.58/0.58
From_T2/destroy_seg.t2_fixed.smt2 11762324	timeout (wallclock) [out]	YES 239.64/239.67	ERROR 1.02/1.02
From_T2/destroy_seg_leak.t2.smt2 11762381	timeout (wallclock) [out]	NO 85.17/85.18	NO 1.02/1.02
From_T2/destroy_seg_leak.t2_fixed.smt2 11762037	timeout (wallclock) [out]	NO 132.94/132.96	NO 1.65/1.64
From_T2/disj_nightmare.t2.smt2 11762436	timeout (wallclock) [out]	NO 10.26/10.25	NO 0.16/0.16
From_T2/disj_nightmare.t2_fixed.smt2 11762282	timeout (wallclock) [out]	MAYBE 298.93/299.00	ERROR 2.17/2.16
From_T2/disj_nightmare_abi.t2.smt2 11762472	MAYBE 3.61/3.55	YES 2.99/2.99	ERROR 0.07/0.07
From_T2/dropbuf-live.t2.smt2 11762302	YES 0.01/0.01	YES 0.88/0.88	ERROR 0.00/0.01
From_T2/dropbuf.t2.smt2 11762010	MAYBE 109.28/108.97	NO 10.00/10.42	NO 1.33/1.31
From_T2/dsa_test1.t2.smt2 11761908	YES 0.03/0.03	YES 0.99/0.99	ERROR 0.00/0.00
From_T2/dsa_test10.t2.smt2 11762461	YES 11.99/11.93	YES 1.77/1.77	ERROR 0.09/0.09
From_T2/dsa_test10.t2_fixed.smt2 11762622	YES 9.00/8.85	YES 1.65/1.65	ERROR 0.08/0.08
From_T2/dsa_test12.t2.smt2 11761871	YES 0.01/0.01	YES 0.86/0.85	ERROR 0.01/0.01
From_T2/dsa_test13.t2.smt2 11762177	YES 0.01/0.01	YES 0.83/0.84	ERROR 0.00/0.01
From_T2/dsa_test15.t2.smt2 11762371	YES 6.07/5.98	YES 1.76/1.77	ERROR 0.08/0.08
From_T2/dsa_test15.t2_fixed.smt2 11762582	YES 3.17/3.12	YES 1.66/1.65	ERROR 0.08/0.08
From_T2/dsa_test6.t2.smt2 11762442	YES 1.78/1.75	YES 1.21/1.21	ERROR 0.05/0.05
From_T2/dsa_test6.t2_fixed.smt2 11762551	YES 0.83/0.81	YES 1.18/1.18	ERROR 0.04/0.04
From_T2/dsa_test8.t2.smt2 11762187	YES 0.01/0.01	YES 0.86/0.87	ERROR 0.00/0.01
From_T2/dsa_test9.t2.smt2 11761913	YES 0.01/0.01	YES 0.85/0.86	ERROR 0.00/0.00
From_T2/dummy.t2.smt2 11762033	MAYBE 1.26/1.23	NO 1.31/1.31	NO 0.09/0.08
From_T2/dumper.t2.smt2 11762348	timeout (wallclock) [out]	MAYBE 298.94/299.00	NO 8.68/8.66
From_T2/e-1394-fail.t2.smt2 11762327	timeout (wallclock) [out]	NO 39.73/39.73	NO 4.06/4.04
From_T2/e-1394-succeed.t2.smt2 11762633	timeout (wallclock) [out]	NO 38.75/38.75	NO 3.32/3.30
From_T2/e-1394-succeed.t2_fixed.smt2 11762129	timeout (wallclock) [out]	NO 38.76/38.77	NO 3.38/3.35
From_T2/e-1394complete-fail.t2.smt2 11762137	timeout (wallclock) [out]	NO 43.55/43.54	NO 2.86/2.84
From_T2/e-1394complete-failA.t2.smt2 11762310	timeout (wallclock) [out]	NO 43.66/43.66	NO 2.88/2.86
From_T2/e-1394complete-succeed.t2.smt2 11762597	timeout (wallclock) [out]	NO 43.37/43.37	NO 2.85/2.83
From_T2/e-1394complete-succeed.t2_fixed.smt2 11762501	timeout (wallclock) [out]	NO 43.16/43.16	NO 2.89/2.87
From_T2/e-acqrel-fail.t2.smt2 11762630	MAYBE 2.57/2.53	NO 2.19/2.19	NO 0.12/0.12
From_T2/e-acqrel-succeed.t2.smt2 11762439	MAYBE 3.69/3.64	NO 2.31/2.31	NO 0.11/0.11
From_T2/e-acqrel-succeed.t2_fixed.smt2 11762240	MAYBE 3.48/3.41	NO 2.29/2.29	NO 0.11/0.11
From_T2/e-pgarch-fail.t2.smt2 11761891	MAYBE 38.86/38.26	NO 5.34/5.34	NO 0.18/0.18
From_T2/e-pgarch-succeed.t2.smt2 11762575	MAYBE 46.83/46.54	NO 5.43/5.95	NO 0.19/0.19
From_T2/e-pgarch-succeed.t2_fixed.smt2 11762589	MAYBE 43.50/43.09	NO 5.12/5.12	NO 0.19/0.18
From_T2/e-popl07-fail.t2.smt2 11762232	ERROR 100.67/98.98	NO 10.50/10.50	NO 0.45/0.44
From_T2/e-popl07-fail.t2_fixed.smt2 11762564	MAYBE 107.05/105.46	NO 10.40/10.46	NO 0.45/0.44
From_T2/e-popl07-succeed.t2.smt2 11762126	MAYBE 105.71/104.24	NO 8.59/8.60	NO 0.30/0.30
From_T2/e-smagill-fail.t2.smt2 11762355	MAYBE 7.59/7.47	NO 2.45/2.96	NO 0.66/0.66
From_T2/e-smagill-succeed.t2.smt2 11762159	MAYBE 3.69/3.63	NO 24.68/24.76	NO 0.64/0.63
From_T2/e-st88b-fail.t2.smt2 11762225	MAYBE 2.58/2.53	NO 2.69/2.69	NO 2.11/2.09
From_T2/edn.t2.smt2 11762335	timeout (wallclock) [out]	MAYBE 298.89/299.00	NO 8.41/8.40
From_T2/edn.t2_fixed.smt2 11762497	timeout (wallclock) [out]	MAYBE 298.91/299.00	ERROR 0.91/0.91
From_T2/efegp.t2.smt2 11762221	timeout (wallclock) [out]	MAYBE 298.81/299.00	NO 3.09/3.07
From_T2/efegp.t2_fixed.smt2 11762450	timeout (wallclock) [out]	MAYBE 298.88/299.00	NO 3.00/2.98
From_T2/elmhes.c.i.elmhes.pl.t2.fixed.t2.smt2 11762053	timeout (wallclock) [out]	MAYBE 298.9/299.00	ERROR 3.40/3.36
From_T2/elmhes.t2.smt2 11762265	timeout (wallclock) [out]	MAYBE 298.92/299.00	ERROR 3.70/3.67
From_T2/eric.t2.smt2 11762156	MAYBE 18.22/17.92	YES 112.54/112.63	ERROR 2.21/2.23
From_T2/eric1.t2.smt2 11762593	MAYBE 4.10/4.03	MAYBE 298.84/299.00	ERROR 0.28/0.27
From_T2/eric2.t2.smt2 11762056	timeout (wallclock) [out]	MAYBE 298.92/299.00	ERROR 16.37/16.26
From_T2/eric3.t2.smt2 11761946	MAYBE 22.83/22.49	NO 4.53/4.53	NO 0.27/0.27
From_T2/ex1.t2.smt2 11762390	MAYBE 1.33/1.31	NO 1.43/1.43	NO 0.02/0.02
From_T2/ex10.t2.smt2 11761866	MAYBE 142.64/141.67	NO 9.17/9.17	NO 0.08/0.08
From_T2/ex11.t2.smt2 11762175	MAYBE 4.88/4.79	MAYBE 175.19/175.37	NO 0.37/0.36
From_T2/ex12.t2.smt2 11762464	YES 1.90/1.87	YES 2.16/2.16	ERROR 0.06/0.06
From_T2/ex12.t2_fixed.smt2 11762393	YES 0.90/0.91	YES 2.03/2.04	ERROR 0.05/0.05
From_T2/ex13.t2.smt2 11762370	YES 0.01/0.01	YES 0.84/0.84	ERROR 0.00/0.01
From_T2/ex14.t2.smt2 11761873	YES 1.83/1.80	YES 1.14/1.14	ERROR 0.04/0.04
From_T2/ex14.t2_fixed.smt2 11762024	YES 0.90/0.88	YES 1.13/1.13	ERROR 0.04/0.04
From_T2/ex15.t2.smt2 11762181	YES 0.01/0.01	YES 0.88/0.87	ERROR 0.00/0.01
From_T2/ex16.t2.smt2 11762470	MAYBE 125.16/123.20	NO 48.22/48.23	NO 0.38/0.37
From_T2/ex16.t2_fixed.smt2 11762063	MAYBE 108.98/108.29	NO 45.90/45.90	NO 0.33/0.33
From_T2/ex17.t2.smt2 11762373	MAYBE 32.53/32.01	MAYBE 298.93/299.00	ERROR 0.12/0.12
From_T2/ex17.t2_fixed.smt2 11762434	MAYBE 30.87/31.47	MAYBE 171.70/171.78	ERROR 0.09/0.09
From_T2/ex18.t2.smt2 11761894	MAYBE 26.36/25.95	YES 32.96/33.87	ERROR 0.13/0.12
From_T2/ex18.t2_fixed.smt2 11762266	MAYBE 17.76/17.48	YES 29.97/32.14	ERROR 0.12/0.11
From_T2/ex19.t2.smt2 11762171	MAYBE 9.06/8.92	NO 2.90/2.90	NO 0.20/0.20
From_T2/ex2.t2.smt2 11761849	MAYBE 3.47/3.42	NO 2.10/2.10	NO 0.07/0.06
From_T2/ex2.t2_fixed.smt2 11762642	MAYBE 2.36/2.33	NO 1.99/1.99	NO 0.06/0.06
From_T2/ex20.t2.smt2 11762649	YES 6.32/6.29	YES 1.97/2.01	ERROR 0.06/0.06
From_T2/ex20.t2_fixed.smt2 11762180	YES 4.56/5.03	YES 1.92/1.92	ERROR 0.06/0.06
From_T2/ex21.t2.smt2 11762326	YES 15.11/15.27	YES 1.69/1.69	ERROR 0.09/0.09
From_T2/ex21.t2_fixed.smt2 11762344	YES 8.42/8.26	YES 1.58/1.58	ERROR 0.09/0.08
From_T2/ex22.t2.smt2 11762011	timeout (wallclock) [out]	YES 23.88/23.88	ERROR 0.78/0.77
From_T2/ex22.t2_fixed.smt2 11761936	timeout (wallclock) [out]	YES 19.60/19.60	ERROR 0.63/0.62
From_T2/ex23.t2.smt2 11762094	YES 4.16/4.11	YES 1.35/1.38	ERROR 0.05/0.05
From_T2/ex23.t2_fixed.smt2 11762606	YES 2.71/2.68	YES 1.28/1.27	ERROR 0.05/0.05
From_T2/ex26.t2.smt2 11762013	YES 36.95/36.62	YES 11.18/11.18	ERROR 0.13/0.12
From_T2/ex26.t2_fixed.smt2 11762645	YES 18.81/18.60	YES 8.33/8.33	ERROR 0.10/0.10
From_T2/ex27.t2.smt2 11762096	timeout (wallclock) [out]	YES 37.18/37.19	ERROR 1.20/1.20
From_T2/ex27.t2_fixed.smt2 11761880	timeout (wallclock) [out]	YES 30.70/30.71	ERROR 0.99/0.99
From_T2/ex29.t2.smt2 11762351	YES 1.23/1.22	YES 4.39/4.39	ERROR 0.04/0.04
From_T2/ex29.t2_fixed.smt2 11762482	YES 1.30/1.29	YES 4.37/4.37	ERROR 0.02/0.02
From_T2/ex3.t2.smt2 11762141	YES 2.93/3.37	YES 1.52/1.52	ERROR 0.11/0.11
From_T2/ex3.t2_fixed.smt2 11761875	YES 1.87/1.83	YES 1.48/1.48	ERROR 0.07/0.07
From_T2/ex30.t2.smt2 11762397	YES 16.32/16.11	YES 1.94/1.94	ERROR 0.16/0.15
From_T2/ex31.t2.smt2 11762489	MAYBE 2.97/2.92	NO 2.13/2.13	NO 0.28/0.27
From_T2/ex31.t2_fixed.smt2 11762233	MAYBE 1.47/1.44	NO 1.85/1.85	NO 0.27/0.26
From_T2/ex32.t2.smt2 11762149	YES 7.59/7.48	YES 2.22/2.23	ERROR 0.09/0.09
From_T2/ex32.t2_fixed.smt2 11762654	YES 4.95/4.87	YES 2.12/2.13	ERROR 0.09/0.09
From_T2/ex33.t2.smt2 11761852	YES 0.15/0.15	YES 1.32/1.32	ERROR 0.00/0.01
From_T2/ex33.t2_fixed.smt2 11761895	YES 0.15/0.15	YES 1.31/1.31	ERROR 0.00/0.01
From_T2/ex34.t2.smt2 11762392	YES 0.03/0.03	YES 1.14/1.14	ERROR 0.01/0.01
From_T2/ex36.t2.smt2 11762144	timeout (wallclock) [out]	MAYBE 298.85/299.00	NO 23.88/23.74
From_T2/ex36.t2_fixed.smt2 11761929	timeout (wallclock) [out]	MAYBE 298.87/299.00	NO 16.64/16.51
From_T2/ex4.t2.smt2 11762492	YES 78.51/77.84	YES 12.11/12.11	ERROR 0.25/0.25
From_T2/ex4.t2_fixed.smt2 11762173	YES 36.52/35.88	YES 10.78/10.79	ERROR 0.23/0.22
From_T2/ex40.t2.smt2 11762274	MAYBE 1.01/0.99	NO 2.34/2.34	NO 0.03/0.03
From_T2/ex6.t2.smt2 11761854	YES 0.01/0.01	YES 1.16/1.16	ERROR 0.00/0.01
From_T2/ex7.t2.smt2 11762154	YES 6.31/6.24	YES 1.33/1.33	ERROR 0.05/0.05
From_T2/ex7.t2_fixed.smt2 11762601	YES 4.23/4.17	YES 1.40/1.40	ERROR 0.05/0.05
From_T2/ex8.t2.smt2 11762500	MAYBE 7.41/7.30	NO 3.41/3.41	NO 0.13/0.13
From_T2/ex9.t2.smt2 11762383	MAYBE 16.78/16.58	NO 3.88/3.88	NO 0.18/0.18
From_T2/example.t2.smt2 11762042	MAYBE 2.35/2.30	YES 3.73/3.72	ERROR 0.14/0.14
From_T2/fake-succeed.t2.smt2 11761984	timeout (wallclock) [out]	NO 138.36/138.36	NO 17.34/17.31
From_T2/fake-succeed.t2_fixed.smt2 11762116	timeout (wallclock) [out]	NO 101.57/101.58	NO 10.65/10.62
From_T2/fast_poll.t2.smt2 11762340	timeout (wallclock) [out]	NO 29.41/29.41	NO 8.56/8.54
From_T2/fast_poll.t2_fixed.smt2 11762522	timeout (wallclock) [out]	NO 27.62/27.63	NO 7.74/7.71
From_T2/fdct.t2.smt2 11762071	timeout (wallclock) [out]	YES 4.80/4.80	ERROR 0.17/0.17
From_T2/fdct.t2_fixed.smt2 11762364	ERROR 140.00/138.23	YES 2.75/2.75	ERROR 0.10/0.10
From_T2/fermat.t2.smt2 11762550	YES 234.81/233.03	YES 7.08/7.08	ERROR 0.18/0.17
From_T2/fibcall.t2.smt2 11762189	YES 15.91/15.65	YES 1.57/1.58	ERROR 0.54/0.54
From_T2/fibcall.t2_fixed.smt2 11762040	YES 13.01/12.81	YES 1.36/1.36	ERROR 0.56/0.57
From_T2/fir.t2.smt2 11761993	YES 134.45/135.57	MAYBE 298.9/299.00	ERROR 2.01/2.00
From_T2/fir.t2_fixed.smt2 11761991	YES 76.79/76.48	MAYBE 298.8/299.00	ERROR 1.82/1.79
From_T2/firewire.t2.smt2 11762161	timeout (wallclock) [out]	MAYBE 298.89/299.00	ERROR 33.90/33.50
From_T2/flipflop.t2.smt2 11762009	MAYBE 0.64/0.62	MAYBE 13.84/14.03	NO 0.04/0.04
From_T2/florian.t2.smt2 11762081	YES 0.12/0.11	YES 0.96/0.96	ERROR 0.04/0.04
From_T2/florian_new_ex.t2.smt2 11762179	MAYBE 55.02/54.21	MAYBE 298.93/299.00	ERROR 0.76/0.74
From_T2/florian_pldi.t2.smt2 11762261	YES 25.25/24.86	MAYBE 298.86/299.00	ERROR 0.39/0.38
From_T2/florian_sas1.t2.smt2 11761859	MAYBE 19.35/19.14	YES 94.72/94.73	ERROR 0.30/0.29
From_T2/florian_sas2.t2.smt2 11762380	timeout (wallclock) [out]	MAYBE 298.86/299.00	ERROR 3.28/3.27
From_T2/florian_sumit.t2.smt2 11761975	MAYBE 12.80/12.59	MAYBE 298.89/299.00	ERROR 1.86/1.84
From_T2/foo.t2.smt2 11762020	timeout (wallclock) [out]	MAYBE 298.87/299.00	ERROR 6.76/6.72
From_T2/fourn.c.i.fourn.pl.t2.fixed.t2.smt2 11762228	timeout (wallclock) [out]	MAYBE 298.86/299.00	NO 110.87/110.93
From_T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.smt2 11762155	timeout (wallclock) [out]	MAYBE 298.87/299.00	NO 66.68/66.59
From_T2/fourn.t2.smt2 11762127	timeout (wallclock) [out]	MAYBE 298.87/299.00	NO 66.20/66.02
From_T2/fuhs-inflasso.t2.smt2 11762139	YES 6.79/6.72	MAYBE 57.24/57.38	ERROR 0.67/0.67
From_T2/fun1.t2.smt2 11761966	timeout (wallclock) [out]	NO 211.29/211.30	ERROR 254.10/253.31
From_T2/fun1.t2_fixed.smt2 11761893	MAYBE 284.90/283.50	NO 65.53/65.54	NO 21.87/21.68
From_T2/fun10.t2.smt2 11762095	timeout (wallclock) [out]	NO 164.07/164.09	NO 5.60/5.59
From_T2/fun10.t2_fixed.smt2 11761999	timeout (wallclock) [out]	NO 164.53/164.57	NO 5.61/5.60
From_T2/fun10b.t2.smt2 11762626	timeout (wallclock) [out]	NO 143.90/144.47	NO 4.91/4.91
From_T2/fun10b.t2_fixed.smt2 11761883	timeout (wallclock) [out]	NO 143.3/143.34	NO 4.69/4.68
From_T2/fun11.t2.smt2 11762012	MAYBE 24.07/23.63	NO 3.78/3.78	NO 0.11/0.10
From_T2/fun11.t2_fixed.smt2 11762467	MAYBE 16.95/16.70	NO 4.80/4.80	NO 0.12/0.11
From_T2/fun1b.t2.smt2 11762358	timeout (wallclock) [out]	NO 225.24/225.22	ERROR 254.41/253.55
From_T2/fun1b.t2_fixed.smt2 11762300	timeout (wallclock) [out]	NO 70.93/70.93	NO 21.94/21.76
From_T2/fun2.t2.smt2 11762259	timeout (wallclock) [out]	MAYBE 298.87/299.00	ERROR 254.13/254.60
From_T2/fun2.t2_fixed.smt2 11762288	MAYBE 281.40/278.89	MAYBE 298.98/299.00	ERROR 17.09/16.98
From_T2/fun2b.t2.smt2 11762106	timeout (wallclock) [out]	MAYBE 298.96/299.00	ERROR 253.81/253.74
From_T2/fun2b.t2_fixed.smt2 11761945	MAYBE 283.88/282.76	MAYBE 298.93/299.00	ERROR 17.50/17.39
From_T2/fun3.t2.smt2 11762562	timeout (wallclock) [out]	MAYBE 298.97/299.00	ERROR 379.25/254.35
From_T2/fun4-alt.t2.smt2 11761949	MAYBE 4.35/4.27	YES 4.68/4.69	ERROR 0.29/0.29
From_T2/fun4.t2.smt2 11762085	MAYBE 12.83/12.62	NO 3.39/3.39	NO 3.39/3.41
From_T2/fun4.t2_fixed.smt2 11761928	MAYBE 10.31/10.43	YES 9.48/9.48	ERROR 0.15/0.15
From_T2/fun5.t2.smt2 11761973	MAYBE 118.89/117.78	NO 72.41/72.42	NO 13.54/13.42
From_T2/fun5.t2_fixed.smt2 11762598	MAYBE 120.44/118.59	MAYBE 298.9/299.00	ERROR 10.12/10.06
From_T2/fun6.t2.smt2 11762272	timeout (wallclock) [out]	NO 277.83/277.86	NO 32.85/32.58
From_T2/fun6.t2_fixed.smt2 11762165	timeout (wallclock) [out]	MAYBE 298.95/299.00	NO 54.51/54.23
From_T2/fun7.t2.smt2 11762568	timeout (wallclock) [out]	NO 41.17/41.17	NO 2.01/1.98
From_T2/fun7.t2_fixed.smt2 11762329	timeout (wallclock) [out]	NO 50.42/50.43	NO 3.02/3.00
From_T2/fun8.t2.smt2 11762068	timeout (wallclock) [out]	YES 31.84/31.84	ERROR 0.44/0.44
From_T2/fun8.t2_fixed.smt2 11762369	timeout (wallclock) [out]	YES 43.21/43.21	ERROR 1.14/1.14
From_T2/fun9.t2.smt2 11761987	MAYBE 79.29/78.64	MAYBE 298.91/299.00	ERROR 3.71/3.68
From_T2/graycode.t2.smt2 11762176	timeout (wallclock) [out]	YES 280.58/280.63	ERROR 2.13/2.11
From_T2/graycode.t2_fixed.smt2 11762624	timeout (wallclock) [out]	YES 252.22/252.44	ERROR 1.98/1.96
From_T2/hand7.t2.smt2 11762112	MAYBE 0.72/0.70	NO 8.50/8.53	NO 0.05/0.05
From_T2/heidy1.t2.smt2 11761892	MAYBE 0.47/0.46	NO 1.27/1.27	NO 0.02/0.02
From_T2/heidy10.t2.smt2 11762069	YES 1.08/1.07	YES 1.81/1.81	ERROR 0.15/0.14
From_T2/heidy2.t2.smt2 11762361	MAYBE 1.35/1.32	NO 1.52/1.51	NO 0.05/0.05
From_T2/heidy3.t2.smt2 11762483	MAYBE 0.65/0.64	NO 1.44/1.44	NO 0.11/0.11
From_T2/heidy5.t2.smt2 11761881	YES 0.81/0.79	YES 1.27/1.27	ERROR 0.05/0.05
From_T2/heidy6.t2.smt2 11762354	MAYBE 1.49/1.47	NO 1.82/1.83	NO 0.10/0.10
From_T2/heidy7.t2.smt2 11762476	MAYBE 2.72/2.67	NO 1.93/1.93	NO 0.17/0.17
From_T2/heidy8.t2.smt2 11762178	MAYBE 6.18/6.11	NO 2.54/2.53	NO 0.17/0.17
From_T2/heidy8.t2_fixed.smt2 11762289	MAYBE 6.52/6.80	NO 2.57/2.57	NO 0.17/0.17
From_T2/heidy9.t2.smt2 11761869	YES 0.35/0.34	YES 1.12/1.12	ERROR 0.05/0.04
From_T2/hqr.c.i.hqr.pl.t2.fixed.t2.smt2 11762267	timeout (wallclock) [out]	MAYBE 298.87/299.00	ERROR 337.16/300.05
From_T2/hqr.c.i.hqr.pl.t2.fixed.t2_fixed.smt2 11762170	timeout (wallclock) [out]	MAYBE 298.88/299.00	ERROR 17.78/17.67
From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.smt2 11762416	timeout (wallclock) [out]	MAYBE 298.83/299.00	NO 44.88/44.79
From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2 11761986	timeout (wallclock) [out]	MAYBE 298.9/299.00	ERROR 17.69/17.59
From_T2/hqr.t2.smt2 11761990	timeout (wallclock) [out]	MAYBE 298.83/299.00	ERROR 17.48/17.41
From_T2/hqr.t2_fixed.smt2 11762458	timeout (wallclock) [out]	MAYBE 298.86/299.00	ERROR 15.69/15.62
From_T2/huh.t2.smt2 11761997	YES 177.00/174.70	YES 5.39/5.41	ERROR 0.17/0.17
From_T2/huh.t2_fixed.smt2 11762638	YES 170.75/168.06	YES 5.34/5.35	ERROR 0.16/0.15
From_T2/iecs.t2.smt2 11762135	MAYBE 0.98/0.96	YES 1.12/1.12	ERROR 0.11/0.11
From_T2/insertsort.t2.smt2 11762466	MAYBE 8.18/8.04	NO 31.57/31.71	NO 0.14/0.14
From_T2/insertsort.t2_fixed.smt2 11762191	MAYBE 4.60/4.52	NO 34.11/34.19	NO 0.14/0.13
From_T2/intSqRoot.t2.smt2 11761905	MAYBE 4.96/4.88	NO 21.91/21.93	NO 0.11/0.11
From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2.smt2 11762581	timeout (wallclock) [out]	MAYBE 298.87/299.00	ERROR 10.84/10.81
From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2_fixed.smt2 11762496	timeout (wallclock) [out]	MAYBE 298.91/299.00	ERROR 8.63/8.60
From_T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.smt2 11762528	timeout (wallclock) [out]	MAYBE 298.89/299.00	ERROR 8.61/8.57
From_T2/jacobi.t2.smt2 11762099	timeout (wallclock) [out]	MAYBE 298.95/299.00	ERROR 9.53/9.49
From_T2/jacobi.t2_fixed.smt2 11761872	timeout (wallclock) [out]	MAYBE 298.96/299.00	ERROR 8.77/8.73
From_T2/janne_complex.t2.smt2 11762136	MAYBE 102.11/100.74	MAYBE 298.92/299.00	NO 25.36/25.26
From_T2/janne_complex.t2_fixed.smt2 11761865	MAYBE 67.20/66.95	MAYBE 298.19/299.00	ERROR 118.72/118.73
From_T2/java_Ackermann.c.t2.smt2 11762208	MAYBE 20.35/20.01	YES 210.92/211.01	ERROR 0.39/0.38
From_T2/java_AG313.c.t2.smt2 11762286	YES 14.57/14.92	YES 4.61/4.61	ERROR 0.20/0.20
From_T2/java_AProVEMath.c.t2.smt2 11762172	MAYBE 48.65/47.88	YES 25.28/25.28	ERROR 1.06/1.06
From_T2/java_AProVEMathRecursive.c.t2.smt2 11762157	MAYBE 41.86/41.70	YES 296.50/296.64	ERROR 1.28/1.27
From_T2/java_Avg.c.t2.smt2 11762250	MAYBE 19.94/19.92	YES 78.68/82.31	ERROR 0.30/0.29
From_T2/java_Break.c.t2.smt2 11762229	YES 2.88/2.83	YES 3.04/3.04	ERROR 0.07/0.07
From_T2/java_Break.c.t2_fixed.smt2 11761864	YES 1.74/1.71	YES 2.79/2.79	ERROR 0.06/0.06
From_T2/java_BubbleSort.c.t2.smt2 11762372	YES 86.07/85.16	YES 178.81/178.82	ERROR 2.20/2.19
From_T2/java_Continue1.c.t2.smt2 11762318	YES 2.80/2.76	YES 3.06/3.07	ERROR 0.07/0.07
From_T2/java_Continue1.c.t2_fixed.smt2 11762556	YES 1.66/1.63	YES 2.84/2.84	ERROR 0.11/0.11
From_T2/java_Diff.c.t2.smt2 11761916	timeout (wallclock) [out]	MAYBE 298.91/299.00	ERROR 1.59/1.57
From_T2/java_DivMinus1.c.t2.smt2 11762148	YES 13.71/13.95	YES 4.52/4.51	ERROR 0.18/0.17
From_T2/java_DivMinus2.c.t2.smt2 11762231	MAYBE 290.99/287.80	YES 147.07/147.08	ERROR 1.94/1.93
From_T2/java_DivWithoutMinus.c.t2.smt2 11762306	YES 127.21/125.58	YES 72.69/72.69	ERROR 0.63/0.62
From_T2/java_Double1.c.t2.smt2 11762295	MAYBE 13.80/13.56	YES 9.39/9.39	ERROR 0.14/0.14
From_T2/java_Double2.c.t2.smt2 11762283	YES 14.52/14.29	YES 9.07/9.26	ERROR 0.13/0.13
From_T2/java_Double3.c.t2.smt2 11762246	YES 20.72/20.36	YES 12.50/12.52	ERROR 0.15/0.15
From_T2/java_Duplicate.c.t2.smt2 11762322	YES 7.30/7.19	YES 3.74/3.74	ERROR 0.40/0.40
From_T2/java_EqUserDefRec.c.t2.smt2 11761851	YES 8.64/8.61	YES 4.97/5.02	ERROR 0.19/0.18
From_T2/java_Factorial.c.t2.smt2 11762050	YES 2.31/2.26	YES 3.36/3.36	ERROR 0.06/0.06
From_T2/java_FactSum.c.t2.smt2 11761874	ERROR 55.04/54.65	YES 8.90/8.90	ERROR 0.30/0.30
From_T2/java_FibRecursive.c.t2.smt2 11762558	YES 3.98/3.91	YES 9.06/9.08	ERROR 0.33/0.33
From_T2/java_Hanoi.c.t2.smt2 11762431	YES 48.34/47.96	YES 15.06/15.06	ERROR 0.63/0.63
From_T2/java_LeUserDefRec.c.t2.smt2 11761924	YES 9.80/9.66	YES 4.89/4.90	ERROR 0.12/0.12
From_T2/java_LogBuiltIn.c.t2.smt2 11762646	ERROR 17.49/17.22	YES 4.76/4.78	ERROR 0.59/0.59
From_T2/java_MinusBuiltIn.c.t2.smt2 11762465	YES 13.15/13.02	YES 4.25/4.25	ERROR 0.08/0.08
From_T2/java_MinusMin.c.t2.smt2 11762082	YES 15.17/14.91	YES 4.45/4.45	ERROR 0.08/0.08
From_T2/java_Nested.c.t2.smt2 11762055	YES 40.88/40.53	YES 38.14/38.14	ERROR 0.49/0.49
From_T2/java_Nested.c.t2_fixed.smt2 11762603	YES 24.68/25.70	YES 16.43/16.43	ERROR 0.34/0.34
From_T2/java_NestedLoop.c.t2.smt2 11762299	YES 204.15/201.45	YES 105.65/105.69	ERROR 0.76/0.75
From_T2/java_PlusSwap.c.t2.smt2 11761961	MAYBE 12.41/12.26	YES 4.33/4.33	ERROR 0.19/0.19
From_T2/java_Recursions.c.t2.smt2 11762469	timeout (wallclock) [out]	YES 48.77/48.90	ERROR 0.45/0.44
From_T2/java_Sequence.c.t2.smt2 11762223	YES 25.90/25.51	YES 7.09/7.09	ERROR 0.14/0.14
From_T2/java_Sequence.c.t2_fixed.smt2 11762506	YES 20.12/20.00	YES 5.64/5.64	ERROR 0.13/0.13
From_T2/java_TimesPlusUserDef.c.t2.smt2 11762029	YES 37.16/36.65	YES 12.99/13.03	ERROR 0.30/0.30
From_T2/jfdctint.c.t2.smt2 11762052	YES 30.20/30.21	YES 9.45/9.47	ERROR 0.19/0.18
From_T2/jfdctint.c.t2_fixed.smt2 11762058	YES 18.27/17.96	YES 8.03/8.34	ERROR 0.23/0.23
From_T2/jfdctint.t2.smt2 11762491	ERROR 188.74/186.67	YES 4.48/4.48	ERROR 0.15/0.14
From_T2/jfdctint.t2_fixed.smt2 11762487	YES 148.69/147.99	YES 3.99/3.99	ERROR 0.14/0.14
From_T2/l1.t2.smt2 11762214	MAYBE 2.09/2.06	NO 1.48/1.48	NO 0.14/0.14
From_T2/loop3.t2.smt2 11762596	timeout (wallclock) [out]	MAYBE 298.83/299.00	ERROR 132.97/132.56
From_T2/loop3.t2_fixed.smt2 11762576	MAYBE 137.01/138.80	MAYBE 298.13/299.00	ERROR 82.86/82.50
From_T2/loop_on_input.t2.smt2 11762140	YES 2.34/2.29	YES 2.61/2.61	ERROR 0.08/0.08
From_T2/loop_on_input.t2_fixed.smt2 11762404	YES 1.26/1.24	YES 2.54/2.54	ERROR 0.12/0.12
From_T2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.smt2 11761918	timeout (wallclock) [out]	MAYBE 298.91/299.00	ERROR 7.14/7.11
From_T2/ludcmp.t2.smt2 11762475	timeout (wallclock) [out]	MAYBE 298.8/299.00	ERROR 7.25/7.22
From_T2/magic.t2.smt2 11761882	timeout (wallclock) [out]	MAYBE 298.76/299.00	ERROR 6.56/3.24
From_T2/matmul.t2.smt2 11762394	YES 55.15/54.56	MAYBE 297.76/299.00	ERROR 0.47/0.46
From_T2/matmul.t2_fixed.smt2 11762643	YES 19.46/19.11	MAYBE 298.77/299.00	ERROR 0.20/0.19
From_T2/matmult.t2.smt2 11762413	ERROR 291.13/287.97	MAYBE 298.89/299.00	ERROR 0.63/0.62
From_T2/matmult.t2_fixed.smt2 11762523	YES 249.03/246.74	MAYBE 298.91/299.00	ERROR 0.31/0.31
From_T2/matrixsqrt.t2.smt2 11762546	ERROR 89.82/89.81	YES 246.53/246.65	ERROR 0.53/0.52
From_T2/mc91.t2.smt2 11761994	MAYBE 12.04/11.85	NO 2.93/2.93	NO 1.02/1.01
From_T2/mc91.t2_fixed.smt2 11762429	MAYBE 3.30/3.55	YES 1.51/1.51	ERROR 0.41/0.40
From_T2/mc91test.t2.smt2 11761960	MAYBE 78.70/78.10	NO 9.66/9.66	NO 2.65/2.63
From_T2/mc91test.t2_fixed.smt2 11762608	MAYBE 35.12/34.56	YES 5.87/5.87	ERROR 1.14/1.12
From_T2/minmax.t2.smt2 11762332	YES 1.08/1.07	YES 3.82/3.82	ERROR 0.02/0.02
From_T2/minmax.t2_fixed.smt2 11762441	YES 1.08/1.07	YES 3.59/3.59	ERROR 0.03/0.03
From_T2/n-1.t2.smt2 11762627	MAYBE 25.48/25.27	NO 2.59/2.59	NO 0.04/0.03
From_T2/n-1.t2_fixed.smt2 11761856	MAYBE 27.35/27.51	NO 3.28/3.27	NO 0.08/0.08
From_T2/n-10.t2.smt2 11762238	MAYBE 63.88/64.94	NO 6.63/6.63	NO 0.19/0.19
From_T2/n-10.t2_fixed.smt2 11762264	MAYBE 67.27/66.24	NO 8.28/8.28	NO 0.40/0.39
From_T2/n-12.t2.smt2 11762422	MAYBE 10.38/10.71	NO 2.70/2.70	NO 0.11/0.10
From_T2/n-12.t2_fixed.smt2 11762637	MAYBE 7.33/7.22	NO 3.23/3.23	NO 0.29/0.29
From_T2/n-12a.t2.smt2 11762342	MAYBE 0.88/0.86	NO 1.33/1.33	NO 0.03/0.03
From_T2/n-13.t2.smt2 11762510	MAYBE 0.88/0.86	NO 1.46/1.48	NO 0.03/0.03
From_T2/n-14.t2.smt2 11762230	MAYBE 11.77/11.56	NO 3.78/3.78	NO 0.12/0.12
From_T2/n-14.t2_fixed.smt2 11762134	MAYBE 4.64/4.64	NO 3.62/3.62	NO 0.26/0.25
From_T2/n-15.t2.smt2 11761925	MAYBE 1.54/1.51	NO 9.21/9.21	NO 0.18/0.18
From_T2/n-15a.t2.smt2 11762417	MAYBE 11.80/11.61	NO 17.18/17.39	NO 0.21/0.20
From_T2/n-15a.t2_fixed.smt2 11762167	MAYBE 3.58/3.52	NO 3.40/3.40	NO 0.23/0.22
From_T2/n-16a.t2.smt2 11762038	MAYBE 1.60/1.58	NO 1.45/1.45	NO 0.10/0.12
From_T2/n-17.t2.smt2 11762503	MAYBE 1.37/1.35	NO 8.65/8.66	NO 0.19/0.18
From_T2/n-18.t2.smt2 11762219	MAYBE 1.54/1.54	NO 7.50/7.54	NO 0.03/0.03
From_T2/n-18a.t2.smt2 11761909	MAYBE 1.75/1.73	NO 1.47/1.47	NO 0.10/0.10
From_T2/n-1c.t2.smt2 11762586	MAYBE 46.84/46.53	NO 3.67/3.67	NO 0.19/0.18
From_T2/n-1c.t2_fixed.smt2 11762515	MAYBE 42.53/41.80	NO 4.48/4.48	NO 0.40/0.39
From_T2/n-1d.t2.smt2 11762060	MAYBE 16.19/15.93	NO 3.33/3.33	NO 0.14/0.13
From_T2/n-1d.t2_fixed.smt2 11762406	MAYBE 11.67/11.48	NO 4.10/4.10	NO 0.34/0.33
From_T2/n-20.t2.smt2 11762285	MAYBE 37.25/37.02	NO 2.75/2.76	NO 0.06/0.06
From_T2/n-21.t2.smt2 11762605	MAYBE 11.87/11.69	NO 5.41/2.72	NO 0.08/0.08
From_T2/n-21.t2_fixed.smt2 11762481	MAYBE 4.94/4.85	NO 2.10/2.09	NO 0.08/0.07
From_T2/n-3.t2.smt2 11762030	MAYBE 7.65/7.52	NO 2.30/2.30	NO 0.13/0.13
From_T2/n-32.t2.smt2 11761898	MAYBE 3.50/3.66	NO 1.81/1.81	NO 0.14/0.14
From_T2/n-33.t2.smt2 11762199	MAYBE 26.30/26.08	NO 8.65/8.65	NO 1.52/1.49
From_T2/n-36.t2.smt2 11761907	timeout (wallclock) [out]	NO 18.92/18.92	NO 0.27/0.27
From_T2/n-36.t2_fixed.smt2 11762044	timeout (wallclock) [out]	NO 17.06/17.23	NO 0.24/0.24
From_T2/n-37.t2.smt2 11762215	MAYBE 7.71/7.67	NO 2.05/2.04	NO 0.03/0.03
From_T2/n-37.t2_fixed.smt2 11762405	MAYBE 7.29/7.25	NO 2.06/2.06	NO 0.03/0.03
From_T2/n-38.t2.smt2 11762554	YES 0.02/0.02	YES 0.89/0.89	ERROR 0.00/0.00
From_T2/n-3a.t2.smt2 11762270	MAYBE 120.98/119.30	NO 8.21/8.22	NO 0.27/0.27
From_T2/n-3a.t2_fixed.smt2 11762625	MAYBE 55.15/54.26	NO 10.79/10.89	NO 0.86/0.84
From_T2/n-4.t2.smt2 11762296	MAYBE 160.73/158.13	NO 104.40/104.39	NO 0.32/0.32
From_T2/n-4.t2_fixed.smt2 11761921	MAYBE 90.85/89.28	NO 273.27/273.5	NO 0.55/0.54
From_T2/n-40.t2.smt2 11762615	timeout (wallclock) [out]	NO 32.81/32.81	NO 1.28/1.25
From_T2/n-40.t2_fixed.smt2 11762462	MAYBE 147.01/145.24	NO 58.03/58.05	ERROR 0.46/0.45
From_T2/n-46.t2.smt2 11762021	MAYBE 2.35/2.31	NO 1.78/1.77	NO 0.04/0.04
From_T2/n-48.t2.smt2 11762636	MAYBE 8.29/8.14	NO 2.26/2.27	NO 0.10/0.10
From_T2/n-48.t2_fixed.smt2 11762334	MAYBE 8.10/7.97	NO 2.25/2.25	NO 0.10/0.10
From_T2/n-5.t2.smt2 11762632	timeout (wallclock) [out]	NO 21.60/21.60	NO 1.48/1.48
From_T2/n-5.t2_fixed.smt2 11762580	ERROR 260.83/258.13	NO 26.63/26.67	NO 1.48/1.47
From_T2/n-6.t2.smt2 11762119	MAYBE 11.92/12.38	NO 3.32/3.33	NO 0.25/0.25
From_T2/n-6.t2_fixed.smt2 11762146	MAYBE 9.92/9.76	NO 4.00/4.00	NO 1.48/1.47
From_T2/n-6a.t2.smt2 11761870	MAYBE 15.01/14.86	NO 2.55/2.55	NO 0.13/0.12
From_T2/n-6a.t2_fixed.smt2 11762401	MAYBE 15.44/15.65	NO 3.19/3.19	NO 0.21/0.21
From_T2/n-7.t2.smt2 11762032	MAYBE 9.56/9.44	NO 2.51/2.51	NO 0.07/0.07
From_T2/n-7.t2_fixed.smt2 11762307	MAYBE 9.27/9.25	NO 3.15/3.15	NO 0.07/0.07
From_T2/n-8.t2.smt2 11762316	MAYBE 39.02/39.04	NO 4.84/4.84	NO 0.18/0.18
From_T2/n-8.t2_fixed.smt2 11762382	MAYBE 57.80/57.66	NO 6.04/6.04	NO 0.40/0.39
From_T2/n-8a.t2.smt2 11762120	MAYBE 7.56/7.65	NO 1.83/1.84	NO 0.04/0.04
From_T2/n-9.t2.smt2 11762623	MAYBE 44.66/44.38	NO 6.28/6.28	NO 0.25/0.25
From_T2/n-9.t2_fixed.smt2 11762117	MAYBE 48.18/47.51	NO 8.15/8.15	NO 0.69/0.68
From_T2/nakata.t2.smt2 11762275	timeout (wallclock) [out]	MAYBE 298.86/299.00	ERROR 10.96/5.45
From_T2/nakata_withassume.t2.smt2 11762338	timeout (wallclock) [out]	MAYBE 298.73/299.00	ERROR 110.32/109.42
From_T2/ndes.t2.smt2 11761941	timeout (wallclock) [out]	MAYBE 298.89/299.00	ERROR 26.17/26.05
From_T2/ndes.t2_fixed.smt2 11762323	timeout (wallclock) [out]	MAYBE 298.93/299.00	ERROR 19.83/19.74
From_T2/neg-1394-fail.t2.smt2 11762375	timeout (wallclock) [out]	NO 42.40/42.41	NO 3.20/3.17
From_T2/neg-1394-succeed.t2.smt2 11761950	timeout (wallclock) [out]	NO 44.13/44.14	NO 3.62/3.59
From_T2/neg-1394complete-fail.t2.smt2 11761855	timeout (wallclock) [out]	NO 48.20/48.20	NO 3.06/3.04
From_T2/neg-1394complete-fail.t2_fixed.smt2 11762092	timeout (wallclock) [out]	NO 48.95/48.96	NO 3.11/3.09
From_T2/neg-1394complete-succeed.t2.smt2 11762097	timeout (wallclock) [out]	NO 48.21/48.21	NO 3.19/3.18
From_T2/neg-1394complete-succeed.t2_fixed.smt2 11762248	timeout (wallclock) [out]	NO 48.67/48.68	NO 3.13/3.11
From_T2/neg-acqrel-fail.t2.smt2 11762217	MAYBE 3.67/3.59	NO 2.29/2.31	NO 0.30/0.30
From_T2/neg-acqrel-succeed.t2.smt2 11761863	MAYBE 3.68/3.63	NO 2.33/2.33	NO 0.30/0.30
From_T2/neg-e-1394-succeed.t2.smt2 11762257	timeout (wallclock) [out]	NO 39.52/39.52	NO 4.11/4.08
From_T2/neg-e-1394complete-fail.t2.smt2 11761933	timeout (wallclock) [out]	NO 42.64/42.65	NO 2.82/2.81
From_T2/neg-e-1394complete-fail.t2_fixed.smt2 11761861	timeout (wallclock) [out]	NO 42.53/42.53	NO 2.86/2.85
From_T2/neg-e-1394complete-succeed.t2.smt2 11762001	timeout (wallclock) [out]	NO 42.39/42.40	NO 2.82/2.80
From_T2/neg-e-1394complete-succeed.t2_fixed.smt2 11762343	timeout (wallclock) [out]	NO 42.07/42.07	NO 2.86/2.84
From_T2/neg-e-acqrel-fail.t2.smt2 11762045	MAYBE 5.66/5.59	NO 2.50/2.50	NO 0.11/0.11
From_T2/neg-e-acqrel-fail.t2_fixed.smt2 11762291	MAYBE 5.22/5.12	NO 2.45/2.45	NO 0.11/0.11
From_T2/neg-e-acqrel-succeed.t2.smt2 11762339	MAYBE 3.67/4.09	NO 2.31/2.31	NO 0.08/0.08
From_T2/neg-e-acqrel-succeed.t2_fixed.smt2 11762110	MAYBE 3.71/3.65	NO 2.30/2.32	NO 0.08/0.08
From_T2/neg-e-pgarch-fail.t2.smt2 11762428	MAYBE 42.22/41.80	NO 4.17/4.18	NO 0.17/0.17
From_T2/neg-e-pgarch-fail.t2_fixed.smt2 11761970	MAYBE 41.25/20.37	NO 3.88/3.88	NO 0.17/0.17
From_T2/neg-e-pgarch-succeed.t2.smt2 11762479	MAYBE 17.32/17.44	NO 3.92/3.92	NO 0.17/0.17
From_T2/neg-e-pgarch-succeed.t2_fixed.smt2 11761996	MAYBE 15.01/15.14	NO 3.68/3.68	NO 0.16/0.16
From_T2/neg-e-popl07-fail.t2.smt2 11762490	MAYBE 100.65/100.95	NO 8.60/8.60	NO 0.30/0.30
From_T2/neg-e-popl07-succeed.t2.smt2 11762226	ERROR 85.54/87.76	NO 9.64/9.65	NO 0.44/0.43
From_T2/neg-e-popl07-succeed.t2_fixed.smt2 11762585	MAYBE 90.56/89.25	NO 9.67/9.67	NO 0.44/0.43
From_T2/neg-e-smagill-succeed.t2.smt2 11762034	MAYBE 5.54/5.46	NO 2.31/2.31	NO 0.66/0.66
From_T2/neg-e-st88b-succeed.t2.smt2 11761858	MAYBE 1.79/1.77	NO 2.56/2.56	NO 1.71/1.69
From_T2/neg-pgarch-fail.t2.smt2 11762249	MAYBE 39.53/39.01	NO 5.38/5.38	NO 0.18/0.18
From_T2/neg-pgarch-succeed.t2.smt2 11762105	MAYBE 36.92/37.14	NO 5.42/5.42	NO 0.18/0.18
From_T2/neg-pgarch-succeed.t2_fixed.smt2 11762089	MAYBE 34.78/35.08	NO 5.08/5.31	NO 0.18/0.18
From_T2/neg-popl07-fail.t2.smt2 11762613	ERROR 98.81/97.54	NO 8.65/8.66	NO 0.29/0.29
From_T2/neg-popl07-fail.t2_fixed.smt2 11762241	MAYBE 92.70/91.49	NO 8.58/8.58	NO 0.37/0.37
From_T2/neg-popl07-succeed.t2.smt2 11762584	MAYBE 106.39/104.78	NO 9.59/9.59	NO 0.34/0.33
From_T2/neg-popl07-succeed.t2_fixed.smt2 11762278	MAYBE 99.18/98.53	NO 9.52/9.52	NO 0.41/0.41
From_T2/neg-smagilla-fail.t2.smt2 11761877	MAYBE 5.15/5.05	NO 2.15/2.14	NO 0.64/0.64
From_T2/neg-smagilla-succeed.t2.smt2 11762639	MAYBE 5.06/4.99	NO 27.48/27.50	NO 0.64/0.63
From_T2/neg-st88b-fail.t2.smt2 11761884	MAYBE 20.07/19.75	NO 10.25/10.25	NO 1.68/1.67
From_T2/neg.t2.smt2 11762650	YES 0.01/0.01	YES 0.89/0.90	ERROR 0.00/0.01
From_T2/nested.t2.smt2 11762091	YES 28.68/28.28	YES 16.88/16.91	ERROR 0.14/0.14
From_T2/nested2.t2.smt2 11762111	YES 25.12/25.09	YES 15.99/16.02	ERROR 0.16/0.16
From_T2/nested2.t2_fixed.smt2 11762067	YES 19.07/19.12	YES 14.50/14.52	ERROR 0.08/0.08
From_T2/non_term.t2.smt2 11761914	MAYBE 0.94/0.92	NO 1.37/1.36	NO 0.10/0.10
From_T2/ns.t2.smt2 11761983	YES 149.03/146.69	MAYBE 298.88/299.00	ERROR 0.42/0.41
From_T2/ns.t2_fixed.smt2 11762247	YES 75.62/74.53	MAYBE 298.94/299.00	ERROR 0.18/0.17
From_T2/n_firewire_instrumented-PP.t2.smt2 11761922	MAYBE 136.58/135.31	MAYBE 298.91/299.00	ERROR 18.62/18.33
From_T2/oct_vs_subpoly.t2.smt2 11762078	MAYBE 0.50/0.49	NO 1.30/1.30	NO 0.02/0.02
From_T2/opt-tree.c.t2.smt2 11761889	timeout (wallclock) [out]	MAYBE 298.84/299.00	timeout (wallclock) [out]
From_T2/p-1.t2.smt2 11761919	MAYBE 10.43/10.28	NO 1.58/1.58	NO 0.04/0.04
From_T2/p-10.t2.smt2 11762641	MAYBE 16.42/16.18	NO 2.08/2.08	NO 0.04/0.04
From_T2/p-12.t2.smt2 11762000	YES 0.35/0.34	YES 1.17/1.17	ERROR 0.04/0.04
From_T2/p-13.t2.smt2 11762107	YES 0.01/0.01	YES 1.07/1.08	ERROR 0.00/0.00
From_T2/p-14.t2.smt2 11762640	YES 0.33/0.32	YES 1.18/1.18	ERROR 0.04/0.04
From_T2/p-15.t2.smt2 11762346	YES 0.37/0.36	YES 2.25/1.17	ERROR 0.05/0.04
From_T2/p-19.t2.smt2 11762320	MAYBE 9.22/9.07	NO 1.78/1.78	NO 0.04/0.04
From_T2/p-19a.t2.smt2 11762046	MAYBE 18.86/18.57	NO 2.06/2.06	NO 0.04/0.04
From_T2/p-1a.t2.smt2 11762367	MAYBE 16.04/15.80	NO 1.59/1.60	NO 0.04/0.04
From_T2/p-1b.t2.smt2 11761867	YES 1.66/1.63	YES 1.22/1.22	ERROR 0.06/0.06
From_T2/p-1c.t2.smt2 11762174	MAYBE 16.48/16.22	NO 1.59/1.59	NO 0.04/0.04
From_T2/p-1d.t2.smt2 11762468	YES 15.89/15.65	YES 3.98/4.57	ERROR 0.12/0.12
From_T2/p-20.t2.smt2 11761888	MAYBE 18.65/18.34	NO 2.49/2.48	NO 0.05/0.05
From_T2/p-21.t2.smt2 11762168	YES 16.95/16.69	YES 4.06/4.06	ERROR 0.16/0.16
From_T2/p-21.t2_fixed.smt2 11762552	YES 3.59/3.54	YES 3.24/3.24	ERROR 0.16/0.16
From_T2/p-22.t2.smt2 11762478	YES 0.36/0.36	YES 1.36/1.36	ERROR 0.05/0.05
From_T2/p-3.t2.smt2 11762559	YES 16.37/16.24	YES 1.88/1.88	ERROR 0.10/0.10
From_T2/p-3.t2_fixed.smt2 11761879	YES 6.75/6.63	YES 2.13/2.13	ERROR 0.10/0.10
From_T2/p-32.t2.smt2 11762308	MAYBE 3.14/3.08	NO 1.82/1.81	NO 0.14/0.14
From_T2/p-33.t2.smt2 11762617	MAYBE 7.89/8.06	NO 3.92/3.92	NO 0.66/0.64
From_T2/p-34.t2.smt2 11762128	timeout (wallclock) [out]	NO 16.75/16.75	NO 0.31/0.30
From_T2/p-36.t2.smt2 11762311	timeout (wallclock) [out]	NO 5.55/5.55	NO 0.13/0.13
From_T2/p-36.t2_fixed.smt2 11762122	timeout (wallclock) [out]	NO 5.09/5.09	NO 0.11/0.11
From_T2/p-37.t2.smt2 11762620	YES 12.13/11.92	YES 3.92/3.94	ERROR 0.53/0.53
From_T2/p-37.t2_fixed.smt2 11762389	YES 10.92/10.75	YES 3.76/3.76	ERROR 0.43/0.43
From_T2/p-38.t2.smt2 11762123	YES 0.35/0.34	YES 4.29/2.21	ERROR 0.02/0.02
From_T2/p-38.t2_fixed.smt2 11762317	YES 0.48/0.47	YES 2.56/2.58	ERROR 0.02/0.02
From_T2/p-4.t2.smt2 11762182	YES 7.79/7.66	YES 3.16/3.17	ERROR 0.30/0.30
From_T2/p-40.t2.smt2 11762195	YES 7.96/8.26	YES 1.46/1.45	ERROR 0.05/0.05
From_T2/p-40.t2_fixed.smt2 11762541	YES 5.96/5.86	YES 1.40/1.40	ERROR 0.05/0.05
From_T2/p-41.t2.smt2 11761896	YES 0.01/0.01	YES 0.86/0.86	ERROR 0.00/0.01
From_T2/p-42.t2.smt2 11762447	YES 7.01/7.25	YES 1.70/1.70	ERROR 0.11/0.10
From_T2/p-43-terminate.t2.smt2 11762618	timeout (wallclock) [out]	MAYBE 298.86/299.00	ERROR 7.51/7.46
From_T2/p-43-terminate.t2_fixed.smt2 11762004	timeout (wallclock) [out]	MAYBE 298.87/299.00	ERROR 252.17/252.49
From_T2/p-43.t2.smt2 11762532	MAYBE 14.08/13.88	YES 7.64/7.68	ERROR 1.14/1.14
From_T2/p-43.t2_fixed.smt2 11762114	MAYBE 11.66/11.45	YES 20.04/20.06	ERROR 0.94/0.93
From_T2/p-44.t2.smt2 11762211	YES 0.81/0.80	YES 1.35/1.36	ERROR 0.55/0.55
From_T2/p-45.t2.smt2 11761902	YES 5.11/5.42	YES 1.44/1.44	ERROR 0.13/0.13
From_T2/p-46.t2.smt2 11762455	MAYBE 41.74/41.12	NO 52.78/52.72	NO 0.68/0.68
From_T2/p-46.t2_fixed.smt2 11762077	MAYBE 35.28/35.96	NO 146.52/146.34	NO 2.15/2.14
From_T2/p-49.t2.smt2 11761917	YES 0.37/0.37	YES 1.19/1.19	ERROR 0.04/0.04
From_T2/p-5.t2.smt2 11761911	timeout (wallclock) [out]	NO 21.83/21.83	NO 1.48/1.48
From_T2/p-5.t2_fixed.smt2 11762347	MAYBE 256.53/253.89	NO 26.14/26.14	NO 1.60/1.60
From_T2/p-50.t2.smt2 11761964	YES 0.01/0.01	YES 0.90/0.89	ERROR 0.00/0.01
From_T2/p-52.t2.smt2 11762604	MAYBE 15.58/15.34	NO 2.10/2.10	NO 0.04/0.04
From_T2/p-53.t2.smt2 11762284	YES 0.07/0.07	YES 1.12/1.12	ERROR 0.00/0.01
From_T2/p-55.t2.smt2 11762036	YES 21.11/20.89	YES 5.24/5.24	ERROR 0.64/0.63
From_T2/p-55.t2_fixed.smt2 11761992	YES 13.00/13.15	YES 7.37/7.44	ERROR 0.41/0.41
From_T2/p-56.t2.smt2 11762599	YES 8.97/8.85	YES 1.53/1.53	ERROR 0.06/0.06
From_T2/p-56.t2_fixed.smt2 11762391	YES 10.09/9.92	YES 1.67/1.67	ERROR 0.12/0.12
From_T2/p-58.t2.smt2 11761942	MAYBE 2.07/2.03	YES 1.41/1.42	ERROR 0.01/0.01
From_T2/p-6.t2.smt2 11762430	YES 12.71/13.65	YES 6.70/6.79	ERROR 0.27/0.27
From_T2/p-60.t2.smt2 11762511	YES 7.06/6.94	YES 1.41/1.41	ERROR 0.06/0.06
From_T2/p-60.t2_fixed.smt2 11762277	YES 5.18/5.10	YES 1.38/1.38	ERROR 0.06/0.06
From_T2/p-61.t2.smt2 11762423	YES 12.19/12.35	YES 1.43/1.43	ERROR 0.06/0.06
From_T2/p-61.t2_fixed.smt2 11762220	YES 2.25/2.21	YES 1.29/1.28	ERROR 0.06/0.05
From_T2/p-62.t2.smt2 11761927	YES 0.01/0.01	YES 0.89/0.89	ERROR 0.01/0.01
From_T2/p-63.t2.smt2 11762237	MAYBE 8.24/8.10	YES 12.03/12.06	ERROR 0.10/0.10
From_T2/p-63.t2_fixed.smt2 11761876	MAYBE 8.15/8.02	YES 12.11/12.16	ERROR 0.10/0.10
From_T2/p-7.t2.smt2 11762548	YES 9.29/9.14	YES 2.28/2.28	ERROR 0.08/0.08
From_T2/p-7.t2_fixed.smt2 11762607	YES 14.97/14.82	YES 2.84/2.84	ERROR 0.08/0.08
From_T2/p-7b.t2.smt2 11762193	YES 4.56/4.48	YES 1.36/1.36	ERROR 0.06/0.06
From_T2/p-8.t2.smt2 11762206	MAYBE 6.99/6.87	NO 1.77/1.77	NO 0.07/0.07
From_T2/p.t2.smt2 11761956	timeout (wallclock) [out]	MAYBE 298.9/299.00	ERROR 7.86/7.82
From_T2/pearl-necklace.t2.smt2 11762051	YES 13.30/13.52	YES 2.45/2.45	ERROR 0.17/0.16
From_T2/peculiar.t2.smt2 11762616	MAYBE 13.37/13.49	NO 3.20/3.20	NO 0.58/0.57
From_T2/peculiar.t2_fixed.smt2 11762629	MAYBE 12.55/12.41	NO 3.21/3.21	NO 0.58/0.57
From_T2/pentagon.t2.smt2 11762336	MAYBE 51.08/50.33	MAYBE 298.98/299.00	ERROR 1.24/1.24
From_T2/pgarch-fail.t2.smt2 11762538	MAYBE 32.09/31.55	NO 5.06/5.06	NO 0.23/0.23
From_T2/pgarch-succeed.t2.smt2 11761963	ERROR 34.29/33.77	NO 5.11/5.17	NO 0.18/0.18
From_T2/pgarch.t2.smt2 11761857	timeout (wallclock) [out]	MAYBE 298.89/299.00	NO 73.44/73.38
From_T2/pgarch.t2_fixed.smt2 11762198	timeout (wallclock) [out]	MAYBE 298.83/299.00	NO 49.16/49.12
From_T2/polling.bug.t2.smt2 11762502	timeout (wallclock) [out]	NO 30.53/30.54	NO 7.53/7.52
From_T2/polling.bug.t2_fixed.smt2 11762635	timeout (wallclock) [out]	NO 28.57/28.58	NO 7.20/7.29
From_T2/polling.t2.smt2 11762160	timeout (wallclock) [out]	NO 27.44/27.45	NO 7.05/7.03
From_T2/polling.t2_fixed.smt2 11762440	timeout (wallclock) [out]	NO 25.39/25.39	NO 6.78/6.77
From_T2/polyrank1.t2.smt2 11762321	MAYBE 0.91/0.89	YES 1.12/1.13	ERROR 0.11/0.11
From_T2/polyrank2.t2.smt2 11762006	MAYBE 1.71/1.69	YES 10.29/10.35	ERROR 0.06/0.06
From_T2/polyrank3.t2.smt2 11762090	MAYBE 3.37/3.31	MAYBE 79.49/85.00	ERROR 1.06/1.05
From_T2/polyrank4.t2.smt2 11762653	MAYBE 3.47/3.40	MAYBE 85.79/85.90	ERROR 1.09/1.08
From_T2/polyrank5.t2.smt2 11762333	MAYBE 5.45/5.36	MAYBE 94.94/96.27	ERROR 0.20/0.19
From_T2/polyrank6.t2.smt2 11762015	MAYBE 3.99/3.93	YES 5.37/5.37	ERROR 0.65/0.64
From_T2/polyrank7.t2.smt2 11762100	MAYBE 2.69/2.67	NO 2.05/2.05	NO 0.17/0.16
From_T2/popl07-fail.t2.smt2 11762377	MAYBE 76.53/76.30	NO 7.84/7.84	NO 0.29/0.28
From_T2/popl07-succeed.t2.smt2 11762331	MAYBE 82.09/81.11	NO 7.85/7.84	NO 0.36/0.37
From_T2/ppblock.t2.smt2 11762402	MAYBE 14.94/14.69	NO 2.93/2.94	NO 0.49/0.48
From_T2/ppblockbug.t2.smt2 11762583	MAYBE 15.07/14.79	NO 3.24/3.25	NO 1.20/1.19
From_T2/ppblockterm.t2.smt2 11762251	MAYBE 42.80/46.54	NO 7.38/7.37	NO 0.32/0.31
From_T2/ppblocktermbug.t2.smt2 11762337	MAYBE 62.97/63.82	NO 8.69/8.69	NO 0.39/0.39
From_T2/prime.t2.smt2 11762504	timeout (wallclock) [out]	NO 24.27/24.27	NO 0.43/0.60
From_T2/prime.t2_fixed.smt2 11762244	MAYBE 290.38/288.49	NO 22.69/22.69	NO 0.33/0.33
From_T2/Prim_4.t2.smt2 11761910	timeout (wallclock) [out]	NO 289.41/289.44	NO 1.83/1.80
From_T2/Prim_5.t2.smt2 11762183	timeout (wallclock) [out]	NO 284.78/284.80	NO 1.84/1.81
From_T2/print.t2.smt2 11762079	timeout (wallclock) [out]	YES 211.76/211.83	ERROR 2.55/2.55
From_T2/print.t2_fixed.smt2 11762216	timeout (wallclock) [out]	MAYBE 298.93/299.00	ERROR 2.69/2.67
From_T2/p_armc.t2.smt2 11762388	MAYBE 62.25/61.86	NO 56.87/56.87	NO 2.50/2.49
From_T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.smt2 11762415	timeout (wallclock) [out]	MAYBE 298.97/299.00	ERROR 4.13/4.10
From_T2/qrdcmp.t2.smt2 11762592	timeout (wallclock) [out]	MAYBE 298.86/299.00	ERROR 4.14/4.12
From_T2/queens.t2.smt2 11762495	timeout (wallclock) [out]	MAYBE 298.87/299.00	ERROR 3.84/3.80
From_T2/queens.t2_fixed.smt2 11761947	timeout (wallclock) [out]	MAYBE 298.94/299.00	ERROR 3.95/3.93
From_T2/queue_1.t2.smt2 11762474	YES 15.18/14.95	YES 26.76/26.76	ERROR 0.18/0.17
From_T2/queue_10.t2.smt2 11762387	ERROR 27.82/27.40	YES 36.02/36.39	ERROR 0.24/0.24
From_T2/queue_10.t2_fixed.smt2 11762587	YES 14.95/15.21	YES 26.86/26.85	ERROR 0.20/0.20
From_T2/queue_100.t2.smt2 11762083	YES 27.85/27.39	YES 35.92/35.92	ERROR 0.25/0.24
From_T2/queue_100.t2_fixed.smt2 11761976	YES 15.03/14.81	YES 53.47/26.79	ERROR 0.20/0.20
From_T2/queue_1000.t2.smt2 11761995	YES 27.46/27.52	YES 35.78/35.78	ERROR 0.24/0.24
From_T2/queue_1000.t2_fixed.smt2 11762070	YES 14.47/14.20	YES 26.94/26.96	ERROR 0.20/0.20
From_T2/randomwalk.t2.smt2 11762276	MAYBE 43.17/42.8	MAYBE 298.89/299.00	ERROR 3.13/3.07
From_T2/randomwalk_withassume.t2.smt2 11762196	MAYBE 48.35/47.88	YES 136.25/136.25	ERROR 4.90/4.84
From_T2/refine_disj_problem.t2.smt2 11762142	MAYBE 5.86/2.90	NO 1.99/1.98	NO 0.11/0.11
From_T2/refine_disj_problem.t2_fixed.smt2 11762418	MAYBE 2.22/2.17	NO 2.28/2.30	ERROR 0.17/0.17
From_T2/reverse.t2.smt2 11762325	timeout (wallclock) [out]	MAYBE 298.88/299.00	ERROR 4.07/4.06
From_T2/reverse.t2_fixed.smt2 11762222	timeout (wallclock) [out]	MAYBE 298.93/299.00	ERROR 3.39/3.38
From_T2/reverse_div4.t2.smt2 11762573	timeout (wallclock) [out]	NO 42.80/42.81	NO 0.91/0.90
From_T2/reverse_div4.t2_fixed.smt2 11762201	timeout (wallclock) [out]	NO 64.59/64.60	NO 1.17/1.17
From_T2/reverse_seg_cyclic.t2.smt2 11762104	timeout (wallclock) [out]	YES 179.59/179.66	ERROR 1.37/1.37
From_T2/reverse_seg_cyclic.t2_fixed.smt2 11761932	timeout (wallclock) [out]	MAYBE 298.88/299.00	ERROR 1.75/1.74
From_T2/rev_nt2.t2.smt2 11762297	timeout (wallclock) [out]	NO 10.78/10.78	NO 0.28/0.28
From_T2/rev_nt2.t2_fixed.smt2 11762408	timeout (wallclock) [out]	NO 15.72/15.72	NO 1.01/1.00
From_T2/rev_nt3.t2.smt2 11762631	timeout (wallclock) [out]	NO 21.92/21.93	NO 0.53/0.53
From_T2/rev_nt3.t2_fixed.smt2 11762048	timeout (wallclock) [out]	NO 22.07/22.08	NO 0.53/0.53
From_T2/rev_nt4.t2.smt2 11762115	YES 0.01/0.01	YES 0.93/0.92	ERROR 0.00/0.01
From_T2/rev_nt4.t2_fixed.smt2 11761955	YES 0.01/0.01	YES 0.93/0.93	ERROR 0.00/0.00
From_T2/rewrite.t2.smt2 11762188	MAYBE 0.64/0.63	NO 1.31/1.31	NO 0.02/0.02
From_T2/rlft3.c.i.rlft3.pl.t2.fixed.t2.smt2 11762005	timeout (wallclock) [out]	MAYBE 298.91/299.00	NO 7.42/7.36
From_T2/rlft3.t2.smt2 11762517	timeout (wallclock) [out]	MAYBE 298.92/299.00	NO 7.90/7.82
From_T2/ruslan-benchmarks_misc_n-38.t2.smt2 11762204	MAYBE 74.05/72.87	NO 46.94/46.96	NO 0.92/0.91
From_T2/s1-saved.t2.smt2 11761988	timeout (wallclock) [out]	YES 171.95/171.96	ERROR 1.67/1.66
From_T2/s1-saved.t2_fixed.smt2 11762433	timeout (wallclock) [out]	MAYBE 298.93/299.00	ERROR 1.83/1.82
From_T2/s1-striped.t2.smt2 11762245	timeout (wallclock) [out]	MAYBE 298.91/299.00	NO 23.56/23.54
From_T2/s1-striped.t2_fixed.smt2 11762610	timeout (wallclock) [out]	MAYBE 298.9/299.00	NO 21.61/21.57
From_T2/s1.t2.smt2 11761958	timeout (wallclock) [out]	MAYBE 298.87/299.00	NO 24.01/23.97
From_T2/s1.t2_fixed.smt2 11761981	timeout (wallclock) [out]	MAYBE 298.85/299.00	NO 21.05/20.99
From_T2/s2.t2.smt2 11762281	YES 6.63/6.53	YES 1.26/1.26	ERROR 0.06/0.06
From_T2/s2.t2_fixed.smt2 11762398	YES 4.48/4.40	YES 1.24/1.24	ERROR 0.57/0.56
From_T2/s3-work.t2.smt2 11762521	timeout (wallclock) [out]	MAYBE 298.76/299.00	ERROR 41.90/41.89
From_T2/s3-work.t2_fixed.smt2 11762634	timeout (wallclock) [out]	MAYBE 298.84/299.00	ERROR 14.62/14.57
From_T2/s3.t2.smt2 11762602	timeout (wallclock) [out]	MAYBE 298.97/299.00	ERROR 256.00/274.03
From_T2/s3.t2_fixed.smt2 11762130	timeout (wallclock) [out]	MAYBE 298.92/299.00	ERROR 255.42/269.58
From_T2/s4.t2.smt2 11762039	timeout (wallclock) [out]	MAYBE 298.99/299.00	timeout (wallclock) [out]
From_T2/s4.t2_fixed.smt2 11762018	timeout (wallclock) [out]	MAYBE 298.89/299.00	timeout (wallclock) [out]
From_T2/sas07.cex.t2.smt2 11762594	timeout (wallclock) [out]	YES 180.31/180.34	ERROR 2.05/2.05
From_T2/sas2.t2.smt2 11762103	timeout (wallclock) [out]	MAYBE 298.85/299.00	ERROR 3.25/3.23
From_T2/select.t2.smt2 11762101	timeout (wallclock) [out]	MAYBE 298.91/299.00	NO 6.48/6.43
From_T2/select.t2_fixed.smt2 11761878	timeout (wallclock) [out]	MAYBE 298.89/299.00	NO 6.59/6.55
From_T2/selectSort.t2.smt2 11762164	YES 82.22/81.53	YES 61.49/61.50	ERROR 0.34/0.33
From_T2/send-more-money.t2.smt2 11762003	YES 77.52/77.43	YES 20.88/20.88	ERROR 0.14/0.14
From_T2/send-more-money.t2_fixed.smt2 11762595	YES 72.66/72.54	YES 20.34/20.34	ERROR 0.13/0.13
From_T2/seq.t2.smt2 11762471	YES 0.11/0.11	YES 1.03/1.03	ERROR 0.04/0.04
From_T2/sequential_swap.t2.smt2 11761980	YES 0.08/0.08	YES 1.14/1.15	ERROR 0.00/0.01
From_T2/simple.t2.smt2 11762292	MAYBE 0.69/0.67	NO 1.71/1.70	NO 0.15/0.15
From_T2/simpleWhile.t2.smt2 11762065	YES 6.01/5.91	YES 6.48/6.50	ERROR 0.13/0.12
From_T2/simple_array_inversion.t2.smt2 11761953	YES 0.47/0.46	YES 1.25/1.26	ERROR 0.04/0.04
From_T2/simple_control_on_input.t2.smt2 11762194	YES 1.00/0.98	YES 1.46/1.45	ERROR 0.06/0.06
From_T2/simple_control_on_input.t2_fixed.smt2 11762647	YES 0.50/0.49	YES 1.41/1.41	ERROR 0.05/0.05
From_T2/simple_fail.t2.smt2 11761971	YES 0.01/0.01	YES 0.95/0.95	ERROR 0.01/0.01
From_T2/simple_pre.t2.smt2 11762243	YES 0.01/0.01	YES 0.87/0.88	ERROR 0.00/0.00
From_T2/simple_pre1.t2.smt2 11762017	YES 0.01/0.01	YES 1.02/1.03	ERROR 0.00/0.01
From_T2/simple_pre2.t2.smt2 11762304	YES 0.01/0.01	YES 0.85/0.85	ERROR 0.00/0.01
From_T2/simple_pre3.t2.smt2 11762609	YES 0.21/0.21	YES 3.12/1.61	ERROR 0.00/0.01
From_T2/simple_swap_call.t2.smt2 11762109	YES 0.07/0.07	YES 1.12/1.12	ERROR 0.00/0.01
From_T2/simple_test.t2.smt2 11762185	YES 5.03/5.29	YES 2.22/2.22	ERROR 0.17/0.17
From_T2/simple_test2.t2.smt2 11762075	MAYBE 1.51/1.49	NO 1.34/1.33	NO 0.03/0.03
From_T2/slayer-1-filtered.t2.smt2 11762612	timeout (wallclock) [out]	YES 9.10/9.10	ERROR 0.36/0.35
From_T2/slayer-1-rf.t2.smt2 11762047	timeout (wallclock) [out]	YES 13.88/13.88	ERROR 0.57/0.56
From_T2/slayer-2-filtered.t2.smt2 11762499	YES 6.01/6.19	YES 1.43/1.43	ERROR 0.06/0.06
From_T2/slayer-2-filtered.t2_fixed.smt2 11762365	YES 4.63/4.55	YES 1.40/1.40	ERROR 0.04/0.04
From_T2/slayer-3-filtered.t2.smt2 11762543	timeout (wallclock) [out]	MAYBE 298.87/299.00	NO 10.40/10.32
From_T2/slayer-3-new.t2.smt2 11762345	timeout (wallclock) [out]	MAYBE 298.89/299.00	ERROR 253.97/258.46
From_T2/slayer-3-new.t2_fixed.smt2 11762262	timeout (wallclock) [out]	MAYBE 298.87/299.00	NO 74.42/74.28
From_T2/slayer-3.t2.smt2 11762590	timeout (wallclock) [out]	MAYBE 298.9/299.00	ERROR 254.05/259.65
From_T2/slayer-3.t2_fixed.smt2 11761954	timeout (wallclock) [out]	MAYBE 298.91/299.00	NO 73.62/73.51
From_T2/slayer-4-filtered.t2.smt2 11762412	timeout (wallclock) [out]	MAYBE 298.88/299.00	NO 253.94/258.98
From_T2/slayer-5-filtered.t2.smt2 11762374	timeout (wallclock) [out]	MAYBE 298.8/299.00	NO 1.92/1.90
From_T2/slayer-n1-filtered.t2.smt2 11762494	MAYBE 145.79/144.24	NO 6.30/6.30	NO 0.20/0.20
From_T2/slayer-n1.t2.smt2 11762150	timeout (wallclock) [out]	NO 53.79/53.79	NO 0.47/0.47
From_T2/slayer-n1.t2_fixed.smt2 11762652	timeout (wallclock) [out]	NO 93.41/93.43	NO 0.77/0.76
From_T2/slayer-n2-filtered.t2.smt2 11762619	MAYBE 6.51/6.41	NO 11.58/11.84	NO 0.04/0.04
From_T2/slayer-n2.t2.smt2 11762488	MAYBE 4.37/4.31	NO 10.74/12.01	NO 0.03/0.03
From_T2/slayer-n3-filtered.t2.smt2 11762579	timeout (wallclock) [out]	MAYBE 298.91/299.00	ERROR 0.09/0.09
From_T2/slayer-n3-filtered.t2_fixed.smt2 11762239	timeout (wallclock) [out]	MAYBE 298.81/299.00	ERROR 0.08/0.08
From_T2/slayer-n5-filtered.t2.smt2 11762330	timeout (wallclock) [out]	NO 53.71/53.72	NO 2.21/2.19
From_T2/smagilla-fail.t2.smt2 11762448	MAYBE 3.92/4.10	NO 24.64/24.68	NO 0.64/0.63
From_T2/smagilla-succeed.t2.smt2 11762529	MAYBE 3.94/3.87	NO 47.51/47.86	NO 0.64/0.63
From_T2/smagillb-succeed.t2.smt2 11762395	MAYBE 7.51/7.39	NO 2.48/2.48	NO 0.64/0.64
From_T2/smagillb-succeed.t2_fixed.smt2 11762484	MAYBE 7.45/7.33	NO 2.46/2.46	NO 0.65/0.64
From_T2/smagillc-fail.t2.smt2 11762376	MAYBE 5.63/5.81	NO 26.60/27.46	NO 0.65/0.65
From_T2/smagillc-fail.t2_fixed.smt2 11761885	MAYBE 5.02/5.44	NO 26.50/26.81	NO 0.65/0.65
From_T2/smagillc-succeed.t2.smt2 11762254	MAYBE 5.29/5.20	NO 27.54/27.54	NO 0.63/0.64
From_T2/small01.t2.smt2 11762514	MAYBE 0.83/0.82	NO 1.42/1.42	NO 0.04/0.03
From_T2/small01.t2_fixed.smt2 11762505	MAYBE 1.01/0.99	YES 12.36/12.45	ERROR 0.06/0.06
From_T2/small02.t2.smt2 11762218	MAYBE 3.68/3.61	NO 2.23/2.23	NO 0.03/0.03
From_T2/small03.t2.smt2 11761930	MAYBE 0.47/0.47	NO 1.33/1.33	NO 0.02/0.02
From_T2/small04.t2.smt2 11762410	MAYBE 0.56/0.55	NO 1.31/1.31	NO 0.02/0.02
From_T2/small05.t2.smt2 11762526	MAYBE 0.50/0.49	NO 1.33/1.33	NO 0.03/0.03
From_T2/small06.t2.smt2 11762227	YES 2.57/2.53	YES 3.15/3.15	ERROR 0.18/0.17
From_T2/small07.t2.smt2 11761935	MAYBE 14.69/14.79	YES 26.20/26.21	ERROR 0.52/0.50
From_T2/small08.t2.smt2 11762420	MAYBE 20.13/19.84	YES 29.56/29.59	ERROR 0.51/0.49
From_T2/small09.t2.smt2 11762509	MAYBE 32.64/32.38	YES 30.01/30.02	ERROR 0.52/0.51
From_T2/small10.t2.smt2 11762569	MAYBE 3.66/3.67	NO 2.11/2.11	NO 0.93/0.92
From_T2/small11.t2.smt2 11762273	MAYBE 0.07/0.07	NO 1.28/1.28	NO 0.11/0.11
From_T2/small12.t2.smt2 11761972	YES 2.10/1.08	YES 2.19/2.21	ERROR 0.07/0.07
From_T2/small13.t2.smt2 11762084	MAYBE 2.07/2.04	YES 3.75/3.75	ERROR 0.14/0.14
From_T2/small14.t2.smt2 11762563	MAYBE 40.39/39.95	NO 6.86/6.87	NO 2.88/2.84
From_T2/small15.t2.smt2 11762260	MAYBE 2.55/2.57	NO 1.73/1.73	NO 0.27/0.27
From_T2/small16.t2.smt2 11761965	MAYBE 1.33/1.30	MAYBE 22.37/23.94	NO 0.27/0.27
From_T2/small17.t2.smt2 11762072	MAYBE 0.58/0.57	MAYBE 19.45/19.64	NO 0.16/0.16
From_T2/small18.t2.smt2 11762571	MAYBE 0.70/0.69	MAYBE 21.79/23.61	NO 0.16/0.16
From_T2/small19.t2.smt2 11762242	MAYBE 3.47/3.40	YES 8.43/8.43	ERROR 0.14/0.13
From_T2/small20.t2.smt2 11761920	YES 3.09/3.04	YES 15.43/15.55	ERROR 0.09/0.09
From_T2/small21.t2.smt2 11762192	YES 2.84/2.80	YES 15.26/15.32	ERROR 0.08/0.08
From_T2/small22.t2.smt2 11762557	MAYBE 2.30/2.26	NO 2.61/2.61	NO 0.44/0.43
From_T2/small23.t2.smt2 11762438	MAYBE 3.20/3.13	NO 2.66/2.66	NO 0.15/0.15
From_T2/small24.t2.smt2 11761912	MAYBE 0.23/0.22	NO 1.29/1.29	NO 0.02/0.02
From_T2/small26.t2.smt2 11762547	YES 1.22/1.19	YES 1.06/1.05	ERROR 0.05/0.05
From_T2/small27.t2.smt2 11762425	YES 0.01/0.01	YES 0.92/0.92	ERROR 0.01/0.01
From_T2/small28.t2.smt2 11761900	YES 1.22/1.20	YES 1.05/1.05	ERROR 0.04/0.04
From_T2/small29.t2.smt2 11762203	MAYBE 1.25/1.22	NO 1.27/1.32	NO 0.04/0.04
From_T2/small31.t2.smt2 11761937	YES 0.03/0.03	YES 0.91/0.90	ERROR 0.00/0.01
From_T2/small32.t2.smt2 11762287	YES 0.01/0.01	YES 0.92/0.92	ERROR 0.00/0.01
From_T2/small33.t2.smt2 11762588	YES 0.01/0.02	YES 0.95/0.96	ERROR 0.00/0.01
From_T2/small34.t2.smt2 11762059	YES 0.14/0.13	YES 1.01/1.02	ERROR 0.04/0.04
From_T2/small35.t2.smt2 11761952	MAYBE 1.23/1.22	NO 1.41/1.41	NO 0.02/0.02
From_T2/sort.t2.smt2 11762253	timeout (wallclock) [out]	MAYBE 298.92/299.00	ERROR 1.54/1.52
From_T2/sort.t2_fixed.smt2 11762138	timeout (wallclock) [out]	MAYBE 298.92/299.00	ERROR 1.46/1.44
From_T2/spctrm.c.i.spctrm.pl.t2.fixed.t2.smt2 11761915	timeout (wallclock) [out]	MAYBE 298.96/299.00	ERROR 12.28/12.16
From_T2/spctrm.t2.smt2 11762184	timeout (wallclock) [out]	MAYBE 298.89/299.00	ERROR 11.07/10.96
From_T2/spiral.t2.smt2 11762210	MAYBE 14.89/14.61	MAYBE 298.82/299.00	ERROR 0.49/0.48
From_T2/spiral.t2_fixed.smt2 11762350	MAYBE 28.89/28.50	YES 21.35/21.31	ERROR 0.64/0.62
From_T2/st88.bug.t2.smt2 11762512	MAYBE 13.60/13.35	NO 10.14/10.13	NO 1.56/1.53
From_T2/st88.bug.t2_fixed.smt2 11762549	MAYBE 8.19/8.07	NO 7.66/7.67	NO 0.74/0.73
From_T2/st88.t2.smt2 11761948	MAYBE 14.30/14.14	NO 8.99/8.99	NO 0.94/0.92
From_T2/st88.t2_fixed.smt2 11762049	MAYBE 7.67/7.54	NO 152.69/152.71	NO 0.41/0.41
From_T2/st88b-fail.t2.smt2 11762147	MAYBE 12.97/12.87	NO 7.94/7.94	NO 1.88/1.87
From_T2/st88b-succeed.t2.smt2 11762463	MAYBE 13.50/13.31	NO 8.04/8.18	NO 1.03/1.02
From_T2/statemate.t2.smt2 11762628	timeout (wallclock) [out]	MAYBE 298.85/299.00	ERROR 255.19/259.05
From_T2/statemate.t2_fixed.smt2 11761901	timeout (wallclock) [out]	MAYBE 298.92/299.00	ERROR 254.75/259.59
From_T2/stored.t2.smt2 11761938	MAYBE 5.28/5.19	NO 4.17/4.17	NO 0.16/0.16
From_T2/streamserver-succeed.t2.smt2 11762400	MAYBE 116.39/114.71	NO 13.91/13.91	NO 8.69/8.66
From_T2/streamserver-succeed.t2_fixed.smt2 11761923	ERROR 109.08/107.66	NO 13.50/13.50	NO 7.99/7.96
From_T2/streamserver.bug.t2.smt2 11762493	MAYBE 98.63/97.30	MAYBE 298.95/299.00	NO 5.40/5.35
From_T2/streamserver.bug.t2_fixed.smt2 11762313	MAYBE 142.18/142.66	MAYBE 298.91/299.00	NO 5.38/5.33
From_T2/subpoly_crash.t2.smt2 11761989	MAYBE 0.48/0.47	NO 1.39/1.38	NO 0.03/0.03
From_T2/sudoku.t2.smt2 11761939	timeout (wallclock) [out]	MAYBE 298.94/299.00	ERROR 7.71/7.61
From_T2/svdcmp.c.i.svdcmp.pl.t2.fixed.t2.smt2 11762019	timeout (wallclock) [out]	MAYBE 298.9/299.00	ERROR 43.82/43.67
From_T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2.smt2 11761868	timeout (wallclock) [out]	MAYBE 298.91/299.00	ERROR 33.11/32.98
From_T2/svdcmp.t2.smt2 11762360	timeout (wallclock) [out]	MAYBE 298.93/299.00	ERROR 37.31/37.21
From_T2/svdcmp.t2_fixed.smt2 11762235	timeout (wallclock) [out]	MAYBE 298.8/299.00	ERROR 337.31/299.61
From_T2/test_byron_2.t2.smt2 11761862	MAYBE 0.62/0.61	NO 1.56/1.55	NO 0.05/0.05
From_T2/toeplz.c.i.toeplz.pl.t2.fixed.t2.smt2 11762444	timeout (wallclock) [out]	MAYBE 298.95/299.00	ERROR 2.40/2.38
From_T2/toeplz.t2.smt2 11762527	timeout (wallclock) [out]	MAYBE 298.94/299.00	ERROR 2.66/2.65
From_T2/tqli.c.i.tqli.pl.t2.fixed.t2.smt2 11761985	timeout (wallclock) [out]	MAYBE 298.83/299.00	NO 4.68/4.66
From_T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2.smt2 11762544	timeout (wallclock) [out]	MAYBE 298.92/299.00	NO 4.24/4.22
From_T2/tqli.t2.smt2 11762025	timeout (wallclock) [out]	MAYBE 298.93/299.00	NO 4.62/4.60
From_T2/tqli.t2_fixed.smt2 11762255	timeout (wallclock) [out]	MAYBE 298.9/299.00	NO 4.22/4.19
From_T2/traverse.t2.smt2 11762363	timeout (wallclock) [out]	YES 180.85/180.87	ERROR 1.71/1.70
From_T2/traverse.t2_fixed.smt2 11762600	timeout (wallclock) [out]	MAYBE 298.93/299.00	ERROR 1.89/1.88
From_T2/traverse2.t2.smt2 11762396	timeout (wallclock) [out]	YES 297.60/297.69	ERROR 2.61/2.60
From_T2/traverse2.t2_fixed.smt2 11762158	timeout (wallclock) [out]	MAYBE 298.92/299.00	ERROR 2.94/2.94
From_T2/traverse_seg.t2.smt2 11762516	timeout (wallclock) [out]	MAYBE 298.89/299.00	ERROR 2.40/2.41
From_T2/traverse_seg.t2_fixed.smt2 11762577	timeout (wallclock) [out]	MAYBE 298.88/299.00	ERROR 2.55/2.53
From_T2/traverse_seg2.t2.smt2 11761904	timeout (wallclock) [out]	YES 199.27/199.38	ERROR 1.89/1.88
From_T2/traverse_seg2.t2_fixed.smt2 11762384	timeout (wallclock) [out]	MAYBE 298.93/299.00	ERROR 2.09/2.08
From_T2/traverse_twice.t2.smt2 11762026	timeout (wallclock) [out]	MAYBE 298.91/299.00	ERROR 3.55/3.55
From_T2/traverse_twice.t2_fixed.smt2 11762256	timeout (wallclock) [out]	MAYBE 298.92/299.00	ERROR 3.01/2.99
From_T2/two_arrays.t2.smt2 11762007	YES 59.54/58.69	YES 4.41/4.53	ERROR 0.27/0.26
From_T2/two_arrays.t2_fixed.smt2 11762555	YES 48.78/48.00	YES 4.10/4.10	ERROR 0.23/0.23
From_T2/two_arrays1.t2.smt2 11762064	YES 214.47/215.33	YES 6.27/6.26	ERROR 0.37/0.37
From_T2/two_arrays1.t2_fixed.smt2 11761890	YES 105.94/104.79	YES 5.69/5.69	ERROR 0.30/0.29
From_T2/two_arrays2.t2.smt2 11762578	YES 132.48/133.24	YES 6.23/6.52	ERROR 0.37/0.36
From_T2/two_arrays6.t2.smt2 11762574	YES 106.09/105.07	YES 6.25/6.52	ERROR 0.32/0.31
From_T2/ud.t2.smt2 11761850	timeout (wallclock) [out]	MAYBE 298.93/299.00	ERROR 4.42/4.38
From_T2/ud.t2_fixed.smt2 11761931	timeout (wallclock) [out]	MAYBE 298.82/299.00	ERROR 3.48/3.45
From_T2/vmcai_bytes.t2.smt2 11762252	YES 0.01/0.01	YES 0.83/0.83	ERROR 0.00/0.00
From_T2/w1.t2.smt2 11762644	MAYBE 0.26/0.25	NO 1.42/1.43	NO 0.05/0.04
From_T2/w2_nt.t2.smt2 11762080	ERROR 248.65/246.31	NO 9.69/9.78	NO 0.25/0.25
From_T2/w3_nt.t2.smt2 11762356	ERROR 258.30/256.0	NO 28.46/14.28	NO 0.74/0.74
From_T2/walk.t2.smt2 11762486	MAYBE 84.89/83.67	NO 8.22/8.22	NO 0.56/0.56
From_T2/walk.t2_fixed.smt2 11762368	ERROR 85.44/84.78	NO 8.13/8.14	NO 0.58/0.58
From_T2/weakness.t2.smt2 11762074	MAYBE 3.01/2.95	YES 1.23/1.22	ERROR 0.41/0.41
From_T2/whatwhat.t2.smt2 11762093	MAYBE 0.85/0.84	YES 7.45/8.60	ERROR 0.09/0.08
From_T2/wrap.c.t2.smt2 11762437	timeout (wallclock) [out]	MAYBE 298.94/299.00	ERROR 4.20/4.18
From_T2/wrong_loop.t2.smt2 11762234	MAYBE 11.39/11.18	NO 5.09/5.09	NO 0.86/0.85
From_T2/wrong_loop.t2_fixed.smt2 11762570	MAYBE 3.90/3.83	MAYBE 43.63/43.79	NO 0.25/0.24
From_T2/wtf.t2.smt2 11762054	MAYBE 278.63/278.36	MAYBE 299.0/299.00	ERROR 18.54/18.45
From_T2/zeroconf.t2.smt2 11762061	timeout (wallclock) [out]	MAYBE 298.91/299.00	ERROR 31.49/31.23
From_T2/zeroconf_withassume.t2.smt2 11762525	timeout (wallclock) [out]	MAYBE 298.92/299.00	ERROR 36.42/36.09
From_T2/zlib-adler32.c.t2.smt2 11762087	MAYBE 276.77/275.95	NO 25.46/25.46	NO 2.05/2.03
From_T2/zlib-adler32.c.t2_fixed.smt2 11762341	timeout (wallclock) [out]	YES 132.90/134.43	ERROR 0.84/0.83
From_T2/zlib-crc32-BYFOUR.c.t2.smt2 11761944	MAYBE 247.23/248.73	NO 19.13/19.58	NO 2.55/2.54
From_T2/zlib-crc32-BYFOUR.c.t2_fixed.smt2 11761957	timeout (wallclock) [out]	YES 193.47/193.54	ERROR 0.83/0.82
From_T2/zlib-crc32.c.t2.smt2 11762041	MAYBE 50.07/49.37	NO 5.74/5.73	NO 0.27/0.27
From_T2/zlib-crc32.c.t2_fixed.smt2 11762043	YES 37.15/36.75	YES 6.43/6.42	ERROR 0.15/0.15
From_AProVE_2014/Ackermann.jar-obl-8.smt2 11761797	YES 0.47/0.47	YES 3.08/1.61	ERROR 0.23/0.22
From_AProVE_2014/AckR.jar-obl-8.smt2 11761559	YES 0.61/0.59	YES 1.60/1.70	ERROR 0.27/0.26
From_AProVE_2014/AG313.jar-obl-8.smt2 11761599	YES 0.17/0.17	YES 0.96/0.96	ERROR 0.18/0.18
From_AProVE_2014/Alternate.jar-obl-10.smt2 11761545	timeout (wallclock) [out]	MAYBE 298.89/299.00	ERROR 12.77/12.70
From_AProVE_2014/AlternatingGrowReduce.jar-obl-9.smt2 11761483	MAYBE 1.07/1.05	YES 5.75/5.77	ERROR 0.21/0.21
From_AProVE_2014/AlternatingGrowReduce2.jar-obl-9.smt2 11761492	MAYBE 0.98/0.97	MAYBE 26.17/26.26	ERROR 0.24/0.24
From_AProVE_2014/AlternatingGrowReduceRec.jar-obl-9.smt2 11761775	MAYBE 1.13/1.11	YES 5.85/5.84	ERROR 0.22/0.22
From_AProVE_2014/AlternatingGrowReduceRec2.jar-obl-9.smt2 11761624	MAYBE 0.99/0.97	MAYBE 30.32/30.64	ERROR 0.29/0.29
From_AProVE_2014/alternDivWidening_rec.jar-obl-8.smt2 11761611	MAYBE 1.08/1.08	NO 5.43/5.43	NO 0.80/0.80
From_AProVE_2014/alternDivWide_rec.jar-obl-8.smt2 11761777	MAYBE 0.77/0.76	NO 1.83/1.83	NO 0.22/0.22
From_AProVE_2014/alternDiv_rec.jar-obl-8.smt2 11761537	MAYBE 0.58/0.57	NO 1.41/1.40	NO 0.08/0.08
From_AProVE_2014/alternKonv_rec.jar-obl-8.smt2 11761755	MAYBE 0.66/0.65	NO 2.47/2.47	NO 1.46/1.45
From_AProVE_2014/AppE.jar-obl-9.smt2 11761450	YES 0.80/0.81	YES 1.55/1.55	ERROR 1.26/1.26
From_AProVE_2014/AProVE12-cyclic-Iterate.jar-obl-9.smt2 11761513	MAYBE 1.59/1.56	YES 7.36/7.36	ERROR 1.89/1.88
From_AProVE_2014/AProVE12-cyclic-Length.jar-obl-9.smt2 11761709	MAYBE 1.09/1.48	YES 6.46/6.48	ERROR 0.24/0.24
From_AProVE_2014/AProVE12-cyclic-Visit.jar-obl-9.smt2 11761511	MAYBE 0.61/0.60	MAYBE 17.11/17.31	NO 0.16/0.16
From_AProVE_2014/AProVEMath.jar-obl-8.smt2 11761543	YES 1.21/1.20	YES 2.34/2.35	ERROR 1.27/1.26
From_AProVE_2014/AProVEMathRecursive.jar-obl-8.smt2 11761602	YES 6.07/5.98	YES 4.50/4.50	ERROR 1.58/1.57
From_AProVE_2014/Avg.jar-obl-8.smt2 11761616	MAYBE 0.66/0.66	YES 1.11/1.11	ERROR 0.15/0.14
From_AProVE_2014/BinarySearch.jar-obl-9.smt2 11761794	timeout (wallclock) [out]	MAYBE 298.82/299.00	ERROR 88.31/88.21
From_AProVE_2014/BinarySearchTree.jar-obl-8.smt2 11761555	YES 0.68/0.67	YES 1.38/1.38	ERROR 1.86/1.86
From_AProVE_2014/Binomial.jar-obl-9.smt2 11761825	timeout (wallclock) [out]	MAYBE 298.81/299.00	ERROR 4.38/4.35
From_AProVE_2014/BinTreeChanger.jar-obl-10.smt2 11761557	MAYBE 12.78/12.60	MAYBE 55.59/56.51	ERROR 16.85/16.77
From_AProVE_2014/BMOG_CAV_12_MarkingGraphVisitor.jar-obl-11.smt2 11761731	MAYBE 12.97/12.84	MAYBE 223.74/224.66	NO 1.86/1.84
From_AProVE_2014/Break.jar-obl-8.smt2 11761790	YES 0.19/0.18	YES 0.93/0.93	ERROR 0.04/0.03
From_AProVE_2014/BTree.jar-obl-9.smt2 11761816	YES 2.02/1.98	YES 2.20/2.20	ERROR 1.41/1.40
From_AProVE_2014/BTreeR.jar-obl-9.smt2 11761652	YES 2.90/2.85	YES 6.65/6.66	ERROR 1.49/1.48
From_AProVE_2014/BubbleSort.jar-obl-8.smt2 11761476	YES 7.95/7.81	YES 107.25/107.29	ERROR 0.70/0.70
From_AProVE_2014/BubbleSortR.jar-obl-10.smt2 11761573	YES 36.68/36.32	YES 4.21/4.23	ERROR 3.71/3.71
From_AProVE_2014/CAppE.jar-obl-9.smt2 11761570	YES 0.35/0.35	YES 1.24/1.23	ERROR 0.08/0.08
From_AProVE_2014/Carre.jar-obl-9.smt2 11761532	YES 14.64/14.40	YES 78.70/79.34	ERROR 16.42/16.41
From_AProVE_2014/Choose.jar-obl-8.smt2 11761544	MAYBE 0.28/0.27	NO 7.69/7.70	ERROR 0.20/0.20
From_AProVE_2014/ChooseLife.jar-obl-8.smt2 11761562	MAYBE 0.38/0.37	MAYBE 14.23/14.36	NO 0.04/0.04
From_AProVE_2014/ClassAnalysis.jar-obl-8.smt2 11761802	YES 0.20/0.20	YES 1.10/1.10	ERROR 0.05/0.05
From_AProVE_2014/ClassAnalysisRec.jar-obl-8.smt2 11761630	YES 0.17/0.17	YES 1.13/1.13	ERROR 0.06/0.06
From_AProVE_2014/Collatz.jar-obl-8.smt2 11761743	MAYBE 3.64/3.57	MAYBE 295.97/299.00	ERROR 1.09/1.08
From_AProVE_2014/complInterv2_rec.jar-obl-8.smt2 11761843	MAYBE 0.48/0.47	NO 1.30/1.30	NO 0.09/0.09
From_AProVE_2014/complInterv3_rec.jar-obl-8.smt2 11761460	MAYBE 0.37/0.37	NO 1.24/1.24	NO 0.08/0.08
From_AProVE_2014/complxStruc_rec.jar-obl-8.smt2 11761577	MAYBE 22.46/22.15	MAYBE 298.61/299.00	ERROR 2.36/2.34
From_AProVE_2014/Continue.jar-obl-8.smt2 11761587	MAYBE 0.07/0.06	NO 0.98/0.98	NO 0.02/0.02
From_AProVE_2014/Continue1.jar-obl-8.smt2 11761467	YES 0.39/0.38	YES 1.05/1.05	ERROR 0.11/0.11
From_AProVE_2014/Convert.jar-obl-9.smt2 11761589	MAYBE 1.04/1.02	NO 1.96/1.96	NO 0.27/0.27
From_AProVE_2014/ConvertRec.jar-obl-9.smt2 11761811	MAYBE 3.06/3.03	NO 4.68/4.71	NO 1.88/1.87
From_AProVE_2014/convLower_rec.jar-obl-8.smt2 11761831	MAYBE 0.41/0.41	NO 1.60/1.60	NO 0.14/0.14
From_AProVE_2014/costa09-example_1.jar-obl-10.smt2 11761621	YES 1.24/1.21	YES 1.43/1.43	ERROR 0.48/0.47
From_AProVE_2014/costa09-example_2.jar-obl-8.smt2 11761810	YES 0.50/0.49	YES 1.27/1.27	ERROR 0.65/0.65
From_AProVE_2014/costa09-example_3.jar-obl-8.smt2 11761442	YES 0.39/0.39	YES 0.97/0.97	ERROR 0.57/0.58
From_AProVE_2014/costa09-example_4.jar-obl-8.smt2 11761479	YES 0.23/0.22	YES 0.99/0.99	ERROR 0.55/0.55
From_AProVE_2014/costa09-example_5.jar-obl-8.smt2 11761846	MAYBE 0.06/0.06	NO 0.98/0.98	NO 0.02/0.02
From_AProVE_2014/Count.jar-obl-10-2.smt2 11761598	MAYBE 6.45/6.39	NO 4.74/4.74	NO 10.29/10.21
From_AProVE_2014/Count.jar-obl-10.smt2 11761837	MAYBE 3.03/2.98	NO 2.88/2.94	NO 5.75/5.67
From_AProVE_2014/CountMetaList.jar-obl-9.smt2 11761799	MAYBE 1.66/1.63	MAYBE 54.19/56.45	NO 1.97/1.96
From_AProVE_2014/CountMetaListRec.jar-obl-9.smt2 11761516	MAYBE 1.65/1.62	MAYBE 56.41/56.73	NO 1.99/1.99
From_AProVE_2014/CountUpRound.jar-obl-8.smt2 11761552	YES 1.97/1.94	YES 4.27/2.17	ERROR 1.60/1.59
From_AProVE_2014/cousot_rec.jar-obl-8.smt2 11761752	MAYBE 20.10/19.81	NO 2.39/2.39	NO 1.05/1.05
From_AProVE_2014/CyclicalListDuplicate.jar-obl-9.smt2 11761779	MAYBE 2.17/2.48	NO 7.19/7.19	NO 0.57/0.56
From_AProVE_2014/CyclicAnalysis.jar-obl-10.smt2 11761497	YES 2.07/2.04	YES 4.28/2.20	ERROR 2.20/2.19
From_AProVE_2014/CyclicAnalysisRec.jar-obl-9.smt2 11761712	YES 1.64/1.63	YES 2.86/2.86	ERROR 0.80/0.80
From_AProVE_2014/CyclicList.jar-obl-9.smt2 11761503	YES 0.90/0.88	YES 1.53/1.53	ERROR 0.18/0.18
From_AProVE_2014/CyclicPair2.jar-obl-8.smt2 11761554	YES 0.20/0.20	YES 0.94/0.93	ERROR 0.05/0.05
From_AProVE_2014/Diff.jar-obl-8.smt2 11761651	YES 22.24/21.99	MAYBE 298.87/299.00	ERROR 0.58/0.57
From_AProVE_2014/Distances.jar-obl-19.smt2 11761448	timeout (wallclock) [out]	MAYBE 298.87/299.00	ERROR 124.54/124.18
From_AProVE_2014/DivMinus.jar-obl-11.smt2 11761620	MAYBE 27.76/27.62	MAYBE 299.64/299.00	NO 18.25/18.20
From_AProVE_2014/DivMinus.jar-obl-8.smt2 11761699	YES 0.24/0.23	YES 0.99/0.99	ERROR 0.13/0.13
From_AProVE_2014/DivMinus2.jar-obl-8.smt2 11761671	YES 7.17/7.06	YES 39.08/39.12	ERROR 0.24/0.24
From_AProVE_2014/DivTernary.jar-obl-10.smt2 11761781	MAYBE 128.08/127.32	NO 147.35/147.34	NO 105.70/105.57
From_AProVE_2014/DivTernary2.jar-obl-9.smt2 11761517	MAYBE 3.78/3.76	NO 3.02/3.02	NO 1.20/1.19
From_AProVE_2014/DivWithoutMinus.jar-obl-8.smt2 11761748	YES 0.38/0.37	YES 1.46/1.46	ERROR 0.51/0.50
From_AProVE_2014/Domino.jar-obl-27.smt2 11761823	timeout (wallclock) [out]	MAYBE 298.83/299.00	ERROR 252.64/253.29
From_AProVE_2014/Double.jar-obl-8.smt2 11761740	YES 0.55/0.54	YES 1.12/1.12	ERROR 1.10/1.41
From_AProVE_2014/Double2.jar-obl-8.smt2 11761461	YES 0.08/0.08	YES 0.92/0.92	ERROR 0.03/0.03
From_AProVE_2014/Double3.jar-obl-8.smt2 11761829	YES 0.09/0.09	YES 0.92/0.92	ERROR 0.04/0.04
From_AProVE_2014/Duplicate.jar-obl-8.smt2 11761550	YES 0.32/0.31	YES 0.96/0.96	ERROR 0.79/0.79
From_AProVE_2014/DuplicateNodes.jar-obl-9.smt2 11761588	YES 2.58/2.76	YES 3.90/3.92	ERROR 1.54/1.49
From_AProVE_2014/DuplicateTreePath.jar-obl-9.smt2 11761686	YES 7.40/7.29	YES 5.20/5.19	ERROR 6.02/5.94
From_AProVE_2014/DupTreeRec.jar-obl-9.smt2 11761819	YES 16.34/16.44	YES 20.04/20.16	ERROR 3.08/3.08
From_AProVE_2014/EqUserDefRec.jar-obl-8.smt2 11761539	YES 0.12/0.11	YES 0.96/1.07	ERROR 0.12/0.12
From_AProVE_2014/Et1-rec.jar-obl-8.smt2 11761708	MAYBE 0.52/0.51	YES 1.20/1.33	ERROR 0.38/0.38
From_AProVE_2014/Et1.jar-obl-8.smt2 11761488	MAYBE 0.35/0.35	YES 1.01/1.01	ERROR 0.12/0.12
From_AProVE_2014/Et2-rec.jar-obl-8.smt2 11761449	MAYBE 0.76/0.75	YES 1.76/1.76	ERROR 0.36/0.36
From_AProVE_2014/Et2.jar-obl-8.smt2 11761668	MAYBE 0.94/0.92	YES 4.22/2.13	ERROR 0.63/0.62
From_AProVE_2014/Et3-rec.jar-obl-8.smt2 11761807	MAYBE 0.56/0.55	YES 1.21/1.21	ERROR 0.20/0.20
From_AProVE_2014/Et3.jar-obl-9.smt2 11761457	MAYBE 0.45/0.44	YES 1.24/1.24	ERROR 1.12/1.11
From_AProVE_2014/Et4-rec.jar-obl-8.smt2 11761766	MAYBE 0.91/0.89	YES 2.06/2.06	ERROR 1.06/1.06
From_AProVE_2014/Et4.jar-obl-8.smt2 11761601	MAYBE 1.09/1.07	YES 2.53/2.53	ERROR 1.39/1.38
From_AProVE_2014/Et5-rec.jar-obl-8.smt2 11761487	YES 1.52/1.50	YES 2.24/2.24	ERROR 2.30/2.29
From_AProVE_2014/Et5.jar-obl-8.smt2 11761643	YES 1.63/2.16	YES 2.42/2.42	ERROR 2.52/2.50
From_AProVE_2014/Et6-rec.jar-obl-8.smt2 11761654	YES 1.36/1.34	YES 2.25/2.25	ERROR 2.89/2.87
From_AProVE_2014/Et6.jar-obl-8.smt2 11761525	YES 1.51/1.75	YES 2.44/2.44	ERROR 3.21/3.20
From_AProVE_2014/EvenOdd.jar-obl-8.smt2 11761480	MAYBE 5.12/5.04	NO 2.01/2.01	NO 0.21/0.21
From_AProVE_2014/even_rec.jar-obl-8.smt2 11761536	MAYBE 0.40/0.39	NO 1.18/1.19	NO 0.04/0.04
From_AProVE_2014/ex01_rec.jar-obl-8.smt2 11761761	MAYBE 0.69/0.68	NO 1.05/1.05	NO 0.07/0.07
From_AProVE_2014/ex02_rec.jar-obl-8.smt2 11761614	MAYBE 0.44/0.43	NO 1.57/1.57	NO 0.24/0.23
From_AProVE_2014/ex03_rec.jar-obl-8.smt2 11761645	MAYBE 0.70/0.69	NO 1.58/1.58	NO 0.15/0.14
From_AProVE_2014/ex04_rec.jar-obl-8.smt2 11761713	MAYBE 0.35/0.34	NO 1.09/1.09	NO 0.04/0.04
From_AProVE_2014/ex05_rec.jar-obl-8.smt2 11761538	MAYBE 0.24/0.23	NO 1.02/1.02	NO 0.03/0.03
From_AProVE_2014/ex06_rec.jar-obl-8.smt2 11761814	MAYBE 0.29/0.29	NO 1.00/1.00	NO 0.03/0.03
From_AProVE_2014/ex07_rec.jar-obl-8.smt2 11761435	MAYBE 0.28/0.27	NO 1.00/1.00	NO 0.03/0.03
From_AProVE_2014/ex08_rec.jar-obl-8.smt2 11761729	MAYBE 10.23/10.07	MAYBE 298.9/299.00	ERROR 0.43/0.42
From_AProVE_2014/Exc.jar-obl-8.smt2 11761658	YES 0.41/0.40	YES 1.07/1.06	ERROR 0.26/0.26
From_AProVE_2014/Exc1.jar-obl-8.smt2 11761491	MAYBE 0.25/0.25	MAYBE 15.50/15.61	NO 0.11/0.11
From_AProVE_2014/Exc2.jar-obl-8.smt2 11761664	MAYBE 0.28/0.28	MAYBE 15.98/17.89	NO 0.12/0.12
From_AProVE_2014/Exc3.jar-obl-8.smt2 11761617	YES 0.42/0.41	YES 1.07/1.06	ERROR 0.11/0.11
From_AProVE_2014/Exc4.jar-obl-8.smt2 11761603	MAYBE 0.30/0.29	MAYBE 15.86/16.04	NO 0.12/0.11
From_AProVE_2014/Exc5.jar-obl-8.smt2 11761648	YES 0.37/0.37	YES 1.06/1.07	ERROR 0.10/0.10
From_AProVE_2014/Factorial.jar-obl-8.smt2 11761576	YES 0.09/0.09	YES 0.92/0.92	ERROR 0.03/0.03
From_AProVE_2014/FactSLR.jar-obl-8.smt2 11761524	MAYBE 1.06/1.05	YES 1.62/1.62	ERROR 0.68/0.67
From_AProVE_2014/FactSum.jar-obl-9.smt2 11761680	YES 0.21/0.21	YES 1.10/1.15	ERROR 0.06/0.06
From_AProVE_2014/FactSumList.jar-obl-8.smt2 11761844	YES 5.22/5.17	YES 3.90/3.90	ERROR 0.73/0.73
From_AProVE_2014/Fibonacci.jar-obl-8.smt2 11761501	YES 1.41/1.40	YES 1.84/1.84	ERROR 0.16/0.16
From_AProVE_2014/FibSLR.jar-obl-8.smt2 11761749	MAYBE 0.67/0.66	YES 1.83/1.83	ERROR 0.70/0.70
From_AProVE_2014/Flatten.jar-obl-10.smt2 11761721	MAYBE 4.69/4.62	NO 2.97/2.97	NO 5.22/5.14
From_AProVE_2014/FlattenRTA.jar-obl-10.smt2 11761714	MAYBE 5.14/5.24	NO 3.40/3.39	NO 6.87/6.79
From_AProVE_2014/FlattenTree.jar-obl-9.smt2 11761769	MAYBE 2.63/2.58	NO 2.87/2.87	NO 4.69/4.61
From_AProVE_2014/FlattenTreeListRec.jar-obl-10.smt2 11761725	MAYBE 4.68/4.60	NO 2.80/2.81	NO 8.16/8.09
From_AProVE_2014/FlattenTreeRec.jar-obl-9.smt2 11761502	MAYBE 2.51/2.64	NO 2.56/2.56	NO 4.27/4.20
From_AProVE_2014/flip2_rec.jar-obl-8.smt2 11761739	MAYBE 1.06/1.04	MAYBE 27.17/27.29	ERROR 0.69/0.69
From_AProVE_2014/flip_rec.jar-obl-8.smt2 11761809	MAYBE 0.38/0.37	MAYBE 14.11/14.26	NO 0.04/0.04
From_AProVE_2014/Fractale1.jar-obl-8.smt2 11761754	YES 24.15/24.01	YES 107.81/107.81	ERROR 7.58/7.57
From_AProVE_2014/GCD.jar-obl-8.smt2 11761774	YES 0.74/0.72	YES 3.85/3.85	ERROR 6.54/6.56
From_AProVE_2014/GCD2.jar-obl-8.smt2 11761540	YES 0.71/0.69	YES 2.90/2.90	ERROR 6.16/6.19
From_AProVE_2014/GCD3.jar-obl-8.smt2 11761702	YES 2.47/2.42	YES 1.54/1.54	ERROR 0.91/0.91
From_AProVE_2014/GCD4.jar-obl-8.smt2 11761733	YES 2.84/2.79	YES 1.75/1.75	ERROR 0.91/0.91
From_AProVE_2014/GCD5.jar-obl-8.smt2 11761575	YES 0.50/0.49	MAYBE 14.34/16.20	ERROR 0.24/0.24
From_AProVE_2014/Gopher.jar-obl-10.smt2 11761632	YES 4.76/4.70	YES 3.68/3.87	ERROR 18.91/18.86
From_AProVE_2014/Graph.jar-obl-17.smt2 11761848	MAYBE 232.6/230.57	MAYBE 298.9/299.00	ERROR 336.66/296.99
From_AProVE_2014/GrowTreeR.jar-obl-9.smt2 11761481	YES 12.55/12.37	YES 50.80/50.81	ERROR 2.33/2.32
From_AProVE_2014/Hanoi.jar-obl-8.smt2 11761504	YES 0.09/0.09	YES 0.92/0.92	ERROR 0.08/0.07
From_AProVE_2014/HanR.jar-obl-8.smt2 11761609	YES 0.29/0.28	YES 1.29/1.30	ERROR 0.06/0.06
From_AProVE_2014/Infix2Postfix.jar-obl-11.smt2 11761580	YES 68.98/68.02	YES 32.16/32.16	ERROR 22.57/22.42
From_AProVE_2014/Init.jar-obl-8.smt2 11761691	MAYBE 0.06/0.06	NO 0.98/0.98	NO 0.02/0.02
From_AProVE_2014/IntListDupRec.jar-obl-9.smt2 11761659	YES 1.16/1.14	YES 2.16/2.16	ERROR 2.10/2.08
From_AProVE_2014/IntListSumRec.jar-obl-9.smt2 11761548	YES 0.48/0.47	YES 1.72/1.73	ERROR 1.18/1.18
From_AProVE_2014/IntRTA.jar-obl-8.smt2 11761535	YES 0.65/0.64	YES 1.04/1.04	ERROR 0.65/0.65
From_AProVE_2014/Iterations.jar-obl-8.smt2 11761466	timeout (wallclock) [out]	MAYBE 298.92/299.00	ERROR 252.05/252.07
From_AProVE_2014/juHashMapCreate.jar-obl-10.smt2 11761533	YES 85.34/84.90	MAYBE 298.92/299.00	ERROR 14.93/14.88
From_AProVE_2014/juHashMapCreateClear.jar-obl-11.smt2 11761768	YES 87.59/86.52	MAYBE 298.85/299.00	ERROR 15.70/15.62
From_AProVE_2014/juHashMapCreateContainsKey.jar-obl-11.smt2 11761518	YES 108.46/107.33	MAYBE 298.88/299.00	ERROR 252.17/253.15
From_AProVE_2014/juHashMapCreateContainsValue.jar-obl-11.smt2 11761542	ERROR 224.0/221.91	MAYBE 298.97/299.00	ERROR 61.94/30.92
From_AProVE_2014/juHashMapCreateGet.jar-obl-11.smt2 11761847	YES 114.16/112.87	MAYBE 298.92/299.00	ERROR 252.17/253.29
From_AProVE_2014/juHashMapCreateIsEmpty.jar-obl-10.smt2 11761556	ERROR 84.98/83.83	MAYBE 298.93/299.00	ERROR 252.13/252.69
From_AProVE_2014/juHashMapCreateIteratorEntryLoop.jar-obl-12.smt2 11761784	YES 184.18/181.78	MAYBE 298.93/299.00	ERROR 148.47/148.40
From_AProVE_2014/juHashMapCreateIteratorKeyLoop.jar-obl-12.smt2 11761489	YES 189.35/187.14	MAYBE 298.91/299.00	ERROR 147.95/147.89
From_AProVE_2014/juHashMapCreateIteratorValueLoop.jar-obl-12.smt2 11761553	YES 178.90/176.67	MAYBE 298.96/299.00	ERROR 149.14/149.06
From_AProVE_2014/juHashMapCreatePut.jar-obl-10.smt2 11761451	YES 86.10/85.31	MAYBE 298.93/299.00	ERROR 252.28/253.42
From_AProVE_2014/juHashMapCreateRemove.jar-obl-11.smt2 11761547	YES 110.77/109.70	MAYBE 298.89/299.00	ERROR 133.14/133.03
From_AProVE_2014/juHashMapCreateSize.jar-obl-10.smt2 11761655	ERROR 85.78/84.70	MAYBE 298.83/299.00	ERROR 32.56/32.49
From_AProVE_2014/juLinkedListCreate.jar-obl-8.smt2 11761507	YES 1.45/1.43	YES 1.91/1.91	ERROR 1.48/1.49
From_AProVE_2014/juLinkedListCreateAdd.jar-obl-8.smt2 11761694	YES 1.58/1.56	YES 3.52/3.52	ERROR 2.21/2.21
From_AProVE_2014/juLinkedListCreateAddAll.jar-obl-11.smt2 11761793	MAYBE 18.58/18.41	MAYBE 298.80/299.00	ERROR 31.73/31.68
From_AProVE_2014/juLinkedListCreateAddAllAt.jar-obl-17.smt2 11761625	MAYBE 71.76/71.55	MAYBE 298.78/299.00	ERROR 201.39/200.90
From_AProVE_2014/juLinkedListCreateAddAt.jar-obl-10.smt2 11761434	YES 15.03/14.87	YES 12.91/12.91	ERROR 8.64/8.60
From_AProVE_2014/juLinkedListCreateAddFirst.jar-obl-8.smt2 11761786	YES 1.65/1.63	YES 3.57/3.60	ERROR 2.21/2.21
From_AProVE_2014/juLinkedListCreateAddLast.jar-obl-8.smt2 11761783	YES 1.65/1.64	YES 3.53/3.53	ERROR 2.21/2.20
From_AProVE_2014/juLinkedListCreateClear.jar-obl-9.smt2 11761615	YES 3.24/3.21	YES 4.01/4.01	ERROR 4.28/4.27
From_AProVE_2014/juLinkedListCreateContains.jar-obl-16.smt2 11761622	timeout (wallclock) [out]	MAYBE 298.88/299.00	ERROR 104.53/104.06
From_AProVE_2014/juLinkedListCreateContainsAll.jar-obl-11.smt2 11761772	timeout (wallclock) [out]	MAYBE 298.91/299.00	ERROR 252.71/256.00
From_AProVE_2014/juLinkedListCreateDescendingIteratorLoop.jar-obl-13.smt2 11761613	YES 88.09/86.90	YES 19.79/19.79	ERROR 12.55/12.51
From_AProVE_2014/juLinkedListCreateElement.jar-obl-8.smt2 11761633	YES 1.95/1.93	YES 4.09/4.10	ERROR 2.68/2.67
From_AProVE_2014/juLinkedListCreateEquals.jar-obl-13.smt2 11761770	timeout (wallclock) [out]	YES 99.17/103.88	ERROR 144.18/144.02
From_AProVE_2014/juLinkedListCreateGet.jar-obl-10.smt2 11761566	YES 9.91/10.07	YES 3.88/3.88	ERROR 3.40/3.39
From_AProVE_2014/juLinkedListCreateGetFirst.jar-obl-8.smt2 11761549	YES 2.49/2.47	YES 4.50/4.50	ERROR 2.70/2.70
From_AProVE_2014/juLinkedListCreateGetLast.jar-obl-8.smt2 11761838	YES 2.03/2.01	YES 4.06/4.06	ERROR 2.68/2.67
From_AProVE_2014/juLinkedListCreateIndexOf.jar-obl-16.smt2 11761820	timeout (wallclock) [out]	MAYBE 298.94/299.00	ERROR 104.77/104.37
From_AProVE_2014/juLinkedListCreateIsEmpty.jar-obl-8.smt2 11761608	YES 1.65/1.63	YES 3.55/3.55	ERROR 2.21/2.20
From_AProVE_2014/juLinkedListCreateIteratorLoop.jar-obl-10.smt2 11761750	YES 13.60/13.50	YES 14.70/14.70	ERROR 23.32/23.29
From_AProVE_2014/juLinkedListCreateLastIndexOf.jar-obl-16.smt2 11761828	timeout (wallclock) [out]	MAYBE 298.92/299.00	ERROR 126.79/126.21
From_AProVE_2014/juLinkedListCreateListIteratorLoop.jar-obl-10.smt2 11761484	YES 13.16/13.06	YES 14.73/14.73	ERROR 24.29/24.31
From_AProVE_2014/juLinkedListCreateOffer.jar-obl-8.smt2 11761792	YES 1.65/1.64	YES 3.67/3.68	ERROR 2.21/2.20
From_AProVE_2014/juLinkedListCreateOfferFirst.jar-obl-8.smt2 11761512	YES 1.65/1.62	YES 3.56/3.56	ERROR 2.21/2.20
From_AProVE_2014/juLinkedListCreateOfferLast.jar-obl-8.smt2 11761841	YES 1.66/1.64	YES 3.51/3.51	ERROR 2.21/2.21
From_AProVE_2014/juLinkedListCreatePeek.jar-obl-8.smt2 11761582	YES 1.94/1.92	YES 4.05/4.05	ERROR 2.69/2.68
From_AProVE_2014/juLinkedListCreatePeekFirst.jar-obl-8.smt2 11761498	YES 1.94/1.91	YES 4.05/4.05	ERROR 2.68/2.68
From_AProVE_2014/juLinkedListCreatePeekLast.jar-obl-8.smt2 11761742	YES 2.01/1.99	YES 4.09/4.09	ERROR 2.68/2.68
From_AProVE_2014/juLinkedListCreatePoll.jar-obl-8.smt2 11761471	YES 2.49/2.46	YES 4.59/4.76	ERROR 2.70/2.69
From_AProVE_2014/juLinkedListCreatePollFirst.jar-obl-8.smt2 11761723	YES 2.47/2.45	YES 4.78/4.79	ERROR 2.69/2.69
From_AProVE_2014/juLinkedListCreatePollLast.jar-obl-8.smt2 11761764	YES 4.64/5.04	YES 6.15/6.15	ERROR 2.78/2.77
From_AProVE_2014/juLinkedListCreatePop.jar-obl-8.smt2 11761560	YES 2.51/2.48	YES 4.69/4.68	ERROR 2.84/2.84
From_AProVE_2014/juLinkedListCreatePush.jar-obl-8.smt2 11761707	YES 1.57/1.55	YES 3.55/3.55	ERROR 2.21/2.20
From_AProVE_2014/juLinkedListCreateRemove.jar-obl-10.smt2 11761711	YES 27.13/26.90	YES 17.34/17.40	ERROR 10.65/10.60
From_AProVE_2014/juLinkedListCreateRemoveAll.jar-obl-11.smt2 11761840	MAYBE 175.07/175.58	MAYBE 298.94/299.00	ERROR 253.02/256.21
From_AProVE_2014/juLinkedListCreateRemoveAt.jar-obl-10.smt2 11761475	YES 25.36/25.14	YES 18.57/18.57	ERROR 11.39/11.33
From_AProVE_2014/juLinkedListCreateRemoveElement.jar-obl-16.smt2 11761641	timeout (wallclock) [out]	MAYBE 298.9/299.00	ERROR 133.66/133.08
From_AProVE_2014/juLinkedListCreateRemoveFirst.jar-obl-8.smt2 11761682	YES 2.51/2.48	YES 4.58/4.58	ERROR 2.84/2.83
From_AProVE_2014/juLinkedListCreateRemoveFirstOccurrence.jar-obl-16.smt2 11761520	timeout (wallclock) [out]	MAYBE 298.92/299.00	ERROR 136.06/135.47
From_AProVE_2014/juLinkedListCreateRemoveLast.jar-obl-8.smt2 11761830	YES 4.63/4.61	YES 6.08/6.08	ERROR 2.79/2.79
From_AProVE_2014/juLinkedListCreateRemoveLastOccurrence.jar-obl-16.smt2 11761660	timeout (wallclock) [out]	MAYBE 298.91/299.00	ERROR 134.84/134.29
From_AProVE_2014/juLinkedListCreateRemoveRange.jar-obl-14.smt2 11761523	timeout (wallclock) [out]	MAYBE 298.86/299.00	ERROR 42.91/42.83
From_AProVE_2014/juLinkedListCreateSet.jar-obl-10.smt2 11761756	YES 11.24/11.15	YES 5.44/5.45	ERROR 4.01/4.00
From_AProVE_2014/juLinkedListCreateSize.jar-obl-8.smt2 11761452	YES 2.50/2.92	YES 1.94/2.03	ERROR 1.47/1.47
From_AProVE_2014/juLinkedListCreateSubList.jar-obl-8.smt2 11761593	YES 1.58/1.56	YES 3.53/3.53	ERROR 2.21/2.21
From_AProVE_2014/juLinkedListCreateToArray.jar-obl-9.smt2 11761815	YES 5.04/4.99	YES 3.92/3.92	ERROR 3.80/3.79
From_AProVE_2014/Kernel68.jar-obl-9.smt2 11761653	YES 36.72/36.23	YES 49.54/49.55	ERROR 4.50/4.48
From_AProVE_2014/Kernel88.jar-obl-9.smt2 11761684	YES 10.23/10.22	YES 6.85/6.85	ERROR 3.50/3.48
From_AProVE_2014/Kernel93.jar-obl-9.smt2 11761795	MAYBE 3.91/3.84	NO 10.28/10.28	ERROR 2.69/2.72
From_AProVE_2014/Kernel95.jar-obl-9.smt2 11761506	YES 3.86/3.81	YES 7.25/7.25	ERROR 4.39/4.35
From_AProVE_2014/KnapsackDP.jar-obl-11.smt2 11761604	MAYBE 12.17/11.98	MAYBE 298.83/299.00	ERROR 3.35/3.32
From_AProVE_2014/LessLeaves.jar-obl-10.smt2 11761499	MAYBE 11.24/11.08	MAYBE 298.96/299.00	NO 6.97/6.88
From_AProVE_2014/LessLeavesRec.jar-obl-10.smt2 11761465	timeout (wallclock) [out]	MAYBE 298.81/299.00	NO 28.56/28.41
From_AProVE_2014/LeUserDefRec.jar-obl-8.smt2 11761796	YES 0.12/0.12	YES 0.96/0.96	ERROR 0.12/0.12
From_AProVE_2014/LinkedList.jar-obl-10.smt2 11761692	MAYBE 0.78/0.77	MAYBE 22.32/22.46	NO 0.81/0.81
From_AProVE_2014/List.jar-obl-12.smt2 11761509	MAYBE 1.41/1.39	MAYBE 26.79/27.04	NO 5.53/5.54
From_AProVE_2014/ListContent.jar-obl-9.smt2 11761440	MAYBE 0.49/0.48	NO 1.40/1.40	NO 0.14/0.14
From_AProVE_2014/ListContentArbitrary.jar-obl-10.smt2 11761468	YES 0.54/0.53	YES 1.65/1.65	ERROR 0.17/0.17
From_AProVE_2014/ListContentTail.jar-obl-10.smt2 11761687	YES 4.86/4.88	YES 2.68/2.69	ERROR 2.38/2.37
From_AProVE_2014/ListDuplicate.jar-obl-9.smt2 11761581	YES 0.83/0.82	YES 1.72/1.72	ERROR 1.24/1.24
From_AProVE_2014/ListInt.jar-obl-12.smt2 11761744	MAYBE 4.00/3.95	MAYBE 93.36/94.12	NO 2.06/2.05
From_AProVE_2014/ListReverseAcyclicList.jar-obl-9.smt2 11761747	YES 0.41/0.42	YES 1.14/1.14	ERROR 0.12/0.12
From_AProVE_2014/ListReverseCyclicList.jar-obl-10.smt2 11761534	YES 3.73/3.68	YES 3.28/3.28	ERROR 3.51/3.50
From_AProVE_2014/ListReversePanhandleList.jar-obl-11.smt2 11761644	YES 4.39/4.34	YES 3.13/3.52	ERROR 6.65/6.64
From_AProVE_2014/Log.jar-obl-8.smt2 11761529	MAYBE 1.52/1.48	YES 15.55/17.52	ERROR 0.59/0.59
From_AProVE_2014/LogAG.jar-obl-8.smt2 11761579	MAYBE 2.40/2.36	YES 6.89/6.89	ERROR 0.64/0.63
From_AProVE_2014/LogBuiltIn.jar-obl-8.smt2 11761463	YES 0.56/0.55	YES 2.25/1.18	ERROR 0.57/0.57
From_AProVE_2014/LogIterative.jar-obl-8.smt2 11761678	YES 0.57/0.56	YES 1.23/1.23	ERROR 1.35/1.35
From_AProVE_2014/LogMult.jar-obl-8.smt2 11761473	YES 0.37/0.36	MAYBE 13.09/15.24	ERROR 0.24/0.24
From_AProVE_2014/LogRecursive.jar-obl-8.smt2 11761710	YES 1.95/1.93	YES 1.99/2.00	ERROR 1.42/1.43
From_AProVE_2014/Loop.jar-obl-8.smt2 11761505	MAYBE 0.06/0.06	NO 0.97/0.97	NO 0.02/0.02
From_AProVE_2014/Loop1.jar-obl-8.smt2 11761595	YES 0.42/0.41	YES 0.99/0.99	ERROR 0.56/0.56
From_AProVE_2014/LoopingNonterm.jar-obl-8.smt2 11761569	MAYBE 0.50/0.49	NO 1.22/1.22	NO 0.22/0.22
From_AProVE_2014/Main.jar-obl-11.smt2 11761530	timeout (wallclock) [out]	MAYBE 298.82/299.00	ERROR 254.07/253.65
From_AProVE_2014/MainCopy.jar-obl-10.smt2 11761724	MAYBE 2.66/2.62	MAYBE 298.56/299.00	NO 4.09/4.07
From_AProVE_2014/MainDelete.jar-obl-10.smt2 11761818	MAYBE 5.12/5.05	MAYBE 298.99/299.00	NO 4.29/4.26
From_AProVE_2014/MainFind.jar-obl-10.smt2 11761827	MAYBE 3.10/3.05	MAYBE 298.89/299.00	NO 4.47/4.45
From_AProVE_2014/MainGet.jar-obl-10.smt2 11761629	MAYBE 2.14/2.11	MAYBE 265.25/265.38	NO 3.52/3.50
From_AProVE_2014/MainMove.jar-obl-11.smt2 11761780	MAYBE 104.31/103.43	MAYBE 298.84/299.00	NO 5.09/5.05
From_AProVE_2014/Matrix.jar-obl-16.smt2 11761558	ERROR 239.84/236.41	MAYBE 298.91/299.00	ERROR 252.15/252.36
From_AProVE_2014/McCarthyIterative.jar-obl-8.smt2 11761584	MAYBE 0.52/0.51	YES 1.13/1.12	ERROR 0.33/0.33
From_AProVE_2014/MergeSort.jar-obl-12.smt2 11761778	YES 58.14/57.32	YES 17.19/17.19	ERROR 7.80/7.76
From_AProVE_2014/MinusBuiltIn.jar-obl-8.smt2 11761821	YES 0.28/0.27	YES 0.95/0.96	ERROR 0.54/0.54
From_AProVE_2014/MinusMin.jar-obl-8.smt2 11761439	MAYBE 2.25/2.22	YES 1.73/1.74	ERROR 0.08/0.08
From_AProVE_2014/MinusUserDefined.jar-obl-8.smt2 11761519	MAYBE 0.79/0.78	YES 1.75/1.76	ERROR 0.39/0.38
From_AProVE_2014/MirrorBinTreeRec.jar-obl-9.smt2 11761801	timeout (wallclock) [out]	MAYBE 298.9/299.00	ERROR 6.85/6.81
From_AProVE_2014/mirrorIntervSim_rec.jar-obl-8.smt2 11761469	MAYBE 0.48/0.47	NO 1.61/1.61	NO 0.13/0.13
From_AProVE_2014/mirrorInterv_rec.jar-obl-8.smt2 11761785	MAYBE 1.05/1.03	NO 4.02/4.17	NO 0.82/0.82
From_AProVE_2014/MirrorMultiTreeRec.jar-obl-9.smt2 11761787	YES 12.53/12.34	YES 17.31/17.32	ERROR 2.31/2.30
From_AProVE_2014/MirrorTree.jar-obl-9.smt2 11761592	YES 2.34/2.30	YES 3.35/3.35	ERROR 1.38/1.33
From_AProVE_2014/Mod.jar-obl-8.smt2 11761689	YES 4.80/4.83	YES 9.78/10.50	ERROR 0.22/0.22
From_AProVE_2014/MultiLasso.jar-obl-8.smt2 11761521	MAYBE 2.59/2.54	MAYBE 36.11/38.04	NO 0.10/0.10
From_AProVE_2014/MysteriousProgram.jar-obl-12.smt2 11761758	MAYBE 98.07/100.72	MAYBE 298.87/299.00	ERROR 10.76/10.71
From_AProVE_2014/narrowing_rec.jar-obl-8.smt2 11761626	ERROR 286.67/282.46	MAYBE 298.91/299.00	ERROR 2.76/2.75
From_AProVE_2014/narrowKonv_rec.jar-obl-8.smt2 11761508	MAYBE 0.53/0.52	MAYBE 98.11/101.93	ERROR 0.78/0.78
From_AProVE_2014/Nest.jar-obl-8.smt2 11761726	YES 0.35/0.34	YES 1.43/1.43	ERROR 0.10/0.10
From_AProVE_2014/Nested.jar-obl-8.smt2 11761672	YES 2.09/2.04	YES 14.43/15.04	ERROR 0.08/0.07
From_AProVE_2014/NestedLoop.jar-obl-10.smt2 11761596	MAYBE 1.04/1.02	YES 24.85/24.87	ERROR 3.06/3.06
From_AProVE_2014/NonPeriodicNonterm2.jar-obl-8.smt2 11761705	MAYBE 0.69/0.67	MAYBE 42.93/43.13	NO 1.33/1.33
From_AProVE_2014/Norm.jar-obl-9.smt2 11761605	MAYBE 33.65/33.10	NO 17.56/17.56	NO 21.06/20.96
From_AProVE_2014/NO_00.jar-obl-8.smt2 11761594	MAYBE 0.06/0.06	NO 0.98/0.98	NO 0.02/0.02
From_AProVE_2014/NO_01.jar-obl-8.smt2 11761640	MAYBE 0.06/0.06	NO 0.97/0.97	NO 0.02/0.02
From_AProVE_2014/NO_02.jar-obl-8.smt2 11761515	MAYBE 0.06/0.06	NO 0.98/0.98	NO 0.02/0.02
From_AProVE_2014/NO_03.jar-obl-8.smt2 11761776	MAYBE 0.27/0.26	NO 1.25/1.25	NO 0.08/0.08
From_AProVE_2014/NO_04.jar-obl-8.smt2 11761760	MAYBE 0.06/0.06	NO 0.98/0.98	NO 0.02/0.02
From_AProVE_2014/NO_05.jar-obl-9.smt2 11761551	MAYBE 0.48/0.47	MAYBE 53.56/55.07	ERROR 0.16/0.16
From_AProVE_2014/NO_06.jar-obl-8.smt2 11761670	MAYBE 0.06/0.06	NO 0.97/0.97	NO 0.02/0.02
From_AProVE_2014/NO_10.jar-obl-8.smt2 11761567	MAYBE 0.32/0.32	NO 1.09/1.08	NO 0.03/0.03
From_AProVE_2014/NO_11.jar-obl-8.smt2 11761722	MAYBE 0.37/0.36	MAYBE 17.38/18.77	NO 0.64/0.64
From_AProVE_2014/NO_12.jar-obl-8.smt2 11761478	MAYBE 0.64/0.63	NO 1.69/1.69	NO 0.21/0.21
From_AProVE_2014/NO_13.jar-obl-8.smt2 11761845	MAYBE 0.55/0.54	MAYBE 23.10/25.14	NO 1.26/1.25
From_AProVE_2014/NO_20.jar-obl-8.smt2 11761527	MAYBE 0.07/0.06	NO 0.97/0.97	NO 0.02/0.02
From_AProVE_2014/NO_21.jar-obl-8.smt2 11761788	MAYBE 0.07/0.06	NO 1.16/1.17	NO 0.02/0.02
From_AProVE_2014/NO_22.jar-obl-8.smt2 11761610	MAYBE 0.35/0.34	MAYBE 18.65/19.12	NO 0.31/0.31
From_AProVE_2014/NO_23.jar-obl-8.smt2 11761656	MAYBE 0.45/0.44	NO 8.70/8.77	NO 0.09/0.09
From_AProVE_2014/NO_24.jar-obl-8.smt2 11761690	MAYBE 0.40/0.39	NO 1.14/1.14	NO 0.04/0.04
From_AProVE_2014/Overflow.jar-obl-8.smt2 11761832	YES 0.31/0.30	YES 0.94/0.94	ERROR 0.04/0.04
From_AProVE_2014/PartitionList.jar-obl-16.smt2 11761472	YES 72.91/72.03	MAYBE 298.99/299.00	ERROR 31.31/31.17
From_AProVE_2014/Parts.jar-obl-9.smt2 11761433	YES 14.83/14.56	MAYBE 298.88/299.00	ERROR 4.01/3.96
From_AProVE_2014/PastaA1.jar-obl-8.smt2 11761606	YES 3.03/2.99	YES 26.67/26.78	ERROR 0.64/0.65
From_AProVE_2014/PastaA10.jar-obl-8.smt2 11761514	YES 0.48/0.47	YES 2.31/2.31	ERROR 1.09/1.08
From_AProVE_2014/PastaA4.jar-obl-8.smt2 11761510	YES 0.28/0.28	YES 0.95/0.95	ERROR 0.54/0.54
From_AProVE_2014/PastaA5.jar-obl-8.smt2 11761773	MAYBE 0.43/0.42	YES 1.05/1.05	ERROR 0.06/0.06
From_AProVE_2014/PastaA6.jar-obl-8.smt2 11761637	MAYBE 0.53/0.52	YES 1.12/1.12	ERROR 0.11/0.11
From_AProVE_2014/PastaA7.jar-obl-8.smt2 11761696	YES 0.36/0.35	YES 0.98/0.98	ERROR 0.58/0.58
From_AProVE_2014/PastaA8.jar-obl-8.smt2 11761572	YES 0.31/0.31	YES 0.94/0.95	ERROR 0.55/0.55
From_AProVE_2014/PastaA9.jar-obl-8.smt2 11761727	YES 0.40/0.39	YES 0.97/0.97	ERROR 0.15/0.15
From_AProVE_2014/PastaB1.jar-obl-8.smt2 11761482	YES 0.28/0.28	YES 0.94/0.94	ERROR 0.55/0.54
From_AProVE_2014/PastaB10.jar-obl-8.smt2 11761456	YES 0.39/0.38	YES 1.55/1.55	ERROR 1.18/1.17
From_AProVE_2014/PastaB11.jar-obl-8.smt2 11761822	MAYBE 0.81/0.80	YES 4.89/4.91	ERROR 1.75/1.75
From_AProVE_2014/PastaB12.jar-obl-8.smt2 11761541	YES 0.26/0.26	YES 1.11/1.10	ERROR 0.12/0.12
From_AProVE_2014/PastaB13.jar-obl-8.smt2 11761703	YES 4.54/4.82	YES 4.59/4.60	ERROR 1.15/1.15
From_AProVE_2014/PastaB14.jar-obl-8.smt2 11761735	YES 0.21/0.21	YES 2.61/2.63	ERROR 0.13/0.13
From_AProVE_2014/PastaB15.jar-obl-8.smt2 11761578	YES 0.48/0.47	YES 2.84/2.83	ERROR 1.18/1.18
From_AProVE_2014/PastaB16.jar-obl-8.smt2 11761808	YES 1.48/1.45	YES 3.47/3.46	ERROR 0.16/0.15
From_AProVE_2014/PastaB17.jar-obl-8.smt2 11761441	YES 3.64/3.58	YES 4.41/4.43	ERROR 1.67/1.67
From_AProVE_2014/PastaB18.jar-obl-8.smt2 11761767	YES 0.38/0.37	YES 4.90/4.90	ERROR 0.65/0.65
From_AProVE_2014/PastaB2.jar-obl-8.smt2 11761717	YES 0.30/0.29	YES 0.95/0.94	ERROR 0.55/0.55
From_AProVE_2014/PastaB3.jar-obl-8.smt2 11761563	YES 0.07/0.07	YES 0.96/0.96	ERROR 0.61/0.61
From_AProVE_2014/PastaB4.jar-obl-8.smt2 11761583	YES 0.07/0.07	YES 0.94/0.94	ERROR 0.03/0.03
From_AProVE_2014/PastaB5.jar-obl-8.smt2 11761746	YES 0.13/0.13	YES 1.18/1.17	ERROR 0.61/0.61
From_AProVE_2014/PastaB6.jar-obl-8.smt2 11761444	YES 0.12/0.12	YES 0.96/0.95	ERROR 0.12/0.12
From_AProVE_2014/PastaB7.jar-obl-8.smt2 11761812	YES 0.34/0.33	YES 0.97/0.97	ERROR 0.58/0.58
From_AProVE_2014/PastaB8.jar-obl-8.smt2 11761493	YES 1.04/1.02	YES 1.97/1.97	ERROR 1.37/1.36
From_AProVE_2014/PastaC1.jar-obl-8.smt2 11761522	YES 2.72/2.66	YES 24.24/24.29	ERROR 1.87/1.87
From_AProVE_2014/PastaC10.jar-obl-8.smt2 11761438	MAYBE 0.62/0.63	YES 1.18/1.17	ERROR 0.16/0.16
From_AProVE_2014/PastaC11.jar-obl-8.smt2 11761806	YES 0.35/0.34	YES 1.30/1.29	ERROR 0.12/0.11
From_AProVE_2014/PastaC2.jar-obl-8.smt2 11761638	YES 2.62/2.57	YES 5.28/5.67	ERROR 0.08/0.08
From_AProVE_2014/PastaC3.jar-obl-8.smt2 11761591	YES 0.96/0.94	YES 1.15/1.15	ERROR 1.19/1.19
From_AProVE_2014/PastaC5.jar-obl-8.smt2 11761674	YES 0.40/0.39	YES 1.13/1.13	ERROR 2.28/2.27
From_AProVE_2014/PastaC7.jar-obl-8.smt2 11761757	YES 0.25/0.25	YES 0.98/0.97	ERROR 0.56/0.56
From_AProVE_2014/PastaC9.jar-obl-8.smt2 11761813	YES 0.54/0.53	YES 1.46/1.46	ERROR 0.25/0.25
From_AProVE_2014/PlusSwap.jar-obl-8.smt2 11761462	MAYBE 0.33/0.32	YES 1.05/1.05	ERROR 0.12/0.12
From_AProVE_2014/Power.jar-obl-10.smt2 11761669	YES 27.03/26.60	MAYBE 298.87/299.00	ERROR 252.15/252.83
From_AProVE_2014/Queen.jar-obl-10.smt2 11761771	MAYBE 3.23/3.17	MAYBE 298.85/299.00	NO 5.84/5.80
From_AProVE_2014/QuicksortRec.jar-obl-9.smt2 11761804	YES 30.46/30.45	MAYBE 298.9/299.00	ERROR 7.25/7.22
From_AProVE_2014/RandomHard.jar-obl-10.smt2 11761650	MAYBE 115.31/116.35	MAYBE 298.85/299.00	NO 60.87/60.88
From_AProVE_2014/Recursions.jar-obl-13.smt2 11761759	YES 3.11/3.05	YES 2.16/2.17	ERROR 0.90/0.90
From_AProVE_2014/RetValRec.jar-obl-8.smt2 11761662	MAYBE 0.43/0.42	YES 8.22/8.27	ERROR 0.05/0.05
From_AProVE_2014/RotateTree.jar-obl-10.smt2 11761561	YES 5.09/5.03	YES 3.99/3.99	ERROR 7.32/7.25
From_AProVE_2014/Round3.jar-obl-8.smt2 11761695	MAYBE 1.06/1.04	MAYBE 18.20/18.88	ERROR 0.58/0.58
From_AProVE_2014/RSA.jar-obl-17.smt2 11761800	timeout (wallclock) [out]	MAYBE 298.89/299.00	ERROR 38.93/38.81
From_AProVE_2014/RunningPointers.jar-obl-9.smt2 11761826	YES 0.37/0.36	YES 1.27/1.27	ERROR 0.16/0.16
From_AProVE_2014/Samefringe.jar-obl-10.smt2 11761546	MAYBE 3.31/3.27	MAYBE 298.91/299.00	NO 5.41/5.34
From_AProVE_2014/SearchTreeR.jar-obl-9.smt2 11761734	YES 4.42/4.37	YES 3.24/3.23	ERROR 4.89/4.85
From_AProVE_2014/Sequence.jar-obl-9.smt2 11761728	YES 0.40/0.39	YES 1.10/1.10	ERROR 0.08/0.07
From_AProVE_2014/Sharing.jar-obl-8.smt2 11761618	YES 0.14/0.14	YES 0.92/0.94	ERROR 0.04/0.04
From_AProVE_2014/SharingAnalysis.jar-obl-9.smt2 11761676	YES 0.72/0.71	YES 1.33/1.33	ERROR 1.17/1.17
From_AProVE_2014/SharingAnalysisRec.jar-obl-9.smt2 11761454	YES 0.85/0.84	YES 1.71/1.71	ERROR 0.16/0.16
From_AProVE_2014/SharingPair.jar-obl-8.smt2 11761833	MAYBE 0.59/0.69	NO 30.65/16.40	NO 0.19/0.19
From_AProVE_2014/Shuffle.jar-obl-10.smt2 11761647	MAYBE 1.16/1.15	MAYBE 24.76/25.72	NO 1.15/1.14
From_AProVE_2014/SortCount.jar-obl-10.smt2 11761835	MAYBE 3.74/3.69	MAYBE 298.78/299.00	ERROR 4.42/4.43
From_AProVE_2014/StupidArray.jar-obl-8.smt2 11761745	YES 0.04/0.04	YES 0.99/0.99	ERROR 0.54/0.54
From_AProVE_2014/Sudoku.jar-obl-14.smt2 11761528	ERROR 71.01/69.99	MAYBE 298.94/299.00	ERROR 4.66/4.60
From_AProVE_2014/sumGeneric2_rec.jar-obl-8.smt2 11761455	MAYBE 0.52/0.52	NO 1.37/1.36	NO 1.17/1.17
From_AProVE_2014/sumGeneric_rec.jar-obl-8.smt2 11761574	MAYBE 0.46/0.45	NO 1.13/1.12	NO 0.05/0.05
From_AProVE_2014/sum_rec.jar-obl-8.smt2 11761716	MAYBE 0.28/0.29	NO 1.26/1.26	NO 1.15/1.15
From_AProVE_2014/sunset_rec.jar-obl-8.smt2 11761798	MAYBE 0.68/0.66	MAYBE 104.39/105.39	NO 0.27/0.26
From_AProVE_2014/Swingers.jar-obl-8.smt2 11761458	MAYBE 0.38/0.38	MAYBE 15.04/15.15	NO 0.04/0.04
From_AProVE_2014/Take.jar-obl-8.smt2 11761791	YES 1.14/1.12	YES 1.06/1.06	ERROR 0.64/0.64
From_AProVE_2014/TaylorSeriesIte.jar-obl-13.smt2 11761446	YES 291.79/289.12	MAYBE 309.99/299.00	ERROR 24.25/24.15
From_AProVE_2014/TaylorSeriesRec.jar-obl-13.smt2 11761477	YES 271.42/274.16	MAYBE 298.92/299.00	ERROR 21.68/21.59
From_AProVE_2014/TermCreateCollect.jar-obl-9.smt2 11761649	YES 4.68/4.61	YES 4.57/4.57	ERROR 2.16/2.15
From_AProVE_2014/TerminatorRec01.jar-obl-8.smt2 11761667	YES 1.62/1.59	YES 4.71/4.72	ERROR 0.15/0.15
From_AProVE_2014/TerminatorRec02.jar-obl-8.smt2 11761485	YES 0.30/0.30	YES 0.94/0.94	ERROR 0.04/0.04
From_AProVE_2014/TerminatorRec03.jar-obl-8.smt2 11761753	MAYBE 0.50/0.49	NO 1.30/1.30	NO 0.12/0.12
From_AProVE_2014/TerminatorRec04.jar-obl-9.smt2 11761741	MAYBE 0.51/0.50	NO 1.22/1.22	NO 0.07/0.07
From_AProVE_2014/TermsCreateMatch.jar-obl-9.smt2 11761697	YES 18.56/18.37	YES 14.60/14.60	ERROR 7.30/7.27
From_AProVE_2014/Test1.jar-obl-8.smt2 11761677	MAYBE 1.80/1.77	YES 21.84/21.91	ERROR 2.59/2.57
From_AProVE_2014/Test10.jar-obl-9.smt2 11761679	YES 3.20/1.63	YES 2.86/2.86	ERROR 0.26/0.25
From_AProVE_2014/Test11.jar-obl-8.smt2 11761470	MAYBE 2.84/3.14	YES 20.50/20.50	ERROR 3.51/3.48
From_AProVE_2014/Test12.jar-obl-8.smt2 11761715	MAYBE 0.93/0.92	YES 2.69/2.69	ERROR 1.69/1.68
From_AProVE_2014/Test13Loops.jar-obl-10.smt2 11761681	MAYBE 1.39/1.36	NO 1.81/1.81	NO 2.82/2.82
From_AProVE_2014/Test2.jar-obl-8.smt2 11761496	MAYBE 1.63/1.62	YES 21.19/21.21	ERROR 1.96/1.95
From_AProVE_2014/Test3.jar-obl-10.smt2 11761623	MAYBE 4.05/4.00	YES 13.56/13.56	ERROR 2.56/2.54
From_AProVE_2014/Test4.jar-obl-10.smt2 11761732	timeout (wallclock) [out]	MAYBE 298.94/299.00	NO 69.27/69.12
From_AProVE_2014/Test5.jar-obl-11.smt2 11761839	MAYBE 3.43/3.38	YES 8.83/8.83	ERROR 7.80/7.78
From_AProVE_2014/Test6.jar-obl-13.smt2 11761564	MAYBE 302.21/297.81	MAYBE 298.82/299.00	ERROR 219.52/219.08
From_AProVE_2014/Test7.jar-obl-11.smt2 11761706	MAYBE 1.30/1.28	MAYBE 98.95/99.16	NO 2.19/2.18
From_AProVE_2014/Test8.jar-obl-12.smt2 11761531	MAYBE 1.41/1.38	YES 2.02/2.02	ERROR 0.29/0.28
From_AProVE_2014/Test9.jar-obl-20.smt2 11761736	YES 3.23/3.17	YES 4.99/5.01	ERROR 1.20/1.18
From_AProVE_2014/TestJulia6.jar-obl-8.smt2 11761666	MAYBE 0.06/0.06	NO 1.10/1.10	NO 0.02/0.02
From_AProVE_2014/TestJulia7.jar-obl-8.smt2 11761619	MAYBE 0.27/0.26	MAYBE 12.09/12.89	NO 0.04/0.04
From_AProVE_2014/TimesPlusUserDef.jar-obl-9.smt2 11761445	YES 0.82/0.80	YES 1.81/1.82	ERROR 0.15/0.15
From_AProVE_2014/TreeLeftmostDepth.jar-obl-9.smt2 11761464	YES 3.00/2.98	YES 3.98/3.98	ERROR 8.84/8.73
From_AProVE_2014/TreeLeftmostPath.jar-obl-9.smt2 11761842	YES 2.97/2.94	YES 4.00/4.00	ERROR 7.17/7.10
From_AProVE_2014/TriTas.jar-obl-12.smt2 11761627	MAYBE 27.61/27.46	MAYBE 298.75/299.00	NO 252.56/257.02
From_AProVE_2014/trueDiv_rec.jar-obl-8.smt2 11761526	MAYBE 0.42/0.41	NO 1.36/1.36	NO 0.17/0.17
From_AProVE_2014/TwoWay.jar-obl-8.smt2 11761639	YES 0.17/0.16	YES 0.93/0.93	ERROR 0.04/0.04
From_AProVE_2014/TypeSwitch.jar-obl-8.smt2 11761646	MAYBE 0.97/0.95	NO 1.66/1.66	NO 0.48/0.47
From_AProVE_2014/upAndDownIneq_rec.jar-obl-8.smt2 11761436	MAYBE 3.61/3.55	MAYBE 298.92/299.00	ERROR 0.89/0.85
From_AProVE_2014/upAndDown_rec.jar-obl-8.smt2 11761636	MAYBE 1.65/1.74	MAYBE 98.10/98.37	ERROR 0.36/0.36
From_AProVE_2014/Velroyen08-alternatingIncr.jar-obl-8.smt2 11761817	MAYBE 2.52/2.48	MAYBE 299.38/299.00	ERROR 1.14/1.12
From_AProVE_2014/Velroyen08-alternDiv.jar-obl-8.smt2 11761704	MAYBE 0.53/0.53	NO 1.42/3.05	NO 0.08/0.08
From_AProVE_2014/Velroyen08-alternDivWide.jar-obl-8.smt2 11761719	MAYBE 0.54/0.53	NO 3.26/3.26	NO 0.16/0.15
From_AProVE_2014/Velroyen08-alternDivWidening.jar-obl-8.smt2 11761642	MAYBE 0.89/0.88	NO 4.57/4.57	NO 0.21/0.21
From_AProVE_2014/Velroyen08-alternKonv.jar-obl-8.smt2 11761585	MAYBE 1.13/1.13	NO 4.95/2.70	NO 1.37/1.41
From_AProVE_2014/Velroyen08-collatz.jar-obl-8.smt2 11761782	MAYBE 3.64/7.55	MAYBE 299.94/299.00	ERROR 1.09/1.08
From_AProVE_2014/Velroyen08-complInterv.jar-obl-8.smt2 11761698	MAYBE 0.61/0.61	MAYBE 13.11/14.36	NO 0.13/0.13
From_AProVE_2014/Velroyen08-complInterv2.jar-obl-8.smt2 11761751	MAYBE 0.42/0.41	NO 1.29/1.29	NO 0.15/0.15
From_AProVE_2014/Velroyen08-complInterv3.jar-obl-8.smt2 11761586	MAYBE 0.38/0.37	NO 1.27/1.26	NO 0.08/0.08
From_AProVE_2014/Velroyen08-complxStruc.jar-obl-8.smt2 11761565	MAYBE 1.56/1.53	MAYBE 298.96/299.00	ERROR 2.44/2.47
From_AProVE_2014/Velroyen08-convLower.jar-obl-8.smt2 11761688	MAYBE 0.43/0.42	NO 1.55/1.55	NO 0.14/0.14
From_AProVE_2014/Velroyen08-cousot.jar-obl-8.smt2 11761571	MAYBE 0.48/0.47	NO 1.25/1.25	NO 0.94/0.94
From_AProVE_2014/Velroyen08-even.jar-obl-9.smt2 11761737	MAYBE 0.59/0.57	NO 1.54/1.54	NO 0.13/0.13
From_AProVE_2014/Velroyen08-ex01.jar-obl-8.smt2 11761738	MAYBE 0.38/0.37	NO 1.21/1.21	NO 0.06/0.06
From_AProVE_2014/Velroyen08-ex02.jar-obl-8.smt2 11761437	MAYBE 0.42/0.42	NO 1.56/1.56	NO 0.14/0.13
From_AProVE_2014/Velroyen08-ex03.jar-obl-8.smt2 11761805	MAYBE 0.64/0.62	NO 1.79/1.79	NO 0.15/0.15
From_AProVE_2014/Velroyen08-ex04.jar-obl-8.smt2 11761824	MAYBE 0.43/0.42	NO 1.13/1.13	NO 0.05/0.05
From_AProVE_2014/Velroyen08-ex05.jar-obl-8.smt2 11761459	MAYBE 0.35/0.34	NO 1.08/1.08	NO 0.05/0.05
From_AProVE_2014/Velroyen08-ex06.jar-obl-8.smt2 11761700	MAYBE 1.86/1.83	NO 2.64/2.64	NO 0.34/0.34
From_AProVE_2014/Velroyen08-ex07.jar-obl-9.smt2 11761486	MAYBE 0.65/0.64	NO 1.85/1.85	NO 0.24/0.24
From_AProVE_2014/Velroyen08-ex08.jar-obl-8.smt2 11761657	MAYBE 2.19/2.16	MAYBE 298.81/299.00	ERROR 1.50/1.49
From_AProVE_2014/Velroyen08-ex09half.jar-obl-8.smt2 11761661	MAYBE 4.37/4.29	NO 1.84/1.84	NO 0.72/0.71
From_AProVE_2014/Velroyen08-factorial.jar-obl-8.smt2 11761789	MAYBE 0.80/0.79	MAYBE 44.32/44.62	NO 0.19/0.19
From_AProVE_2014/Velroyen08-fib.jar-obl-8.smt2 11761597	MAYBE 0.68/0.67	MAYBE 31.21/31.43	NO 0.61/0.61
From_AProVE_2014/Velroyen08-flip.jar-obl-8.smt2 11761453	MAYBE 0.37/0.36	NO 1.11/1.11	NO 0.05/0.05
From_AProVE_2014/Velroyen08-flip2.jar-obl-8.smt2 11761628	MAYBE 0.80/0.79	NO 1.96/1.96	ERROR 0.62/0.62
From_AProVE_2014/Velroyen08-gauss.jar-obl-8.smt2 11761665	MAYBE 0.54/0.54	NO 3.26/1.69	NO 1.20/1.20
From_AProVE_2014/Velroyen08-lcm.jar-obl-10.smt2 11761631	MAYBE 3.47/1.77	NO 2.60/2.60	NO 36.43/36.41
From_AProVE_2014/Velroyen08-marbie1.jar-obl-8.smt2 11761494	MAYBE 0.37/0.37	NO 1.05/1.05	NO 0.04/0.04
From_AProVE_2014/Velroyen08-marbie2.jar-obl-8.smt2 11761675	MAYBE 0.39/0.38	NO 1.13/1.12	NO 0.09/0.09
From_AProVE_2014/Velroyen08-middle.jar-obl-8.smt2 11761834	MAYBE 0.44/0.43	NO 1.37/1.37	NO 0.79/0.78
From_AProVE_2014/Velroyen08-mirrorInterv.jar-obl-8.smt2 11761701	MAYBE 0.96/0.94	NO 3.53/3.52	NO 0.51/0.50
From_AProVE_2014/Velroyen08-mirrorIntervSim.jar-obl-8.smt2 11761495	MAYBE 0.44/0.44	NO 1.60/1.60	NO 0.13/0.13
From_AProVE_2014/Velroyen08-moduloLower.jar-obl-8.smt2 11761730	MAYBE 2.31/2.26	NO 2.47/2.47	NO 136.33/136.36
From_AProVE_2014/Velroyen08-moduloUp.jar-obl-8.smt2 11761568	MAYBE 1.71/1.68	NO 7.99/7.99	ERROR 0.86/0.86
From_AProVE_2014/Velroyen08-narrowing.jar-obl-8.smt2 11761836	MAYBE 188.99/186.82	MAYBE 298.88/299.00	ERROR 2.67/2.66
From_AProVE_2014/Velroyen08-narrowKonv.jar-obl-8.smt2 11761685	MAYBE 0.52/0.51	MAYBE 97.91/98.04	ERROR 0.69/0.69
From_AProVE_2014/Velroyen08-plait.jar-obl-8.smt2 11761600	MAYBE 27.28/26.82	MAYBE 298.92/299.00	ERROR 2.58/2.57
From_AProVE_2014/Velroyen08-sunset.jar-obl-8.smt2 11761634	MAYBE 0.72/0.71	MAYBE 104.43/104.64	NO 0.27/0.26
From_AProVE_2014/Velroyen08-trueDiv.jar-obl-8.smt2 11761612	MAYBE 0.41/0.40	NO 1.22/1.22	NO 0.17/0.17
From_AProVE_2014/Velroyen08-twoFloatInterv.jar-obl-8.smt2 11761500	MAYBE 39.95/39.69	NO 2.80/2.80	NO 0.26/0.25
From_AProVE_2014/Velroyen08-upAndDown.jar-obl-8.smt2 11761635	MAYBE 1.18/1.16	MAYBE 76.98/77.12	ERROR 0.22/0.22
From_AProVE_2014/Velroyen08-upAndDownIneq.jar-obl-8.smt2 11761693	MAYBE 1.15/1.13	MAYBE 77.13/80.86	ERROR 0.21/0.20
From_AProVE_2014/Velroyen08-whileBreak.jar-obl-8.smt2 11761673	MAYBE 6.01/5.90	NO 1.98/1.98	NO 1.31/1.31
From_AProVE_2014/Velroyen08-whileDecr.jar-obl-8.smt2 11761718	YES 0.17/0.17	YES 0.94/0.93	ERROR 0.04/0.04
From_AProVE_2014/Velroyen08-whileIncr.jar-obl-8.smt2 11761443	MAYBE 0.36/0.36	NO 1.05/1.05	NO 0.04/0.04
From_AProVE_2014/Velroyen08-whileIncrPart.jar-obl-8.smt2 11761607	MAYBE 0.43/0.42	NO 1.31/1.30	NO 0.20/0.19
From_AProVE_2014/Velroyen08-whileNested.jar-obl-8.smt2 11761683	MAYBE 0.45/0.44	NO 11.36/11.93	NO 0.18/0.18
From_AProVE_2014/Velroyen08-whileNestedOffset.jar-obl-8.smt2 11761720	MAYBE 0.47/0.46	NO 12.43/12.49	NO 0.83/0.83
From_AProVE_2014/Velroyen08-whilePart.jar-obl-8.smt2 11761763	MAYBE 0.48/0.47	NO 1.30/1.30	NO 0.07/0.07
From_AProVE_2014/Velroyen08-whileSingle.jar-obl-8.smt2 11761765	MAYBE 0.71/0.70	NO 1.60/1.60	NO 0.13/0.12
From_AProVE_2014/Velroyen08-whileSum.jar-obl-8.smt2 11761762	MAYBE 7.30/7.18	NO 4.00/4.00	NO 1.99/1.98
From_AProVE_2014/Velroyen08-whileTrue.jar-obl-8.smt2 11761663	MAYBE 0.43/0.42	NO 1.13/1.13	NO 0.05/0.05
From_AProVE_2014/Virtual.jar-obl-9.smt2 11761474	MAYBE 0.66/0.65	YES 1.23/1.23	ERROR 0.11/0.11
From_AProVE_2014/whileNestedOffset_rec.jar-obl-9.smt2 11761447	MAYBE 0.47/0.46	NO 1.17/1.17	NO 0.10/0.09
From_AProVE_2014/whileNested_rec.jar-obl-9.smt2 11761803	MAYBE 0.50/0.49	NO 1.18/1.18	NO 0.08/0.07
From_AProVE_2014/whilePart_rec.jar-obl-8.smt2 11761590	MAYBE 0.44/0.43	NO 1.29/1.29	NO 0.08/0.07
From_AProVE_2014/whileSingle_rec.jar-obl-8.smt2 11761490	MAYBE 0.62/0.60	NO 1.59/1.59	NO 0.17/0.16
	430	928	495