Termination Competition 2018: Integer Transition Systems30050

Job info CSV

benchmark	Ctrl Transition	VeryMax-termCOMP17 termcomp17	irankfinder v1 default.sh
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.fixed.t2.smt2 5152987	run script error [out]	MAYBE 269.19/206.17	run script error [out]
Integer_Transition_Systems/From_T2/refine_disj_problem.t2.smt2 5152988	MAYBE 2.30/2.17	NO 6.98/4.64	MAYBE 0.94/0.94
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2.smt2 5152989	MAYBE 40.74/38.23	NO 0.11/0.08	MAYBE 10.13/10.13
Integer_Transition_Systems/From_T2/ex8.t2.smt2 5152990	MAYBE 6.15/5.78	NO 3.15/1.09	MAYBE 2.35/2.35
Integer_Transition_Systems/From_T2/ex15.t2.smt2 5152991	YES 0.01/0.02	YES 0.01/0.02	YES 0.61/0.61
Integer_Transition_Systems/From_T2/fake-succeed.t2.smt2 5152992	run script error [out]	NO 2.56/2.49	run script error [out]
Integer_Transition_Systems/From_T2/rev_nt2.t2_fixed.smt2 5152993	MAYBE 297.47/281.55	NO 9.16/6.52	MAYBE 239.80/239.83
Integer_Transition_Systems/From_T2/java_DivWithoutMinus.c.t2.smt2 5152994	YES 106.05/100.50	YES 2.14/0.83	MAYBE 44.33/44.33
Integer_Transition_Systems/From_T2/ex36.t2_fixed.smt2 5152995	run script error [out]	run script error [out]	run script error [out]
Integer_Transition_Systems/From_T2/insertsort.t2_fixed.smt2 5152996	MAYBE 4.09/3.84	NO 18.78/12.60	MAYBE 1.00/1.04
Integer_Transition_Systems/From_T2/create_via_tmps.t2.smt2 5152997	run script error [out]	YES 0.15/0.16	timeout (wallclock) [out]
Integer_Transition_Systems/From_T2/polyrank4.t2.smt2 5152998	MAYBE 3.11/2.93	YES 28.01/10.57	MAYBE 0.83/0.84
Integer_Transition_Systems/From_T2/n-8.t2_fixed.smt2 5152999	MAYBE 30.29/29.17	MAYBE 0.04/0.04	MAYBE 8.51/8.51
Integer_Transition_Systems/From_T2/simple_pre2.t2.smt2 5153000	YES 0.01/0.01	YES 0.01/0.02	YES 0.53/0.53
Integer_Transition_Systems/From_T2/ex33.t2.smt2 5153001	YES 0.14/0.13	YES 0.02/0.02	YES 1.12/1.12
Integer_Transition_Systems/From_T2/consts3nt.t2.smt2 5153002	MAYBE 0.79/0.75	NO 37.87/16.85	MAYBE 0.64/0.64
Integer_Transition_Systems/From_T2/array4.t2.smt2 5153003	YES 2.89/2.73	YES 0.02/0.03	YES 0.79/0.79
Integer_Transition_Systems/From_T2/java_Double2.c.t2.smt2 5153004	YES 13.04/12.40	YES 0.04/0.05	YES 2.18/2.18
Integer_Transition_Systems/From_T2/two_arrays1.t2.smt2 5153005	YES 110.32/104.21	YES 0.06/0.06	YES 5.58/5.58
Integer_Transition_Systems/From_T2/ex27.t2.smt2 5153006	run script error [out]	YES 0.36/0.36	YES 148.27/148.29
Integer_Transition_Systems/From_T2/small12.t2.smt2 5153007	YES 0.96/0.92	YES 0.02/0.02	YES 0.59/0.59
Integer_Transition_Systems/From_T2/pgarch.t2.smt2 5153008	run script error [out]	MAYBE 137.59/54.35	run script error [out]
Integer_Transition_Systems/From_T2/bf12.t2.smt2 5153009	YES 123.03/116.58	YES 0.06/0.06	YES 7.99/7.99
Integer_Transition_Systems/From_T2/bf6.t2.smt2 5153010	YES 134.87/127.71	YES 0.06/0.06	YES 5.55/5.58
Integer_Transition_Systems/From_T2/e-pgarch-succeed.t2_fixed.smt2 5153011	MAYBE 37.19/34.88	NO 0.11/0.08	MAYBE 9.18/9.25
Integer_Transition_Systems/From_T2/slayer-3.t2.smt2 5153012	run script error [out]	run script error [out]	run script error [out]
Integer_Transition_Systems/From_T2/ludcmp.c.i.ludcmp.pl.t2.fixed.t2.smt2 5153013	run script error [out]	YES 0.44/0.45	YES 141.90/141.91
Integer_Transition_Systems/From_T2/constants.t2_fixed.smt2 5153014	YES 8.87/8.38	YES 0.02/0.03	YES 2.12/2.13
Integer_Transition_Systems/From_T2/bakerybug.t2.smt2 5153015	MAYBE 140.71/132.67	NO 328.87/150.18	MAYBE 54.86/54.87
Integer_Transition_Systems/From_T2/s1-saved.t2_fixed.smt2 5153016	run script error [out]	YES 0.84/0.84	run script error [out]
Integer_Transition_Systems/From_T2/traverse_twice.t2_fixed.smt2 5153017	run script error [out]	YES 1.50/1.51	run script error [out]
Integer_Transition_Systems/From_T2/small34.t2.smt2 5153018	YES 0.12/0.12	YES 0.02/0.02	YES 0.51/0.52
Integer_Transition_Systems/From_T2/s1-striped.t2.smt2 5153019	run script error [out]	MAYBE 610.87/163.77	run script error [out]
Integer_Transition_Systems/From_T2/p-56.t2_fixed.smt2 5153020	YES 8.54/8.05	YES 0.02/0.03	YES 1.05/1.09
Integer_Transition_Systems/From_T2/small18.t2.smt2 5153021	MAYBE 0.51/0.62	MAYBE 35.71/11.91	MAYBE 0.59/0.59
Integer_Transition_Systems/From_T2/consts1nt.t2.smt2 5153022	MAYBE 1.49/1.41	NO 37.13/16.64	MAYBE 0.87/0.88
Integer_Transition_Systems/From_T2/ex20.t2.smt2 5153023	YES 5.71/5.39	YES 0.02/0.03	YES 1.66/1.67
Integer_Transition_Systems/From_T2/mc91test.t2_fixed.smt2 5153024	MAYBE 30.75/29.00	YES 0.67/0.69	YES 1.30/1.30
Integer_Transition_Systems/From_T2/two_arrays6.t2.smt2 5153025	YES 95.28/90.59	YES 0.06/0.06	YES 5.56/5.56
Integer_Transition_Systems/From_T2/st88b-fail.t2.smt2 5153026	MAYBE 11.09/10.45	NO 20.11/8.84	MAYBE 4.10/4.13
Integer_Transition_Systems/From_T2/smagillc-fail.t2.smt2 5153027	MAYBE 4.39/4.12	NO 22.57/6.25	MAYBE 1.81/1.95
Integer_Transition_Systems/From_T2/ex21.t2.smt2 5153028	YES 13.07/12.28	YES 0.02/0.03	run script error [out]
Integer_Transition_Systems/From_T2/1394complete-fail.t2_fixed.smt2 5153029	run script error [out]	NO 54.98/15.60	run script error [out]
Integer_Transition_Systems/From_T2/simple_pre1.t2.smt2 5153030	YES 0.01/0.01	YES 0.01/0.02	YES 0.53/0.53
Integer_Transition_Systems/From_T2/fun2.t2.smt2 5153031	run script error [out]	YES 6.09/6.14	YES 86.93/86.94
Integer_Transition_Systems/From_T2/p-7.t2.smt2 5153032	YES 8.05/8.08	YES 0.02/0.02	YES 1.23/1.23
Integer_Transition_Systems/From_T2/consts5.t2.smt2 5153033	MAYBE 6.27/6.25	NO 26.93/9.71	MAYBE 1.16/1.17
Integer_Transition_Systems/From_T2/armc-difficult_defect.t2.smt2 5153034	MAYBE 1.55/1.47	YES 0.07/0.04	YES 0.58/0.59
Integer_Transition_Systems/From_T2/n-16a.t2.smt2 5153035	MAYBE 1.61/1.53	NO 6.42/4.50	MAYBE 0.73/0.73
Integer_Transition_Systems/From_T2/huh.t2_fixed.smt2 5153036	YES 143.99/136.08	YES 0.05/0.06	YES 10.59/10.59
Integer_Transition_Systems/From_T2/p-15.t2.smt2 5153037	YES 0.30/0.29	YES 0.02/0.02	YES 0.64/0.64
Integer_Transition_Systems/From_T2/bf10.t2_fixed.smt2 5153038	YES 92.01/86.68	YES 0.06/0.06	YES 7.99/7.99
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2_fixed.smt2 5153039	MAYBE 75.29/70.75	NO 0.92/0.50	MAYBE 20.92/20.92
Integer_Transition_Systems/From_T2/stored.t2.smt2 5153040	MAYBE 5.13/4.90	NO 0.09/0.06	MAYBE 2.08/2.08
Integer_Transition_Systems/From_T2/loop3.t2.smt2 5153041	timeout (wallclock) [out]	YES 1.54/1.54	YES 72.41/72.41
Integer_Transition_Systems/From_T2/n-33.t2.smt2 5153042	MAYBE 24.29/22.91	MAYBE 42.43/14.54	MAYBE 6.81/6.81
Integer_Transition_Systems/From_T2/array_free2.t2.smt2 5153043	YES 0.44/0.42	YES 0.02/0.03	YES 0.76/0.76
Integer_Transition_Systems/From_T2/consts1nt.t2_fixed.smt2 5153044	MAYBE 0.89/0.84	NO 23.88/13.62	MAYBE 0.59/0.59
Integer_Transition_Systems/From_T2/p-1b.t2.smt2 5153045	YES 1.50/1.43	YES 0.02/0.02	YES 0.70/0.70
Integer_Transition_Systems/From_T2/s1.t2_fixed.smt2 5153046	run script error [out]	MAYBE 579.39/165.52	run script error [out]
Integer_Transition_Systems/From_T2/small29.t2.smt2 5153047	MAYBE 1.01/0.95	NO 5.32/4.18	MAYBE 0.57/0.58
Integer_Transition_Systems/From_T2/p-1c.t2.smt2 5153048	MAYBE 13.81/13.01	MAYBE 0.04/0.04	MAYBE 1.80/1.80
Integer_Transition_Systems/From_T2/byron-2.t2.smt2 5153049	YES 31.85/30.20	YES 0.03/0.03	YES 2.63/2.63
Integer_Transition_Systems/From_T2/java_Diff.c.t2.smt2 5153050	run script error [out]	YES 0.54/0.54	run script error [out]
Integer_Transition_Systems/From_T2/p-43.t2_fixed.smt2 5153051	MAYBE 10.27/10.01	YES 2.33/0.92	MAYBE 2.85/2.85
Integer_Transition_Systems/From_T2/bitcount32.t2_fixed.smt2 5153052	YES 43.09/41.17	YES 0.02/0.03	YES 5.39/5.39
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2_fixed.smt2 5153053	run script error [out]	YES 1.11/1.13	run script error [out]
Integer_Transition_Systems/From_T2/compress.t2.smt2 5153054	run script error [out]	NO 168.48/56.81	run script error [out]
Integer_Transition_Systems/From_T2/nakata_withassume.t2.smt2 5153055	timeout (wallclock) [out]	YES 3.91/3.91	run script error [out]
Integer_Transition_Systems/From_T2/ex18.t2_fixed.smt2 5153056	MAYBE 15.86/14.95	YES 0.03/0.04	MAYBE 2.36/2.38
Integer_Transition_Systems/From_T2/e-1394complete-fail.t2.smt2 5153057	run script error [out]	NO 55.17/15.56	run script error [out]
Integer_Transition_Systems/From_T2/queue_10.t2.smt2 5153058	YES 23.14/21.81	YES 0.07/0.07	YES 3.42/3.42
Integer_Transition_Systems/From_T2/fun7.t2.smt2 5153059	run script error [out]	MAYBE 48.28/19.74	run script error [out]
Integer_Transition_Systems/From_T2/p-5.t2.smt2 5153060	MAYBE 285.81/269.31	NO 80.24/24.25	MAYBE 40.92/40.92
Integer_Transition_Systems/From_T2/java_FibRecursive.c.t2.smt2 5153061	YES 3.54/3.33	YES 0.05/0.05	YES 1.58/1.58
Integer_Transition_Systems/From_T2/queens.t2.smt2 5153062	run script error [out]	YES 7.90/3.74	run script error [out]
Integer_Transition_Systems/From_T2/armc-difficult_foo3.t2.smt2 5153063	run script error [out]	YES 7.04/7.04	run script error [out]
Integer_Transition_Systems/From_T2/simple_test.t2.smt2 5153064	YES 4.52/4.26	YES 0.03/0.03	YES 0.97/0.97
Integer_Transition_Systems/From_T2/heidy7.t2.smt2 5153065	MAYBE 2.24/2.11	NO 3.17/1.09	MAYBE 0.94/0.94
Integer_Transition_Systems/From_T2/destroy_seg.t2.smt2 5153066	run script error [out]	YES 0.20/0.20	run script error [out]
Integer_Transition_Systems/From_T2/reverse_div4.t2.smt2 5153067	run script error [out]	NO 11.89/8.62	run script error [out]
Integer_Transition_Systems/From_T2/disj_nightmare_abi.t2.smt2 5153068	MAYBE 3.34/3.16	YES 0.03/0.03	MAYBE 0.72/0.73
Integer_Transition_Systems/From_T2/consts5nt.t2.smt2 5153069	MAYBE 6.16/5.80	NO 26.50/9.59	MAYBE 1.17/1.17
Integer_Transition_Systems/From_T2/mc91.t2.smt2 5153070	MAYBE 10.53/9.95	NO 341.63/159.48	MAYBE 1.58/1.58
Integer_Transition_Systems/From_T2/collatz.t2.smt2 5153071	MAYBE 10.45/10.17	MAYBE 5.34/4.22	MAYBE 2.25/2.25
Integer_Transition_Systems/From_T2/smagillc-fail.t2_fixed.smt2 5153072	MAYBE 4.94/5.09	NO 22.70/6.34	MAYBE 1.86/1.86
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2_fixed.smt2 5153073	MAYBE 4.39/4.48	NO 5.35/4.23	MAYBE 1.64/1.68
Integer_Transition_Systems/From_T2/selectSort.t2.smt2 5153074	run script error [out]	run script error [out]	YES 7.84/7.85
Integer_Transition_Systems/From_T2/ex18.t2.smt2 5153075	MAYBE 22.59/21.22	YES 0.03/0.04	MAYBE 3.09/3.09
Integer_Transition_Systems/From_T2/dead.neg-st88b-succeed.t2.smt2 5153076	MAYBE 17.90/16.84	NO 37.92/17.45	MAYBE 6.18/6.18
Integer_Transition_Systems/From_T2/ex29.t2.smt2 5153077	YES 1.13/1.10	YES 0.04/0.04	YES 8.38/8.38
Integer_Transition_Systems/From_T2/ns.t2.smt2 5153078	YES 127.97/120.99	YES 1.90/0.68	run script error [out]
Integer_Transition_Systems/From_T2/destroy_seg.t2_fixed.smt2 5153079	run script error [out]	YES 0.34/0.34	run script error [out]
Integer_Transition_Systems/From_T2/p-38.t2.smt2 5153080	YES 0.33/0.32	YES 0.03/0.03	YES 5.91/5.91
Integer_Transition_Systems/From_T2/simple_test2.t2.smt2 5153081	MAYBE 0.88/0.85	NO 0.04/0.04	MAYBE 0.57/0.57
Integer_Transition_Systems/From_T2/bubbleSort.t2.smt2 5153082	YES 21.89/20.62	YES 0.06/0.06	YES 2.82/2.82
Integer_Transition_Systems/From_T2/small10.t2.smt2 5153083	MAYBE 3.37/3.17	NO 8.26/5.04	MAYBE 0.87/0.87
Integer_Transition_Systems/From_T2/apchild-accepted.t2_fixed.smt2 5153084	run script error [out]	MAYBE 357.89/182.64	run script error [out]
Integer_Transition_Systems/From_T2/slayer-n1.t2.smt2 5153085	run script error [out]	NO 14.48/9.24	run script error [out]
Integer_Transition_Systems/From_T2/ex23.t2.smt2 5153086	YES 3.71/3.48	YES 0.02/0.02	YES 1.08/1.11
Integer_Transition_Systems/From_T2/neg-acqrel-succeed.t2.smt2 5153087	MAYBE 3.35/3.16	NO 9.36/4.19	MAYBE 1.36/1.37
Integer_Transition_Systems/From_T2/heidy8.t2_fixed.smt2 5153088	MAYBE 5.75/5.63	NO 3.16/1.09	MAYBE 1.57/1.57
Integer_Transition_Systems/From_T2/neg-acqrel-fail.t2.smt2 5153089	MAYBE 3.03/2.93	NO 9.33/4.19	MAYBE 1.36/1.38
Integer_Transition_Systems/From_T2/n-20.t2.smt2 5153090	MAYBE 21.30/20.14	MAYBE 0.04/0.05	MAYBE 3.13/3.13
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2.smt2 5153091	MAYBE 216.33/206.68	NO 47.61/17.90	MAYBE 30.19/30.19
Integer_Transition_Systems/From_T2/p-37.t2_fixed.smt2 5153092	YES 8.77/8.26	YES 0.03/0.03	YES 2.14/2.17
Integer_Transition_Systems/From_T2/bf7.t2.smt2 5153093	YES 124.32/117.70	YES 0.06/0.07	YES 9.09/9.09
Integer_Transition_Systems/From_T2/spctrm.t2.smt2 5153094	run script error [out]	YES 11.85/11.86	run script error [out]
Integer_Transition_Systems/From_T2/small28.t2.smt2 5153095	YES 1.07/1.02	YES 0.02/0.04	YES 0.55/0.55
Integer_Transition_Systems/From_T2/array_init.t2.smt2 5153096	YES 0.84/0.80	YES 0.02/0.02	YES 0.77/0.79
Integer_Transition_Systems/From_T2/bf20.t2.smt2 5153097	YES 122.12/115.75	YES 0.06/0.07	YES 6.86/6.87
Integer_Transition_Systems/From_T2/byron-4.t2.smt2 5153098	MAYBE 27.11/25.58	run script error [out]	MAYBE 6.58/6.62
Integer_Transition_Systems/From_T2/ex32.t2_fixed.smt2 5153099	YES 3.99/3.92	YES 0.02/0.03	YES 1.23/1.26
Integer_Transition_Systems/From_T2/ex29.t2_fixed.smt2 5153100	YES 1.17/1.14	YES 0.03/0.04	YES 7.74/7.77
Integer_Transition_Systems/From_T2/n-48.t2.smt2 5153101	MAYBE 6.94/6.61	NO 33.61/16.86	MAYBE 1.77/1.77
Integer_Transition_Systems/From_T2/neg-e-1394-succeed.t2.smt2 5153102	run script error [out]	NO 17.81/5.61	run script error [out]
Integer_Transition_Systems/From_T2/fun11.t2_fixed.smt2 5153103	MAYBE 13.15/12.34	NO 18.81/8.42	MAYBE 4.48/4.50
Integer_Transition_Systems/From_T2/seq.t2.smt2 5153104	YES 0.11/0.10	YES 0.02/0.02	YES 0.51/0.52
Integer_Transition_Systems/From_T2/p-4.t2.smt2 5153105	YES 6.20/5.89	YES 0.03/0.03	YES 0.71/0.71
Integer_Transition_Systems/From_T2/neg-1394-succeed.t2.smt2 5153106	run script error [out]	NO 17.88/5.70	run script error [out]
Integer_Transition_Systems/From_T2/ndes.t2.smt2 5153107	run script error [out]	YES 28.70/19.23	run script error [out]
Integer_Transition_Systems/From_T2/p-7.t2_fixed.smt2 5153108	YES 8.49/7.98	YES 0.02/0.02	YES 1.07/1.07
Integer_Transition_Systems/From_T2/p-21.t2_fixed.smt2 5153109	YES 3.11/3.30	YES 0.02/0.03	YES 0.82/0.82
Integer_Transition_Systems/From_T2/apchild-live.t2_fixed.smt2 5153110	run script error [out]	MAYBE 384.18/157.75	run script error [out]
Integer_Transition_Systems/From_T2/traverse2.t2.smt2 5153111	run script error [out]	YES 0.44/0.44	run script error [out]
Integer_Transition_Systems/From_T2/p-61.t2_fixed.smt2 5153112	YES 2.02/1.91	YES 0.03/0.04	YES 1.01/1.02
Integer_Transition_Systems/From_T2/send-more-money.t2_fixed.smt2 5153113	YES 71.81/71.45	YES 0.79/0.79	YES 54.61/54.66
Integer_Transition_Systems/From_T2/agafp.t2_fixed.smt2 5153114	run script error [out]	NO 108.22/55.79	run script error [out]
Integer_Transition_Systems/From_T2/232.t2.smt2 5153115	YES 2.68/2.54	YES 0.02/0.03	YES 0.63/0.63
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2_fixed.smt2 5153116	run script error [out]	NO 55.19/15.52	run script error [out]
Integer_Transition_Systems/From_T2/streamserver.bug.t2_fixed.smt2 5153117	MAYBE 78.14/74.21	NO 22.30/9.86	MAYBE 48.84/48.85
Integer_Transition_Systems/From_T2/bf10.t2.smt2 5153118	YES 118.19/111.79	YES 0.06/0.07	YES 8.00/8.01
Integer_Transition_Systems/From_T2/sas2.t2.smt2 5153119	MAYBE 271.11/255.56	YES 93.98/49.77	MAYBE 200.84/200.86
Integer_Transition_Systems/From_T2/hqr.t2.smt2 5153120	run script error [out]	MAYBE 263.22/159.42	run script error [out]
Integer_Transition_Systems/From_T2/bs.t2_fixed.smt2 5153121	MAYBE 21.45/20.07	NO 6.05/4.43	MAYBE 5.61/5.62
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2_fixed.smt2 5153122	run script error [out]	run script error [out]	run script error [out]
Integer_Transition_Systems/From_T2/e-1394-succeed.t2.smt2 5153123	run script error [out]	NO 17.77/5.59	run script error [out]
Integer_Transition_Systems/From_T2/p-32.t2.smt2 5153124	MAYBE 2.95/2.79	NO 5.94/4.47	MAYBE 0.83/0.83
Integer_Transition_Systems/From_T2/queue_1000.t2_fixed.smt2 5153125	YES 13.00/12.43	YES 0.06/0.06	YES 4.59/4.59
Integer_Transition_Systems/From_T2/byron-3.t2.smt2 5153126	MAYBE 2.40/2.28	YES 0.20/0.09	YES 0.77/0.77
Integer_Transition_Systems/From_T2/send-more-money.t2.smt2 5153127	YES 78.56/78.12	YES 0.82/0.82	YES 58.41/58.41
Integer_Transition_Systems/From_T2/bf13.t2.smt2 5153128	YES 123.82/117.10	YES 0.06/0.06	YES 7.99/8.01
Integer_Transition_Systems/From_T2/java_LeUserDefRec.c.t2.smt2 5153129	YES 7.93/7.77	YES 0.06/0.06	YES 1.68/1.69
Integer_Transition_Systems/From_T2/n-3a.t2_fixed.smt2 5153130	MAYBE 45.04/42.31	NO 0.85/0.26	MAYBE 2.65/2.65
Integer_Transition_Systems/From_T2/bf13.t2_fixed.smt2 5153131	YES 89.67/85.24	YES 0.06/0.06	YES 8.04/8.04
Integer_Transition_Systems/From_T2/neg-1394-fail.t2.smt2 5153132	run script error [out]	NO 17.79/5.63	run script error [out]
Integer_Transition_Systems/From_T2/polyrank3.t2.smt2 5153133	MAYBE 2.86/2.69	YES 4.77/1.66	MAYBE 0.84/0.85
Integer_Transition_Systems/From_T2/p-21.t2.smt2 5153134	YES 13.28/12.58	YES 0.03/0.03	YES 1.17/1.18
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2_fixed.smt2 5153135	run script error [out]	NO 55.10/15.63	run script error [out]
Integer_Transition_Systems/From_T2/e-popl07-fail.t2_fixed.smt2 5153136	MAYBE 89.06/83.80	NO 1.12/0.60	MAYBE 24.85/24.85
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2.smt2 5153137	MAYBE 82.63/77.83	NO 0.28/0.17	MAYBE 20.12/20.13
Integer_Transition_Systems/From_T2/apchild-accepted.t2.smt2 5153138	run script error [out]	MAYBE 307.03/160.86	run script error [out]
Integer_Transition_Systems/From_T2/fourn.t2.smt2 5153139	run script error [out]	run script error [out]	run script error [out]
Integer_Transition_Systems/From_T2/s2.t2.smt2 5153140	YES 5.74/5.40	YES 0.02/0.03	YES 1.02/1.02
Integer_Transition_Systems/From_T2/1394-succeed.t2.smt2 5153141	run script error [out]	NO 17.66/5.56	run script error [out]
Integer_Transition_Systems/From_T2/ex33.t2_fixed.smt2 5153142	YES 0.13/0.13	YES 0.02/0.02	run script error [out]
Integer_Transition_Systems/From_T2/elmhes.c.i.elmhes.pl.t2.fixed.t2.smt2 5153143	run script error [out]	YES 1.22/1.24	YES 186.09/186.11
Integer_Transition_Systems/From_T2/neg-e-st88b-succeed.t2.smt2 5153144	MAYBE 1.56/1.49	NO 0.04/0.04	MAYBE 2.04/2.04
Integer_Transition_Systems/From_T2/print.t2_fixed.smt2 5153145	run script error [out]	YES 1.23/1.23	run script error [out]
Integer_Transition_Systems/From_T2/small01.t2.smt2 5153146	MAYBE 0.73/0.70	NO 44.30/23.80	MAYBE 0.71/0.71
Integer_Transition_Systems/From_T2/wrap.c.t2.smt2 5153147	run script error [out]	YES 0.37/0.37	run script error [out]
Integer_Transition_Systems/From_T2/3.t2.smt2 5153148	MAYBE 0.18/0.17	NO 0.03/0.03	run script error [out]
Integer_Transition_Systems/From_T2/java_Continue1.c.t2.smt2 5153149	YES 2.37/2.23	YES 0.03/0.03	YES 1.23/1.23
Integer_Transition_Systems/From_T2/walk.t2.smt2 5153150	MAYBE 71.89/68.05	NO 154.36/68.53	MAYBE 19.97/19.98
Integer_Transition_Systems/From_T2/small23.t2.smt2 5153151	MAYBE 2.94/2.80	NO 9.46/4.23	MAYBE 1.04/1.04
Integer_Transition_Systems/From_T2/curious2.t2.smt2 5153152	YES 0.01/0.02	YES 0.01/0.02	YES 0.54/0.54
Integer_Transition_Systems/From_T2/wrong_loop.t2_fixed.smt2 5153153	MAYBE 3.21/3.01	NO 1.35/0.88	MAYBE 1.05/1.05
Integer_Transition_Systems/From_T2/java_Double3.c.t2.smt2 5153154	YES 17.81/16.76	YES 0.05/0.05	YES 3.54/3.54
Integer_Transition_Systems/From_T2/toeplz.t2.smt2 5153155	run script error [out]	YES 4.21/4.21	timeout (wallclock) [out]
Integer_Transition_Systems/From_T2/p-41.t2.smt2 5153156	YES 0.01/0.01	YES 0.01/0.02	YES 0.50/0.50
Integer_Transition_Systems/From_T2/smagillc-succeed.t2.smt2 5153157	MAYBE 5.11/4.81	NO 22.36/6.21	MAYBE 1.84/1.85
Integer_Transition_Systems/From_T2/bitcount16.t2.smt2 5153158	MAYBE 47.80/45.42	YES 0.03/0.03	YES 2.12/2.12
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2.smt2 5153159	run script error [out]	YES 0.10/0.10	YES 20.87/20.89
Integer_Transition_Systems/From_T2/ex16.t2.smt2 5153160	MAYBE 103.01/96.84	NO 52.39/41.86	MAYBE 34.00/34.00
Integer_Transition_Systems/From_T2/consts3nt.t2_fixed.smt2 5153161	MAYBE 0.30/0.29	NO 28.14/10.96	MAYBE 0.52/0.52
Integer_Transition_Systems/From_T2/bf15.t2_fixed.smt2 5153162	YES 88.38/83.16	YES 0.06/0.06	YES 8.02/8.02
Integer_Transition_Systems/From_T2/n-9.t2.smt2 5153163	MAYBE 40.53/38.27	NO 7.45/4.78	MAYBE 8.37/8.39
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2.smt2 5153164	run script error [out]	MAYBE 102.60/42.09	run script error [out]
Integer_Transition_Systems/From_T2/consts4.t2_fixed.smt2 5153165	YES 0.10/0.10	YES 0.02/0.02	YES 0.51/0.52
Integer_Transition_Systems/From_T2/w2_nt.t2.smt2 5153166	MAYBE 222.00/209.71	NO 10.41/8.34	MAYBE 143.70/143.71
Integer_Transition_Systems/From_T2/fun2.t2_fixed.smt2 5153167	MAYBE 245.12/235.38	YES 1.85/1.87	YES 41.27/41.28
Integer_Transition_Systems/From_T2/st88.t2.smt2 5153168	MAYBE 12.77/12.03	NO 13.77/5.84	MAYBE 4.64/4.64
Integer_Transition_Systems/From_T2/bf14.t2_fixed.smt2 5153169	YES 94.78/89.80	YES 0.06/0.06	YES 7.58/7.59
Integer_Transition_Systems/From_T2/e-1394complete-failA.t2.smt2 5153170	run script error [out]	NO 55.04/15.66	run script error [out]
Integer_Transition_Systems/From_T2/fast_poll.t2_fixed.smt2 5153171	timeout (wallclock) [out]	NO 8.07/6.06	MAYBE 274.23/274.30
Integer_Transition_Systems/From_T2/smagillb-succeed.t2.smt2 5153172	MAYBE 6.20/5.84	NO 33.38/8.83	MAYBE 2.14/2.14
Integer_Transition_Systems/From_T2/java_PlusSwap.c.t2.smt2 5153173	MAYBE 11.34/10.70	YES 3.56/1.23	YES 1.96/1.96
Integer_Transition_Systems/From_T2/neg-st88b-fail.t2.smt2 5153174	MAYBE 18.78/18.45	NO 38.05/16.93	MAYBE 6.10/6.10
Integer_Transition_Systems/From_T2/n_firewire_instrumented-PP.t2.smt2 5153175	MAYBE 125.72/119.65	MAYBE 218.90/130.21	run script error [out]
Integer_Transition_Systems/From_T2/fun6.t2.smt2 5153176	run script error [out]	NO 49.95/16.69	run script error [out]
Integer_Transition_Systems/From_T2/dsa_test13.t2.smt2 5153177	YES 0.01/0.01	YES 0.01/0.02	YES 0.47/0.47
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2.smt2 5153178	run script error [out]	MAYBE 307.23/160.88	run script error [out]
Integer_Transition_Systems/From_T2/dsa_test6.t2.smt2 5153179	YES 1.42/1.36	YES 0.02/0.02	YES 0.72/0.72
Integer_Transition_Systems/From_T2/small19.t2.smt2 5153180	MAYBE 3.01/2.83	YES 0.02/0.04	YES 0.66/0.67
Integer_Transition_Systems/From_T2/rlft3.c.i.rlft3.pl.t2.fixed.t2.smt2 5153181	run script error [out]	run script error [out]	run script error [out]
Integer_Transition_Systems/From_T2/eric2.t2.smt2 5153182	run script error [out]	MAYBE 50.79/20.63	YES 273.00/273.06
Integer_Transition_Systems/From_T2/n-15a.t2.smt2 5153183	MAYBE 9.84/9.27	MAYBE 14.26/6.04	MAYBE 2.88/2.89
Integer_Transition_Systems/From_T2/walk.t2_fixed.smt2 5153184	MAYBE 69.52/65.77	NO 152.92/68.30	MAYBE 19.84/19.84
Integer_Transition_Systems/From_T2/matmul.t2.smt2 5153185	YES 29.02/27.28	YES 0.30/0.15	run script error [out]
Integer_Transition_Systems/From_T2/p-34.t2.smt2 5153186	run script error [out]	MAYBE 0.07/0.07	MAYBE 276.12/276.13
Integer_Transition_Systems/From_T2/n-9.t2_fixed.smt2 5153187	MAYBE 41.78/39.95	NO 7.86/4.89	MAYBE 9.26/9.26
Integer_Transition_Systems/From_T2/heidy8.t2.smt2 5153188	MAYBE 5.63/5.31	NO 3.19/1.11	MAYBE 1.56/1.56
Integer_Transition_Systems/From_T2/nested2.t2.smt2 5153189	YES 22.07/20.88	YES 0.03/0.06	YES 1.76/1.76
Integer_Transition_Systems/From_T2/ex3.t2_fixed.smt2 5153190	YES 1.60/1.51	YES 0.02/0.02	YES 0.81/0.81
Integer_Transition_Systems/From_T2/n-6.t2.smt2 5153191	MAYBE 10.48/10.36	NO 149.99/58.67	MAYBE 2.49/2.49
Integer_Transition_Systems/From_T2/dsa_test10.t2.smt2 5153192	YES 10.53/9.90	YES 0.02/0.03	YES 1.26/1.26
Integer_Transition_Systems/From_T2/simple_control_on_input.t2.smt2 5153193	YES 0.86/0.82	YES 0.02/0.02	YES 0.77/0.77
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2_fixed.smt2 5153194	run script error [out]	NO 370.37/99.96	run script error [out]
Integer_Transition_Systems/From_T2/ppblocktermbug.t2.smt2 5153195	MAYBE 52.12/52.96	NO 144.88/56.68	MAYBE 10.68/10.68
Integer_Transition_Systems/From_T2/ax_test_3.t2.smt2 5153196	MAYBE 0.21/0.20	NO 0.04/0.03	MAYBE 0.56/0.56
Integer_Transition_Systems/From_T2/n-1.t2.smt2 5153197	MAYBE 20.50/19.27	NO 5.18/4.16	MAYBE 3.17/3.17
Integer_Transition_Systems/From_T2/p-8.t2.smt2 5153198	MAYBE 6.21/5.84	MAYBE 0.03/0.03	run script error [out]
Integer_Transition_Systems/From_T2/fun10b.t2_fixed.smt2 5153199	run script error [out]	NO 13.85/6.70	run script error [out]
Integer_Transition_Systems/From_T2/flipflop.t2.smt2 5153200	MAYBE 0.53/0.52	NO 0.42/0.25	MAYBE 0.53/0.54
Integer_Transition_Systems/From_T2/p-19a.t2.smt2 5153201	MAYBE 16.92/15.94	MAYBE 0.04/0.04	MAYBE 2.22/2.23
Integer_Transition_Systems/From_T2/fun9.t2.smt2 5153202	MAYBE 73.21/69.01	run script error [out]	MAYBE 133.61/133.61
Integer_Transition_Systems/From_T2/subpoly_crash.t2.smt2 5153203	MAYBE 0.47/0.45	NO 31.92/16.55	MAYBE 0.64/0.64
Integer_Transition_Systems/From_T2/fun6.t2_fixed.smt2 5153204	run script error [out]	MAYBE 81.62/24.76	run script error [out]
Integer_Transition_Systems/From_T2/queue_100.t2.smt2 5153205	YES 24.67/23.65	YES 0.07/0.07	YES 3.46/3.47
Integer_Transition_Systems/From_T2/n-18.t2.smt2 5153206	MAYBE 0.74/0.71	NO 19.14/8.47	MAYBE 0.66/0.67
Integer_Transition_Systems/From_T2/fun1b.t2.smt2 5153207	run script error [out]	NO 141.63/80.75	run script error [out]
Integer_Transition_Systems/From_T2/p-5.t2_fixed.smt2 5153208	MAYBE 241.81/229.45	NO 68.56/21.14	MAYBE 37.53/37.54
Integer_Transition_Systems/From_T2/n-6a.t2.smt2 5153209	MAYBE 13.45/12.62	NO 5.98/4.58	MAYBE 1.38/1.38
Integer_Transition_Systems/From_T2/n-10.t2_fixed.smt2 5153210	MAYBE 57.86/54.47	MAYBE 0.05/0.05	MAYBE 19.55/19.89
Integer_Transition_Systems/From_T2/mc91.t2_fixed.smt2 5153211	MAYBE 2.51/2.38	YES 0.20/0.20	YES 0.62/0.62
Integer_Transition_Systems/From_T2/2.t2.smt2 5153212	MAYBE 79.49/75.02	NO 32.98/12.26	MAYBE 32.19/32.20
Integer_Transition_Systems/From_T2/n-6a.t2_fixed.smt2 5153213	MAYBE 12.72/12.32	NO 5.65/4.26	MAYBE 1.36/1.36
Integer_Transition_Systems/From_T2/java_DivMinus1.c.t2.smt2 5153214	YES 13.02/12.26	run script error [out]	YES 2.05/2.05
Integer_Transition_Systems/From_T2/polyrank5.t2.smt2 5153215	MAYBE 4.74/4.83	YES 56.58/25.94	MAYBE 1.00/1.02
Integer_Transition_Systems/From_T2/cfg.t2.smt2 5153216	MAYBE 4.32/4.10	NO 5.58/4.32	MAYBE 1.15/1.15
Integer_Transition_Systems/From_T2/matmult.t2.smt2 5153217	YES 251.48/236.60	YES 0.48/0.23	YES 23.25/23.25
Integer_Transition_Systems/From_T2/spiral.t2_fixed.smt2 5153218	MAYBE 22.99/21.59	run script error [out]	MAYBE 1.31/1.31
Integer_Transition_Systems/From_T2/slayer-4-filtered.t2.smt2 5153219	run script error [out]	MAYBE 479.42/261.50	run script error [out]
Integer_Transition_Systems/From_T2/curious4.t2.smt2 5153220	run script error [out]	MAYBE 65.49/28.08	run script error [out]
Integer_Transition_Systems/From_T2/disj_nightmare.t2_fixed.smt2 5153221	run script error [out]	YES 23.70/11.91	run script error [out]
Integer_Transition_Systems/From_T2/small09.t2.smt2 5153222	MAYBE 17.20/16.52	YES 0.07/0.08	YES 2.60/2.60
Integer_Transition_Systems/From_T2/small24.t2.smt2 5153223	MAYBE 0.21/0.21	run script error [out]	MAYBE 0.56/0.56
Integer_Transition_Systems/From_T2/hqr.t2_fixed.smt2 5153224	run script error [out]	MAYBE 277.78/172.16	run script error [out]
Integer_Transition_Systems/From_T2/fun4.t2_fixed.smt2 5153225	MAYBE 9.18/8.64	YES 10.51/4.82	MAYBE 2.30/2.31
Integer_Transition_Systems/From_T2/n-15a.t2_fixed.smt2 5153226	MAYBE 3.08/2.91	MAYBE 10.14/4.37	MAYBE 1.40/1.40
Integer_Transition_Systems/From_T2/ppblock.t2.smt2 5153227	MAYBE 12.79/12.01	run script error [out]	MAYBE 3.30/3.31
Integer_Transition_Systems/From_T2/florian_pldi.t2.smt2 5153228	YES 21.72/20.39	YES 0.10/0.11	YES 3.23/3.24
Integer_Transition_Systems/From_T2/neg-e-popl07-fail.t2.smt2 5153229	MAYBE 88.57/83.30	NO 0.25/0.17	MAYBE 22.27/22.28
Integer_Transition_Systems/From_T2/p-42.t2.smt2 5153230	YES 6.48/6.12	YES 0.02/0.03	YES 0.79/0.80
Integer_Transition_Systems/From_T2/weakness.t2.smt2 5153231	MAYBE 2.30/2.17	YES 3.14/1.07	YES 0.65/0.65
Integer_Transition_Systems/From_T2/s3.t2_fixed.smt2 5153232	run script error [out]	run script error [out]	run script error [out]
Integer_Transition_Systems/From_T2/java_FactSum.c.t2.smt2 5153233	YES 29.13/27.42	YES 0.06/0.07	YES 3.46/3.47
Integer_Transition_Systems/From_T2/small35.t2.smt2 5153234	MAYBE 1.11/1.05	NO 191.08/88.13	MAYBE 0.66/0.66
Integer_Transition_Systems/From_T2/mc91test.t2.smt2 5153235	MAYBE 71.63/68.51	NO 353.69/158.49	MAYBE 3.94/3.94
Integer_Transition_Systems/From_T2/bubblesort_inner_loop.t2.smt2 5153236	YES 5.10/4.79	YES 0.02/0.02	YES 1.36/1.36
Integer_Transition_Systems/From_T2/ppblockbug.t2.smt2 5153237	MAYBE 12.65/11.87	NO 42.06/18.36	MAYBE 3.65/3.65
Integer_Transition_Systems/From_T2/bf19.t2.smt2 5153238	run script error [out]	YES 0.06/0.06	YES 8.02/8.02
Integer_Transition_Systems/From_T2/n-1c.t2_fixed.smt2 5153239	MAYBE 38.59/36.49	MAYBE 0.05/0.18	MAYBE 9.70/9.71
Integer_Transition_Systems/From_T2/java_Continue1.c.t2_fixed.smt2 5153240	YES 1.73/1.65	YES 0.02/0.03	YES 0.97/1.05
Integer_Transition_Systems/From_T2/n-8a.t2.smt2 5153241	MAYBE 6.94/6.53	NO 5.86/4.31	MAYBE 1.22/1.22
Integer_Transition_Systems/From_T2/p-40.t2_fixed.smt2 5153242	YES 4.92/5.03	YES 0.02/0.02	YES 1.09/1.09
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2 5153243	run script error [out]	MAYBE 275.26/171.98	run script error [out]
Integer_Transition_Systems/From_T2/java_Break.c.t2.smt2 5153244	YES 2.49/2.35	YES 0.03/0.04	YES 1.22/1.22
Integer_Transition_Systems/From_T2/small13.t2.smt2 5153245	MAYBE 1.64/1.55	YES 0.02/0.03	YES 0.60/0.61
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2_fixed.smt2 5153246	run script error [out]	YES 80.14/49.16	YES 78.95/78.97
Integer_Transition_Systems/From_T2/reverse_seg_cyclic.t2.smt2 5153247	run script error [out]	YES 0.32/0.32	run script error [out]
Integer_Transition_Systems/From_T2/select.t2_fixed.smt2 5153248	timeout (wallclock) [out]	NO 32.98/22.45	run script error [out]
Integer_Transition_Systems/From_T2/bf8.t2.smt2 5153249	YES 123.08/116.59	YES 0.06/0.06	YES 8.82/8.83
Integer_Transition_Systems/From_T2/bf19.t2_fixed.smt2 5153250	YES 79.74/75.23	YES 0.06/0.06	YES 8.01/8.01
Integer_Transition_Systems/From_T2/rewrite.t2.smt2 5153251	MAYBE 0.60/0.57	NO 0.04/0.04	MAYBE 0.63/0.63
Integer_Transition_Systems/From_T2/polling.bug.t2_fixed.smt2 5153252	timeout (wallclock) [out]	MAYBE 29.15/16.60	MAYBE 255.62/255.67
Integer_Transition_Systems/From_T2/fake-succeed.t2_fixed.smt2 5153253	run script error [out]	NO 1.71/1.66	run script error [out]
Integer_Transition_Systems/From_T2/p-62.t2.smt2 5153254	YES 0.02/0.02	YES 0.01/0.02	YES 0.84/0.85
Integer_Transition_Systems/From_T2/fun11.t2.smt2 5153255	MAYBE 21.89/20.58	NO 37.37/16.91	MAYBE 5.81/5.82
Integer_Transition_Systems/From_T2/crc.t2_fixed.smt2 5153256	run script error [out]	YES 0.19/0.19	run script error [out]
Integer_Transition_Systems/From_T2/db2.t2_fixed.smt2 5153257	run script error [out]	MAYBE 240.82/143.29	run script error [out]
Integer_Transition_Systems/From_T2/fibcall.t2_fixed.smt2 5153258	YES 11.33/10.64	YES 0.02/0.03	YES 1.19/1.19
Integer_Transition_Systems/From_T2/n-17.t2.smt2 5153259	MAYBE 1.23/1.17	NO 33.83/13.47	MAYBE 0.58/0.59
Integer_Transition_Systems/From_T2/bio.t2.smt2 5153260	run script error [out]	NO 215.62/214.97	run script error [out]
Integer_Transition_Systems/From_T2/huh.t2.smt2 5153261	YES 159.16/150.73	YES 0.05/0.06	YES 12.03/12.04
Integer_Transition_Systems/From_T2/florian.t2.smt2 5153262	YES 0.11/0.11	YES 0.02/0.02	YES 0.49/0.50
Integer_Transition_Systems/From_T2/brp_withassume.t2.smt2 5153263	run script error [out]	MAYBE 199.76/158.71	run script error [out]
Integer_Transition_Systems/From_T2/apchildlive-succeed.t2_fixed.smt2 5153264	run script error [out]	MAYBE 145.68/67.08	run script error [out]
Integer_Transition_Systems/From_T2/consts1.t2.smt2 5153265	MAYBE 1.55/1.77	NO 37.10/16.62	MAYBE 0.87/0.99
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.fixed.t2.smt2 5153266	run script error [out]	MAYBE 148.59/64.42	run script error [out]
Integer_Transition_Systems/From_T2/polling.bug.t2.smt2 5153267	timeout (wallclock) [out]	MAYBE 27.46/14.98	timeout (wallclock) [out]
Integer_Transition_Systems/From_T2/neg-smagilla-fail.t2.smt2 5153268	MAYBE 4.38/4.10	NO 3.30/1.17	MAYBE 1.82/1.82
Integer_Transition_Systems/From_T2/curious.t2.smt2 5153269	MAYBE 1.21/1.15	NO 5.63/4.27	MAYBE 0.79/0.79
Integer_Transition_Systems/From_T2/p-44.t2.smt2 5153270	YES 0.64/0.61	YES 0.02/0.02	YES 0.80/0.80
Integer_Transition_Systems/From_T2/java_AProVEMath.c.t2.smt2 5153271	MAYBE 40.45/38.18	YES 1.55/0.59	YES 7.54/7.87
Integer_Transition_Systems/From_T2/p-43-terminate.t2.smt2 5153272	run script error [out]	YES 5.85/2.85	MAYBE 279.57/279.56
Integer_Transition_Systems/From_T2/fibcall.t2.smt2 5153273	YES 13.90/13.41	YES 0.02/0.03	YES 1.35/1.35
Integer_Transition_Systems/From_T2/fun7.t2_fixed.smt2 5153274	run script error [out]	MAYBE 40.92/14.77	run script error [out]
Integer_Transition_Systems/From_T2/p-3.t2.smt2 5153275	YES 8.73/8.53	YES 0.02/0.03	YES 1.11/1.12
Integer_Transition_Systems/From_T2/java_Duplicate.c.t2.smt2 5153276	YES 5.76/5.41	YES 0.04/0.04	YES 1.46/1.46
Integer_Transition_Systems/From_T2/ex21.t2_fixed.smt2 5153277	YES 7.40/6.96	YES 0.13/0.14	YES 0.94/0.94
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2_fixed.smt2 5153278	MAYBE 3.07/2.89	NO 5.38/4.24	MAYBE 1.36/1.38
Integer_Transition_Systems/From_T2/ex14.t2.smt2 5153279	YES 1.51/1.42	YES 0.02/0.02	YES 0.71/0.71
Integer_Transition_Systems/From_T2/simple_pre.t2.smt2 5153280	YES 0.01/0.01	YES 0.01/0.02	YES 0.52/0.52
Integer_Transition_Systems/From_T2/slayer-n1.t2_fixed.smt2 5153281	run script error [out]	NO 135.72/38.12	run script error [out]
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.t2.smt2 5153282	run script error [out]	NO 95.98/37.07	run script error [out]
Integer_Transition_Systems/From_T2/nested.t2.smt2 5153283	run script error [out]	YES 0.03/0.04	YES 2.18/2.18
Integer_Transition_Systems/From_T2/neg.t2.smt2 5153284	YES 0.01/0.01	YES 0.01/0.01	YES 0.46/0.46
Integer_Transition_Systems/From_T2/loop_on_input.t2_fixed.smt2 5153285	YES 1.08/1.02	YES 0.02/0.03	YES 0.57/0.57
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2_fixed.smt2 5153286	MAYBE 93.32/88.32	NO 0.80/0.44	MAYBE 23.59/23.59
Integer_Transition_Systems/From_T2/jfdctint.c.t2_fixed.smt2 5153287	YES 16.51/16.62	run script error [out]	YES 2.64/2.64
Integer_Transition_Systems/From_T2/popl07-fail.t2.smt2 5153288	MAYBE 70.80/67.10	run script error [out]	MAYBE 16.41/16.41
Integer_Transition_Systems/From_T2/fun2b.t2.smt2 5153289	run script error [out]	YES 5.67/5.67	YES 86.73/86.73
Integer_Transition_Systems/From_T2/n-1d.t2.smt2 5153290	MAYBE 13.74/12.92	NO 5.41/4.21	MAYBE 1.67/1.68
Integer_Transition_Systems/From_T2/traverse_seg2.t2.smt2 5153291	run script error [out]	YES 0.42/0.43	run script error [out]
Integer_Transition_Systems/From_T2/statemate.t2.smt2 5153292	run script error [out]	timeout (wallclock) [out]	run script error [out]
Integer_Transition_Systems/From_T2/bf12.t2_fixed.smt2 5153293	YES 90.74/85.87	YES 0.06/0.06	YES 8.05/8.05
Integer_Transition_Systems/From_T2/p-63.t2.smt2 5153294	MAYBE 7.27/6.84	YES 0.05/0.04	YES 1.51/1.51
Integer_Transition_Systems/From_T2/fun1b.t2_fixed.smt2 5153295	MAYBE 282.69/271.50	NO 133.56/81.19	run script error [out]
Integer_Transition_Systems/From_T2/ex17.t2_fixed.smt2 5153296	MAYBE 28.32/26.86	YES 0.02/0.03	YES 3.20/3.20
Integer_Transition_Systems/From_T2/peculiar.t2_fixed.smt2 5153297	MAYBE 10.41/9.86	NO 3.47/1.33	MAYBE 3.58/3.58
Integer_Transition_Systems/From_T2/p-60.t2_fixed.smt2 5153298	YES 4.63/4.38	YES 0.02/0.02	YES 1.11/1.11
Integer_Transition_Systems/From_T2/edn.t2.smt2 5153299	run script error [out]	run script error [out]	run script error [out]
Integer_Transition_Systems/From_T2/traverse2.t2_fixed.smt2 5153300	run script error [out]	YES 1.23/1.24	run script error [out]
Integer_Transition_Systems/From_T2/bf20.t2_fixed.smt2 5153301	YES 78.15/74.52	YES 0.06/0.06	YES 7.32/7.32
Integer_Transition_Systems/From_T2/acqrel-succeed2.t2.smt2 5153302	MAYBE 5.54/5.63	NO 0.06/0.05	MAYBE 0.95/0.95
Integer_Transition_Systems/From_T2/svdcmp.t2_fixed.smt2 5153303	run script error [out]	YES 29.41/29.43	run script error [out]
Integer_Transition_Systems/From_T2/bakery.t2.smt2 5153304	MAYBE 136.74/129.20	NO 329.07/150.23	MAYBE 55.39/55.39
Integer_Transition_Systems/From_T2/queue_1.t2.smt2 5153305	YES 14.30/13.74	YES 0.05/0.06	YES 2.05/2.05
Integer_Transition_Systems/From_T2/cover.t2_fixed.smt2 5153306	run script error [out]	YES 39.01/39.02	run script error [out]
Integer_Transition_Systems/From_T2/p-36.t2.smt2 5153307	run script error [out]	MAYBE 0.07/0.06	MAYBE 27.65/27.66
Integer_Transition_Systems/From_T2/consts2nt.t2.smt2 5153308	MAYBE 0.74/0.70	NO 6.26/4.46	MAYBE 0.64/0.65
Integer_Transition_Systems/From_T2/ex34.t2.smt2 5153309	YES 0.03/0.03	YES 0.02/0.03	YES 1.79/1.79
Integer_Transition_Systems/From_T2/curious2.t2_fixed.smt2 5153310	YES 0.01/0.02	YES 0.01/0.02	YES 0.50/0.50
Integer_Transition_Systems/From_T2/fun1.t2_fixed.smt2 5153311	MAYBE 248.88/238.77	NO 133.88/81.30	run script error [out]
Integer_Transition_Systems/From_T2/bf5.t2_fixed.smt2 5153312	YES 96.30/91.22	YES 0.05/0.06	YES 6.06/6.07
Integer_Transition_Systems/From_T2/constants.t2.smt2 5153313	YES 13.26/12.46	YES 0.03/0.03	YES 2.36/2.36
Integer_Transition_Systems/From_T2/simple_fail.t2.smt2 5153314	YES 0.01/0.02	YES 0.01/0.02	YES 0.47/0.47
Integer_Transition_Systems/From_T2/db2.t2.smt2 5153315	run script error [out]	MAYBE 324.47/149.87	run script error [out]
Integer_Transition_Systems/From_T2/neg-smagilla-succeed.t2.smt2 5153316	MAYBE 4.61/4.35	NO 22.36/6.19	MAYBE 1.81/1.81
Integer_Transition_Systems/From_T2/ex7.t2_fixed.smt2 5153317	YES 3.78/3.59	YES 0.02/0.02	YES 0.82/0.82
Integer_Transition_Systems/From_T2/polyrank6.t2.smt2 5153318	MAYBE 3.70/3.48	YES 0.76/0.31	YES 0.64/0.64
Integer_Transition_Systems/From_T2/ex30.t2.smt2 5153319	YES 13.78/13.10	YES 0.02/0.03	YES 1.30/1.30
Integer_Transition_Systems/From_T2/heidy5.t2.smt2 5153320	YES 0.68/0.65	YES 0.02/0.04	YES 0.70/0.71
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2.smt2 5153321	MAYBE 33.29/31.46	NO 0.11/0.08	MAYBE 8.64/8.64
Integer_Transition_Systems/From_T2/p-50.t2.smt2 5153322	YES 0.01/0.02	YES 0.01/0.02	YES 0.85/0.85
Integer_Transition_Systems/From_T2/n-3a.t2.smt2 5153323	MAYBE 103.94/97.98	NO 0.62/0.20	MAYBE 7.32/7.32
Integer_Transition_Systems/From_T2/armc-difficult_foo2.t2.smt2 5153324	YES 0.01/0.02	YES 0.01/0.02	YES 0.45/0.46
Integer_Transition_Systems/From_T2/n-37.t2.smt2 5153325	MAYBE 6.02/5.67	NO 44.39/23.86	MAYBE 1.73/1.75
Integer_Transition_Systems/From_T2/spiral.t2.smt2 5153326	run script error [out]	MAYBE 39.79/12.07	MAYBE 1.81/1.81
Integer_Transition_Systems/From_T2/ex1.t2.smt2 5153327	MAYBE 1.06/1.01	NO 64.87/34.01	MAYBE 0.72/0.73
Integer_Transition_Systems/From_T2/test_byron_2.t2.smt2 5153328	MAYBE 0.59/0.57	NO 5.22/4.16	MAYBE 0.66/0.67
Integer_Transition_Systems/From_T2/pgarch.t2_fixed.smt2 5153329	run script error [out]	timeout (wallclock) [out]	run script error [out]
Integer_Transition_Systems/From_T2/e-popl07-succeed.t2.smt2 5153330	MAYBE 87.11/81.98	NO 0.26/0.17	MAYBE 22.10/22.11
Integer_Transition_Systems/From_T2/p-33.t2.smt2 5153331	MAYBE 6.34/5.97	NO 8.74/5.39	MAYBE 1.85/1.85
Integer_Transition_Systems/From_T2/ex12.t2_fixed.smt2 5153332	YES 0.81/0.77	YES 0.02/0.02	YES 0.59/0.60
Integer_Transition_Systems/From_T2/java_Sequence.c.t2.smt2 5153333	YES 23.35/22.45	YES 0.06/0.06	YES 3.08/3.10
Integer_Transition_Systems/From_T2/small31.t2.smt2 5153334	YES 0.01/0.02	YES 0.01/0.02	YES 0.48/0.50
Integer_Transition_Systems/From_T2/heidy3.t2.smt2 5153335	MAYBE 0.59/0.57	NO 3.13/1.08	MAYBE 0.68/0.68
Integer_Transition_Systems/From_T2/consts1.t2_fixed.smt2 5153336	MAYBE 0.98/0.93	YES 2.07/2.07	MAYBE 0.63/0.64
Integer_Transition_Systems/From_T2/bf18.t2.smt2 5153337	YES 117.69/110.76	YES 0.06/0.06	YES 8.07/8.07
Integer_Transition_Systems/From_T2/dummy.t2.smt2 5153338	MAYBE 1.05/0.99	NO 37.93/16.94	MAYBE 0.58/0.59
Integer_Transition_Systems/From_T2/reverse.t2_fixed.smt2 5153339	run script error [out]	YES 2.07/2.07	run script error [out]
Integer_Transition_Systems/From_T2/loop3.t2_fixed.smt2 5153340	MAYBE 134.89/136.70	YES 1.18/1.20	YES 17.84/17.84
Integer_Transition_Systems/From_T2/eric1.t2.smt2 5153341	MAYBE 3.40/3.19	MAYBE 43.94/16.26	YES 0.81/0.81
Integer_Transition_Systems/From_T2/neg-e-acqrel-fail.t2.smt2 5153342	MAYBE 5.09/5.15	NO 5.36/4.23	MAYBE 1.61/1.61
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2.smt2 5153343	run script error [out]	MAYBE 337.94/202.87	run script error [out]
Integer_Transition_Systems/From_T2/ex6.t2.smt2 5153344	YES 0.01/0.02	YES 0.01/0.02	YES 0.55/0.56
Integer_Transition_Systems/From_T2/consts3.t2.smt2 5153345	YES 0.74/0.70	YES 0.02/0.02	YES 0.61/0.61
Integer_Transition_Systems/From_T2/fun8.t2_fixed.smt2 5153346	run script error [out]	YES 0.23/0.23	timeout (wallclock) [out]
Integer_Transition_Systems/From_T2/efegp.t2.smt2 5153347	timeout (wallclock) [out]	NO 9.10/5.75	run script error [out]
Integer_Transition_Systems/From_T2/small17.t2.smt2 5153348	MAYBE 0.51/0.50	MAYBE 35.90/12.35	MAYBE 0.55/0.55
Integer_Transition_Systems/From_T2/slayer-5-filtered.t2.smt2 5153349	run script error [out]	MAYBE 154.87/63.87	run script error [out]
Integer_Transition_Systems/From_T2/e-1394-succeed.t2_fixed.smt2 5153350	run script error [out]	NO 17.69/5.56	run script error [out]
Integer_Transition_Systems/From_T2/array_init_assign.t2.smt2 5153351	YES 1.70/1.61	YES 0.02/0.02	YES 0.77/0.77
Integer_Transition_Systems/From_T2/ax_test_2.t2.smt2 5153352	MAYBE 0.13/0.13	NO 0.03/0.03	MAYBE 0.52/0.52
Integer_Transition_Systems/From_T2/ex16.t2_fixed.smt2 5153353	MAYBE 93.75/89.28	NO 52.32/41.85	MAYBE 29.69/29.70
Integer_Transition_Systems/From_T2/slayer-1-filtered.t2.smt2 5153354	run script error [out]	YES 0.17/0.18	YES 27.79/27.81
Integer_Transition_Systems/From_T2/slayer-3-new.t2.smt2 5153355	run script error [out]	run script error [out]	run script error [out]
Integer_Transition_Systems/From_T2/slayer-3-filtered.t2.smt2 5153356	run script error [out]	run script error [out]	run script error [out]
Integer_Transition_Systems/From_T2/p-1a.t2.smt2 5153357	MAYBE 13.60/13.17	MAYBE 0.03/0.04	MAYBE 1.78/1.79
Integer_Transition_Systems/From_T2/curious.t2_fixed.smt2 5153358	MAYBE 0.64/0.65	NO 5.32/4.21	run script error [out]
Integer_Transition_Systems/From_T2/dumper.t2.smt2 5153359	run script error [out]	MAYBE 61.13/25.27	run script error [out]
Integer_Transition_Systems/From_T2/ud.t2_fixed.smt2 5153360	run script error [out]	YES 5.07/4.61	run script error [out]
Integer_Transition_Systems/From_T2/consts4.t2.smt2 5153361	MAYBE 1.49/1.43	NO 6.82/4.60	MAYBE 0.75/0.75
Integer_Transition_Systems/From_T2/dsa_test10.t2_fixed.smt2 5153362	YES 7.86/7.42	YES 0.02/0.02	YES 1.04/1.04
Integer_Transition_Systems/From_T2/ctl.t2_fixed.smt2 5153363	MAYBE 3.73/3.54	NO 0.05/0.04	MAYBE 3.45/3.45
Integer_Transition_Systems/From_T2/java_Nested.c.t2_fixed.smt2 5153364	YES 19.24/18.05	YES 0.04/0.05	run script error [out]
Integer_Transition_Systems/From_T2/n-10.t2.smt2 5153365	MAYBE 56.26/53.26	NO 6.48/4.51	MAYBE 16.77/16.77
Integer_Transition_Systems/From_T2/slayer-n2-filtered.t2.smt2 5153366	MAYBE 5.13/4.82	NO 49.63/25.39	MAYBE 1.30/1.31
Integer_Transition_Systems/From_T2/eric3.t2.smt2 5153367	MAYBE 18.97/18.01	NO 23.75/13.50	MAYBE 1.77/1.78
Integer_Transition_Systems/From_T2/small04.t2.smt2 5153368	MAYBE 0.46/0.44	NO 64.86/34.10	MAYBE 0.60/0.61
Integer_Transition_Systems/From_T2/241.t2.smt2 5153369	YES 2.40/2.27	YES 0.02/0.03	YES 0.62/0.62
Integer_Transition_Systems/From_T2/bf17.t2_fixed.smt2 5153370	YES 74.25/70.43	YES 0.06/0.06	YES 8.04/8.04
Integer_Transition_Systems/From_T2/bf11.t2.smt2 5153371	YES 120.67/114.18	YES 0.06/0.06	YES 7.95/7.95
Integer_Transition_Systems/From_T2/fun4-alt.t2.smt2 5153372	MAYBE 3.92/3.69	YES 10.87/4.90	MAYBE 1.22/1.22
Integer_Transition_Systems/From_T2/sort.t2_fixed.smt2 5153373	run script error [out]	YES 0.31/0.31	timeout (wallclock) [out]
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2.smt2 5153374	run script error [out]	YES 7.56/7.56	run script error [out]
Integer_Transition_Systems/From_T2/p-1.t2.smt2 5153375	MAYBE 8.18/7.69	MAYBE 0.03/0.03	MAYBE 1.40/1.40
Integer_Transition_Systems/From_T2/consts4nt.t2_fixed.smt2 5153376	MAYBE 0.33/0.32	NO 33.81/13.51	MAYBE 0.53/0.54
Integer_Transition_Systems/From_T2/hand7.t2.smt2 5153377	MAYBE 0.61/0.58	NO 33.90/13.48	MAYBE 0.55/0.55
Integer_Transition_Systems/From_T2/dsa_test15.t2_fixed.smt2 5153378	YES 3.14/2.95	YES 0.02/0.02	YES 0.80/0.80
Integer_Transition_Systems/From_T2/java_Sequence.c.t2_fixed.smt2 5153379	YES 10.20/9.59	YES 0.04/0.05	YES 1.79/1.79
Integer_Transition_Systems/From_T2/zlib-crc32-BYFOUR.c.t2_fixed.smt2 5153380	run script error [out]	YES 24.01/8.26	run script error [out]
Integer_Transition_Systems/From_T2/Prim_5.t2.smt2 5153381	run script error [out]	NO 255.81/154.21	run script error [out]
Integer_Transition_Systems/From_T2/slayer-1-rf.t2.smt2 5153382	run script error [out]	YES 0.16/0.17	YES 57.60/57.61
Integer_Transition_Systems/From_T2/p-22.t2.smt2 5153383	YES 0.32/0.31	YES 0.02/0.02	YES 0.73/0.73
Integer_Transition_Systems/From_T2/jfdctint.c.t2.smt2 5153384	YES 27.88/26.22	YES 0.07/0.07	YES 3.89/3.90
Integer_Transition_Systems/From_T2/consts2.t2_fixed.smt2 5153385	YES 0.10/0.10	YES 0.02/0.02	YES 0.51/0.53
Integer_Transition_Systems/From_T2/heidy9.t2.smt2 5153386	YES 0.30/0.29	run script error [out]	run script error [out]
Integer_Transition_Systems/From_T2/n-40.t2.smt2 5153387	run script error [out]	NO 134.69/56.96	MAYBE 62.38/62.39
Integer_Transition_Systems/From_T2/5.t2.smt2 5153388	YES 0.01/0.02	YES 0.01/0.02	YES 0.46/0.46
Integer_Transition_Systems/From_T2/destroy_seg_leak.t2.smt2 5153389	run script error [out]	NO 12.10/8.81	run script error [out]
Integer_Transition_Systems/From_T2/zeroconf.t2.smt2 5153390	run script error [out]	MAYBE 69.01/49.34	run script error [out]
Integer_Transition_Systems/From_T2/dsa_test1.t2.smt2 5153391	YES 0.01/0.02	YES 0.01/0.02	YES 0.51/0.51
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2.smt2 5153392	MAYBE 45.52/43.40	NO 10.98/5.91	MAYBE 5.82/5.82
Integer_Transition_Systems/From_T2/dsa_test6.t2_fixed.smt2 5153393	YES 0.83/0.83	YES 0.02/0.02	YES 0.61/0.61
Integer_Transition_Systems/From_T2/java_NestedLoop.c.t2.smt2 5153394	YES 186.44/175.45	YES 0.17/0.19	YES 29.05/29.06
Integer_Transition_Systems/From_T2/fir.t2.smt2 5153395	YES 120.45/113.65	YES 0.08/0.09	YES 23.31/23.32
Integer_Transition_Systems/From_T2/consts2nt.t2_fixed.smt2 5153396	MAYBE 0.34/0.33	NO 33.75/13.43	MAYBE 0.53/0.53
Integer_Transition_Systems/From_T2/p-58.t2.smt2 5153397	MAYBE 1.83/1.72	YES 0.02/0.02	YES 0.87/0.87
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2.smt2 5153398	run script error [out]	NO 55.14/15.70	run script error [out]
Integer_Transition_Systems/From_T2/slayer-3.t2_fixed.smt2 5153399	run script error [out]	MAYBE 322.84/185.83	run script error [out]
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2.smt2 5153400	run script error [out]	YES 0.11/0.11	YES 61.12/61.12
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2.smt2 5153401	run script error [out]	YES 7.58/7.63	run script error [out]
Integer_Transition_Systems/From_T2/ex3.t2.smt2 5153402	YES 2.66/2.52	YES 0.02/0.02	YES 1.02/1.02
Integer_Transition_Systems/From_T2/s1.t2.smt2 5153403	run script error [out]	MAYBE 609.31/159.51	run script error [out]
Integer_Transition_Systems/From_T2/bf16.t2.smt2 5153404	YES 159.03/150.97	YES 0.06/0.06	YES 8.06/8.06
Integer_Transition_Systems/From_T2/create_seg.t2.smt2 5153405	YES 42.27/40.02	YES 0.06/0.07	YES 4.48/4.50
Integer_Transition_Systems/From_T2/small22.t2.smt2 5153406	MAYBE 1.89/1.78	NO 5.34/4.21	MAYBE 1.03/1.14
Integer_Transition_Systems/From_T2/streamserver-succeed.t2.smt2 5153407	MAYBE 97.41/92.87	NO 315.47/152.66	MAYBE 57.91/57.91
Integer_Transition_Systems/From_T2/e-smagill-fail.t2.smt2 5153408	MAYBE 6.56/6.18	NO 0.06/0.05	MAYBE 2.33/2.34
Integer_Transition_Systems/From_T2/fun5.t2.smt2 5153409	MAYBE 105.82/101.19	NO 27.11/17.33	run script error [out]
Integer_Transition_Systems/From_T2/fdct.t2.smt2 5153410	timeout (wallclock) [out]	YES 0.06/0.07	YES 12.57/12.58
Integer_Transition_Systems/From_T2/wtf.t2.smt2 5153411	MAYBE 255.10/246.10	YES 1.84/1.84	YES 41.36/41.38
Integer_Transition_Systems/From_T2/n-12.t2.smt2 5153412	MAYBE 8.82/8.59	NO 5.35/4.19	MAYBE 1.40/1.40
Integer_Transition_Systems/From_T2/array_free.t2.smt2 5153413	YES 1.59/1.50	YES 0.03/0.03	YES 0.88/0.91
Integer_Transition_Systems/From_T2/randomwalk_withassume.t2.smt2 5153414	MAYBE 51.14/48.51	YES 0.11/0.12	YES 20.50/20.51
Integer_Transition_Systems/From_T2/p-40.t2.smt2 5153415	YES 6.73/6.62	YES 0.02/0.02	YES 1.27/1.28
Integer_Transition_Systems/From_T2/acqrel-fail.t2.smt2 5153416	MAYBE 2.06/1.95	NO 9.34/4.19	MAYBE 1.08/1.09
Integer_Transition_Systems/From_T2/p-49.t2.smt2 5153417	YES 0.33/0.32	YES 0.02/0.02	YES 0.65/0.65
Integer_Transition_Systems/From_T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.t2.smt2 5153418	run script error [out]	YES 0.92/0.93	run script error [out]
Integer_Transition_Systems/From_T2/n-18a.t2.smt2 5153419	MAYBE 1.52/1.44	NO 6.62/4.53	MAYBE 0.73/0.74
Integer_Transition_Systems/From_T2/dropbuf.t2.smt2 5153420	MAYBE 89.99/85.09	NO 3.73/1.56	MAYBE 34.74/34.75
Integer_Transition_Systems/From_T2/iecs.t2.smt2 5153421	MAYBE 0.78/0.74	YES 0.05/0.03	YES 0.55/0.55
Integer_Transition_Systems/From_T2/n-1c.t2.smt2 5153422	MAYBE 37.69/35.41	NO 6.52/4.52	MAYBE 8.75/9.11
Integer_Transition_Systems/From_T2/st88b-succeed.t2.smt2 5153423	MAYBE 11.98/11.30	NO 20.49/8.98	MAYBE 4.06/4.06
Integer_Transition_Systems/From_T2/neg-e-popl07-succeed.t2.smt2 5153424	MAYBE 74.67/70.52	NO 0.93/0.50	MAYBE 20.64/20.64
Integer_Transition_Systems/From_T2/sudoku.t2.smt2 5153425	run script error [out]	YES 19.47/10.58	run script error [out]
Integer_Transition_Systems/From_T2/non_term.t2.smt2 5153426	MAYBE 0.80/0.77	NO 33.23/16.74	MAYBE 0.64/0.64
Integer_Transition_Systems/From_T2/minmax.t2_fixed.smt2 5153427	YES 0.98/0.96	YES 0.03/0.03	YES 5.94/5.94
Integer_Transition_Systems/From_T2/neg-pgarch-succeed.t2_fixed.smt2 5153428	MAYBE 29.72/28.14	NO 0.11/0.08	MAYBE 7.73/7.73
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2.smt2 5153429	MAYBE 21.49/20.36	NO 0.08/0.06	MAYBE 6.13/6.14
Integer_Transition_Systems/From_T2/jfdctint.t2_fixed.smt2 5153430	YES 131.98/124.66	YES 0.04/0.04	YES 6.04/6.04
Integer_Transition_Systems/From_T2/java_EqUserDefRec.c.t2.smt2 5153431	YES 7.75/7.97	YES 0.04/0.05	YES 1.80/1.80
Integer_Transition_Systems/From_T2/java_Avg.c.t2.smt2 5153432	MAYBE 15.58/14.63	YES 4.18/1.44	MAYBE 3.43/3.44
Integer_Transition_Systems/From_T2/small08.t2.smt2 5153433	MAYBE 17.31/16.65	YES 0.07/0.07	YES 2.85/2.87
Integer_Transition_Systems/From_T2/fuhs-inflasso.t2.smt2 5153434	YES 6.01/5.66	YES 0.03/0.03	YES 0.70/0.70
Integer_Transition_Systems/From_T2/e-popl07-fail.t2.smt2 5153435	MAYBE 88.78/83.75	NO 1.13/0.61	MAYBE 24.84/24.84
Integer_Transition_Systems/From_T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.t2.smt2 5153436	run script error [out]	MAYBE 266.15/205.66	run script error [out]
Integer_Transition_Systems/From_T2/nested2.t2_fixed.smt2 5153437	YES 16.23/15.45	YES 4.17/4.18	YES 1.42/1.43
Integer_Transition_Systems/From_T2/p-43-terminate.t2_fixed.smt2 5153438	MAYBE 302.88/288.20	YES 7.96/4.32	MAYBE 37.63/37.64
Integer_Transition_Systems/From_T2/7.t2.smt2 5153439	MAYBE 1.16/1.10	NO 5.19/4.17	MAYBE 0.72/0.72
Integer_Transition_Systems/From_T2/two_arrays.t2_fixed.smt2 5153440	YES 41.53/39.01	YES 0.04/0.04	YES 2.73/2.75
Integer_Transition_Systems/From_T2/polling.t2_fixed.smt2 5153441	timeout (wallclock) [out]	MAYBE 26.72/15.06	MAYBE 210.14/210.17
Integer_Transition_Systems/From_T2/l1.t2.smt2 5153442	MAYBE 1.93/1.82	NO 6.03/4.41	MAYBE 0.71/0.71
Integer_Transition_Systems/From_T2/simple_pre3.t2.smt2 5153443	YES 0.18/0.18	YES 0.02/0.02	YES 0.97/0.97
Integer_Transition_Systems/From_T2/java_MinusMin.c.t2.smt2 5153444	YES 12.84/12.09	YES 0.05/0.06	YES 2.35/2.35
Integer_Transition_Systems/From_T2/afagx1.t2.smt2 5153445	MAYBE 0.57/0.55	NO 0.05/0.04	MAYBE 0.79/0.79
Integer_Transition_Systems/From_T2/polyrank7.t2.smt2 5153446	MAYBE 2.25/2.13	NO 28.20/12.65	MAYBE 0.78/0.79
Integer_Transition_Systems/From_T2/neg-pgarch-fail.t2.smt2 5153447	MAYBE 34.55/32.49	NO 0.11/0.08	MAYBE 8.16/8.18
Integer_Transition_Systems/From_T2/two_arrays.t2.smt2 5153448	YES 52.60/49.52	YES 0.05/0.05	YES 3.43/3.43
Integer_Transition_Systems/From_T2/neg-1394complete-fail.t2.smt2 5153449	run script error [out]	NO 372.69/100.72	run script error [out]
Integer_Transition_Systems/From_T2/simpleWhile.t2.smt2 5153450	YES 5.21/4.91	YES 0.03/0.03	YES 1.32/1.32
Integer_Transition_Systems/From_T2/e-smagill-succeed.t2.smt2 5153451	MAYBE 3.06/2.88	NO 22.36/6.18	MAYBE 1.51/1.51
Integer_Transition_Systems/From_T2/ex9.t2.smt2 5153452	MAYBE 9.15/8.63	NO 3.16/1.09	MAYBE 3.32/3.33
Integer_Transition_Systems/From_T2/bf6.t2_fixed.smt2 5153453	YES 88.06/83.27	YES 0.05/0.06	YES 6.48/6.48
Integer_Transition_Systems/From_T2/broydn.t2.smt2 5153454	run script error [out]	YES 10.47/10.48	run script error [out]
Integer_Transition_Systems/From_T2/java_Recursions.c.t2.smt2 5153455	YES 267.64/253.22	YES 23.26/7.97	YES 20.36/20.37
Integer_Transition_Systems/From_T2/small27.t2.smt2 5153456	YES 0.01/0.02	YES 0.01/0.02	YES 0.55/0.55
Integer_Transition_Systems/From_T2/1394complete-succeed.t2.smt2 5153457	run script error [out]	NO 371.14/100.53	run script error [out]
Integer_Transition_Systems/From_T2/ex20.t2_fixed.smt2 5153458	YES 3.81/3.58	YES 0.02/0.03	YES 1.32/1.33
Integer_Transition_Systems/From_T2/p-20.t2.smt2 5153459	MAYBE 15.83/15.28	MAYBE 0.04/0.04	MAYBE 2.59/2.59
Integer_Transition_Systems/From_T2/ex10.t2.smt2 5153460	MAYBE 77.26/72.55	NO 18.94/8.43	MAYBE 11.26/11.26
Integer_Transition_Systems/From_T2/firewire.t2.smt2 5153461	MAYBE 166.25/157.90	MAYBE 186.30/143.72	run script error [out]
Integer_Transition_Systems/From_T2/reverse.t2.smt2 5153462	run script error [out]	YES 0.59/0.59	run script error [out]
Integer_Transition_Systems/From_T2/java_TimesPlusUserDef.c.t2.smt2 5153463	YES 29.25/27.53	YES 0.07/0.08	YES 3.85/3.85
Integer_Transition_Systems/From_T2/n-38.t2.smt2 5153464	YES 0.01/0.02	YES 0.01/0.02	YES 0.85/0.85
Integer_Transition_Systems/From_T2/ex36.t2.smt2 5153465	run script error [out]	run script error [out]	run script error [out]
Integer_Transition_Systems/From_T2/traverse.t2.smt2 5153466	run script error [out]	YES 0.36/0.36	run script error [out]
Integer_Transition_Systems/From_T2/p-38.t2_fixed.smt2 5153467	YES 0.46/0.46	YES 0.05/0.05	YES 6.89/6.90
Integer_Transition_Systems/From_T2/elmhes.t2.smt2 5153468	timeout (wallclock) [out]	YES 1.28/1.28	timeout (wallclock) [out]
Integer_Transition_Systems/From_T2/small26.t2.smt2 5153469	YES 1.01/0.96	YES 0.02/0.02	YES 0.55/0.55
Integer_Transition_Systems/From_T2/p-19.t2.smt2 5153470	MAYBE 8.35/8.39	MAYBE 0.03/0.03	MAYBE 1.43/1.44
Integer_Transition_Systems/From_T2/consts2.t2.smt2 5153471	MAYBE 0.75/0.72	run script error [out]	MAYBE 0.65/0.65
Integer_Transition_Systems/From_T2/s4.t2_fixed.smt2 5153472	run script error [out]	run script error [out]	run script error [out]
Integer_Transition_Systems/From_T2/p-43.t2.smt2 5153473	MAYBE 12.48/11.86	YES 0.65/0.27	MAYBE 2.96/2.97
Integer_Transition_Systems/From_T2/fun1.t2.smt2 5153474	run script error [out]	NO 142.21/80.94	run script error [out]
Integer_Transition_Systems/From_T2/small21.t2.smt2 5153475	YES 2.64/2.50	YES 0.02/0.03	YES 0.63/0.67
Integer_Transition_Systems/From_T2/n-8.t2.smt2 5153476	MAYBE 31.47/29.98	NO 6.35/4.50	MAYBE 7.75/7.75
Integer_Transition_Systems/From_T2/minmax.t2.smt2 5153477	YES 0.99/0.96	YES 0.03/0.04	YES 6.57/6.90
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.fixed.t2_fixed.smt2 5153478	run script error [out]	YES 5.96/5.99	run script error [out]
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2.smt2 5153479	run script error [out]	NO 55.02/15.56	run script error [out]
Integer_Transition_Systems/From_T2/java_Hanoi.c.t2.smt2 5153480	YES 42.55/40.18	YES 0.09/0.09	YES 5.11/5.11
Integer_Transition_Systems/From_T2/n-4.t2.smt2 5153481	MAYBE 134.26/126.89	NO 7.10/4.86	MAYBE 15.92/15.94
Integer_Transition_Systems/From_T2/afagp-fail.t2_fixed.smt2 5153482	run script error [out]	NO 44.37/20.22	run script error [out]
Integer_Transition_Systems/From_T2/p-52.t2.smt2 5153483	MAYBE 12.80/11.99	MAYBE 0.04/0.03	MAYBE 1.97/1.97
Integer_Transition_Systems/From_T2/p.t2.smt2 5153484	run script error [out]	run script error [out]	run script error [out]
Integer_Transition_Systems/From_T2/matmul.t2_fixed.smt2 5153485	YES 18.54/17.49	YES 0.63/0.33	run script error [out]
Integer_Transition_Systems/From_T2/magic.t2.smt2 5153486	timeout (wallclock) [out]	YES 0.92/0.93	run script error [out]
Integer_Transition_Systems/From_T2/p-55.t2.smt2 5153487	YES 18.73/17.59	YES 0.03/0.03	YES 1.67/1.67
Integer_Transition_Systems/From_T2/n-4.t2_fixed.smt2 5153488	MAYBE 80.82/76.00	NO 6.04/4.49	MAYBE 12.82/12.82
Integer_Transition_Systems/From_T2/two_arrays2.t2.smt2 5153489	YES 109.18/102.58	YES 0.06/0.08	YES 5.52/5.52
Integer_Transition_Systems/From_T2/ex7.t2.smt2 5153490	YES 5.48/5.46	YES 0.02/0.02	YES 0.94/0.94
Integer_Transition_Systems/From_T2/n-6.t2_fixed.smt2 5153491	MAYBE 8.27/7.75	NO 75.31/27.16	MAYBE 2.39/2.39
Integer_Transition_Systems/From_T2/bf11.t2_fixed.smt2 5153492	YES 89.12/83.53	YES 0.06/0.06	YES 8.02/8.02
Integer_Transition_Systems/From_T2/traverse_seg.t2_fixed.smt2 5153493	run script error [out]	YES 1.23/1.23	run script error [out]
Integer_Transition_Systems/From_T2/zeroconf_withassume.t2.smt2 5153494	MAYBE 309.32/291.71	YES 4.55/4.56	run script error [out]
Integer_Transition_Systems/From_T2/brockschmidt_1.t2.smt2 5153495	MAYBE 3.15/2.96	YES 0.12/0.07	MAYBE 0.75/0.75
Integer_Transition_Systems/From_T2/ax_test.t2.smt2 5153496	MAYBE 0.13/0.13	NO 0.03/0.03	MAYBE 0.53/0.53
Integer_Transition_Systems/From_T2/fun8.t2.smt2 5153497	run script error [out]	YES 0.08/0.08	timeout (wallclock) [out]
Integer_Transition_Systems/From_T2/cover.t2.smt2 5153498	run script error [out]	run script error [out]	run script error [out]
Integer_Transition_Systems/From_T2/n-32.t2.smt2 5153499	MAYBE 2.73/2.57	NO 5.91/4.44	MAYBE 0.82/0.82
Integer_Transition_Systems/From_T2/rev_nt3.t2.smt2 5153500	MAYBE 292.48/276.12	NO 10.08/7.01	MAYBE 284.74/284.77
Integer_Transition_Systems/From_T2/ase_example.t2.smt2 5153501	YES 21.02/19.89	YES 0.03/0.03	YES 2.01/2.01
Integer_Transition_Systems/From_T2/queue_100.t2_fixed.smt2 5153502	YES 12.74/12.68	YES 0.06/0.06	YES 4.59/4.60
Integer_Transition_Systems/From_T2/p-61.t2.smt2 5153503	YES 9.69/9.12	YES 0.02/0.03	YES 1.45/1.47
Integer_Transition_Systems/From_T2/ex14.t2_fixed.smt2 5153504	YES 0.78/0.74	YES 0.02/0.02	YES 0.59/0.59
Integer_Transition_Systems/From_T2/p-45.t2.smt2 5153505	YES 4.39/4.15	YES 0.03/0.03	YES 1.18/1.18
Integer_Transition_Systems/From_T2/1394-fail.t2.smt2 5153506	run script error [out]	NO 17.82/5.65	run script error [out]
Integer_Transition_Systems/From_T2/n-46.t2.smt2 5153507	MAYBE 1.84/1.74	NO 210.80/107.80	MAYBE 0.98/0.98
Integer_Transition_Systems/From_T2/p-60.t2.smt2 5153508	YES 6.21/5.86	YES 0.02/0.03	YES 1.26/1.26
Integer_Transition_Systems/From_T2/heidy1.t2.smt2 5153509	MAYBE 0.43/0.41	NO 23.76/13.47	MAYBE 0.64/0.64
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2.smt2 5153510	MAYBE 16.51/15.81	NO 0.08/0.06	MAYBE 4.98/4.98
Integer_Transition_Systems/From_T2/neg-e-1394complete-fail.t2.smt2 5153511	run script error [out]	NO 54.94/15.83	run script error [out]
Integer_Transition_Systems/From_T2/vmcai_bytes.t2.smt2 5153512	YES 0.01/0.02	YES 0.01/0.02	YES 0.49/0.49
Integer_Transition_Systems/From_T2/polyrank2.t2.smt2 5153513	MAYBE 1.42/1.35	YES 10.30/3.48	YES 0.58/0.58
Integer_Transition_Systems/From_T2/small11.t2.smt2 5153514	MAYBE 0.06/0.06	NO 0.04/0.03	MAYBE 0.51/0.52
Integer_Transition_Systems/From_T2/heidy10.t2.smt2 5153515	YES 0.84/0.79	YES 0.02/0.03	YES 0.65/0.66
Integer_Transition_Systems/From_T2/whatwhat.t2.smt2 5153516	MAYBE 0.77/0.74	YES 0.06/0.04	YES 0.54/0.54
Integer_Transition_Systems/From_T2/bf14.t2.smt2 5153517	YES 117.54/110.52	YES 0.06/0.06	YES 8.57/8.58
Integer_Transition_Systems/From_T2/bsort100.t2.smt2 5153518	YES 120.97/114.60	YES 0.07/0.07	YES 36.15/36.15
Integer_Transition_Systems/From_T2/smagilla-fail.t2.smt2 5153519	MAYBE 3.29/3.17	NO 22.37/6.19	MAYBE 1.52/1.52
Integer_Transition_Systems/From_T2/tqli.t2.smt2 5153520	run script error [out]	MAYBE 81.57/35.45	run script error [out]
Integer_Transition_Systems/From_T2/ndes.t2_fixed.smt2 5153521	run script error [out]	YES 26.74/18.47	run script error [out]
Integer_Transition_Systems/From_T2/queue_10.t2_fixed.smt2 5153522	YES 13.56/12.79	YES 0.06/0.06	YES 4.58/4.59
Integer_Transition_Systems/From_T2/streamserver-succeed.t2_fixed.smt2 5153523	MAYBE 89.55/84.60	MAYBE 78.95/44.96	MAYBE 54.59/54.60
Integer_Transition_Systems/From_T2/florian_sas1.t2.smt2 5153524	MAYBE 16.18/15.28	YES 0.05/0.06	YES 7.10/7.10
Integer_Transition_Systems/From_T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2.smt2 5153525	run script error [out]	MAYBE 136.17/62.11	run script error [out]
Integer_Transition_Systems/From_T2/sort.t2.smt2 5153526	run script error [out]	YES 0.29/0.30	timeout (wallclock) [out]
Integer_Transition_Systems/From_T2/array_init.t2_fixed.smt2 5153527	YES 0.37/0.35	YES 0.02/0.02	YES 0.59/0.60
Integer_Transition_Systems/From_T2/small02.t2.smt2 5153528	MAYBE 2.89/2.92	NO 18.59/8.33	MAYBE 0.97/0.97
Integer_Transition_Systems/From_T2/efegp.t2_fixed.smt2 5153529	run script error [out]	NO 9.17/5.76	run script error [out]
Integer_Transition_Systems/From_T2/n-48.t2_fixed.smt2 5153530	MAYBE 6.77/6.36	NO 33.50/16.78	MAYBE 1.79/1.79
Integer_Transition_Systems/From_T2/ex26.t2.smt2 5153531	YES 30.60/28.69	YES 0.02/0.03	YES 3.24/3.24
Integer_Transition_Systems/From_T2/p-14.t2.smt2 5153532	YES 0.30/0.28	YES 0.02/0.02	YES 0.64/0.64
Integer_Transition_Systems/From_T2/bf17.t2.smt2 5153533	YES 119.06/111.79	YES 0.06/0.06	YES 8.05/8.05
Integer_Transition_Systems/From_T2/e-1394complete-succeed.t2_fixed.smt2 5153534	run script error [out]	NO 54.79/15.65	run script error [out]
Integer_Transition_Systems/From_T2/dropbuf-live.t2.smt2 5153535	YES 0.01/0.02	YES 0.01/0.02	YES 0.60/0.60
Integer_Transition_Systems/From_T2/small33.t2.smt2 5153536	YES 0.01/0.02	YES 0.01/0.02	YES 0.51/0.51
Integer_Transition_Systems/From_T2/afagp-fail.t2.smt2 5153537	run script error [out]	NO 109.62/50.02	run script error [out]
Integer_Transition_Systems/From_T2/s3.t2.smt2 5153538	run script error [out]	run script error [out]	run script error [out]
Integer_Transition_Systems/From_T2/reverse_div4.t2_fixed.smt2 5153539	run script error [out]	NO 16.51/9.91	run script error [out]
Integer_Transition_Systems/From_T2/prime.t2_fixed.smt2 5153540	MAYBE 243.00/229.76	NO 23.78/13.52	MAYBE 219.61/219.51
Integer_Transition_Systems/From_T2/fermat.t2.smt2 5153541	YES 199.45/188.96	YES 0.04/0.04	YES 10.91/10.91
Integer_Transition_Systems/From_T2/rev_nt4.t2.smt2 5153542	YES 0.01/0.02	YES 0.01/0.02	YES 0.71/0.72
Integer_Transition_Systems/From_T2/destroy.t2_fixed.smt2 5153543	run script error [out]	YES 0.28/0.29	YES 35.39/35.39
Integer_Transition_Systems/From_T2/crc.t2.smt2 5153544	run script error [out]	YES 0.19/0.20	run script error [out]
Integer_Transition_Systems/From_T2/small15.t2.smt2 5153545	MAYBE 2.25/2.13	MAYBE 87.59/35.04	MAYBE 0.72/0.72
Integer_Transition_Systems/From_T2/simple_array_inversion.t2.smt2 5153546	YES 0.38/0.37	YES 0.02/0.02	YES 0.59/0.59
Integer_Transition_Systems/From_T2/bsort100.t2_fixed.smt2 5153547	YES 68.62/65.05	YES 0.96/0.96	YES 24.56/24.57
Integer_Transition_Systems/From_T2/simple.t2.smt2 5153548	MAYBE 0.62/0.59	NO 33.80/13.49	MAYBE 0.56/0.57
Integer_Transition_Systems/From_T2/small06.t2.smt2 5153549	YES 2.11/1.99	YES 0.03/0.04	YES 1.04/1.04
Integer_Transition_Systems/From_T2/java_Double1.c.t2.smt2 5153550	MAYBE 12.79/12.06	YES 0.38/0.17	MAYBE 2.49/2.49
Integer_Transition_Systems/From_T2/bf9.t2_fixed.smt2 5153551	YES 89.71/84.66	YES 0.05/0.06	YES 8.30/8.30
Integer_Transition_Systems/From_T2/tqli.t2_fixed.smt2 5153552	run script error [out]	NO 41.78/18.49	run script error [out]
Integer_Transition_Systems/From_T2/simple_control_on_input.t2_fixed.smt2 5153553	YES 0.39/0.38	YES 0.02/0.02	YES 0.60/1.03
Integer_Transition_Systems/From_T2/ns.t2_fixed.smt2 5153554	YES 70.87/67.40	YES 1.21/0.72	YES 31.16/31.17
Integer_Transition_Systems/From_T2/simple_swap_call.t2.smt2 5153555	YES 0.06/0.06	YES 0.01/0.02	YES 0.62/0.63
Integer_Transition_Systems/From_T2/small32.t2.smt2 5153556	YES 0.01/0.02	YES 0.01/0.02	YES 0.55/0.55
Integer_Transition_Systems/From_T2/p-63.t2_fixed.smt2 5153557	MAYBE 6.80/6.38	YES 0.05/0.04	YES 1.55/1.55
Integer_Transition_Systems/From_T2/ludcmp.t2.smt2 5153558	run script error [out]	YES 0.79/0.81	YES 95.04/95.05
Integer_Transition_Systems/From_T2/n-21.t2.smt2 5153559	MAYBE 9.62/9.08	NO 262.20/117.68	MAYBE 1.65/1.65
Integer_Transition_Systems/From_T2/array2.t2_fixed.smt2 5153560	YES 0.77/0.73	YES 0.02/0.02	YES 0.61/0.61
Integer_Transition_Systems/From_T2/disj_nightmare.t2.smt2 5153561	timeout (wallclock) [out]	NO 50.00/15.67	run script error [out]
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2.smt2 5153562	YES 5.42/5.15	YES 0.02/0.03	run script error [out]
Integer_Transition_Systems/From_T2/svdcmp.t2.smt2 5153563	run script error [out]	YES 33.81/33.83	run script error [out]
Integer_Transition_Systems/From_T2/janne_complex.t2_fixed.smt2 5153564	MAYBE 61.46/58.29	NO 35.07/18.33	MAYBE 15.33/15.34
Integer_Transition_Systems/From_T2/smagilla-succeed.t2.smt2 5153565	MAYBE 3.17/2.98	NO 22.38/6.18	MAYBE 1.52/1.52
Integer_Transition_Systems/From_T2/p-6.t2.smt2 5153566	YES 10.51/9.91	YES 0.03/0.03	YES 1.25/1.25
Integer_Transition_Systems/From_T2/n-37.t2_fixed.smt2 5153567	MAYBE 6.23/5.86	NO 44.40/23.85	MAYBE 1.76/1.76
Integer_Transition_Systems/From_T2/p-46.t2.smt2 5153568	MAYBE 36.04/34.32	NO 5.92/4.43	MAYBE 11.35/11.36
Integer_Transition_Systems/From_T2/consts4nt.t2.smt2 5153569	MAYBE 1.50/1.41	NO 6.47/4.51	MAYBE 0.76/0.76
Integer_Transition_Systems/From_T2/db.t2.smt2 5153570	YES 0.06/0.06	YES 0.01/0.02	YES 0.65/0.65
Integer_Transition_Systems/From_T2/create_via_tmps.t2_fixed.smt2 5153571	run script error [out]	YES 0.28/0.28	YES 229.45/229.47
Integer_Transition_Systems/From_T2/example.t2.smt2 5153572	MAYBE 2.03/1.93	YES 0.02/0.03	YES 0.60/0.60
Integer_Transition_Systems/From_T2/p-13.t2.smt2 5153573	YES 0.01/0.02	YES 0.01/0.02	YES 0.59/0.59
Integer_Transition_Systems/From_T2/dsa_test12.t2.smt2 5153574	YES 0.01/0.02	YES 0.01/0.02	YES 0.50/0.51
Integer_Transition_Systems/From_T2/graycode.t2_fixed.smt2 5153575	run script error [out]	YES 0.52/0.52	YES 166.85/166.87
Integer_Transition_Systems/From_T2/slayer-n1-filtered.t2.smt2 5153576	MAYBE 121.22/114.95	NO 10.14/6.11	MAYBE 30.92/30.93
Integer_Transition_Systems/From_T2/s3-work.t2_fixed.smt2 5153577	run script error [out]	YES 14.92/14.93	run script error [out]
Integer_Transition_Systems/From_T2/n-36.t2_fixed.smt2 5153578	run script error [out]	MAYBE 0.14/0.12	MAYBE 143.33/143.34
Integer_Transition_Systems/From_T2/s1-striped.t2_fixed.smt2 5153579	run script error [out]	MAYBE 578.47/165.40	run script error [out]
Integer_Transition_Systems/From_T2/ex4.t2_fixed.smt2 5153580	YES 31.17/29.22	YES 0.03/0.04	YES 3.81/3.83
Integer_Transition_Systems/From_T2/andrey.t2.smt2 5153581	YES 0.09/0.09	YES 0.02/0.02	YES 0.52/0.52
Integer_Transition_Systems/From_T2/traverse_seg2.t2_fixed.smt2 5153582	run script error [out]	YES 0.98/0.98	run script error [out]
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.fixed.t2_fixed.smt2 5153583	run script error [out]	MAYBE 317.41/173.84	run script error [out]
Integer_Transition_Systems/From_T2/bf18.t2_fixed.smt2 5153584	YES 77.61/73.61	YES 0.06/0.06	YES 8.02/8.02
Integer_Transition_Systems/From_T2/eric.t2.smt2 5153585	MAYBE 17.08/16.07	MAYBE 10.32/4.62	MAYBE 1.03/1.03
Integer_Transition_Systems/From_T2/cnt.t2_fixed.smt2 5153586	timeout (wallclock) [out]	YES 0.08/0.09	run script error [out]
Integer_Transition_Systems/From_T2/small01.t2_fixed.smt2 5153587	MAYBE 0.99/0.94	YES 0.02/0.02	YES 0.55/0.55
Integer_Transition_Systems/From_T2/java_MinusBuiltIn.c.t2.smt2 5153588	YES 11.83/11.15	YES 0.04/0.06	YES 1.91/1.92
Integer_Transition_Systems/From_T2/byron-4.t2_fixed.smt2 5153589	MAYBE 14.18/13.38	YES 0.04/0.06	YES 1.95/1.97
Integer_Transition_Systems/From_T2/statemate.t2_fixed.smt2 5153590	run script error [out]	timeout (wallclock) [out]	run script error [out]
Integer_Transition_Systems/From_T2/create.t2.smt2 5153591	YES 32.83/30.99	YES 0.05/0.06	YES 3.97/3.97
Integer_Transition_Systems/From_T2/fast_poll.t2.smt2 5153592	timeout (wallclock) [out]	NO 8.41/6.25	timeout (wallclock) [out]
Integer_Transition_Systems/From_T2/java_AG313.c.t2.smt2 5153593	YES 13.43/12.66	YES 0.06/0.06	YES 2.24/2.24
Integer_Transition_Systems/From_T2/p-53.t2.smt2 5153594	YES 0.06/0.06	YES 0.01/0.02	YES 0.64/0.64
Integer_Transition_Systems/From_T2/neg-e-pgarch-fail.t2_fixed.smt2 5153595	MAYBE 19.33/18.20	NO 0.08/0.06	MAYBE 5.60/5.61
Integer_Transition_Systems/From_T2/st88.bug.t2.smt2 5153596	MAYBE 12.37/12.00	NO 19.51/14.20	MAYBE 4.52/4.54
Integer_Transition_Systems/From_T2/ex2.t2.smt2 5153597	MAYBE 2.97/2.91	NO 23.77/13.45	MAYBE 1.53/1.53
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2_fixed.smt2 5153598	MAYBE 3.16/2.98	NO 5.17/4.16	MAYBE 1.37/1.37
Integer_Transition_Systems/From_T2/Prim_4.t2.smt2 5153599	run script error [out]	NO 256.40/154.34	run script error [out]
Integer_Transition_Systems/From_T2/bitcount32.t2.smt2 5153600	MAYBE 47.84/45.08	YES 0.02/0.03	YES 2.13/2.13
Integer_Transition_Systems/From_T2/edn.t2_fixed.smt2 5153601	run script error [out]	YES 4.37/4.38	run script error [out]
Integer_Transition_Systems/From_T2/java_Factorial.c.t2.smt2 5153602	YES 1.89/1.79	YES 0.03/0.03	YES 0.98/0.98
Integer_Transition_Systems/From_T2/fun10.t2.smt2 5153603	run script error [out]	NO 14.76/7.00	run script error [out]
Integer_Transition_Systems/From_T2/java_BubbleSort.c.t2.smt2 5153604	YES 76.92/72.54	YES 0.09/0.09	YES 8.85/8.86
Integer_Transition_Systems/From_T2/ex4.t2.smt2 5153605	YES 45.49/42.98	YES 0.04/0.04	YES 3.34/3.34
Integer_Transition_Systems/From_T2/compress.t2_fixed.smt2 5153606	run script error [out]	NO 34.04/17.10	run script error [out]
Integer_Transition_Systems/From_T2/st88.bug.t2_fixed.smt2 5153607	MAYBE 6.58/6.16	NO 9.55/4.25	MAYBE 2.76/2.76
Integer_Transition_Systems/From_T2/bs.t2.smt2 5153608	MAYBE 35.71/33.49	NO 7.55/4.94	MAYBE 9.45/9.45
Integer_Transition_Systems/From_T2/dsa_test15.t2.smt2 5153609	YES 5.52/5.21	YES 0.02/0.03	YES 1.01/1.01
Integer_Transition_Systems/From_T2/fun4.t2.smt2 5153610	MAYBE 11.28/10.65	NO 7.53/5.29	MAYBE 2.30/2.31
Integer_Transition_Systems/From_T2/n-12a.t2.smt2 5153611	MAYBE 0.74/0.70	NO 5.20/4.16	MAYBE 0.67/0.67
Integer_Transition_Systems/From_T2/ex11.t2.smt2 5153612	MAYBE 4.52/4.69	NO 1.79/1.20	MAYBE 1.22/1.22
Integer_Transition_Systems/From_T2/jacobi.t2.smt2 5153613	run script error [out]	YES 0.11/0.11	YES 28.14/28.15
Integer_Transition_Systems/From_T2/p_armc.t2.smt2 5153614	MAYBE 54.93/52.09	MAYBE 45.18/17.28	MAYBE 150.51/150.54
Integer_Transition_Systems/From_T2/ex40.t2.smt2 5153615	MAYBE 0.89/0.85	NO 23.81/13.49	MAYBE 0.99/0.99
Integer_Transition_Systems/From_T2/peculiar.t2.smt2 5153616	MAYBE 10.25/9.63	NO 3.43/1.31	MAYBE 3.58/3.58
Integer_Transition_Systems/From_T2/d.t2.smt2 5153617	MAYBE 4.14/3.88	NO 15.67/6.91	MAYBE 0.83/0.83
Integer_Transition_Systems/From_T2/ex2.t2_fixed.smt2 5153618	MAYBE 2.07/1.95	NO 23.83/13.51	MAYBE 1.24/1.26
Integer_Transition_Systems/From_T2/java_Nested.c.t2.smt2 5153619	YES 32.36/30.69	YES 0.05/0.05	YES 3.42/3.42
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.fixed.t2_fixed.smt2 5153620	run script error [out]	YES 0.10/0.11	YES 55.41/55.42
Integer_Transition_Systems/From_T2/slayer-n3-filtered.t2_fixed.smt2 5153621	run script error [out]	YES 0.10/0.10	YES 19.40/19.43
Integer_Transition_Systems/From_T2/slayer-2-filtered.t2_fixed.smt2 5153622	YES 3.81/3.62	YES 0.02/0.03	YES 1.05/1.05
Integer_Transition_Systems/From_T2/n-40.t2_fixed.smt2 5153623	MAYBE 120.11/113.21	run script error [out]	MAYBE 5.53/5.54
Integer_Transition_Systems/From_T2/ex32.t2.smt2 5153624	YES 5.75/5.42	YES 0.02/0.04	YES 1.59/1.59
Integer_Transition_Systems/From_T2/ex31.t2_fixed.smt2 5153625	MAYBE 1.32/1.25	NO 5.38/4.23	MAYBE 0.73/0.74
Integer_Transition_Systems/From_T2/p-37.t2.smt2 5153626	run script error [out]	YES 0.02/0.03	YES 2.22/2.22
Integer_Transition_Systems/From_T2/slayer-n5-filtered.t2.smt2 5153627	run script error [out]	MAYBE 161.42/76.65	run script error [out]
Integer_Transition_Systems/From_T2/ex19.t2.smt2 5153628	MAYBE 7.87/7.37	NO 41.45/20.81	MAYBE 1.44/1.44
Integer_Transition_Systems/From_T2/fun2b.t2_fixed.smt2 5153629	MAYBE 252.48/242.54	YES 1.79/1.80	YES 41.50/41.50
Integer_Transition_Systems/From_T2/zlib-adler32.c.t2.smt2 5153630	MAYBE 251.55/237.92	MAYBE 287.04/150.35	MAYBE 67.09/67.05
Integer_Transition_Systems/From_T2/bf16.t2_fixed.smt2 5153631	YES 95.27/90.05	YES 0.06/0.06	YES 8.00/8.00
Integer_Transition_Systems/From_T2/java_Ackermann.c.t2.smt2 5153632	MAYBE 18.97/17.85	YES 0.07/0.08	run script error [out]
Integer_Transition_Systems/From_T2/p-56.t2.smt2 5153633	YES 7.47/7.03	YES 0.02/0.02	YES 1.13/1.13
Integer_Transition_Systems/From_T2/ex12.t2.smt2 5153634	YES 1.66/1.57	YES 0.02/0.02	YES 0.73/0.74
Integer_Transition_Systems/From_T2/armc-difficult_k.t2.smt2 5153635	MAYBE 34.28/33.26	YES 0.39/0.20	YES 1.79/1.80
Integer_Transition_Systems/From_T2/java_DivMinus2.c.t2.smt2 5153636	MAYBE 261.89/247.35	YES 0.46/0.30	MAYBE 52.86/52.87
Integer_Transition_Systems/From_T2/pgarch-fail.t2.smt2 5153637	run script error [out]	NO 0.11/0.08	MAYBE 7.34/7.34
Integer_Transition_Systems/From_T2/small14.t2.smt2 5153638	MAYBE 35.89/34.03	NO 42.02/18.52	MAYBE 6.10/6.11
Integer_Transition_Systems/From_T2/st88.t2_fixed.smt2 5153639	MAYBE 6.76/6.34	NO 9.83/4.47	MAYBE 2.87/2.87
Integer_Transition_Systems/From_T2/n-7.t2.smt2 5153640	MAYBE 7.65/7.16	run script error [out]	MAYBE 1.69/1.71
Integer_Transition_Systems/From_T2/popl07-succeed.t2.smt2 5153641	MAYBE 69.12/65.17	run script error [out]	MAYBE 16.42/16.42
Integer_Transition_Systems/From_T2/fun3.t2.smt2 5153642	timeout (wallclock) [out]	YES 6.10/6.11	YES 86.88/86.88
Integer_Transition_Systems/From_T2/p-36.t2_fixed.smt2 5153643	run script error [out]	MAYBE 0.07/0.06	MAYBE 20.02/20.03
Integer_Transition_Systems/From_T2/small20.t2.smt2 5153644	YES 2.49/2.35	YES 0.02/0.03	YES 0.62/0.62
Integer_Transition_Systems/From_T2/polyrank1.t2.smt2 5153645	MAYBE 0.77/0.78	YES 0.21/0.09	YES 0.55/0.56
Integer_Transition_Systems/From_T2/w1.t2.smt2 5153646	MAYBE 0.22/0.21	run script error [out]	MAYBE 0.55/0.55
Integer_Transition_Systems/From_T2/polling.t2.smt2 5153647	timeout (wallclock) [out]	MAYBE 27.47/15.74	MAYBE 249.14/249.21
Integer_Transition_Systems/From_T2/e-1394-fail.t2.smt2 5153648	run script error [out]	NO 17.68/5.54	run script error [out]
Integer_Transition_Systems/From_T2/1394complete-succeed.t2_fixed.smt2 5153649	run script error [out]	NO 373.11/100.79	run script error [out]
Integer_Transition_Systems/From_T2/agafp.t2.smt2 5153650	run script error [out]	run script error [out]	run script error [out]
Integer_Transition_Systems/From_T2/neg-popl07-succeed.t2.smt2 5153651	MAYBE 88.40/83.54	NO 0.80/0.44	MAYBE 23.54/23.55
Integer_Transition_Systems/From_T2/java_Break.c.t2_fixed.smt2 5153652	YES 1.52/1.44	YES 0.02/0.03	YES 0.96/0.96
Integer_Transition_Systems/From_T2/defect.t2.smt2 5153653	MAYBE 0.04/0.04	NO 0.03/0.03	MAYBE 0.48/0.49
Integer_Transition_Systems/From_T2/wrong_loop.t2.smt2 5153654	MAYBE 10.04/9.44	NO 11.10/4.75	MAYBE 2.32/2.32
Integer_Transition_Systems/From_T2/ctl.t2.smt2 5153655	MAYBE 23.99/22.74	NO 0.06/0.06	MAYBE 14.18/14.18
Integer_Transition_Systems/From_T2/neg-e-acqrel-succeed.t2.smt2 5153656	MAYBE 3.32/3.12	NO 5.17/4.16	MAYBE 1.35/1.36
Integer_Transition_Systems/From_T2/queue_1000.t2.smt2 5153657	YES 22.59/21.20	YES 0.07/0.10	YES 3.49/3.49
Integer_Transition_Systems/From_T2/1.t2.smt2 5153658	MAYBE 77.28/73.82	NO 9.81/6.26	MAYBE 27.06/27.06
Integer_Transition_Systems/From_T2/array.t2.smt2 5153659	YES 0.01/0.01	YES 0.01/0.02	YES 0.48/0.48
Integer_Transition_Systems/From_T2/fun10b.t2.smt2 5153660	run script error [out]	NO 13.26/6.59	run script error [out]
Integer_Transition_Systems/From_T2/insertsort.t2.smt2 5153661	MAYBE 6.75/6.37	NO 10.44/8.34	MAYBE 1.24/1.24
Integer_Transition_Systems/From_T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.t2.smt2 5153662	run script error [out]	YES 0.10/0.11	YES 55.43/55.44
Integer_Transition_Systems/From_T2/pearl-necklace.t2.smt2 5153663	YES 12.24/11.55	YES 0.03/0.03	YES 1.33/1.33
Integer_Transition_Systems/From_T2/array3.t2.smt2 5153664	YES 4.70/4.92	YES 0.02/0.03	YES 0.99/0.99
Integer_Transition_Systems/From_T2/randomwalk.t2.smt2 5153665	MAYBE 39.66/37.31	NO 84.64/41.41	run script error [out]
Integer_Transition_Systems/From_T2/two_arrays1.t2_fixed.smt2 5153666	YES 92.09/86.97	YES 0.05/0.05	YES 4.51/4.51
Integer_Transition_Systems/From_T2/java_AProVEMathRecursive.c.t2.smt2 5153667	MAYBE 33.90/31.81	YES 1.82/0.71	MAYBE 15.64/15.65
Integer_Transition_Systems/From_T2/s2.t2_fixed.smt2 5153668	YES 4.09/3.85	YES 0.02/0.03	YES 0.89/0.89
Integer_Transition_Systems/From_T2/n-3.t2.smt2 5153669	MAYBE 6.62/6.23	NO 37.38/16.71	MAYBE 0.90/0.90
Integer_Transition_Systems/From_T2/ex22.t2.smt2 5153670	run script error [out]	YES 0.24/0.24	YES 75.97/75.98
Integer_Transition_Systems/From_T2/n-12.t2_fixed.smt2 5153671	MAYBE 6.07/5.73	NO 5.49/4.23	MAYBE 1.24/1.31
Integer_Transition_Systems/From_T2/ex22.t2_fixed.smt2 5153672	timeout (wallclock) [out]	YES 0.14/0.15	YES 57.98/57.98
Integer_Transition_Systems/From_T2/refine_disj_problem.t2_fixed.smt2 5153673	MAYBE 2.06/1.95	NO 37.99/16.95	MAYBE 0.84/0.84
Integer_Transition_Systems/From_T2/prime.t2.smt2 5153674	MAYBE 300.61/284.86	NO 23.81/13.54	MAYBE 258.55/258.55
Integer_Transition_Systems/From_T2/cnt.t2.smt2 5153675	run script error [out]	YES 0.07/0.07	run script error [out]
Integer_Transition_Systems/From_T2/db3.t2.smt2 5153676	run script error [out]	MAYBE 312.97/143.44	run script error [out]
Integer_Transition_Systems/From_T2/neg-1394complete-succeed.t2_fixed.smt2 5153677	run script error [out]	NO 55.34/15.93	run script error [out]
Integer_Transition_Systems/From_T2/small07.t2.smt2 5153678	MAYBE 12.66/12.14	YES 0.07/0.07	YES 2.24/2.24
Integer_Transition_Systems/From_T2/nakata.t2.smt2 5153679	timeout (wallclock) [out]	MAYBE 197.78/117.85	run script error [out]
Integer_Transition_Systems/From_T2/fun5.t2_fixed.smt2 5153680	MAYBE 111.65/105.68	MAYBE 35.66/12.18	run script error [out]
Integer_Transition_Systems/From_T2/sequential_swap.t2.smt2 5153681	YES 0.06/0.06	YES 0.01/0.02	YES 0.75/0.75
Integer_Transition_Systems/From_T2/n-13.t2.smt2 5153682	MAYBE 0.83/0.79	NO 18.67/8.60	MAYBE 0.66/0.67
Integer_Transition_Systems/From_T2/select.t2.smt2 5153683	run script error [out]	NO 16.38/12.27	run script error [out]
Integer_Transition_Systems/From_T2/graycode.t2.smt2 5153684	run script error [out]	YES 0.69/0.69	YES 92.09/92.11
Integer_Transition_Systems/From_T2/s3-work.t2.smt2 5153685	run script error [out]	YES 4.23/4.23	run script error [out]
Integer_Transition_Systems/From_T2/rev_nt2.t2.smt2 5153686	MAYBE 303.80/288.29	NO 10.42/8.33	MAYBE 212.02/212.55
Integer_Transition_Systems/From_T2/neg-e-smagill-succeed.t2.smt2 5153687	MAYBE 4.57/4.30	NO 0.05/0.05	MAYBE 2.06/2.07
Integer_Transition_Systems/From_T2/consts5nt.t2_fixed.smt2 5153688	MAYBE 1.07/1.01	NO 33.82/13.52	MAYBE 0.58/0.58
Integer_Transition_Systems/From_T2/ex13.t2.smt2 5153689	YES 0.01/0.02	YES 0.01/0.02	YES 0.50/0.50
Integer_Transition_Systems/From_T2/dsa_test8.t2.smt2 5153690	YES 0.01/0.02	YES 0.01/0.02	YES 0.51/0.51
Integer_Transition_Systems/From_T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.t2_fixed.smt2 5153691	run script error [out]	YES 5.93/5.94	run script error [out]
Integer_Transition_Systems/From_T2/bf7.t2_fixed.smt2 5153692	YES 88.67/83.23	YES 0.06/0.06	YES 8.35/8.36
Integer_Transition_Systems/From_T2/n-1.t2_fixed.smt2 5153693	MAYBE 22.44/21.12	NO 5.91/4.34	MAYBE 3.75/3.76
Integer_Transition_Systems/From_T2/heidy6.t2.smt2 5153694	MAYBE 1.24/1.18	NO 23.82/13.52	MAYBE 0.93/0.93
Integer_Transition_Systems/From_T2/fdct.t2_fixed.smt2 5153695	YES 128.07/121.87	YES 0.04/0.05	YES 4.43/4.45
Integer_Transition_Systems/From_T2/e-acqrel-fail.t2.smt2 5153696	MAYBE 2.10/2.00	NO 5.17/4.16	MAYBE 1.09/1.09
Integer_Transition_Systems/From_T2/java_LogBuiltIn.c.t2.smt2 5153697	MAYBE 14.36/13.54	YES 0.04/0.05	YES 2.36/2.36
Integer_Transition_Systems/From_T2/ex17.t2.smt2 5153698	MAYBE 27.32/25.84	YES 23.90/13.53	YES 3.81/3.81
Integer_Transition_Systems/From_T2/opt-tree.c.t2.smt2 5153699	run script error [out]	YES 36.62/14.27	run script error [out]
Integer_Transition_Systems/From_T2/apchild-accepted-fail.t2_fixed.smt2 5153700	run script error [out]	MAYBE 355.67/182.59	run script error [out]
Integer_Transition_Systems/From_T2/ex26.t2_fixed.smt2 5153701	YES 15.41/14.44	YES 0.13/0.14	YES 2.34/2.35
Integer_Transition_Systems/From_T2/ex27.t2_fixed.smt2 5153702	run script error [out]	YES 0.22/0.22	YES 118.21/118.20
Integer_Transition_Systems/From_T2/bf8.t2_fixed.smt2 5153703	YES 91.96/86.57	YES 0.05/0.06	YES 8.33/8.33
Integer_Transition_Systems/From_T2/matrixsqrt.t2.smt2 5153704	YES 78.76/74.47	YES 0.25/0.13	YES 6.59/6.59
Integer_Transition_Systems/From_T2/florian_sas2.t2.smt2 5153705	timeout (wallclock) [out]	MAYBE 277.04/159.31	MAYBE 280.66/280.67
Integer_Transition_Systems/From_T2/ex23.t2_fixed.smt2 5153706	YES 1.43/1.35	YES 0.02/0.02	YES 0.76/0.76
Integer_Transition_Systems/From_T2/neg-e-1394complete-succeed.t2.smt2 5153707	run script error [out]	NO 54.86/15.80	run script error [out]
Integer_Transition_Systems/From_T2/p-3.t2_fixed.smt2 5153708	YES 6.32/5.97	YES 0.02/0.03	YES 0.97/0.97
Integer_Transition_Systems/From_T2/fun10.t2_fixed.smt2 5153709	run script error [out]	NO 13.05/6.58	run script error [out]
Integer_Transition_Systems/From_T2/traverse.t2_fixed.smt2 5153710	run script error [out]	run script error [out]	run script error [out]
Integer_Transition_Systems/From_T2/sas07.cex.t2.smt2 5153711	run script error [out]	YES 0.34/0.34	run script error [out]
Integer_Transition_Systems/From_T2/heidy2.t2.smt2 5153712	MAYBE 1.14/1.08	run script error [out]	MAYBE 0.69/0.69
Integer_Transition_Systems/From_T2/bf5.t2.smt2 5153713	YES 101.30/95.51	YES 0.06/0.06	YES 5.11/5.11
Integer_Transition_Systems/From_T2/florian_sumit.t2.smt2 5153714	MAYBE 12.09/11.37	MAYBE 33.34/10.95	MAYBE 3.84/3.84
Integer_Transition_Systems/From_T2/bitcount16.t2_fixed.smt2 5153715	YES 38.66/36.34	YES 0.02/0.03	YES 5.37/5.37
Integer_Transition_Systems/From_T2/small16.t2.smt2 5153716	MAYBE 1.13/1.07	MAYBE 49.21/16.27	MAYBE 0.62/0.62
Integer_Transition_Systems/From_T2/foo.t2.smt2 5153717	run script error [out]	MAYBE 238.44/184.07	run script error [out]
Integer_Transition_Systems/From_T2/slayer-n2.t2.smt2 5153718	MAYBE 3.75/3.52	NO 24.16/13.56	MAYBE 1.07/1.07
Integer_Transition_Systems/From_T2/destroy.t2.smt2 5153719	run script error [out]	YES 0.17/0.17	run script error [out]
Integer_Transition_Systems/From_T2/n-5.t2.smt2 5153720	timeout (wallclock) [out]	NO 77.37/23.46	MAYBE 40.87/40.87
Integer_Transition_Systems/From_T2/janne_complex.t2.smt2 5153721	MAYBE 85.32/80.43	MAYBE 304.13/150.33	MAYBE 56.53/56.53
Integer_Transition_Systems/From_T2/ase_example.t2_fixed.smt2 5153722	YES 15.20/14.27	YES 0.03/0.03	YES 1.68/1.68
Integer_Transition_Systems/From_T2/n-5.t2_fixed.smt2 5153723	MAYBE 233.43/220.45	NO 72.55/21.84	MAYBE 38.28/38.29
Integer_Transition_Systems/From_T2/ex31.t2.smt2 5153724	MAYBE 2.66/2.52	NO 6.15/4.43	MAYBE 0.95/0.95
Integer_Transition_Systems/From_T2/traverse_twice.t2.smt2 5153725	run script error [out]	YES 0.62/0.66	run script error [out]
Integer_Transition_Systems/From_T2/w3_nt.t2.smt2 5153726	MAYBE 213.65/200.98	NO 9.42/6.66	MAYBE 130.33/130.34
Integer_Transition_Systems/From_T2/p-12.t2.smt2 5153727	YES 0.30/0.29	YES 0.02/0.02	run script error [out]
Integer_Transition_Systems/From_T2/jfdctint.t2.smt2 5153728	YES 162.78/154.20	YES 0.04/0.04	YES 7.57/7.57
Integer_Transition_Systems/From_T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2.smt2 5153729	run script error [out]	MAYBE 305.08/185.52	run script error [out]
Integer_Transition_Systems/From_T2/e-st88b-fail.t2.smt2 5153730	MAYBE 2.46/2.35	NO 0.04/0.04	MAYBE 2.44/2.44
Integer_Transition_Systems/From_T2/qrdcmp.t2.smt2 5153731	run script error [out]	YES 1.38/1.38	run script error [out]
Integer_Transition_Systems/From_T2/s4.t2.smt2 5153732	run script error [out]	run script error [out]	run script error [out]
Integer_Transition_Systems/From_T2/consts5.t2_fixed.smt2 5153733	MAYBE 1.08/1.02	YES 0.01/0.02	YES 0.55/0.55
Integer_Transition_Systems/From_T2/traverse_seg.t2.smt2 5153734	run script error [out]	YES 0.46/0.47	run script error [out]
Integer_Transition_Systems/From_T2/e-pgarch-fail.t2.smt2 5153735	MAYBE 32.62/30.67	NO 0.10/0.08	MAYBE 8.26/8.27
Integer_Transition_Systems/From_T2/n-36.t2.smt2 5153736	run script error [out]	MAYBE 0.15/0.12	MAYBE 222.72/222.72
Integer_Transition_Systems/From_T2/p-7b.t2.smt2 5153737	YES 4.29/4.03	YES 0.02/0.02	YES 0.81/0.81
Integer_Transition_Systems/From_T2/n-21.t2_fixed.smt2 5153738	MAYBE 4.37/4.10	NO 37.68/16.83	run script error [out]
Integer_Transition_Systems/From_T2/small03.t2.smt2 5153739	MAYBE 0.45/0.43	NO 64.91/34.13	MAYBE 0.60/0.61
Integer_Transition_Systems/From_T2/p-55.t2_fixed.smt2 5153740	YES 11.39/11.75	run script error [out]	run script error [out]
Integer_Transition_Systems/From_T2/s1-saved.t2.smt2 5153741	run script error [out]	YES 0.35/0.35	run script error [out]
Integer_Transition_Systems/From_T2/byron-2.t2_fixed.smt2 5153742	YES 28.29/29.04	YES 0.03/0.03	YES 2.68/2.69
Integer_Transition_Systems/From_T2/streamserver.bug.t2.smt2 5153743	MAYBE 91.02/86.72	NO 22.42/10.23	MAYBE 52.62/52.63
Integer_Transition_Systems/From_T2/bf15.t2.smt2 5153744	YES 163.17/153.60	YES 0.06/0.06	YES 8.60/8.60
Integer_Transition_Systems/From_T2/apchild-live.t2.smt2 5153745	run script error [out]	MAYBE 60.91/42.33	run script error [out]
Integer_Transition_Systems/From_T2/fourn.c.i.fourn.pl.t2.fixed.t2.smt2 5153746	run script error [out]	MAYBE 93.87/34.02	run script error [out]
Integer_Transition_Systems/From_T2/oct_vs_subpoly.t2.smt2 5153747	MAYBE 0.41/0.41	NO 64.89/34.10	MAYBE 0.61/0.61
Integer_Transition_Systems/From_T2/p-1d.t2.smt2 5153748	YES 13.62/12.81	YES 0.02/0.03	YES 1.32/1.32
Integer_Transition_Systems/From_T2/p-46.t2_fixed.smt2 5153749	MAYBE 30.70/28.91	NO 5.78/4.43	MAYBE 10.99/10.99
Integer_Transition_Systems/From_T2/consts3.t2_fixed.smt2 5153750	YES 0.10/0.11	YES 0.02/0.02	YES 0.51/0.52
Integer_Transition_Systems/From_T2/slayer-3-new.t2_fixed.smt2 5153751	run script error [out]	MAYBE 275.67/155.35	run script error [out]
Integer_Transition_Systems/From_T2/rev_nt4.t2_fixed.smt2 5153752	YES 0.01/0.02	YES 0.02/0.02	YES 0.71/0.72
Integer_Transition_Systems/From_T2/n-1d.t2_fixed.smt2 5153753	MAYBE 10.66/10.43	NO 5.43/4.21	MAYBE 1.53/1.53
Integer_Transition_Systems/From_T2/e-acqrel-succeed.t2.smt2 5153754	MAYBE 3.10/3.14	NO 5.35/4.23	MAYBE 1.35/1.35
Integer_Transition_Systems/From_T2/small05.t2.smt2 5153755	MAYBE 0.46/0.44	NO 31.93/16.57	MAYBE 0.60/0.61
Integer_Transition_Systems/From_T2/n-15.t2.smt2 5153756	MAYBE 1.20/1.13	NO 33.87/13.55	MAYBE 0.59/0.60
Integer_Transition_Systems/From_T2/zlib-crc32.c.t2_fixed.smt2 5153757	YES 32.39/30.50	YES 0.09/0.10	YES 4.12/4.15
Integer_Transition_Systems/From_T2/intSqRoot.t2.smt2 5153758	MAYBE 4.17/3.91	NO 5.94/4.37	MAYBE 1.01/1.02
Integer_Transition_Systems/From_T2/ud.t2.smt2 5153759	run script error [out]	YES 4.82/4.31	run script error [out]
Integer_Transition_Systems/From_T2/queens.t2_fixed.smt2 5153760	run script error [out]	run script error [out]	run script error [out]
Integer_Transition_Systems/From_T2/smagillb-succeed.t2_fixed.smt2 5153761	MAYBE 6.07/5.71	NO 32.61/8.54	MAYBE 2.14/2.14
Integer_Transition_Systems/From_T2/florian_new_ex.t2.smt2 5153762	MAYBE 48.14/45.77	YES 0.68/0.33	MAYBE 35.43/35.45
Integer_Transition_Systems/From_T2/6.t2.smt2 5153763	MAYBE 0.22/0.21	NO 0.03/0.03	MAYBE 0.59/0.59
Integer_Transition_Systems/From_T2/complex_guard.t2.smt2 5153764	YES 0.56/0.54	YES 0.02/0.03	YES 0.69/0.69
Integer_Transition_Systems/From_T2/collatz.t2_fixed.smt2 5153765	MAYBE 7.44/6.99	MAYBE 16.75/6.88	MAYBE 1.19/1.19
Integer_Transition_Systems/From_T2/dsa_test9.t2.smt2 5153766	YES 0.01/0.01	YES 0.01/0.02	YES 0.51/0.52
Integer_Transition_Systems/From_T2/db3.t2_fixed.smt2 5153767	run script error [out]	MAYBE 234.30/141.34	run script error [out]
Integer_Transition_Systems/From_T2/fir.t2_fixed.smt2 5153768	YES 66.71/63.22	YES 0.92/0.92	YES 27.23/27.23
Integer_Transition_Systems/From_T2/pentagon.t2.smt2 5153769	MAYBE 44.59/42.70	MAYBE 950.45/242.06	MAYBE 12.51/12.51
Integer_Transition_Systems/From_T2/broydn.t2_fixed.smt2 5153770	run script error [out]	YES 7.03/7.03	run script error [out]
Integer_Transition_Systems/From_T2/toeplz.c.i.toeplz.pl.t2.fixed.t2.smt2 5153771	run script error [out]	YES 4.20/4.20	YES 10.55/10.55
Integer_Transition_Systems/From_T2/arith.t2.smt2 5153772	YES 1.93/2.06	YES 0.02/0.02	YES 0.93/0.93
Integer_Transition_Systems/From_T2/bf9.t2.smt2 5153773	YES 130.09/122.62	YES 0.06/0.07	YES 8.87/8.87
Integer_Transition_Systems/From_T2/p-10.t2.smt2 5153774	MAYBE 12.79/12.45	MAYBE 0.03/0.04	MAYBE 1.98/1.98
Integer_Transition_Systems/From_T2/neg-e-pgarch-succeed.t2_fixed.smt2 5153775	MAYBE 12.44/11.67	run script error [out]	MAYBE 4.43/4.44
Integer_Transition_Systems/From_T2/matmult.t2_fixed.smt2 5153776	YES 218.71/206.69	YES 0.60/0.67	YES 18.63/18.66
Integer_Transition_Systems/From_T2/byron-1.t2.smt2 5153777	MAYBE 2.53/2.46	YES 0.06/0.05	YES 0.82/0.90
Integer_Transition_Systems/From_T2/n-7.t2_fixed.smt2 5153778	MAYBE 8.03/7.64	NO 150.43/67.71	MAYBE 1.38/1.40
Integer_Transition_Systems/From_T2/rev_nt3.t2_fixed.smt2 5153779	timeout (wallclock) [out]	NO 9.78/6.97	MAYBE 286.60/286.61
Integer_Transition_Systems/From_T2/1394complete-fail.t2.smt2 5153780	run script error [out]	NO 55.06/15.71	run script error [out]
Integer_Transition_Systems/From_T2/spctrm.c.i.spctrm.pl.t2.fixed.t2.smt2 5153781	run script error [out]	YES 14.67/14.69	run script error [out]
Integer_Transition_Systems/From_T2/print.t2.smt2 5153782	run script error [out]	YES 0.51/0.51	run script error [out]
Integer_Transition_Systems/From_T2/pgarch-succeed.t2.smt2 5153783	MAYBE 30.19/28.63	NO 0.11/0.08	MAYBE 7.27/7.29
Integer_Transition_Systems/From_T2/neg-popl07-fail.t2_fixed.smt2 5153784	MAYBE 82.81/83.62	NO 0.28/0.18	MAYBE 20.12/20.12
Integer_Transition_Systems/From_T2/n-14.t2_fixed.smt2 5153785	MAYBE 3.61/3.39	NO 5.38/4.25	MAYBE 1.26/1.26
Integer_Transition_Systems/From_T2/loop_on_input.t2.smt2 5153786	YES 1.96/1.85	YES 0.02/0.03	YES 0.71/0.71
Integer_Transition_Systems/From_T2/array2.t2.smt2 5153787	YES 1.42/1.34	YES 0.02/0.02	YES 0.72/0.72
Integer_Transition_Systems/From_T2/n-14.t2.smt2 5153788	MAYBE 9.28/8.74	NO 5.35/4.22	MAYBE 2.05/2.05
Integer_Transition_Systems/From_T2/ppblockterm.t2.smt2 5153789	MAYBE 38.43/36.85	NO 146.57/57.35	MAYBE 7.79/7.79
Integer_Transition_Systems/From_T2/ruslan-benchmarks_misc_n-38.t2.smt2 5153790	MAYBE 62.60/58.95	NO 183.65/74.84	MAYBE 166.03/166.03
Integer_Transition_Systems/From_T2/jacobi.t2_fixed.smt2 5153791	run script error [out]	YES 0.10/0.11	YES 26.55/26.56
Integer_Transition_Systems/From_T2/rlft3.t2.smt2 5153792	run script error [out]	run script error [out]	MAYBE 85.67/85.69
Integer_Transition_Systems/From_AProVE_2014/Factorial.jar-obl-8.smt2 5153793	YES 0.08/0.07	YES 0.02/0.02	YES 0.53/0.53
Integer_Transition_Systems/From_AProVE_2014/costa09-example_2.jar-obl-8.smt2 5153794	YES 0.44/0.43	YES 0.02/0.02	YES 0.62/0.62
Integer_Transition_Systems/From_AProVE_2014/Fractale1.jar-obl-8.smt2 5153795	YES 21.82/20.70	YES 0.54/0.54	YES 18.72/18.72
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreatePut.jar-obl-10.smt2 5153796	YES 76.74/73.29	MAYBE 324.13/103.12	YES 39.38/39.39
Integer_Transition_Systems/From_AProVE_2014/AckR.jar-obl-8.smt2 5153797	YES 0.53/0.50	YES 0.03/0.03	YES 0.69/0.72
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetFirst.jar-obl-8.smt2 5153798	YES 2.20/2.14	YES 0.18/0.19	YES 2.08/2.09
Integer_Transition_Systems/From_AProVE_2014/Overflow.jar-obl-8.smt2 5153799	YES 0.25/0.24	YES 0.02/0.02	YES 0.52/0.56
Integer_Transition_Systems/From_AProVE_2014/ListReversePanhandleList.jar-obl-11.smt2 5153800	YES 3.80/3.60	YES 0.09/0.10	YES 1.37/1.40
Integer_Transition_Systems/From_AProVE_2014/sum_rec.jar-obl-8.smt2 5153801	MAYBE 0.25/0.24	NO 23.74/13.47	MAYBE 0.55/0.55
Integer_Transition_Systems/From_AProVE_2014/IntListSumRec.jar-obl-9.smt2 5153802	YES 0.44/0.42	YES 0.03/0.04	YES 0.81/0.81
Integer_Transition_Systems/From_AProVE_2014/Exc3.jar-obl-8.smt2 5153803	YES 0.35/0.33	YES 0.03/0.04	YES 0.55/0.64
Integer_Transition_Systems/From_AProVE_2014/BMOG_CAV_12_MarkingGraphVisitor.jar-obl-11.smt2 5153804	MAYBE 11.35/10.70	MAYBE 11.57/8.79	MAYBE 2.04/2.04
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePoll.jar-obl-8.smt2 5153805	YES 2.26/2.21	YES 0.19/0.19	YES 2.20/2.20
Integer_Transition_Systems/From_AProVE_2014/EvenOdd.jar-obl-8.smt2 5153806	MAYBE 4.31/4.06	NO 30.15/15.59	MAYBE 0.69/0.69
Integer_Transition_Systems/From_AProVE_2014/Double3.jar-obl-8.smt2 5153807	YES 0.08/0.07	YES 0.02/0.02	YES 0.52/0.55
Integer_Transition_Systems/From_AProVE_2014/PastaA9.jar-obl-8.smt2 5153808	YES 0.34/0.33	YES 0.02/0.02	YES 0.55/0.55
Integer_Transition_Systems/From_AProVE_2014/PastaA8.jar-obl-8.smt2 5153809	YES 0.27/0.26	YES 0.02/0.02	YES 0.53/0.53
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateEquals.jar-obl-13.smt2 5153810	timeout (wallclock) [out]	YES 2.67/2.73	YES 147.77/147.79
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollFirst.jar-obl-8.smt2 5153811	YES 2.22/2.16	YES 0.19/0.19	YES 2.20/2.22
Integer_Transition_Systems/From_AProVE_2014/NO_22.jar-obl-8.smt2 5153812	MAYBE 0.29/0.28	NO 8.17/3.98	MAYBE 0.57/0.57
Integer_Transition_Systems/From_AProVE_2014/BinarySearch.jar-obl-9.smt2 5153813	timeout (wallclock) [out]	YES 0.91/0.91	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileTrue.jar-obl-8.smt2 5153814	MAYBE 0.35/0.34	NO 28.08/12.55	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncr.jar-obl-8.smt2 5153815	MAYBE 0.28/0.27	NO 18.72/8.37	MAYBE 0.53/0.53
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveElement.jar-obl-16.smt2 5153816	run script error [out]	YES 3.55/3.56	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/costa09-example_3.jar-obl-8.smt2 5153817	YES 0.35/0.33	YES 0.02/0.03	YES 0.53/0.53
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloLower.jar-obl-8.smt2 5153818	MAYBE 1.96/1.86	NO 5.22/4.20	MAYBE 0.75/0.75
Integer_Transition_Systems/From_AProVE_2014/IntRTA.jar-obl-8.smt2 5153819	YES 0.54/0.52	YES 0.03/0.03	YES 0.60/0.88
Integer_Transition_Systems/From_AProVE_2014/Test10.jar-obl-9.smt2 5153820	YES 1.40/1.39	YES 0.04/0.04	YES 0.78/0.78
Integer_Transition_Systems/From_AProVE_2014/DivWithoutMinus.jar-obl-8.smt2 5153821	YES 0.30/0.29	YES 0.03/0.04	YES 0.65/0.65
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorInterv.jar-obl-8.smt2 5153822	MAYBE 0.77/0.73	NO 83.40/40.51	MAYBE 1.28/1.28
Integer_Transition_Systems/From_AProVE_2014/PastaB15.jar-obl-8.smt2 5153823	YES 0.47/0.45	YES 0.02/0.03	YES 0.68/0.68
Integer_Transition_Systems/From_AProVE_2014/NO_12.jar-obl-8.smt2 5153824	MAYBE 0.55/0.53	NO 56.20/29.19	MAYBE 0.64/0.64
Integer_Transition_Systems/From_AProVE_2014/ex06_rec.jar-obl-8.smt2 5153825	MAYBE 0.26/0.26	NO 0.03/0.03	MAYBE 0.52/0.53
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSum.jar-obl-8.smt2 5153826	MAYBE 6.38/6.42	MAYBE 13.76/8.43	MAYBE 1.47/1.47
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAt.jar-obl-10.smt2 5153827	YES 14.97/14.35	YES 0.53/0.53	YES 6.92/6.93
Integer_Transition_Systems/From_AProVE_2014/SharingPair.jar-obl-8.smt2 5153828	MAYBE 0.49/0.47	NO 8.42/5.01	MAYBE 0.76/0.78
Integer_Transition_Systems/From_AProVE_2014/LessLeavesRec.jar-obl-10.smt2 5153829	run script error [out]	MAYBE 19.44/10.66	MAYBE 54.98/54.99
Integer_Transition_Systems/From_AProVE_2014/Break.jar-obl-8.smt2 5153830	YES 0.15/0.15	YES 0.02/0.02	YES 0.51/0.51
Integer_Transition_Systems/From_AProVE_2014/Infix2Postfix.jar-obl-11.smt2 5153831	YES 59.42/56.26	YES 0.25/0.26	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/PastaA4.jar-obl-8.smt2 5153832	YES 0.26/0.25	YES 0.02/0.02	YES 0.53/0.53
Integer_Transition_Systems/From_AProVE_2014/Gopher.jar-obl-10.smt2 5153833	YES 4.06/3.84	YES 0.11/0.11	YES 1.55/1.55
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec2.jar-obl-9.smt2 5153834	MAYBE 0.80/0.76	MAYBE 37.86/12.67	MAYBE 0.88/0.88
Integer_Transition_Systems/From_AProVE_2014/PastaB7.jar-obl-8.smt2 5153835	YES 0.31/0.30	YES 0.02/0.04	YES 0.55/0.55
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileIncrPart.jar-obl-8.smt2 5153836	MAYBE 0.39/0.37	NO 18.95/8.45	MAYBE 0.57/0.57
Integer_Transition_Systems/From_AProVE_2014/RandomHard.jar-obl-10.smt2 5153837	MAYBE 152.18/96.72	MAYBE 37.22/19.04	MAYBE 2.18/2.21
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesRec.jar-obl-13.smt2 5153838	YES 263.54/261.28	MAYBE 73.00/36.19	YES 19.12/19.12
Integer_Transition_Systems/From_AProVE_2014/Duplicate.jar-obl-8.smt2 5153839	YES 0.27/0.27	YES 0.02/0.02	YES 0.53/0.53
Integer_Transition_Systems/From_AProVE_2014/even_rec.jar-obl-8.smt2 5153840	MAYBE 0.35/0.36	NO 18.76/8.40	MAYBE 0.54/0.54
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSet.jar-obl-10.smt2 5153841	YES 9.89/9.39	YES 0.23/0.23	YES 2.41/2.41
Integer_Transition_Systems/From_AProVE_2014/Exc5.jar-obl-8.smt2 5153842	YES 0.34/0.32	YES 0.03/0.03	YES 0.55/0.56
Integer_Transition_Systems/From_AProVE_2014/RetValRec.jar-obl-8.smt2 5153843	MAYBE 0.37/0.35	YES 3.21/1.11	MAYBE 0.71/0.71
Integer_Transition_Systems/From_AProVE_2014/Collatz.jar-obl-8.smt2 5153844	MAYBE 3.06/2.91	MAYBE 6.00/4.43	MAYBE 0.80/0.81
Integer_Transition_Systems/From_AProVE_2014/NO_13.jar-obl-8.smt2 5153845	MAYBE 0.50/0.47	MAYBE 307.63/93.95	MAYBE 0.61/0.61
Integer_Transition_Systems/From_AProVE_2014/alternDivWidening_rec.jar-obl-8.smt2 5153846	MAYBE 0.92/0.88	run script error [out]	MAYBE 1.07/1.07
Integer_Transition_Systems/From_AProVE_2014/BinarySearchTree.jar-obl-8.smt2 5153847	YES 0.58/0.56	YES 0.03/0.04	YES 0.66/0.67
Integer_Transition_Systems/From_AProVE_2014/Test1.jar-obl-8.smt2 5153848	MAYBE 1.57/1.49	YES 13.44/5.00	YES 0.93/0.93
Integer_Transition_Systems/From_AProVE_2014/Et5.jar-obl-8.smt2 5153849	YES 1.43/1.38	YES 0.18/0.18	YES 1.19/1.19
Integer_Transition_Systems/From_AProVE_2014/Virtual.jar-obl-9.smt2 5153850	MAYBE 0.58/0.59	YES 0.09/0.05	YES 0.63/0.65
Integer_Transition_Systems/From_AProVE_2014/ChooseLife.jar-obl-8.smt2 5153851	MAYBE 0.32/0.31	NO 7.12/4.91	MAYBE 0.55/0.55
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePush.jar-obl-8.smt2 5153852	YES 1.47/1.42	YES 0.13/0.13	YES 1.40/1.41
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAll.jar-obl-11.smt2 5153853	MAYBE 16.36/15.83	MAYBE 185.42/88.22	MAYBE 19.32/19.33
Integer_Transition_Systems/From_AProVE_2014/Nested.jar-obl-8.smt2 5153854	YES 1.79/1.70	YES 0.39/0.40	YES 0.63/0.63
Integer_Transition_Systems/From_AProVE_2014/Et4-rec.jar-obl-8.smt2 5153855	MAYBE 0.83/0.80	YES 35.01/10.59	YES 0.85/0.85
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip2.jar-obl-8.smt2 5153856	MAYBE 0.73/0.70	NO 43.47/14.04	MAYBE 0.70/0.70
Integer_Transition_Systems/From_AProVE_2014/PastaB12.jar-obl-8.smt2 5153857	YES 0.24/0.24	YES 0.02/0.03	YES 0.56/0.57
Integer_Transition_Systems/From_AProVE_2014/LoopingNonterm.jar-obl-8.smt2 5153858	MAYBE 0.42/0.41	NO 9.16/5.24	MAYBE 0.60/0.69
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateDescendingIteratorLoop.jar-obl-13.smt2 5153859	YES 78.34/74.25	YES 0.57/0.58	YES 14.26/14.48
Integer_Transition_Systems/From_AProVE_2014/Norm.jar-obl-9.smt2 5153860	MAYBE 29.74/28.03	MAYBE 50.29/17.10	MAYBE 11.31/11.32
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-collatz.jar-obl-8.smt2 5153861	MAYBE 3.09/3.37	MAYBE 5.60/4.29	MAYBE 0.81/0.81
Integer_Transition_Systems/From_AProVE_2014/Double.jar-obl-8.smt2 5153862	YES 0.50/0.48	YES 0.02/0.03	YES 0.59/0.59
Integer_Transition_Systems/From_AProVE_2014/Matrix.jar-obl-16.smt2 5153863	MAYBE 217.07/206.98	MAYBE 213.26/77.55	MAYBE 46.32/46.33
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateLastIndexOf.jar-obl-16.smt2 5153864	run script error [out]	YES 3.02/3.02	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/alternKonv_rec.jar-obl-8.smt2 5153865	MAYBE 0.60/0.57	MAYBE 25.23/7.77	MAYBE 0.71/0.71
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostPath.jar-obl-9.smt2 5153866	YES 2.66/2.54	YES 0.12/0.14	YES 1.33/1.33
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv2.jar-obl-8.smt2 5153867	MAYBE 0.40/0.38	NO 5.32/4.19	MAYBE 0.56/0.56
Integer_Transition_Systems/From_AProVE_2014/TaylorSeriesIte.jar-obl-13.smt2 5153868	YES 283.78/280.93	MAYBE 64.40/30.60	YES 29.46/29.46
Integer_Transition_Systems/From_AProVE_2014/TreeLeftmostDepth.jar-obl-9.smt2 5153869	YES 2.62/2.83	YES 0.12/0.12	YES 1.33/1.35
Integer_Transition_Systems/From_AProVE_2014/TermCreateCollect.jar-obl-9.smt2 5153870	YES 3.80/3.82	YES 0.07/0.08	YES 1.23/1.23
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferLast.jar-obl-8.smt2 5153871	YES 1.43/1.38	YES 0.13/0.13	YES 1.35/1.35
Integer_Transition_Systems/From_AProVE_2014/Test13Loops.jar-obl-10.smt2 5153872	MAYBE 1.20/1.14	NO 135.20/45.47	MAYBE 1.10/1.10
Integer_Transition_Systems/From_AProVE_2014/TwoWay.jar-obl-8.smt2 5153873	YES 0.15/0.15	YES 0.02/0.02	YES 0.52/0.54
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysis.jar-obl-9.smt2 5153874	YES 0.59/0.56	YES 0.03/0.04	YES 0.70/0.70
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex02.jar-obl-8.smt2 5153875	MAYBE 0.36/0.34	NO 11.72/4.93	MAYBE 0.59/0.59
Integer_Transition_Systems/From_AProVE_2014/Test6.jar-obl-13.smt2 5153876	MAYBE 258.88/247.72	MAYBE 113.70/98.54	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/Flatten.jar-obl-10.smt2 5153877	MAYBE 4.13/3.91	MAYBE 58.55/21.11	MAYBE 1.54/1.55
Integer_Transition_Systems/From_AProVE_2014/TestJulia6.jar-obl-8.smt2 5153878	MAYBE 0.06/0.07	NO 0.03/0.03	MAYBE 0.50/0.50
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex08.jar-obl-8.smt2 5153879	MAYBE 1.04/0.98	NO 51.17/27.37	MAYBE 1.09/1.09
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-factorial.jar-obl-8.smt2 5153880	run script error [out]	MAYBE 92.02/45.13	MAYBE 0.85/0.85
Integer_Transition_Systems/From_AProVE_2014/Et2-rec.jar-obl-8.smt2 5153881	MAYBE 0.60/0.58	YES 0.55/0.23	YES 0.77/0.77
Integer_Transition_Systems/From_AProVE_2014/ConvertRec.jar-obl-9.smt2 5153882	MAYBE 2.58/2.47	NO 22.98/9.51	MAYBE 1.86/1.86
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-lcm.jar-obl-10.smt2 5153883	MAYBE 1.53/1.46	NO 80.12/23.60	MAYBE 1.55/1.55
Integer_Transition_Systems/From_AProVE_2014/Test9.jar-obl-20.smt2 5153884	YES 2.78/2.63	YES 0.10/0.10	YES 1.92/1.92
Integer_Transition_Systems/From_AProVE_2014/Exc2.jar-obl-8.smt2 5153885	MAYBE 0.26/0.25	NO 1.37/1.04	MAYBE 0.56/0.56
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateRemove.jar-obl-11.smt2 5153886	YES 99.68/95.43	MAYBE 300.02/98.00	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-plait.jar-obl-8.smt2 5153887	MAYBE 21.56/20.30	MAYBE 10.00/5.09	MAYBE 8.99/8.99
Integer_Transition_Systems/From_AProVE_2014/AProVEMath.jar-obl-8.smt2 5153888	YES 0.96/1.11	YES 0.03/0.03	YES 0.78/0.78
Integer_Transition_Systems/From_AProVE_2014/MainCopy.jar-obl-10.smt2 5153889	MAYBE 2.14/2.46	NO 14.26/6.56	MAYBE 1.51/1.52
Integer_Transition_Systems/From_AProVE_2014/Convert.jar-obl-9.smt2 5153890	MAYBE 0.91/0.86	NO 5.92/4.38	MAYBE 0.78/0.78
Integer_Transition_Systems/From_AProVE_2014/List.jar-obl-12.smt2 5153891	MAYBE 1.18/1.12	NO 48.39/16.73	MAYBE 1.22/1.22
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-convLower.jar-obl-8.smt2 5153892	MAYBE 0.35/0.34	NO 21.83/7.26	MAYBE 0.59/0.59
Integer_Transition_Systems/From_AProVE_2014/LogBuiltIn.jar-obl-8.smt2 5153893	YES 0.45/0.43	YES 0.02/0.02	YES 0.57/0.57
Integer_Transition_Systems/From_AProVE_2014/PastaC1.jar-obl-8.smt2 5153894	YES 2.45/2.48	YES 0.03/0.04	YES 0.64/0.64
Integer_Transition_Systems/From_AProVE_2014/PastaA1.jar-obl-8.smt2 5153895	YES 1.55/1.47	YES 0.02/0.03	YES 0.63/0.63
Integer_Transition_Systems/From_AProVE_2014/MainFind.jar-obl-10.smt2 5153896	MAYBE 2.63/2.50	NO 41.47/13.66	MAYBE 1.97/2.01
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysis.jar-obl-8.smt2 5153897	YES 0.18/0.18	YES 0.02/0.03	YES 0.57/0.57
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemove.jar-obl-10.smt2 5153898	YES 24.38/23.67	YES 0.84/0.84	YES 15.37/15.37
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDown.jar-obl-8.smt2 5153899	MAYBE 0.93/0.88	NO 46.10/22.79	MAYBE 0.81/0.82
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-twoFloatInterv.jar-obl-8.smt2 5153900	MAYBE 32.23/30.24	NO 4.07/1.42	MAYBE 1.26/1.29
Integer_Transition_Systems/From_AProVE_2014/PastaC9.jar-obl-8.smt2 5153901	YES 0.44/0.42	YES 0.03/0.04	YES 0.64/0.64
Integer_Transition_Systems/From_AProVE_2014/IntListDupRec.jar-obl-9.smt2 5153902	YES 0.95/0.92	YES 0.07/0.07	YES 0.93/0.93
Integer_Transition_Systems/From_AProVE_2014/PastaB11.jar-obl-8.smt2 5153903	MAYBE 0.74/0.71	YES 0.42/0.23	YES 0.68/0.68
Integer_Transition_Systems/From_AProVE_2014/Kernel95.jar-obl-9.smt2 5153904	YES 3.34/3.18	YES 0.11/0.11	YES 2.09/2.09
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec03.jar-obl-8.smt2 5153905	MAYBE 0.42/0.40	NO 5.27/4.18	MAYBE 0.56/0.64
Integer_Transition_Systems/From_AProVE_2014/MultiLasso.jar-obl-8.smt2 5153906	MAYBE 2.35/2.56	NO 25.60/10.37	MAYBE 0.76/0.79
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowing.jar-obl-8.smt2 5153907	MAYBE 158.64/150.83	NO 40.71/21.55	MAYBE 13.94/13.95
Integer_Transition_Systems/From_AProVE_2014/BinTreeChanger.jar-obl-10.smt2 5153908	MAYBE 10.88/10.29	MAYBE 11.55/5.09	MAYBE 1.96/1.96
Integer_Transition_Systems/From_AProVE_2014/Test2.jar-obl-8.smt2 5153909	MAYBE 1.52/1.44	YES 8.71/3.05	YES 1.01/1.01
Integer_Transition_Systems/From_AProVE_2014/Iterations.jar-obl-8.smt2 5153910	timeout (wallclock) [out]	YES 16.60/8.10	YES 15.16/15.16
Integer_Transition_Systems/From_AProVE_2014/PastaB1.jar-obl-8.smt2 5153911	YES 0.22/0.21	YES 0.02/0.02	YES 0.53/0.58
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv3.jar-obl-8.smt2 5153912	MAYBE 0.32/0.58	NO 19.12/8.51	MAYBE 0.57/0.57
Integer_Transition_Systems/From_AProVE_2014/PastaC3.jar-obl-8.smt2 5153913	YES 0.81/0.77	YES 0.03/0.03	YES 0.63/0.63
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddLast.jar-obl-8.smt2 5153914	YES 1.52/1.46	YES 0.12/0.13	YES 1.36/1.36
Integer_Transition_Systems/From_AProVE_2014/NO_20.jar-obl-8.smt2 5153915	MAYBE 0.06/0.06	NO 0.03/0.03	MAYBE 0.50/0.79
Integer_Transition_Systems/From_AProVE_2014/MinusMin.jar-obl-8.smt2 5153916	MAYBE 1.99/1.88	YES 0.08/0.05	YES 0.78/0.86
Integer_Transition_Systems/From_AProVE_2014/sunset_rec.jar-obl-8.smt2 5153917	MAYBE 0.57/0.54	run script error [out]	MAYBE 0.71/0.72
Integer_Transition_Systems/From_AProVE_2014/Test7.jar-obl-11.smt2 5153918	MAYBE 1.02/0.97	MAYBE 87.24/34.50	MAYBE 1.23/1.24
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorKeyLoop.jar-obl-12.smt2 5153919	YES 161.94/153.94	MAYBE 317.89/103.46	YES 37.68/37.68
Integer_Transition_Systems/From_AProVE_2014/upAndDownIneq_rec.jar-obl-8.smt2 5153920	MAYBE 3.15/2.97	NO 70.92/41.19	MAYBE 3.29/3.30
Integer_Transition_Systems/From_AProVE_2014/ex07_rec.jar-obl-8.smt2 5153921	MAYBE 0.25/0.24	NO 0.03/0.03	MAYBE 0.52/0.52
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileSingle.jar-obl-8.smt2 5153922	MAYBE 0.55/0.53	NO 6.08/4.33	MAYBE 0.60/0.60
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complxStruc.jar-obl-8.smt2 5153923	MAYBE 1.31/1.24	NO 26.22/9.98	MAYBE 0.94/0.94
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLast.jar-obl-8.smt2 5153924	YES 4.36/4.27	YES 0.34/0.35	YES 3.55/3.55
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex03.jar-obl-8.smt2 5153925	MAYBE 0.60/0.57	NO 10.90/4.72	MAYBE 0.68/0.68
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex07.jar-obl-9.smt2 5153926	MAYBE 0.53/0.51	NO 9.44/4.22	MAYBE 0.78/0.78
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysis.jar-obl-10.smt2 5153927	YES 1.83/1.75	YES 0.08/0.08	YES 1.16/1.16
Integer_Transition_Systems/From_AProVE_2014/BTreeR.jar-obl-9.smt2 5153928	YES 2.38/2.26	YES 0.06/0.06	YES 1.32/1.36
Integer_Transition_Systems/From_AProVE_2014/Et5-rec.jar-obl-8.smt2 5153929	YES 1.40/1.36	YES 0.07/0.07	YES 1.08/1.08
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIndexOf.jar-obl-16.smt2 5153930	run script error [out]	YES 3.23/3.24	YES 261.03/261.04
Integer_Transition_Systems/From_AProVE_2014/Log.jar-obl-8.smt2 5153931	MAYBE 1.33/1.26	YES 0.17/0.10	MAYBE 0.65/0.65
Integer_Transition_Systems/From_AProVE_2014/Exc.jar-obl-8.smt2 5153932	YES 0.36/0.35	YES 0.07/0.08	YES 0.55/0.55
Integer_Transition_Systems/From_AProVE_2014/Kernel68.jar-obl-9.smt2 5153933	YES 33.38/31.91	YES 1.03/1.04	YES 31.64/31.65
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekLast.jar-obl-8.smt2 5153934	YES 1.87/1.81	YES 0.15/0.16	YES 1.69/1.69
Integer_Transition_Systems/From_AProVE_2014/Mod.jar-obl-8.smt2 5153935	YES 3.85/3.99	YES 0.06/0.06	MAYBE 1.09/1.09
Integer_Transition_Systems/From_AProVE_2014/LeUserDefRec.jar-obl-8.smt2 5153936	YES 0.10/0.10	YES 0.02/0.03	YES 0.54/0.54
Integer_Transition_Systems/From_AProVE_2014/Continue1.jar-obl-8.smt2 5153937	YES 0.33/0.31	YES 0.03/0.03	YES 0.55/0.58
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-trueDiv.jar-obl-8.smt2 5153938	MAYBE 0.37/0.37	NO 18.79/8.40	MAYBE 0.57/0.58
Integer_Transition_Systems/From_AProVE_2014/TriTas.jar-obl-12.smt2 5153939	MAYBE 14.21/13.40	NO 66.53/34.75	MAYBE 1.93/1.93
Integer_Transition_Systems/From_AProVE_2014/Power.jar-obl-10.smt2 5153940	YES 25.18/24.10	YES 25.12/9.80	YES 5.39/5.39
Integer_Transition_Systems/From_AProVE_2014/CyclicalListDuplicate.jar-obl-9.smt2 5153941	MAYBE 1.91/1.82	NO 13.81/9.57	MAYBE 1.32/1.32
Integer_Transition_Systems/From_AProVE_2014/BTree.jar-obl-9.smt2 5153942	YES 1.60/1.62	YES 0.09/0.09	YES 0.94/0.94
Integer_Transition_Systems/From_AProVE_2014/upAndDown_rec.jar-obl-8.smt2 5153943	MAYBE 1.48/1.40	NO 84.68/34.68	MAYBE 1.00/1.00
Integer_Transition_Systems/From_AProVE_2014/FactSumList.jar-obl-8.smt2 5153944	YES 4.32/4.06	YES 0.08/0.09	YES 0.86/0.86
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-8.smt2 5153945	YES 0.18/0.19	YES 0.02/0.02	YES 0.56/0.56
Integer_Transition_Systems/From_AProVE_2014/FactSum.jar-obl-9.smt2 5153946	YES 0.18/0.18	YES 0.02/0.02	YES 0.60/0.60
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec04.jar-obl-9.smt2 5153947	MAYBE 0.45/0.42	NO 18.73/8.37	MAYBE 0.58/0.58
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-mirrorIntervSim.jar-obl-8.smt2 5153948	MAYBE 0.41/0.40	NO 34.08/12.67	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/CountMetaList.jar-obl-9.smt2 5153949	MAYBE 1.52/1.45	NO 6.70/4.62	MAYBE 1.01/1.02
Integer_Transition_Systems/From_AProVE_2014/NO_00.jar-obl-8.smt2 5153950	MAYBE 0.05/0.05	NO 0.03/0.03	MAYBE 0.50/0.50
Integer_Transition_Systems/From_AProVE_2014/NO_03.jar-obl-8.smt2 5153951	MAYBE 0.23/0.22	NO 0.32/0.16	MAYBE 0.55/0.55
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec01.jar-obl-8.smt2 5153952	YES 1.35/1.29	YES 0.07/0.07	YES 0.71/0.71
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePop.jar-obl-8.smt2 5153953	YES 2.28/2.22	YES 0.18/0.21	YES 2.21/2.21
Integer_Transition_Systems/From_AProVE_2014/Queen.jar-obl-10.smt2 5153954	MAYBE 2.93/2.87	MAYBE 24.11/13.66	MAYBE 1.61/1.62
Integer_Transition_Systems/From_AProVE_2014/Test8.jar-obl-12.smt2 5153955	MAYBE 1.10/1.05	YES 0.24/0.12	YES 0.93/0.93
Integer_Transition_Systems/From_AProVE_2014/PastaB3.jar-obl-8.smt2 5153956	YES 0.06/0.06	YES 0.02/0.02	YES 0.54/0.54
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddFirst.jar-obl-8.smt2 5153957	YES 1.52/1.47	YES 0.12/0.12	YES 1.40/1.40
Integer_Transition_Systems/From_AProVE_2014/PastaC5.jar-obl-8.smt2 5153958	YES 0.37/0.36	YES 0.03/0.03	YES 0.59/0.60
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-cousot.jar-obl-8.smt2 5153959	MAYBE 0.46/0.44	NO 56.52/25.64	MAYBE 0.58/0.58
Integer_Transition_Systems/From_AProVE_2014/Et6.jar-obl-8.smt2 5153960	YES 1.42/1.37	YES 0.30/0.33	YES 1.19/1.19
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateElement.jar-obl-8.smt2 5153961	YES 1.81/1.76	YES 0.15/0.15	YES 1.70/1.70
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWide.jar-obl-8.smt2 5153962	MAYBE 0.49/0.46	NO 27.02/10.12	MAYBE 0.73/0.73
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-complInterv.jar-obl-8.smt2 5153963	MAYBE 0.35/0.35	MAYBE 19.34/8.60	MAYBE 0.54/0.55
Integer_Transition_Systems/From_AProVE_2014/PastaB13.jar-obl-8.smt2 5153964	YES 3.87/3.63	YES 0.03/0.03	MAYBE 1.12/1.12
Integer_Transition_Systems/From_AProVE_2014/whileSingle_rec.jar-obl-8.smt2 5153965	MAYBE 0.54/0.51	NO 6.23/4.37	MAYBE 0.61/0.61
Integer_Transition_Systems/From_AProVE_2014/MergeSort.jar-obl-12.smt2 5153966	YES 48.96/46.52	YES 0.52/0.52	YES 9.06/9.12
Integer_Transition_Systems/From_AProVE_2014/Kernel93.jar-obl-9.smt2 5153967	MAYBE 3.36/3.16	NO 9.86/4.44	MAYBE 1.48/1.49
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whilePart.jar-obl-8.smt2 5153968	MAYBE 0.37/0.36	NO 5.37/4.20	MAYBE 0.57/0.57
Integer_Transition_Systems/From_AProVE_2014/TermsCreateMatch.jar-obl-9.smt2 5153969	YES 15.72/14.89	YES 0.16/0.17	YES 2.73/2.73
Integer_Transition_Systems/From_AProVE_2014/LessLeaves.jar-obl-10.smt2 5153970	MAYBE 9.91/9.42	NO 70.34/21.30	MAYBE 2.41/2.41
Integer_Transition_Systems/From_AProVE_2014/LogIterative.jar-obl-8.smt2 5153971	YES 0.45/0.44	YES 0.02/0.03	YES 0.62/0.62
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-middle.jar-obl-8.smt2 5153972	MAYBE 0.35/0.33	NO 72.55/38.46	MAYBE 0.60/0.60
Integer_Transition_Systems/From_AProVE_2014/Distances.jar-obl-19.smt2 5153973	run script error [out]	MAYBE 76.62/55.63	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/Avg.jar-obl-8.smt2 5153974	MAYBE 0.55/0.52	YES 0.03/0.03	YES 0.59/0.59
Integer_Transition_Systems/From_AProVE_2014/ListContent.jar-obl-9.smt2 5153975	MAYBE 0.40/0.38	NO 5.78/4.35	MAYBE 0.66/0.66
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorValueLoop.jar-obl-12.smt2 5153976	YES 158.35/150.91	MAYBE 321.20/103.46	YES 37.83/37.83
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduceRec.jar-obl-9.smt2 5153977	MAYBE 0.85/0.86	YES 0.09/0.09	MAYBE 0.88/0.88
Integer_Transition_Systems/From_AProVE_2014/whileNested_rec.jar-obl-9.smt2 5153978	MAYBE 0.41/0.39	NO 28.87/15.61	MAYBE 0.61/0.61
Integer_Transition_Systems/From_AProVE_2014/RSA.jar-obl-17.smt2 5153979	run script error [out]	MAYBE 32.29/15.64	MAYBE 25.14/25.15
Integer_Transition_Systems/From_AProVE_2014/PastaB6.jar-obl-8.smt2 5153980	YES 0.11/0.11	YES 0.02/0.02	YES 0.53/0.54
Integer_Transition_Systems/From_AProVE_2014/PartitionList.jar-obl-16.smt2 5153981	YES 70.94/67.98	YES 1.43/1.44	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/costa09-example_4.jar-obl-8.smt2 5153982	YES 0.21/0.21	YES 0.20/0.20	YES 0.56/0.57
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSize.jar-obl-8.smt2 5153983	YES 1.23/1.18	YES 0.03/0.03	YES 1.01/1.01
Integer_Transition_Systems/From_AProVE_2014/CyclicPair2.jar-obl-8.smt2 5153984	YES 0.16/0.16	YES 0.02/0.02	YES 0.53/0.53
Integer_Transition_Systems/From_AProVE_2014/PastaA6.jar-obl-8.smt2 5153985	MAYBE 0.45/0.43	YES 0.12/0.05	YES 0.56/0.58
Integer_Transition_Systems/From_AProVE_2014/ListContentTail.jar-obl-10.smt2 5153986	YES 2.49/2.37	YES 0.06/0.07	YES 1.05/1.09
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-moduloUp.jar-obl-8.smt2 5153987	MAYBE 0.95/0.90	NO 7.10/4.33	MAYBE 0.60/0.60
Integer_Transition_Systems/From_AProVE_2014/ListInt.jar-obl-12.smt2 5153988	MAYBE 3.57/3.40	NO 12.94/6.18	MAYBE 2.20/2.20
Integer_Transition_Systems/From_AProVE_2014/MinusUserDefined.jar-obl-8.smt2 5153989	MAYBE 0.71/0.68	YES 0.24/0.10	YES 0.71/0.72
Integer_Transition_Systems/From_AProVE_2014/Et4.jar-obl-8.smt2 5153990	MAYBE 0.96/0.92	YES 67.15/20.16	YES 0.99/1.00
Integer_Transition_Systems/From_AProVE_2014/Samefringe.jar-obl-10.smt2 5153991	MAYBE 2.96/2.84	NO 10.65/5.69	MAYBE 1.88/1.88
Integer_Transition_Systems/From_AProVE_2014/Kernel88.jar-obl-9.smt2 5153992	YES 8.79/8.40	YES 0.10/0.10	YES 1.21/1.21
Integer_Transition_Systems/From_AProVE_2014/LogRecursive.jar-obl-8.smt2 5153993	YES 1.01/0.96	YES 0.03/0.04	YES 0.92/0.92
Integer_Transition_Systems/From_AProVE_2014/whileNestedOffset_rec.jar-obl-9.smt2 5153994	MAYBE 0.39/0.37	NO 35.63/19.03	MAYBE 0.62/0.62
Integer_Transition_Systems/From_AProVE_2014/DivTernary2.jar-obl-9.smt2 5153995	MAYBE 1.84/1.76	NO 24.05/9.20	MAYBE 12.26/12.27
Integer_Transition_Systems/From_AProVE_2014/sumGeneric2_rec.jar-obl-8.smt2 5153996	MAYBE 0.43/0.41	NO 27.13/14.57	MAYBE 0.60/0.60
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie2.jar-obl-8.smt2 5153997	MAYBE 0.35/0.34	NO 28.11/12.56	MAYBE 0.58/0.58
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternatingIncr.jar-obl-8.smt2 5153998	MAYBE 1.98/1.87	NO 5.61/4.29	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/MirrorTree.jar-obl-9.smt2 5153999	YES 1.92/1.83	YES 0.07/0.08	YES 1.31/1.31
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePollLast.jar-obl-8.smt2 5154000	YES 4.33/4.25	YES 0.34/0.35	YES 3.60/3.60
Integer_Transition_Systems/From_AProVE_2014/PastaB5.jar-obl-8.smt2 5154001	YES 0.11/0.11	YES 0.02/0.02	YES 0.57/0.57
Integer_Transition_Systems/From_AProVE_2014/MainGet.jar-obl-10.smt2 5154002	MAYBE 1.80/1.72	NO 15.52/6.98	MAYBE 1.71/1.72
Integer_Transition_Systems/From_AProVE_2014/SharingAnalysisRec.jar-obl-9.smt2 5154003	YES 0.71/0.68	YES 0.04/0.04	YES 0.92/0.92
Integer_Transition_Systems/From_AProVE_2014/Et6-rec.jar-obl-8.smt2 5154004	YES 1.27/1.26	run script error [out]	YES 1.07/1.08
Integer_Transition_Systems/From_AProVE_2014/NonPeriodicNonterm2.jar-obl-8.smt2 5154005	MAYBE 0.54/0.55	NO 19.86/8.69	MAYBE 0.63/0.68
Integer_Transition_Systems/From_AProVE_2014/Test3.jar-obl-10.smt2 5154006	MAYBE 3.61/3.47	YES 0.57/0.50	YES 8.39/8.39
Integer_Transition_Systems/From_AProVE_2014/Et2.jar-obl-8.smt2 5154007	MAYBE 0.79/0.76	YES 1.85/0.68	YES 0.91/0.91
Integer_Transition_Systems/From_AProVE_2014/FlattenTree.jar-obl-9.smt2 5154008	MAYBE 2.26/2.15	MAYBE 46.94/15.10	MAYBE 1.93/1.93
Integer_Transition_Systems/From_AProVE_2014/CAppE.jar-obl-9.smt2 5154009	YES 0.31/0.29	YES 0.02/0.03	YES 0.64/0.64
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex06.jar-obl-8.smt2 5154010	MAYBE 1.57/1.83	NO 2.59/1.31	MAYBE 0.97/0.97
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateSubList.jar-obl-8.smt2 5154011	YES 1.46/1.41	run script error [out]	YES 1.39/1.40
Integer_Transition_Systems/From_AProVE_2014/ClassAnalysisRec.jar-obl-8.smt2 5154012	YES 0.16/0.16	run script error [out]	YES 0.61/0.61
Integer_Transition_Systems/From_AProVE_2014/PastaB17.jar-obl-8.smt2 5154013	YES 2.93/2.77	YES 0.03/0.03	YES 0.66/0.67
Integer_Transition_Systems/From_AProVE_2014/Exc1.jar-obl-8.smt2 5154014	MAYBE 0.25/0.24	NO 0.07/0.05	MAYBE 0.55/0.55
Integer_Transition_Systems/From_AProVE_2014/Sequence.jar-obl-9.smt2 5154015	YES 0.34/0.34	YES 0.05/0.05	YES 0.57/0.57
Integer_Transition_Systems/From_AProVE_2014/PastaB18.jar-obl-8.smt2 5154016	YES 0.29/0.28	YES 0.02/0.03	YES 0.85/0.86
Integer_Transition_Systems/From_AProVE_2014/GCD2.jar-obl-8.smt2 5154017	YES 0.59/0.56	YES 0.04/0.05	YES 0.82/0.82
Integer_Transition_Systems/From_AProVE_2014/trueDiv_rec.jar-obl-8.smt2 5154018	MAYBE 0.37/0.35	NO 18.75/8.38	MAYBE 0.56/0.58
Integer_Transition_Systems/From_AProVE_2014/Round3.jar-obl-8.smt2 5154019	MAYBE 0.98/0.94	MAYBE 37.55/16.87	MAYBE 0.70/0.70
Integer_Transition_Systems/From_AProVE_2014/AppE.jar-obl-9.smt2 5154020	run script error [out]	YES 0.04/0.04	YES 0.80/0.80
Integer_Transition_Systems/From_AProVE_2014/Main.jar-obl-11.smt2 5154021	run script error [out]	MAYBE 131.41/83.60	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex05.jar-obl-8.smt2 5154022	MAYBE 0.31/0.29	NO 5.29/4.19	MAYBE 0.55/0.55
Integer_Transition_Systems/From_AProVE_2014/Binomial.jar-obl-9.smt2 5154023	YES 289.93/278.03	YES 0.66/0.66	YES 24.71/24.71
Integer_Transition_Systems/From_AProVE_2014/NO_11.jar-obl-8.smt2 5154024	MAYBE 0.30/0.30	NO 67.99/36.87	MAYBE 0.60/0.60
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOffer.jar-obl-8.smt2 5154025	YES 1.45/1.40	YES 0.12/0.12	YES 1.36/1.36
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAll.jar-obl-11.smt2 5154026	MAYBE 173.33/172.45	run script error [out]	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreate.jar-obl-8.smt2 5154027	YES 1.25/1.20	YES 0.03/0.03	YES 1.02/1.02
Integer_Transition_Systems/From_AProVE_2014/DuplicateNodes.jar-obl-9.smt2 5154028	YES 2.38/2.28	YES 0.08/0.09	YES 1.49/1.50
Integer_Transition_Systems/From_AProVE_2014/whilePart_rec.jar-obl-8.smt2 5154029	run script error [out]	NO 5.34/4.19	MAYBE 0.57/0.57
Integer_Transition_Systems/From_AProVE_2014/EqUserDefRec.jar-obl-8.smt2 5154030	YES 0.10/0.10	YES 0.02/0.02	YES 0.54/0.54
Integer_Transition_Systems/From_AProVE_2014/Test12.jar-obl-8.smt2 5154031	MAYBE 0.83/0.80	YES 0.23/0.13	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/mirrorInterv_rec.jar-obl-8.smt2 5154032	MAYBE 0.90/0.86	NO 85.31/40.90	MAYBE 1.66/1.66
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Visit.jar-obl-9.smt2 5154033	run script error [out]	NO 7.63/5.37	MAYBE 0.66/0.66
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAdd.jar-obl-8.smt2 5154034	YES 1.46/1.41	YES 0.12/0.12	YES 1.36/1.36
Integer_Transition_Systems/From_AProVE_2014/ex02_rec.jar-obl-8.smt2 5154035	MAYBE 0.37/0.36	NO 11.66/4.91	MAYBE 0.59/0.59
Integer_Transition_Systems/From_AProVE_2014/AProVEMathRecursive.jar-obl-8.smt2 5154036	YES 5.26/5.03	YES 0.06/0.06	YES 1.40/1.41
Integer_Transition_Systems/From_AProVE_2014/BubbleSortR.jar-obl-10.smt2 5154037	YES 32.64/30.90	YES 0.13/0.13	YES 1.83/1.83
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeListRec.jar-obl-10.smt2 5154038	MAYBE 4.53/4.35	MAYBE 55.13/19.90	MAYBE 1.64/1.64
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateToArray.jar-obl-9.smt2 5154039	YES 4.34/4.14	YES 0.19/0.19	YES 2.33/2.34
Integer_Transition_Systems/From_AProVE_2014/Test4.jar-obl-10.smt2 5154040	timeout (wallclock) [out]	MAYBE 63.12/51.77	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateSize.jar-obl-10.smt2 5154041	YES 82.42/79.56	MAYBE 126.21/38.34	YES 32.08/32.08
Integer_Transition_Systems/From_AProVE_2014/PastaB2.jar-obl-8.smt2 5154042	YES 0.27/0.26	YES 0.02/0.02	YES 0.53/0.53
Integer_Transition_Systems/From_AProVE_2014/StupidArray.jar-obl-8.smt2 5154043	YES 0.04/0.04	YES 0.02/0.03	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/cousot_rec.jar-obl-8.smt2 5154044	run script error [out]	NO 435.13/243.94	MAYBE 0.78/0.79
Integer_Transition_Systems/From_AProVE_2014/complInterv2_rec.jar-obl-8.smt2 5154045	MAYBE 0.39/0.38	NO 5.31/4.18	MAYBE 0.56/0.56
Integer_Transition_Systems/From_AProVE_2014/LogMult.jar-obl-8.smt2 5154046	YES 0.36/0.34	MAYBE 5.41/4.23	MAYBE 0.54/0.54
Integer_Transition_Systems/From_AProVE_2014/NO_10.jar-obl-8.smt2 5154047	MAYBE 0.26/0.25	NO 65.05/34.13	MAYBE 0.54/0.54
Integer_Transition_Systems/From_AProVE_2014/Recursions.jar-obl-13.smt2 5154048	YES 2.56/2.42	YES 0.06/0.07	YES 1.45/1.45
Integer_Transition_Systems/From_AProVE_2014/complxStruc_rec.jar-obl-8.smt2 5154049	MAYBE 20.32/19.21	NO 52.64/21.39	MAYBE 1.81/1.81
Integer_Transition_Systems/From_AProVE_2014/complInterv3_rec.jar-obl-8.smt2 5154050	MAYBE 0.32/0.31	NO 19.12/8.51	MAYBE 0.56/0.56
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContains.jar-obl-16.smt2 5154051	run script error [out]	YES 3.15/3.16	YES 261.60/261.66
Integer_Transition_Systems/From_AProVE_2014/LogAG.jar-obl-8.smt2 5154052	MAYBE 1.85/1.74	YES 0.14/0.07	YES 0.62/0.62
Integer_Transition_Systems/From_AProVE_2014/costa09-example_1.jar-obl-10.smt2 5154053	YES 1.10/1.04	YES 0.03/0.04	YES 0.79/0.79
Integer_Transition_Systems/From_AProVE_2014/Loop1.jar-obl-8.smt2 5154054	YES 0.36/0.35	YES 0.02/0.03	YES 0.57/0.58
Integer_Transition_Systems/From_AProVE_2014/costa09-example_5.jar-obl-8.smt2 5154055	MAYBE 0.06/0.06	NO 0.03/0.03	MAYBE 0.49/0.49
Integer_Transition_Systems/From_AProVE_2014/FlattenRTA.jar-obl-10.smt2 5154056	MAYBE 4.51/4.30	MAYBE 70.60/23.99	MAYBE 2.31/2.31
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNestedOffset.jar-obl-8.smt2 5154057	MAYBE 0.42/0.40	NO 14.18/8.49	MAYBE 0.68/0.68
Integer_Transition_Systems/From_AProVE_2014/Et1.jar-obl-8.smt2 5154058	MAYBE 0.30/0.29	YES 13.37/6.20	YES 0.54/0.54
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex01.jar-obl-8.smt2 5154059	MAYBE 0.37/0.66	NO 18.72/8.41	MAYBE 0.60/0.60
Integer_Transition_Systems/From_AProVE_2014/ListReverseAcyclicList.jar-obl-9.smt2 5154060	YES 0.39/0.37	YES 0.03/0.03	YES 0.63/0.63
Integer_Transition_Systems/From_AProVE_2014/FactSLR.jar-obl-8.smt2 5154061	MAYBE 0.54/0.51	YES 0.11/0.06	YES 0.68/0.68
Integer_Transition_Systems/From_AProVE_2014/alternDiv_rec.jar-obl-8.smt2 5154062	MAYBE 0.54/0.54	NO 25.68/9.43	MAYBE 0.57/0.57
Integer_Transition_Systems/From_AProVE_2014/MysteriousProgram.jar-obl-12.smt2 5154063	MAYBE 80.26/75.81	MAYBE 52.48/28.29	MAYBE 73.20/73.20
Integer_Transition_Systems/From_AProVE_2014/TerminatorRec02.jar-obl-8.smt2 5154064	YES 0.14/0.14	YES 0.02/0.02	YES 0.53/0.53
Integer_Transition_Systems/From_AProVE_2014/Ackermann.jar-obl-8.smt2 5154065	YES 0.42/0.40	YES 0.03/0.03	YES 0.63/0.64
Integer_Transition_Systems/From_AProVE_2014/convLower_rec.jar-obl-8.smt2 5154066	MAYBE 0.36/0.34	NO 21.84/7.26	MAYBE 0.59/0.59
Integer_Transition_Systems/From_AProVE_2014/Et1-rec.jar-obl-8.smt2 5154067	MAYBE 0.50/0.48	YES 13.41/6.22	YES 0.65/0.65
Integer_Transition_Systems/From_AProVE_2014/sumGeneric_rec.jar-obl-8.smt2 5154068	MAYBE 0.40/0.38	NO 56.04/25.09	MAYBE 0.58/0.58
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateClear.jar-obl-11.smt2 5154069	YES 76.67/73.37	MAYBE 296.53/97.34	YES 38.27/38.27
Integer_Transition_Systems/From_AProVE_2014/SearchTreeR.jar-obl-9.smt2 5154070	YES 3.92/3.72	YES 0.11/0.11	YES 1.27/1.27
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGetLast.jar-obl-8.smt2 5154071	YES 1.91/1.85	YES 0.15/0.15	YES 1.68/1.69
Integer_Transition_Systems/From_AProVE_2014/GCD.jar-obl-8.smt2 5154072	YES 0.63/0.60	YES 0.05/0.05	YES 0.92/0.92
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDiv.jar-obl-8.smt2 5154073	MAYBE 0.46/0.44	NO 25.69/9.41	MAYBE 0.56/0.56
Integer_Transition_Systems/From_AProVE_2014/HanR.jar-obl-8.smt2 5154074	YES 0.26/0.25	YES 0.02/0.02	YES 0.63/0.63
Integer_Transition_Systems/From_AProVE_2014/Fibonacci.jar-obl-8.smt2 5154075	YES 0.75/0.72	YES 0.02/0.03	YES 0.69/0.70
Integer_Transition_Systems/From_AProVE_2014/DuplicateTreePath.jar-obl-9.smt2 5154076	YES 6.66/6.32	YES 0.15/0.15	YES 1.93/1.93
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-flip.jar-obl-8.smt2 5154077	MAYBE 0.34/0.59	NO 5.66/4.32	MAYBE 0.54/0.54
Integer_Transition_Systems/From_AProVE_2014/ex04_rec.jar-obl-8.smt2 5154078	MAYBE 0.29/0.28	NO 65.09/34.16	MAYBE 0.54/0.54
Integer_Transition_Systems/From_AProVE_2014/PastaC7.jar-obl-8.smt2 5154079	YES 0.22/0.21	YES 0.02/0.03	YES 0.55/0.55
Integer_Transition_Systems/From_AProVE_2014/Exc4.jar-obl-8.smt2 5154080	MAYBE 0.23/0.23	NO 1.09/0.79	MAYBE 0.56/0.57
Integer_Transition_Systems/From_AProVE_2014/NO_21.jar-obl-8.smt2 5154081	MAYBE 0.06/0.06	NO 0.03/0.03	MAYBE 0.50/0.51
Integer_Transition_Systems/From_AProVE_2014/Init.jar-obl-8.smt2 5154082	MAYBE 0.05/0.05	NO 0.03/0.03	MAYBE 0.50/0.50
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIteratorEntryLoop.jar-obl-12.smt2 5154083	YES 156.78/149.43	MAYBE 319.90/103.23	YES 37.83/37.84
Integer_Transition_Systems/From_AProVE_2014/PastaA5.jar-obl-8.smt2 5154084	MAYBE 0.38/0.37	YES 0.09/0.05	YES 0.55/0.55
Integer_Transition_Systems/From_AProVE_2014/BubbleSort.jar-obl-8.smt2 5154085	YES 7.27/6.87	YES 4.15/4.15	YES 0.77/0.77
Integer_Transition_Systems/From_AProVE_2014/PastaC2.jar-obl-8.smt2 5154086	YES 2.22/2.10	YES 0.03/0.04	YES 0.64/0.64
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeekFirst.jar-obl-8.smt2 5154087	YES 1.89/1.83	YES 0.15/0.15	YES 1.70/1.70
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Iterate.jar-obl-9.smt2 5154088	MAYBE 1.28/1.21	YES 0.22/0.10	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIteratorLoop.jar-obl-10.smt2 5154089	YES 12.29/11.89	YES 0.77/0.77	YES 10.58/10.59
Integer_Transition_Systems/From_AProVE_2014/FibSLR.jar-obl-8.smt2 5154090	MAYBE 0.59/0.57	YES 1.24/0.48	YES 0.74/0.75
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateGet.jar-obl-10.smt2 5154091	YES 8.70/8.34	YES 0.15/0.15	YES 2.07/2.07
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce2.jar-obl-9.smt2 5154092	MAYBE 0.79/0.75	MAYBE 37.86/12.69	MAYBE 0.81/0.81
Integer_Transition_Systems/From_AProVE_2014/RotateTree.jar-obl-10.smt2 5154093	YES 4.32/4.11	YES 0.12/0.12	YES 1.63/1.63
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveAt.jar-obl-10.smt2 5154094	YES 24.35/23.55	YES 0.89/0.91	YES 15.07/15.07
Integer_Transition_Systems/From_AProVE_2014/PastaC10.jar-obl-8.smt2 5154095	MAYBE 0.51/0.52	YES 0.14/0.06	YES 0.58/0.59
Integer_Transition_Systems/From_AProVE_2014/Parts.jar-obl-9.smt2 5154096	YES 13.10/12.70	YES 0.11/0.12	YES 1.90/1.90
Integer_Transition_Systems/From_AProVE_2014/Nest.jar-obl-8.smt2 5154097	YES 0.30/0.30	YES 0.02/0.03	YES 0.63/0.63
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-sunset.jar-obl-8.smt2 5154098	MAYBE 0.66/0.62	NO 30.68/15.02	MAYBE 0.69/0.70
Integer_Transition_Systems/From_AProVE_2014/PastaA10.jar-obl-8.smt2 5154099	YES 0.48/0.46	YES 0.09/0.05	MAYBE 0.60/0.60
Integer_Transition_Systems/From_AProVE_2014/TypeSwitch.jar-obl-8.smt2 5154100	MAYBE 0.80/0.76	NO 6.94/4.63	MAYBE 0.84/0.85
Integer_Transition_Systems/From_AProVE_2014/PastaB4.jar-obl-8.smt2 5154101	YES 0.06/0.08	YES 0.02/0.02	YES 0.52/0.53
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileNested.jar-obl-8.smt2 5154102	MAYBE 0.41/0.39	NO 37.58/19.47	MAYBE 0.68/0.68
Integer_Transition_Systems/From_AProVE_2014/CountUpRound.jar-obl-8.smt2 5154103	YES 1.71/1.62	YES 0.03/0.03	YES 0.78/0.78
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10.smt2 5154104	MAYBE 2.73/2.62	MAYBE 36.39/12.42	MAYBE 1.40/1.41
Integer_Transition_Systems/From_AProVE_2014/Hanoi.jar-obl-8.smt2 5154105	YES 0.08/0.08	YES 0.02/0.02	YES 0.51/0.52
Integer_Transition_Systems/From_AProVE_2014/Double2.jar-obl-8.smt2 5154106	YES 0.08/0.08	YES 0.02/0.02	YES 0.52/0.53
Integer_Transition_Systems/From_AProVE_2014/CyclicList.jar-obl-9.smt2 5154107	YES 0.83/0.79	YES 0.04/0.04	YES 0.82/0.82
Integer_Transition_Systems/From_AProVE_2014/CountMetaListRec.jar-obl-9.smt2 5154108	MAYBE 1.39/1.32	run script error [out]	MAYBE 1.11/1.11
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternDivWidening.jar-obl-8.smt2 5154109	MAYBE 0.81/0.77	NO 59.87/23.81	MAYBE 0.93/0.93
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-alternKonv.jar-obl-8.smt2 5154110	MAYBE 0.66/0.70	MAYBE 26.29/8.16	MAYBE 0.71/0.71
Integer_Transition_Systems/From_AProVE_2014/TestJulia7.jar-obl-8.smt2 5154111	MAYBE 0.23/0.23	NO 5.45/4.27	MAYBE 0.52/0.52
Integer_Transition_Systems/From_AProVE_2014/NO_24.jar-obl-8.smt2 5154112	MAYBE 0.35/0.33	NO 5.57/4.09	MAYBE 0.58/0.58
Integer_Transition_Systems/From_AProVE_2014/GrowTreeR.jar-obl-9.smt2 5154113	YES 11.31/11.09	YES 0.27/0.27	YES 2.30/2.30
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileDecr.jar-obl-8.smt2 5154114	YES 0.15/0.15	YES 0.02/0.02	YES 0.52/0.52
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreatePeek.jar-obl-8.smt2 5154115	YES 1.82/1.78	YES 0.15/0.16	YES 1.69/1.69
Integer_Transition_Systems/From_AProVE_2014/Alternate.jar-obl-10.smt2 5154116	timeout (wallclock) [out]	MAYBE 19.38/10.64	YES 120.45/120.47
Integer_Transition_Systems/From_AProVE_2014/Swingers.jar-obl-8.smt2 5154117	MAYBE 0.37/0.36	NO 6.51/5.01	MAYBE 0.55/0.55
Integer_Transition_Systems/From_AProVE_2014/FlattenTreeRec.jar-obl-9.smt2 5154118	MAYBE 2.28/2.17	MAYBE 36.57/12.27	MAYBE 1.29/1.29
Integer_Transition_Systems/From_AProVE_2014/ListDuplicate.jar-obl-9.smt2 5154119	YES 0.64/0.61	YES 0.04/0.05	YES 0.82/0.82
Integer_Transition_Systems/From_AProVE_2014/MirrorBinTreeRec.jar-obl-9.smt2 5154120	timeout (wallclock) [out]	MAYBE 34.34/16.94	YES 123.58/123.58
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-whileBreak.jar-obl-8.smt2 5154121	MAYBE 5.22/4.90	NO 21.39/9.34	MAYBE 0.70/0.70
Integer_Transition_Systems/From_AProVE_2014/Sudoku.jar-obl-14.smt2 5154122	YES 62.02/58.40	YES 2.21/2.21	YES 52.25/52.26
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateListIteratorLoop.jar-obl-10.smt2 5154123	YES 12.37/11.96	YES 0.79/0.81	YES 10.63/10.63
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreate.jar-obl-10.smt2 5154124	YES 76.44/74.09	MAYBE 542.02/165.85	YES 32.02/32.02
Integer_Transition_Systems/From_AProVE_2014/McCarthyIterative.jar-obl-8.smt2 5154125	MAYBE 0.42/0.40	YES 0.21/0.21	YES 0.58/0.58
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-narrowKonv.jar-obl-8.smt2 5154126	MAYBE 0.44/0.41	NO 13.18/6.56	MAYBE 0.72/0.72
Integer_Transition_Systems/From_AProVE_2014/Domino.jar-obl-27.smt2 5154127	run script error [out]	MAYBE 43.55/31.32	MAYBE 286.73/286.74
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex09half.jar-obl-8.smt2 5154128	MAYBE 3.87/3.65	MAYBE 9.83/4.56	MAYBE 0.86/0.86
Integer_Transition_Systems/From_AProVE_2014/PastaA7.jar-obl-8.smt2 5154129	YES 0.30/0.30	YES 0.02/0.02	YES 0.55/0.55
Integer_Transition_Systems/From_AProVE_2014/flip2_rec.jar-obl-8.smt2 5154130	MAYBE 0.88/0.84	MAYBE 36.75/12.43	MAYBE 0.73/0.73
Integer_Transition_Systems/From_AProVE_2014/mirrorIntervSim_rec.jar-obl-8.smt2 5154131	MAYBE 0.38/0.36	NO 31.18/11.90	MAYBE 0.64/0.64
Integer_Transition_Systems/From_AProVE_2014/GCD4.jar-obl-8.smt2 5154132	YES 2.25/2.13	YES 0.03/0.03	YES 0.64/0.64
Integer_Transition_Systems/From_AProVE_2014/PlusSwap.jar-obl-8.smt2 5154133	MAYBE 0.29/0.28	YES 0.06/0.04	YES 0.53/0.53
Integer_Transition_Systems/From_AProVE_2014/NestedLoop.jar-obl-10.smt2 5154134	MAYBE 0.91/0.87	YES 0.31/0.26	YES 1.47/1.47
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateOfferFirst.jar-obl-8.smt2 5154135	YES 1.44/1.39	YES 0.12/0.12	YES 1.41/1.41
Integer_Transition_Systems/From_AProVE_2014/Test5.jar-obl-11.smt2 5154136	MAYBE 2.98/2.88	YES 2.45/2.40	YES 2.90/2.90
Integer_Transition_Systems/From_AProVE_2014/Count.jar-obl-10-2.smt2 5154137	MAYBE 5.95/5.72	MAYBE 34.32/16.93	MAYBE 3.35/3.35
Integer_Transition_Systems/From_AProVE_2014/PastaB16.jar-obl-8.smt2 5154138	YES 1.17/1.10	YES 0.02/0.03	YES 0.61/0.61
Integer_Transition_Systems/From_AProVE_2014/NO_05.jar-obl-9.smt2 5154139	MAYBE 0.40/0.39	NO 97.17/30.22	MAYBE 0.73/0.73
Integer_Transition_Systems/From_AProVE_2014/DivMinus2.jar-obl-8.smt2 5154140	YES 6.30/6.47	YES 0.07/0.07	MAYBE 1.42/1.42
Integer_Transition_Systems/From_AProVE_2014/MirrorMultiTreeRec.jar-obl-9.smt2 5154141	YES 10.68/10.07	YES 0.31/0.31	YES 1.90/1.91
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-ex04.jar-obl-8.smt2 5154142	MAYBE 0.34/0.33	NO 34.39/18.73	MAYBE 0.57/0.57
Integer_Transition_Systems/From_AProVE_2014/Shuffle.jar-obl-10.smt2 5154143	MAYBE 1.01/0.97	MAYBE 38.09/12.64	MAYBE 0.88/0.88
Integer_Transition_Systems/From_AProVE_2014/ex01_rec.jar-obl-8.smt2 5154144	MAYBE 0.38/0.36	NO 18.73/8.37	MAYBE 0.54/0.55
Integer_Transition_Systems/From_AProVE_2014/QuicksortRec.jar-obl-9.smt2 5154145	YES 24.61/23.18	YES 1.08/1.08	YES 28.91/28.92
Integer_Transition_Systems/From_AProVE_2014/Et3-rec.jar-obl-8.smt2 5154146	MAYBE 0.46/0.44	YES 14.47/5.18	YES 0.64/0.64
Integer_Transition_Systems/From_AProVE_2014/NO_23.jar-obl-8.smt2 5154147	MAYBE 0.24/0.23	NO 25.92/16.57	MAYBE 0.56/0.58
Integer_Transition_Systems/From_AProVE_2014/CyclicAnalysisRec.jar-obl-9.smt2 5154148	YES 1.40/1.34	YES 0.08/0.09	YES 1.61/1.62
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateGet.jar-obl-11.smt2 5154149	YES 100.51/95.82	MAYBE 306.86/102.45	YES 39.88/39.88
Integer_Transition_Systems/From_AProVE_2014/TimesPlusUserDef.jar-obl-9.smt2 5154150	YES 0.80/0.89	YES 0.03/0.04	YES 0.88/0.89
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsKey.jar-obl-11.smt2 5154151	YES 94.97/90.27	MAYBE 305.64/102.61	YES 40.44/40.45
Integer_Transition_Systems/From_AProVE_2014/GCD5.jar-obl-8.smt2 5154152	YES 0.42/0.40	MAYBE 5.39/4.22	MAYBE 0.62/0.63
Integer_Transition_Systems/From_AProVE_2014/PastaB8.jar-obl-8.smt2 5154153	YES 1.05/1.00	YES 0.03/0.03	YES 0.71/0.71
Integer_Transition_Systems/From_AProVE_2014/AProVE12-cyclic-Length.jar-obl-9.smt2 5154154	MAYBE 0.95/0.90	YES 0.15/0.07	YES 0.67/0.67
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-marbie1.jar-obl-8.smt2 5154155	MAYBE 0.30/0.29	NO 18.79/8.40	MAYBE 0.52/0.53
Integer_Transition_Systems/From_AProVE_2014/DupTreeRec.jar-obl-9.smt2 5154156	YES 13.33/12.56	YES 0.25/0.25	YES 2.09/2.09
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateAddAllAt.jar-obl-17.smt2 5154157	MAYBE 68.08/67.10	MAYBE 759.38/225.16	MAYBE 133.29/133.31
Integer_Transition_Systems/From_AProVE_2014/ListReverseCyclicList.jar-obl-10.smt2 5154158	YES 3.62/3.72	YES 0.08/0.09	YES 3.07/3.07
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-upAndDownIneq.jar-obl-8.smt2 5154159	MAYBE 0.97/0.93	NO 45.72/22.65	MAYBE 0.81/0.81
Integer_Transition_Systems/From_AProVE_2014/Graph.jar-obl-17.smt2 5154160	MAYBE 202.31/192.78	MAYBE 113.94/39.85	MAYBE 7.61/7.68
Integer_Transition_Systems/From_AProVE_2014/AlternatingGrowReduce.jar-obl-9.smt2 5154161	MAYBE 0.94/0.89	YES 0.09/0.09	MAYBE 0.80/0.80
Integer_Transition_Systems/From_AProVE_2014/Carre.jar-obl-9.smt2 5154162	YES 12.85/12.19	YES 0.10/0.10	YES 1.33/1.34
Integer_Transition_Systems/From_AProVE_2014/GCD3.jar-obl-8.smt2 5154163	YES 2.31/2.56	YES 0.03/0.03	YES 0.65/0.65
Integer_Transition_Systems/From_AProVE_2014/Choose.jar-obl-8.smt2 5154164	MAYBE 0.26/0.25	NO 24.10/13.71	MAYBE 0.56/0.56
Integer_Transition_Systems/From_AProVE_2014/narrowKonv_rec.jar-obl-8.smt2 5154165	MAYBE 0.48/0.48	NO 12.51/6.40	MAYBE 0.72/0.72
Integer_Transition_Systems/From_AProVE_2014/NO_04.jar-obl-8.smt2 5154166	MAYBE 0.05/0.06	NO 0.04/0.03	MAYBE 0.51/0.51
Integer_Transition_Systems/From_AProVE_2014/alternDivWide_rec.jar-obl-8.smt2 5154167	MAYBE 0.66/0.63	NO 23.97/7.24	MAYBE 0.63/0.63
Integer_Transition_Systems/From_AProVE_2014/narrowing_rec.jar-obl-8.smt2 5154168	MAYBE 272.83/260.91	NO 40.23/21.49	MAYBE 27.66/27.66
Integer_Transition_Systems/From_AProVE_2014/KnapsackDP.jar-obl-11.smt2 5154169	MAYBE 11.01/10.41	NO 159.92/85.54	MAYBE 2.95/2.95
Integer_Transition_Systems/From_AProVE_2014/DivTernary.jar-obl-10.smt2 5154170	MAYBE 112.15/106.46	run script error [out]	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/MainMove.jar-obl-11.smt2 5154171	MAYBE 52.28/49.56	NO 9.62/5.48	MAYBE 3.37/3.37
Integer_Transition_Systems/From_AProVE_2014/ex03_rec.jar-obl-8.smt2 5154172	MAYBE 0.54/0.51	NO 11.47/4.87	MAYBE 0.63/0.63
Integer_Transition_Systems/From_AProVE_2014/ListContentArbitrary.jar-obl-10.smt2 5154173	YES 0.48/0.46	YES 0.03/0.04	YES 0.75/0.75
Integer_Transition_Systems/From_AProVE_2014/LinkedList.jar-obl-10.smt2 5154174	MAYBE 0.65/0.62	NO 24.75/11.71	MAYBE 0.74/0.74
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveLastOccurrence.jar-obl-16.smt2 5154175	run script error [out]	YES 4.21/4.21	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/flip_rec.jar-obl-8.smt2 5154176	MAYBE 0.33/0.32	NO 5.48/4.24	MAYBE 0.55/0.56
Integer_Transition_Systems/From_AProVE_2014/MainDelete.jar-obl-10.smt2 5154177	MAYBE 4.59/4.41	NO 108.59/58.87	MAYBE 2.64/2.65
Integer_Transition_Systems/From_AProVE_2014/Diff.jar-obl-8.smt2 5154178	YES 11.35/11.21	YES 0.45/0.46	YES 3.95/3.95
Integer_Transition_Systems/From_AProVE_2014/NO_02.jar-obl-8.smt2 5154179	MAYBE 0.06/0.06	NO 0.03/0.03	MAYBE 0.50/0.51
Integer_Transition_Systems/From_AProVE_2014/DivMinus.jar-obl-11.smt2 5154180	MAYBE 24.20/22.83	MAYBE 163.01/49.25	MAYBE 4.21/4.21
Integer_Transition_Systems/From_AProVE_2014/ex05_rec.jar-obl-8.smt2 5154181	MAYBE 0.20/0.19	NO 0.03/0.03	MAYBE 0.53/0.53
Integer_Transition_Systems/From_AProVE_2014/Take.jar-obl-8.smt2 5154182	YES 0.59/0.57	YES 0.03/0.03	YES 0.62/0.64
Integer_Transition_Systems/From_AProVE_2014/NO_01.jar-obl-8.smt2 5154183	MAYBE 0.05/0.07	NO 0.03/0.03	MAYBE 0.50/0.51
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-even.jar-obl-9.smt2 5154184	MAYBE 0.52/0.50	NO 18.81/8.40	MAYBE 0.74/0.74
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveRange.jar-obl-14.smt2 5154185	run script error [out]	YES 2.50/2.51	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/Sharing.jar-obl-8.smt2 5154186	YES 0.13/0.12	run script error [out]	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateContainsValue.jar-obl-11.smt2 5154187	YES 194.69/185.89	MAYBE 527.11/161.91	YES 53.30/53.31
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-gauss.jar-obl-8.smt2 5154188	MAYBE 0.47/0.45	NO 18.89/8.42	MAYBE 0.73/0.73
Integer_Transition_Systems/From_AProVE_2014/NO_06.jar-obl-8.smt2 5154189	MAYBE 0.06/0.06	NO 0.03/0.03	MAYBE 0.51/0.51
Integer_Transition_Systems/From_AProVE_2014/Velroyen08-fib.jar-obl-8.smt2 5154190	MAYBE 0.60/0.57	NO 167.60/72.75	MAYBE 0.72/0.72
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateIsEmpty.jar-obl-8.smt2 5154191	YES 1.45/1.40	YES 0.13/0.14	YES 1.38/1.38
Integer_Transition_Systems/From_AProVE_2014/Et3.jar-obl-9.smt2 5154192	MAYBE 0.37/0.37	YES 22.78/9.39	YES 0.61/0.61
Integer_Transition_Systems/From_AProVE_2014/MinusBuiltIn.jar-obl-8.smt2 5154193	YES 0.24/0.23	YES 0.02/0.02	YES 0.53/0.53
Integer_Transition_Systems/From_AProVE_2014/ex08_rec.jar-obl-8.smt2 5154194	MAYBE 8.53/8.00	NO 54.34/33.75	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/PastaB14.jar-obl-8.smt2 5154195	YES 0.20/0.19	YES 0.02/0.03	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirstOccurrence.jar-obl-16.smt2 5154196	run script error [out]	YES 3.56/3.57	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/PastaC11.jar-obl-8.smt2 5154197	YES 0.30/0.28	YES 0.03/0.03	YES 0.63/0.63
Integer_Transition_Systems/From_AProVE_2014/Loop.jar-obl-8.smt2 5154198	MAYBE 0.06/0.06	NO 0.03/0.03	MAYBE 0.50/0.51
Integer_Transition_Systems/From_AProVE_2014/juHashMapCreateIsEmpty.jar-obl-10.smt2 5154199	YES 75.97/72.63	MAYBE 559.68/182.93	YES 32.39/32.54
Integer_Transition_Systems/From_AProVE_2014/RunningPointers.jar-obl-9.smt2 5154200	YES 0.36/0.34	YES 0.03/0.03	YES 0.69/0.69
Integer_Transition_Systems/From_AProVE_2014/PastaB10.jar-obl-8.smt2 5154201	YES 0.36/0.34	YES 0.04/0.05	YES 0.64/0.65
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateRemoveFirst.jar-obl-8.smt2 5154202	YES 2.25/2.21	YES 0.18/0.19	YES 2.21/2.21
Integer_Transition_Systems/From_AProVE_2014/AG313.jar-obl-8.smt2 5154203	YES 0.15/0.14	YES 0.02/0.02	YES 0.53/0.54
Integer_Transition_Systems/From_AProVE_2014/Test11.jar-obl-8.smt2 5154204	MAYBE 2.41/2.30	YES 0.98/0.35	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/Continue.jar-obl-8.smt2 5154205	MAYBE 0.05/0.06	NO 0.03/0.03	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/SortCount.jar-obl-10.smt2 5154206	MAYBE 3.46/3.31	YES 4.19/1.60	MAYBE 3.04/3.04
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateContainsAll.jar-obl-11.smt2 5154207	run script error [out]	run script error [out]	run script error [out]
Integer_Transition_Systems/From_AProVE_2014/juLinkedListCreateClear.jar-obl-9.smt2 5154208	YES 2.92/2.80	YES 0.15/0.16	YES 1.62/1.62
	450	1025	524