TermComp 2020: TRS Standard Certified 41501 Job info CSV Showing results.

benchmark		ttt2-1.20 ttt2_cert	AProVE certified	NaTT 1.6.1 Certifiable
AProVE_10/ex1.xml 11770280	is	MAYBE 22.96/7.31	NO 25.05/12.09	MAYBE 0.17/0.20
AProVE_10/downfrom.xml 11770281	u	MAYBE 367.24/299.37	MAYBE 389.26/291.59	MAYBE 0.14/0.16
AProVE_10/isNat.xml 11770282	is	MAYBE 18.63/7.36	NO 21.63/11.80	MAYBE 0.07/0.12
AProVE_10/challenge_fab.xml 11770283	u	MAYBE 388.77/299.34	MAYBE 618.20/291.60	MAYBE 0.86/0.86
AProVE_10/scnp.xml 11770284		YES 1.35/0.63	YES 3.63/1.76	YES 0.03/0.08
AProVE_10/andIsNat.xml 11770285	is	MAYBE 367.85/299.34	NO 41.52/17.62	MAYBE 0.27/0.29
AProVE_10/ex3.xml 11770286	is	MAYBE 56.35/23.48	NO 35.38/12.18	MAYBE 0.13/0.16
AProVE_10/ex4.xml 11770287	is	MAYBE 57.12/21.23	NO 37.70/13.64	MAYBE 0.20/0.21
AProVE_10/isList.xml 11770288	i	NO 0.35/0.37	NO 4.58/2.13	MAYBE 0.07/0.12
AProVE_10/Zantema06-03-modified.xml 11770289	u	MAYBE 401.34/299.36	timeout (wallclock)	MAYBE 0.58/0.95
AProVE_10/halfdouble.xml 11770290	is	MAYBE 388.10/299.35	NO 25.41/12.59	MAYBE 0.39/0.41
AProVE_10/ex5.xml 11770291		YES 0.58/0.42	YES 3.47/1.68	YES 0.02/0.06
AProVE_10/ex2.xml 11770292	is	MAYBE 351.75/299.30	NO 38.69/12.80	MAYBE 0.14/0.17
AProVE_10/double.xml 11770293	is	MAYBE 18.54/7.30	NO 33.59/14.70	MAYBE 0.09/0.10
Various_04/02.xml 11770294	i	YES 0.52/0.37	YES 3.52/1.66	MAYBE 0.06/0.05
Various_04/05.xml 11770295	u	MAYBE 336.81/299.30	MAYBE 629.00/291.52	MAYBE 0.74/0.64
Various_04/14.xml 11770296		YES 31.61/8.44	YES 9.13/3.28	YES 0.15/0.20
Various_04/13.xml 11770297		YES 19.82/7.14	YES 4.34/1.93	YES 0.06/0.05
Various_04/26.xml 11770298		YES 3.25/1.09	YES 4.09/2.52	YES 0.03/0.03
Various_04/21.xml 11770299		YES 0.57/0.41	YES 3.76/1.78	YES 0.05/0.09
Various_04/04.xml 11770300	u	MAYBE 337.41/299.31	timeout (wallclock)	MAYBE 0.72/0.62
Various_04/03.xml 11770301	i	YES 1.22/0.80	YES 3.78/2.44	MAYBE 0.07/0.11
Various_04/27.xml 11770302		YES 0.48/0.35	YES 3.52/1.69	YES 0.01/0.07
Various_04/12.xml 11770303		YES 13.42/4.68	YES 4.10/2.33	YES 0.04/0.09
Various_04/15.xml 11770304		YES 15.22/5.44	YES 7.71/2.73	YES 0.05/0.10
Various_04/24.xml 11770305		YES 6.19/1.86	YES 4.43/1.93	YES 0.02/0.02
Various_04/23.xml 11770306		YES 2.70/0.93	YES 3.87/1.71	YES 0.02/0.02
Various_04/11.xml 11770307	is	MAYBE 11.85/7.31	YES 4.22/2.01	MAYBE 0.08/0.11
Various_04/18.xml 11770308		YES 0.59/0.44	YES 3.71/1.93	YES 0.02/0.09
Various_04/09.xml 11770309		YES 1.15/0.58	YES 4.05/1.91	YES 0.01/0.06
Various_04/07.xml 11770310		YES 0.39/0.37	YES 3.56/1.63	YES 0.01/0.01
Various_04/19.xml 11770311		YES 0.54/0.37	YES 3.62/1.77	YES 0.04/0.06
Various_04/10.xml 11770312		YES 21.44/6.47	YES 5.11/2.19	YES 0.08/0.08
Various_04/22.xml 11770313		YES 1.83/0.79	YES 3.73/1.84	YES 0.02/0.08
Various_04/25.xml 11770314		YES 0.61/0.41	YES 3.64/1.84	YES 0.02/0.02
Various_04/06.xml 11770315		YES 1.16/0.59	YES 4.01/1.81	YES 0.01/0.06
Various_04/08.xml 11770316	u	MAYBE 339.73/299.38	timeout (wallclock)	MAYBE 1.12/0.98
AProVE_09_Inductive/zerolist.xml 11770249	u	MAYBE 17.52/7.35	MAYBE 383.66/291.67	MAYBE 0.14/0.18
AProVE_09_Inductive/mod.xml 11770250	u	MAYBE 43.59/13.35	MAYBE 665.36/291.90	MAYBE 0.30/0.26
AProVE_09_Inductive/maxsort.xml 11770251	u	MAYBE 74.85/22.25	MAYBE 689.34/291.74	MAYBE 0.34/0.29
AProVE_09_Inductive/div.xml 11770252	u	MAYBE 30.27/8.74	MAYBE 659.42/291.84	MAYBE 0.33/0.29
AProVE_09_Inductive/qsortmiddle.xml 11770253	u	MAYBE 400.30/299.40	MAYBE 732.70/291.79	MAYBE 0.97/0.89
AProVE_09_Inductive/maxsortcondition.xml 11770254	u	MAYBE 60.24/21.26	MAYBE 705.56/291.59	MAYBE 0.37/0.36
AProVE_09_Inductive/gcdhard.xml 11770255	u	MAYBE 62.49/21.58	MAYBE 646.46/292.27	MAYBE 0.23/0.22
AProVE_09_Inductive/gcd2.xml 11770256	u	MAYBE 56.79/20.92	MAYBE 666.01/291.56	MAYBE 0.54/0.52
AProVE_09_Inductive/minsort.xml 11770257	u	MAYBE 362.61/299.38	MAYBE 730.06/291.69	MAYBE 0.45/0.39
AProVE_09_Inductive/qsortlast.xml 11770258	u	MAYBE 391.16/299.32	MAYBE 747.64/291.56	MAYBE 0.67/0.64
AProVE_09_Inductive/qsort.xml 11770259	u	MAYBE 365.20/299.32	MAYBE 672.74/291.61	MAYBE 0.48/0.43
AProVE_09_Inductive/divhard.xml 11770260	u	MAYBE 31.84/9.56	MAYBE 653.86/291.68	MAYBE 0.35/0.35
AProVE_09_Inductive/gcd.xml 11770261	u	MAYBE 27.25/7.31	MAYBE 659.38/291.60	MAYBE 0.32/0.34
AProVE_09_Inductive/log.xml 11770262	u	MAYBE 369.88/299.35	MAYBE 638.32/291.67	MAYBE 0.27/0.25
Hydras/goodstein.xml 11770263	u	MAYBE 382.36/299.31	MAYBE 653.71/298.56	MAYBE 1.24/0.98
Hydras/worm_fixed.xml 11770264	u	MAYBE 364.35/299.31	MAYBE 884.07/291.58	MAYBE 0.39/0.32
Hydras/lepper_1.xml 11770265	u	MAYBE 394.19/299.33	timeout (wallclock)	MAYBE 1.40/1.15
Hydras/lepper_6.xml 11770266	u	MAYBE 403.80/299.59	timeout (wallclock)	MAYBE 69.37/63.50
Hydras/lepper_8.xml 11770267	u	MAYBE 403.68/299.88	MAYBE 1056.05/295.11	MAYBE 234.27/219.47
Hydras/lepper_9.xml 11770268	u	MAYBE 404.33/300.07	timeout (wallclock)	timeout (wallclock)
Hydras/lepper_0.xml 11770269	u	MAYBE 377.44/299.56	timeout (wallclock)	MAYBE 0.70/0.61
Hydras/worm_fixed3.xml 11770270	u	MAYBE 397.69/299.31	timeout (wallclock)	MAYBE 0.49/0.41
Hydras/lepper_3.xml 11770271	is	MAYBE 402.06/299.42	NO 566.91/182.31	MAYBE 7.38/6.23
Hydras/lepper_4.xml 11770272	u	MAYBE 402.88/299.48	timeout (wallclock)	MAYBE 19.02/16.90
Hydras/lepper_10.xml 11770273	u	MAYBE 404.08/300.27	timeout (wallclock)	timeout (wallclock)
Hydras/hydra_buchholz.xml 11770274	u	MAYBE 77.62/32.70	MAYBE 679.85/299.34	MAYBE 0.47/0.39
Hydras/worm_wrong.xml 11770275	i	YES 42.65/11.40	YES 56.68/20.53	MAYBE 0.63/0.57
Hydras/lepper_5.xml 11770276	u	MAYBE 403.50/299.50	timeout (wallclock)	MAYBE 33.81/30.25
Hydras/lepper_2.xml 11770277	i	NO 17.38/4.69	NO 158.58/54.52	MAYBE 3.27/2.73
Hydras/worm_fixed2.xml 11770278	u	MAYBE 398.50/299.34	timeout (wallclock)	MAYBE 0.53/1.21
Hydras/hydra_touzet.xml 11770279	u	MAYBE 366.79/299.31	MAYBE 648.33/291.56	MAYBE 0.56/0.53
Strategy_removed_AG01/#4.23.xml 11770204		YES 8.09/3.56	YES 4.24/1.88	YES 0.03/0.06
Strategy_removed_AG01/#4.30a.xml 11770205	is	MAYBE 20.60/8.04	YES 4.51/1.93	MAYBE 0.10/0.12
Strategy_removed_AG01/#4.18.xml 11770206	i	NO 0.95/0.51	NO 3.27/1.67	MAYBE 0.34/0.38
Strategy_removed_AG01/#4.16.xml 11770207	i	NO 0.37/0.35	NO 4.49/2.18	MAYBE 0.06/0.10
Strategy_removed_AG01/#4.20a.xml 11770208		YES 1.08/0.57	YES 4.00/1.85	YES 0.03/0.06
Strategy_removed_AG01/#4.35.xml 11770209		YES 19.23/6.18	YES 5.50/2.24	YES 0.07/0.11
Strategy_removed_AG01/#4.32.xml 11770210		YES 1.67/0.69	YES 3.78/1.83	YES 0.02/0.03
Strategy_removed_AG01/#4.17.xml 11770211	i	NO 0.37/0.35	NO 4.86/2.31	MAYBE 0.17/0.20
Strategy_removed_AG01/#4.19.xml 11770212	u	MAYBE 30.79/10.05	timeout (wallclock)	MAYBE 0.21/0.17
Strategy_removed_AG01/#4.7.xml 11770213	i	NO 0.35/0.34	NO 4.32/2.19	MAYBE 0.11/0.16
Strategy_removed_AG01/#4.25.xml 11770214	is	MAYBE 1.45/0.70	YES 3.99/1.91	MAYBE 0.05/0.07
Strategy_removed_AG01/#4.22.xml 11770215		YES 2.78/1.20	YES 3.79/2.01	YES 0.02/0.02
Strategy_removed_AG01/#4.33.xml 11770216		YES 7.47/2.14	YES 4.44/2.05	YES 0.04/0.07
Strategy_removed_AG01/#4.34.xml 11770217		YES 6.30/1.88	YES 4.46/2.20	YES 0.04/0.08
Strategy_removed_AG01/#4.37.xml 11770218		YES 1.12/0.55	YES 4.04/2.01	YES 0.02/0.03
Strategy_removed_AG01/#4.30.xml 11770219	is	MAYBE 23.83/7.35	YES 6.85/3.13	MAYBE 0.19/0.22
Strategy_removed_AG01/#4.12a.xml 11770220	i	NO 0.41/0.37	NO 4.10/1.84	MAYBE 0.07/0.09
Strategy_removed_AG01/#4.13.xml 11770221	is	MAYBE 8.85/7.33	NO 6.07/2.41	MAYBE 0.06/0.05
Strategy_removed_AG01/#4.37a.xml 11770222		YES 2.02/0.79	YES 4.04/1.85	YES 0.03/0.03
Strategy_removed_AG01/#4.14.xml 11770223	i	NO 0.36/0.31	NO 4.33/1.90	MAYBE 0.09/0.08
Strategy_removed_AG01/#4.30c.xml 11770224	is	MAYBE 51.98/17.72	YES 12.19/6.79	MAYBE 0.27/0.26
Strategy_removed_AG01/#4.28.xml 11770225		YES 4.35/1.38	YES 6.74/2.49	YES 0.06/0.10
Strategy_removed_AG01/#4.3.xml 11770226	is	MAYBE 9.55/7.34	NO 4.10/1.93	MAYBE 0.06/0.07
Strategy_removed_AG01/#4.4.xml 11770227	i	NO 0.43/0.37	NO 3.99/1.94	MAYBE 0.07/0.10
Strategy_removed_AG01/#4.21.xml 11770228		YES 0.97/0.52	YES 4.82/2.02	YES 0.01/0.05
Strategy_removed_AG01/#4.26.xml 11770229	i	YES 3.76/1.27	YES 4.64/2.07	MAYBE 0.13/0.17
Strategy_removed_AG01/#4.36.xml 11770230		YES 16.70/6.09	YES 5.93/2.35	YES 0.09/0.12
Strategy_removed_AG01/#4.27.xml 11770231		YES 12.29/5.59	YES 4.00/1.95	YES 0.07/0.08
Strategy_removed_AG01/#4.20.xml 11770232		YES 0.64/0.41	YES 4.74/1.91	YES 0.01/0.03
Strategy_removed_AG01/#4.29.xml 11770233		YES 15.16/6.14	YES 5.45/2.14	YES 0.18/0.14
Strategy_removed_AG01/#4.2.xml 11770234	i	NO 0.40/0.37	NO 4.90/2.22	MAYBE 0.11/0.09
Strategy_removed_AG01/#4.30b.xml 11770235	is	MAYBE 28.66/7.74	YES 9.21/5.34	MAYBE 0.25/0.23
Strategy_removed_AG01/#4.15.xml 11770236	i	NO 0.39/0.34	NO 4.85/2.07	MAYBE 0.16/0.20
Endrullis_06/pair3hard.xml 11770237	is	MAYBE 366.69/299.34	YES 7.95/3.02	MAYBE 0.32/0.28
Endrullis_06/pair2simple1.xml 11770238		YES 14.86/6.24	YES 3.79/1.81	YES 0.21/0.20
Endrullis_06/pair3swap.xml 11770239	i	YES 25.35/6.64	YES 5.08/2.17	MAYBE 0.97/0.77
Endrullis_06/quadruple1.xml 11770240	i	YES 20.63/5.44	YES 4.86/2.27	MAYBE 0.50/0.40
Endrullis_06/linear1.xml 11770241		YES 3.53/1.15	YES 5.21/3.18	YES 0.19/0.16
Endrullis_06/pair2hard.xml 11770242	i	YES 26.14/6.85	YES 90.04/39.96	MAYBE 0.47/0.40
Endrullis_06/direct.xml 11770243		YES 1.97/0.77	YES 4.67/2.15	YES 0.28/0.21
Endrullis_06/labeling.xml 11770244	is	MAYBE 53.50/25.91	YES 16.28/5.57	MAYBE 0.12/0.12
Endrullis_06/linear2.xml 11770245	i	YES 33.25/8.69	YES 13.08/4.16	MAYBE 1.78/1.32
Endrullis_06/pair3rotate.xml 11770246		YES 24.33/6.37	YES 4.93/2.51	YES 0.62/0.51
Endrullis_06/quadruple2.xml 11770247	i	YES 1.54/1.04	YES 17.08/9.70	MAYBE 0.54/0.45
Endrullis_06/pair2simple2.xml 11770248	i	MAYBE 357.13/299.32	YES 4.70/2.06	YES 0.15/0.15
Paulson_20/ackermann_iterative.xml 11781161	u	MAYBE 392.56/299.37	MAYBE 639.59/291.79	MAYBE 1.34/0.92
EEG_IJCAR_12/enger-nonloop-isList.xml 11770155	is	MAYBE 16.59/7.31	NO 29.22/11.83	MAYBE 0.09/0.08
EEG_IJCAR_12/emmes-nonloop-ex2_1.xml 11770156	u	MAYBE 58.48/22.91	MAYBE 683.63/291.50	MAYBE 0.18/0.15
EEG_IJCAR_12/emmes-nonloop-ex5_2.xml 11770157	is	MAYBE 389.44/299.33	NO 31.70/13.66	MAYBE 0.31/0.30
EEG_IJCAR_12/enger-nonloop-swapXY2.xml 11770158	is	MAYBE 18.05/7.35	NO 31.50/11.90	MAYBE 0.10/0.12
EEG_IJCAR_12/emmes-nonloop-ex7_4.xml 11770159	u	MAYBE 392.17/299.36	MAYBE 428.70/291.64	MAYBE 0.49/0.48
EEG_IJCAR_12/emmes-nonloop-ex7_3.xml 11770160	u	MAYBE 393.04/299.34	MAYBE 634.16/291.53	MAYBE 1.95/1.90
EEG_IJCAR_12/enger-nonloop-swap_decr.xml 11770161	is	MAYBE 41.18/16.06	NO 31.34/12.11	MAYBE 0.14/0.13
EEG_IJCAR_12/emmes-nonloop-ex3_1.xml 11770162	is	MAYBE 21.93/7.30	NO 35.70/12.18	MAYBE 0.14/0.17
EEG_IJCAR_12/enger-nonloop-swapXY.xml 11770163	is	MAYBE 18.79/7.34	NO 37.72/12.00	MAYBE 0.12/0.14
EEG_IJCAR_12/emmes-nonloop-ex4_2.xml 11770164	is	MAYBE 347.33/299.35	NO 28.03/13.49	MAYBE 0.22/0.22
EEG_IJCAR_12/enger-nonloop-isDNat.xml 11770165	is	MAYBE 46.34/19.12	NO 34.53/12.36	MAYBE 0.09/0.08
EEG_IJCAR_12/emmes-nonloop-ex7_2.xml 11770166	u	MAYBE 390.41/299.30	MAYBE 425.62/291.70	MAYBE 0.44/0.42
EEG_IJCAR_12/emmes-nonloop-ex7_5.xml 11770167	u	MAYBE 393.25/299.31	MAYBE 655.07/291.64	MAYBE 1.92/1.91
EEG_IJCAR_12/rybalchenko-nonloop-popl08.xml 11770168	is	MAYBE 392.12/299.94	NO 66.53/23.31	MAYBE 0.54/0.49
EEG_IJCAR_12/emmes-nonloop-ex5_3.xml 11770169	is	MAYBE 32.45/9.65	NO 28.87/15.12	MAYBE 0.23/0.56
EEG_IJCAR_12/velroyen-nonloop-AlternatingIncr_c.xml 11770170	u	MAYBE 394.15/299.32	MAYBE 928.04/291.54	MAYBE 0.61/0.56
EEG_IJCAR_12/emmes-nonloop-ex1_1.xml 11770171	is	MAYBE 60.43/22.92	NO 35.58/14.31	MAYBE 0.15/0.16
EEG_IJCAR_12/emmes-nonloop-ex6_2.xml 11770172	is	MAYBE 26.42/7.42	NO 31.95/13.11	MAYBE 0.18/0.17
EEG_IJCAR_12/emmes-nonloop-ex4_3.xml 11770173	is	MAYBE 345.45/299.32	NO 35.17/15.25	MAYBE 0.22/0.22
EEG_IJCAR_12/emmes-nonloop-ex4_4.xml 11770174	is	MAYBE 20.87/7.32	NO 23.50/14.59	MAYBE 0.17/0.19
EEG_IJCAR_12/emmes-nonloop-ex1_5.xml 11770175	is	MAYBE 21.26/7.34	NO 39.70/14.12	MAYBE 0.17/0.15
EEG_IJCAR_12/emmes-nonloop-ex1_2.xml 11770176	u	MAYBE 359.42/299.35	MAYBE 642.75/291.59	MAYBE 0.23/0.26
EEG_IJCAR_12/enger-nonloop-ex_payet.xml 11770177	u	MAYBE 31.42/9.09	MAYBE 335.11/291.50	MAYBE 0.27/0.23
EEG_IJCAR_12/emmes-nonloop-ex6_1.xml 11770178	is	MAYBE 17.36/7.31	NO 31.74/12.07	MAYBE 0.13/0.11
EEG_IJCAR_12/enger-nonloop-addTrue.xml 11770179	is	MAYBE 47.32/15.65	NO 34.25/12.86	MAYBE 0.20/0.21
EEG_IJCAR_12/emmes-nonloop-ex3_4.xml 11770180	u	MAYBE 42.79/16.33	MAYBE 630.78/291.53	MAYBE 0.16/0.14
EEG_IJCAR_12/emmes-nonloop-ex3_3.xml 11770181	is	MAYBE 19.49/7.35	NO 35.06/12.71	MAYBE 0.14/0.11
EEG_IJCAR_12/emmes-nonloop-ex7_8.xml 11770182	u	MAYBE 392.57/299.30	MAYBE 648.21/291.55	MAYBE 1.91/1.91
EEG_IJCAR_12/emmes-nonloop-ex7_6.xml 11770183	u	MAYBE 393.82/299.34	MAYBE 657.78/291.62	MAYBE 2.48/2.46
EEG_IJCAR_12/emmes-nonloop-ex7_1.xml 11770184	u	MAYBE 392.42/299.30	MAYBE 424.63/291.52	MAYBE 0.47/0.44
EEG_IJCAR_12/enger-nonloop-toOne.xml 11770185	is	MAYBE 388.25/299.30	NO 34.85/11.94	MAYBE 0.66/0.68
EEG_IJCAR_12/emmes-nonloop-ex2_4.xml 11770186	is	MAYBE 341.36/299.30	NO 69.27/23.30	MAYBE 0.21/0.19
EEG_IJCAR_12/emmes-nonloop-ex2_3.xml 11770187	u	MAYBE 23.15/7.30	MAYBE 677.87/291.62	MAYBE 0.16/0.17
EEG_IJCAR_12/velroyen-nonloop-ConvLower_c.xml 11770188	is	MAYBE 393.22/299.35	NO 39.04/12.46	MAYBE 0.64/0.63
EEG_IJCAR_12/emmes-nonloop-ex3_2.xml 11770189	is	MAYBE 13.58/7.34	NO 34.80/13.08	MAYBE 0.12/0.16
EEG_IJCAR_12/emmes-nonloop-ex4_1.xml 11770190	is	MAYBE 18.92/7.35	NO 23.16/12.41	MAYBE 0.16/0.14
EEG_IJCAR_12/enger-nonloop-isTrueList.xml 11770191	is	MAYBE 17.28/7.35	NO 29.27/11.73	MAYBE 0.09/0.08
EEG_IJCAR_12/emmes-nonloop-ex1_3.xml 11770192	u	MAYBE 359.71/299.30	MAYBE 628.93/291.54	MAYBE 0.25/0.23
EEG_IJCAR_12/emmes-nonloop-ex1_4.xml 11770193	is	MAYBE 20.05/7.31	NO 35.37/13.93	MAYBE 0.16/0.14
EEG_IJCAR_12/enger-nonloop-add.xml 11770194	is	MAYBE 57.43/21.21	NO 35.91/13.20	MAYBE 0.20/0.17
EEG_IJCAR_12/emmes-nonloop-ex2_2.xml 11770195	is	MAYBE 360.68/299.31	NO 35.48/12.85	MAYBE 0.19/0.20
EEG_IJCAR_12/enger-nonloop-swapX.xml 11770196	is	MAYBE 21.24/7.31	NO 36.81/11.92	MAYBE 0.10/0.09
EEG_IJCAR_12/emmes-nonloop-ex2_5.xml 11770197	is	MAYBE 342.43/299.30	NO 69.70/23.61	MAYBE 0.23/0.20
EEG_IJCAR_12/emmes-nonloop-ex5_1.xml 11770198	is	MAYBE 384.06/299.30	NO 36.13/14.90	MAYBE 0.29/0.26
EEG_IJCAR_12/enger-nonloop-unbounded.xml 11770199	is	MAYBE 50.12/19.68	NO 35.18/13.18	MAYBE 0.14/0.12
EEG_IJCAR_12/emmes-nonloop-ex7_7.xml 11770200	u	MAYBE 389.31/299.31	MAYBE 422.79/291.54	MAYBE 0.42/0.39
EEG_IJCAR_12/enger-nonloop-isList-List.xml 11770201	u	MAYBE 20.15/7.30	MAYBE 666.58/291.50	MAYBE 0.08/0.07
EEG_IJCAR_12/emmes-nonloop-ex7_9.xml 11770202	u	MAYBE 392.35/299.31	MAYBE 427.77/291.75	MAYBE 0.48/0.44
EEG_IJCAR_12/enger-nonloop-while-lt.xml 11770203	is	MAYBE 19.85/7.30	NO 35.90/15.96	MAYBE 0.12/0.10
AG01/#3.31.xml 11770465		YES 1.09/0.50	YES 3.73/1.79	YES 0.02/0.03
AG01/#3.53a.xml 11770466		YES 0.99/0.48	YES 3.57/1.78	YES 0.02/0.02
AG01/#3.36.xml 11770467		YES 2.40/0.87	YES 4.32/1.88	YES 0.07/0.06
AG01/#3.38.xml 11770468		YES 3.97/1.43	YES 4.55/1.91	YES 0.03/0.07
AG01/#3.15.xml 11770469		YES 0.45/0.37	YES 3.69/1.84	YES 0.03/0.08
AG01/#3.8a.xml 11770470		YES 13.01/5.63	YES 4.39/2.07	YES 0.04/0.03
AG01/#3.12.xml 11770471		YES 4.36/1.36	YES 4.20/1.85	YES 0.03/0.03
AG01/#3.52.xml 11770472		YES 1.86/0.82	YES 3.68/1.82	YES 0.02/0.03
AG01/#3.6.xml 11770473		YES 6.31/2.30	YES 4.91/2.09	YES 0.05/0.04
AG01/#3.55.xml 11770474		YES 17.74/6.18	YES 5.64/2.22	YES 0.10/0.15
AG01/#3.1.xml 11770475		YES 3.33/1.52	YES 3.90/1.87	YES 0.02/0.07
AG01/#3.29.xml 11770476		YES 0.58/0.40	YES 3.36/1.81	YES 0.02/0.05
AG01/#3.6b.xml 11770477		YES 9.28/3.26	YES 4.86/2.17	YES 0.05/0.09
AG01/#3.42.xml 11770478		YES 5.39/1.61	YES 3.97/1.91	YES 0.07/0.06
AG01/#3.39.xml 11770479		YES 14.90/6.08	YES 4.46/1.96	YES 0.24/0.23
AG01/#3.37.xml 11770480		YES 1.37/0.62	YES 3.92/1.76	YES 0.02/0.06
AG01/#3.21.xml 11770481		YES 5.81/2.80	YES 3.90/1.80	YES 0.19/0.17
AG01/#3.26.xml 11770482		YES 1.28/0.59	YES 9.46/3.16	YES 0.02/0.04
AG01/#3.54.xml 11770483		YES 1.78/0.70	YES 5.26/2.30	YES 0.03/0.08
AG01/#3.53.xml 11770484		YES 12.06/3.88	YES 4.64/2.00	YES 0.08/0.11
AG01/#3.7.xml 11770485		YES 0.49/0.40	YES 8.34/3.10	YES 0.02/0.02
AG01/#4.30c.xml 11770486	is	MAYBE 71.78/25.34	YES 10.87/5.04	MAYBE 0.29/0.30
AG01/#3.13.xml 11770487		YES 16.94/6.37	YES 5.78/2.40	YES 0.06/0.09
AG01/#3.5a.xml 11770488		YES 5.13/1.93	YES 4.27/2.05	YES 0.04/0.09
AG01/#3.22.xml 11770489	i	YES 12.43/5.58	YES 4.09/1.99	MAYBE 0.42/0.34
AG01/#3.4.xml 11770490		YES 4.92/1.75	YES 4.21/1.82	YES 0.04/0.03
AG01/#3.57.xml 11770491		YES 18.35/6.45	YES 5.15/2.22	YES 0.08/0.12
AG01/#3.19.xml 11770492		YES 7.07/2.53	YES 4.57/2.04	YES 0.10/0.10
AG01/#3.17.xml 11770493		YES 12.99/3.55	YES 4.92/2.10	YES 0.05/0.09
AG01/#3.5b.xml 11770494		YES 6.80/2.50	YES 5.14/2.24	YES 0.05/0.08
AG01/#3.17a.xml 11770495		YES 17.23/4.65	YES 4.97/2.15	YES 0.06/0.10
AG01/#3.10.xml 11770496		YES 21.19/7.09	YES 6.53/2.51	YES 0.14/0.16
AG01/#3.41.xml 11770497		YES 1.92/0.73	YES 3.84/1.90	YES 0.05/0.04
AG01/#3.33.xml 11770498		YES 8.15/2.31	YES 3.72/1.67	YES 0.01/0.05
AG01/#3.48.xml 11770499		YES 12.34/5.49	YES 3.81/2.31	YES 0.03/0.08
AG01/#3.16.xml 11770500		YES 1.75/0.78	YES 3.84/1.73	YES 0.03/0.04
AG01/#3.8b.xml 11770501		YES 13.99/5.78	YES 5.17/2.10	YES 0.06/0.05
AG01/#3.18.xml 11770502		YES 4.79/1.72	YES 4.56/1.92	YES 0.04/0.03
AG01/#3.56.xml 11770503		YES 4.26/1.33	YES 4.15/1.90	YES 0.03/0.04
AG01/#3.2.xml 11770504		YES 3.67/1.41	YES 4.04/1.81	YES 0.03/0.02
AG01/#3.51.xml 11770505		YES 3.01/1.03	YES 4.58/1.86	YES 0.03/0.03
AG01/#3.5.xml 11770506		YES 5.06/1.93	YES 4.66/1.95	YES 0.04/0.07
AG01/#3.23.xml 11770507		YES 1.17/0.57	YES 3.65/1.70	YES 0.02/0.05
AG01/#3.24.xml 11770508		YES 1.61/0.64	YES 3.74/2.02	YES 0.02/0.08
AG01/#3.6a.xml 11770509		YES 5.84/2.18	YES 5.36/2.77	YES 0.04/0.04
AG01/#3.49.xml 11770510		YES 2.19/0.81	YES 4.09/1.81	YES 0.03/0.03
AG01/#3.35.xml 11770511		YES 0.47/0.37	YES 7.41/2.74	YES 0.02/0.08
AG01/#3.53b.xml 11770512		YES 1.80/0.78	YES 3.70/1.68	YES 0.02/0.06
AG01/#3.40.xml 11770513	is	MAYBE 393.94/299.35	YES 4.87/2.18	MAYBE 0.77/0.63
AG01/#3.47.xml 11770514		YES 1.17/0.57	YES 3.74/1.91	YES 0.02/0.06
SK90/4.51.xml 11770515		YES 1.45/0.66	YES 3.91/1.99	YES 0.07/0.48
SK90/2.34.xml 11770516		YES 2.40/0.88	YES 4.06/2.01	YES 0.02/0.07
SK90/2.48.xml 11770517		YES 0.72/0.42	YES 4.68/1.91	YES 0.01/0.04
SK90/4.56.xml 11770518		YES 0.60/0.42	YES 3.68/1.74	YES 0.01/0.06
SK90/2.33.xml 11770519		YES 0.51/0.39	YES 3.80/1.77	YES 0.02/0.06
SK90/4.24.xml 11770520		YES 5.74/2.14	YES 4.44/2.07	YES 0.03/0.05
SK90/2.41.xml 11770521		YES 0.49/0.37	YES 3.69/1.77	YES 0.03/0.05
SK90/4.23.xml 11770522		YES 4.34/1.99	YES 3.66/1.86	YES 0.03/0.07
SK90/2.46.xml 11770523		YES 0.78/0.47	YES 6.87/2.63	YES 0.03/0.08
SK90/4.16.xml 11770524		YES 2.10/0.81	YES 4.01/1.91	YES 0.02/0.07
SK90/4.11.xml 11770525		YES 0.44/0.38	YES 3.52/1.77	YES 0.02/0.07
SK90/2.08.xml 11770526		YES 3.04/1.23	YES 3.78/1.71	YES 0.03/0.03
SK90/2.06.xml 11770527		YES 2.93/0.99	YES 3.78/1.84	YES 0.03/0.07
SK90/2.01.xml 11770528		YES 2.78/1.03	YES 3.71/1.81	YES 0.03/0.03
SK90/4.18.xml 11770529		YES 11.43/5.36	YES 3.75/1.79	YES 0.01/0.04
SK90/2.10.xml 11770530		YES 3.58/1.15	YES 3.88/1.76	YES 0.03/0.02
SK90/4.09.xml 11770531		YES 2.90/1.15	YES 3.76/1.73	YES 0.03/0.04
SK90/2.17.xml 11770532		YES 2.42/0.89	YES 3.86/1.89	YES 0.02/0.07
SK90/2.19.xml 11770533		YES 3.85/1.48	YES 3.71/1.72	YES 0.03/0.05
SK90/4.07.xml 11770534		YES 0.42/0.33	YES 3.48/1.54	YES 0.02/0.04
SK90/2.57.xml 11770535		YES 1.23/0.59	YES 3.77/1.78	YES 0.01/0.01
SK90/4.32.xml 11770536		YES 9.27/2.57	YES 13.51/4.16	YES 0.25/0.21
SK90/2.50.xml 11770537		YES 0.78/0.43	YES 7.70/2.71	YES 0.02/0.02
SK90/4.35.xml 11770538		YES 0.90/0.49	YES 3.54/1.69	YES 0.01/0.05
SK90/4.49.xml 11770539	i	NO 0.29/0.34	NO 4.68/2.07	MAYBE 0.16/0.13
SK90/2.22.xml 11770540		YES 1.96/0.76	YES 3.70/1.80	YES 0.03/0.07
SK90/4.47.xml 11770541		YES 1.32/0.62	YES 4.75/2.23	YES 0.01/0.04
SK90/2.25.xml 11770542		YES 2.85/1.15	YES 3.70/1.77	YES 0.02/0.02
SK90/4.40.xml 11770543	i	NO 0.39/0.33	NO 9.60/3.40	MAYBE 0.16/0.11
SK90/2.59.xml 11770544		YES 1.23/0.54	YES 3.64/1.83	YES 0.02/0.02
SK90/4.19.xml 11770545		YES 0.49/0.39	YES 3.69/1.95	YES 0.02/0.02
SK90/2.07.xml 11770546		YES 2.69/0.98	YES 3.70/1.70	YES 0.02/0.02
SK90/4.10.xml 11770547		YES 2.74/1.14	YES 3.76/1.77	YES 0.02/0.02
SK90/2.09.xml 11770548		YES 0.48/0.35	YES 3.54/1.78	YES 0.02/0.05
SK90/4.17.xml 11770549		YES 1.81/0.71	YES 5.45/2.77	YES 0.09/0.12
SK90/4.22.xml 11770550		YES 2.79/1.12	YES 3.93/1.81	YES 0.02/0.07
SK90/2.47.xml 11770551		YES 0.71/0.45	YES 8.33/2.88	YES 0.02/0.05
SK90/4.25.xml 11770552		YES 0.50/0.41	YES 3.45/1.71	YES 0.02/0.07
SK90/2.40.xml 11770553		YES 1.84/0.78	YES 3.94/1.76	YES 0.02/0.03
SK90/4.59.xml 11770554		YES 13.93/5.50	YES 4.04/1.88	YES 0.04/0.06
SK90/4.57.xml 11770555		YES 11.60/5.38	YES 3.96/1.80	YES 0.01/0.03
SK90/2.32.xml 11770556		YES 1.42/0.61	YES 3.74/1.74	YES 0.01/0.02
SK90/4.50.xml 11770557	i	YES 0.50/0.36	YES 3.58/1.70	MAYBE 0.06/0.05
SK90/2.35.xml 11770558		YES 1.69/0.67	YES 3.86/1.73	YES 0.02/0.02
SK90/2.49.xml 11770559		YES 0.80/0.46	YES 4.38/1.79	YES 0.02/0.02
SK90/2.24.xml 11770560		YES 1.04/0.49	YES 3.79/1.64	YES 0.02/0.02
SK90/4.41.xml 11770561		YES 0.94/0.47	YES 3.90/1.87	YES 0.02/0.07
SK90/2.58.xml 11770562		YES 0.90/0.49	YES 4.06/1.83	YES 0.02/0.06
SK90/2.23.xml 11770563		YES 3.04/1.23	YES 3.86/1.72	YES 0.04/0.06
SK90/4.46.xml 11770564		YES 0.45/0.36	YES 3.32/1.53	YES 0.01/0.06
SK90/2.51.xml 11770565		YES 1.87/0.93	YES 3.37/1.72	YES 0.03/0.07
SK90/4.34.xml 11770566	i	NO 1.15/0.57	NO 3.18/1.65	MAYBE 0.09/0.13
SK90/4.48.xml 11770567		YES 0.51/0.36	YES 3.58/1.67	YES 0.02/0.07
SK90/2.56.xml 11770568		YES 0.46/0.37	YES 3.39/1.61	YES 0.01/0.02
SK90/4.33.xml 11770569		YES 0.76/0.42	YES 3.30/1.55	YES 0.02/0.63
SK90/4.06.xml 11770570	i	NO 0.39/0.85	NO 4.86/2.11	MAYBE 0.12/0.14
SK90/4.01.xml 11770571		YES 0.45/0.37	YES 3.68/1.77	YES 0.01/0.06
SK90/2.18.xml 11770572		YES 1.42/0.69	YES 3.60/1.76	YES 0.02/0.04
SK90/2.16.xml 11770573		YES 3.11/1.21	YES 3.89/1.83	YES 0.03/0.09
SK90/2.11.xml 11770574		YES 0.43/0.36	YES 3.77/1.79	YES 0.02/0.06
SK90/4.08.xml 11770575		YES 0.89/0.57	YES 3.62/1.79	YES 0.02/0.08
SK90/4.39.xml 11770576		YES 0.78/0.44	YES 3.56/1.70	YES 0.03/0.06
SK90/2.20.xml 11770577		YES 3.06/1.04	YES 3.82/1.99	YES 0.02/0.02
SK90/4.45.xml 11770578		YES 0.48/0.35	YES 3.68/1.76	YES 0.02/0.06
SK90/2.27.xml 11770579		YES 6.22/1.89	YES 3.83/1.80	YES 0.03/0.05
SK90/4.42.xml 11770580		YES 2.87/1.14	YES 3.91/2.00	YES 0.03/0.03
SK90/2.29.xml 11770581		YES 12.47/5.40	YES 3.86/1.75	YES 0.02/0.02
SK90/2.55.xml 11770582		YES 0.85/0.45	YES 3.76/1.68	YES 0.02/0.02
SK90/4.30.xml 11770583		YES 5.73/1.70	YES 4.75/1.98	YES 0.03/0.07
SK90/2.52.xml 11770584		YES 13.08/5.78	YES 3.98/2.97	YES 0.06/0.06
SK90/4.37.xml 11770585		YES 0.74/0.41	YES 4.11/1.74	YES 0.01/0.06
SK90/4.02.xml 11770586	i	MAYBE 366.40/299.36	YES 3.98/1.97	YES 0.22/0.17
SK90/2.60.xml 11770587		YES 0.88/0.50	YES 3.63/1.79	YES 0.01/0.03
SK90/4.05.xml 11770588		YES 2.29/1.02	YES 3.91/1.86	YES 0.02/0.06
SK90/2.12.xml 11770589		YES 3.26/1.25	YES 3.67/1.71	YES 0.03/0.05
SK90/2.15.xml 11770590		YES 1.62/0.71	YES 3.64/2.54	YES 0.02/0.06
SK90/4.61.xml 11770591		YES 19.62/6.46	YES 4.82/2.16	YES 0.41/0.32
SK90/2.04.xml 11770592		YES 0.75/0.46	YES 3.62/1.66	YES 0.02/0.02
SK90/2.03.xml 11770593		YES 0.50/0.35	YES 3.30/1.63	YES 0.02/0.02
SK90/4.14.xml 11770594		YES 3.51/1.21	YES 3.99/1.90	YES 0.03/0.07
SK90/4.13.xml 11770595		YES 12.47/5.50	YES 3.90/1.96	YES 0.06/0.08
SK90/4.26.xml 11770596		YES 6.64/1.99	YES 4.36/2.04	YES 0.03/0.07
SK90/2.43.xml 11770597		YES 13.03/5.59	YES 3.90/1.84	YES 0.03/0.08
SK90/2.38.xml 11770598		YES 0.48/0.41	YES 3.71/1.85	YES 0.03/0.02
SK90/4.21.xml 11770599		YES 2.52/0.97	YES 3.66/1.82	YES 0.02/0.02
SK90/2.44.xml 11770600		YES 3.67/1.20	YES 4.12/1.87	YES 0.03/0.03
SK90/4.53.xml 11770601		YES 7.91/2.26	YES 3.63/1.72	YES 0.02/0.07
SK90/2.36.xml 11770602		YES 0.54/0.44	YES 3.66/1.77	YES 0.02/0.05
SK90/4.28.xml 11770603		YES 16.32/5.70	YES 4.31/1.88	YES 0.04/0.07
SK90/4.54.xml 11770604	i	NO 0.37/0.35	NO 6.91/2.77	MAYBE 0.21/0.21
SK90/2.31.xml 11770605		YES 0.46/0.40	YES 3.73/1.87	YES 0.02/0.06
SK90/2.14.xml 11770606		YES 3.02/1.05	YES 3.84/1.87	YES 0.03/0.07
SK90/2.13.xml 11770607		YES 1.36/0.61	YES 3.92/1.84	YES 0.03/0.06
SK90/2.61.xml 11770608		YES 0.60/0.41	YES 3.70/1.74	YES 0.03/0.08
SK90/4.04.xml 11770609		YES 0.43/0.37	YES 3.60/1.72	YES 0.02/0.08
SK90/4.03.xml 11770610		YES 2.98/1.10	YES 3.91/2.11	YES 0.02/0.06
SK90/2.53.xml 11770611		YES 0.47/0.39	YES 3.74/1.77	YES 0.02/0.07
SK90/4.36.xml 11770612		YES 1.31/0.60	YES 3.79/1.76	YES 0.01/0.01
SK90/2.28.xml 11770613		YES 0.98/0.52	YES 3.61/2.08	YES 0.03/0.07
SK90/2.54.xml 11770614		YES 0.66/0.43	YES 3.78/1.72	YES 0.02/0.09
SK90/4.31.xml 11770615		YES 7.93/3.33	YES 4.02/1.90	YES 0.03/0.07
SK90/2.26.xml 11770616		YES 13.71/5.54	YES 4.02/1.82	YES 0.03/0.08
SK90/4.43.xml 11770617		YES 5.33/1.63	YES 3.89/1.82	YES 0.04/0.07
SK90/4.38.xml 11770618		YES 0.54/0.37	YES 3.34/1.56	YES 0.02/0.03
SK90/2.21.xml 11770619		YES 2.48/1.07	YES 3.64/1.75	YES 0.02/0.06
SK90/4.44.xml 11770620		YES 1.35/0.63	YES 3.51/1.64	YES 0.02/0.05
SK90/4.29.xml 11770621		YES 0.60/0.42	YES 3.78/1.82	YES 0.02/0.03
SK90/4.55.xml 11770622	i	YES 0.76/0.48	YES 3.62/1.77	MAYBE 0.05/0.08
SK90/2.30.xml 11770623		YES 1.86/0.75	YES 4.04/2.11	YES 0.01/0.01
SK90/4.52.xml 11770624		YES 0.45/0.34	YES 3.70/1.73	YES 0.02/0.02
SK90/2.37.xml 11770625		YES 0.88/0.45	YES 3.74/1.83	YES 0.02/0.05
SK90/2.39.xml 11770626		YES 3.27/1.08	YES 4.95/2.08	YES 0.03/0.04
SK90/4.20.xml 11770627		YES 2.60/1.12	YES 3.82/2.07	YES 0.03/0.06
SK90/2.45.xml 11770628		YES 18.67/5.46	YES 4.02/1.81	YES 0.02/0.05
SK90/4.27.xml 11770629		YES 4.36/1.40	YES 4.24/2.04	YES 0.02/0.07
SK90/2.42.xml 11770630		YES 9.16/2.60	YES 4.19/1.92	YES 0.03/0.08
SK90/4.12.xml 11770631		YES 1.30/1.11	YES 3.76/1.83	YES 0.02/0.07
SK90/4.15.xml 11770632		YES 0.46/0.37	YES 3.84/1.76	YES 0.02/0.03
SK90/2.02.xml 11770633		YES 0.48/0.35	YES 3.67/1.66	YES 0.03/0.04
SK90/4.60.xml 11770634		YES 16.38/5.51	YES 4.43/1.88	YES 0.04/0.04
SK90/2.05.xml 11770635	i	NO 0.39/0.32	NO 6.14/2.58	MAYBE 0.38/0.32
Kaliszyk_19/longhlnb.xml 11770435	u	timeout (wallclock)	MAYBE 313.19/293.70	timeout (wallclock)
Kaliszyk_19/not_3258.xml 11770436	is	NO 38.56/38.74	MAYBE 311.83/293.71	timeout (wallclock)
Kaliszyk_19/1long.xml 11770437	u	timeout (wallclock)	MAYBE 315.61/300.70	ERROR 1.32/1.36
Kaliszyk_19/arith.xml 11770438		YES 29.71/9.12	YES 5.93/2.44	YES 0.23/0.25
Kaliszyk_19/1rwr.xml 11770439	u	timeout (wallclock)	MAYBE 317.43/300.65	ERROR 0.82/0.87
Kaliszyk_19/shornodot.xml 11770440	u	timeout (wallclock)	MAYBE 318.97/292.37	timeout (wallclock)
Kaliszyk_19/shor.xml 11770441	u	timeout (wallclock)	MAYBE 341.79/293.05	timeout (wallclock)
Kaliszyk_19/longhl.xml 11770442	u	timeout (wallclock)	MAYBE 307.13/295.08	timeout (wallclock)
HirokawaMiddeldorp_04/n002.xml 11770443		NO 0.28/0.28	NO 3.24/1.53	ERROR 0.01/0.01
HirokawaMiddeldorp_04/n005.xml 11770444	i	NO 0.29/0.29	NO 3.40/1.57	MAYBE 0.04/0.04
HirokawaMiddeldorp_04/t005.xml 11770445		YES 21.93/7.40	YES 8.25/2.96	YES 0.19/0.17
HirokawaMiddeldorp_04/t002.xml 11770446	is	MAYBE 21.53/8.40	YES 4.57/2.05	MAYBE 0.11/0.09
HirokawaMiddeldorp_04/t013.xml 11770447		YES 3.47/1.12	YES 4.39/1.92	YES 0.03/0.05
HirokawaMiddeldorp_04/t014.xml 11770448		YES 12.94/5.58	YES 4.20/1.95	YES 0.03/0.03
HirokawaMiddeldorp_04/t003.xml 11770449		YES 13.84/5.79	YES 4.32/2.05	YES 0.04/0.09
HirokawaMiddeldorp_04/t004.xml 11770450	i	YES 6.96/2.03	YES 6.60/2.43	MAYBE 0.14/0.13
HirokawaMiddeldorp_04/n004.xml 11770451		NO 0.28/0.30	NO 5.42/2.09	ERROR 0.01/0.02
HirokawaMiddeldorp_04/n003.xml 11770452	i	NO 0.28/0.29	NO 5.52/2.10	MAYBE 0.04/0.03
HirokawaMiddeldorp_04/t012.xml 11770453		YES 6.15/1.84	YES 4.03/1.80	YES 0.03/0.03
HirokawaMiddeldorp_04/t011.xml 11770454		YES 0.94/0.50	YES 3.53/1.74	YES 0.02/0.04
HirokawaMiddeldorp_04/t007.xml 11770455		YES 0.70/0.47	YES 4.02/1.72	YES 0.01/0.01
HirokawaMiddeldorp_04/t000.xml 11770456		YES 1.65/0.69	YES 4.67/1.90	YES 0.13/0.15
HirokawaMiddeldorp_04/t009.xml 11770457	i	MAYBE 401.16/299.36	YES 15.67/7.64	YES 4.74/4.65
HirokawaMiddeldorp_04/n007.xml 11770458	i	NO 0.28/0.32	NO 3.89/1.79	MAYBE 0.05/0.09
HirokawaMiddeldorp_04/t010.xml 11770459		YES 0.56/0.96	YES 4.28/1.84	YES 0.01/0.06
HirokawaMiddeldorp_04/n008.xml 11770460		NO 0.28/0.35	NO 6.84/6.06	ERROR 0.01/0.06
HirokawaMiddeldorp_04/n006.xml 11770461	i	NO 0.29/0.35	NO 3.28/1.63	MAYBE 0.04/0.09
HirokawaMiddeldorp_04/t008.xml 11770462		YES 3.64/1.23	YES 6.94/2.71	YES 0.07/0.06
HirokawaMiddeldorp_04/t001.xml 11770463		YES 15.48/6.08	YES 5.01/2.09	YES 0.16/0.13
HirokawaMiddeldorp_04/t006.xml 11770464		YES 0.39/0.32	YES 3.62/1.69	YES 0.02/0.04
TCT_12/polycounter-5.xml 11770355		YES 1.02/0.50	YES 3.83/1.81	YES 0.04/0.07
TCT_12/sat.xml 11770356		YES 7.05/2.58	YES 4.00/1.98	YES 0.05/0.11
TCT_12/recursion-10.xml 11770357		YES 10.04/3.42	YES 4.42/2.08	YES 0.12/0.16
TCT_12/recursion-5.xml 11770358		YES 4.48/1.68	YES 4.12/1.83	YES 0.05/0.11
TCT_12/polycounter-10.xml 11770359		YES 2.53/0.94	YES 5.08/2.63	YES 0.12/0.14
Zantema_05/z19.xml 11770360	is	MAYBE 353.79/299.34	YES 36.84/20.06	MAYBE 0.23/0.25
Zantema_05/jw19.xml 11770361		YES 3.07/2.44	YES 3.84/1.82	YES 0.18/0.19
Zantema_05/z10.xml 11770362	i	YES 6.72/2.89	MAYBE 522.00/293.13	YES 0.11/0.14
Zantema_05/z17.xml 11770363	u	MAYBE 386.68/299.36	MAYBE 678.97/297.48	MAYBE 0.16/0.17
Zantema_05/jw17.xml 11770364		YES 5.12/4.06	YES 4.17/2.00	YES 0.19/0.22
Zantema_05/z22.xml 11770365	is	MAYBE 400.14/299.35	YES 33.55/15.40	MAYBE 0.43/0.36
Zantema_05/jw22.xml 11770366		YES 5.08/3.84	YES 4.07/1.92	YES 0.16/0.17
Zantema_05/jw25.xml 11770367		YES 4.43/3.92	YES 3.95/1.97	YES 0.14/0.14
Zantema_05/z25.xml 11770368	is	MAYBE 43.37/14.77	YES 3.85/1.73	MAYBE 0.21/0.19
Zantema_05/jw50.xml 11770369		YES 0.57/0.41	YES 3.61/1.66	YES 0.03/0.07
Zantema_05/jw41.xml 11770370		YES 5.15/3.93	YES 7.75/3.34	YES 0.27/0.25
Zantema_05/jw34.xml 11770371	i	YES 4.97/4.32	YES 6.28/2.56	MAYBE 0.20/0.17
Zantema_05/jw33.xml 11770372		YES 4.58/3.91	YES 4.09/2.03	YES 0.19/0.17
Zantema_05/z06.xml 11770373	i	YES 4.95/2.24	YES 3.85/1.78	MAYBE 0.23/0.18
Zantema_05/jw06.xml 11770374		YES 2.02/1.26	YES 4.04/1.79	YES 0.14/0.11
Zantema_05/jw01.xml 11770375		YES 2.14/1.22	YES 3.91/1.87	YES 0.14/0.16
Zantema_05/z01.xml 11770376	i	YES 13.20/5.62	YES 190.16/62.74	MAYBE 2.10/1.42
Zantema_05/z08.xml 11770377		YES 12.56/5.79	YES 5.88/2.63	YES 0.24/0.17
Zantema_05/jw08.xml 11770378		YES 4.85/3.53	YES 4.06/1.88	YES 0.28/0.22
Zantema_05/jw24.xml 11770379		YES 4.82/4.29	YES 4.00/1.84	YES 0.14/0.13
Zantema_05/z24.xml 11770380	u	MAYBE 391.91/299.34	timeout (wallclock)	MAYBE 0.21/0.21
Zantema_05/z23.xml 11770381	u	MAYBE 401.35/299.30	MAYBE 646.82/291.54	MAYBE 0.28/0.25
Zantema_05/jw23.xml 11770382		YES 5.06/4.39	YES 3.91/3.14	YES 0.14/0.13
Zantema_05/z16.xml 11770383	u	MAYBE 365.78/299.30	MAYBE 858.94/291.52	MAYBE 0.14/0.12
Zantema_05/jw16.xml 11770384		YES 5.46/4.56	YES 4.16/1.85	YES 0.18/0.14
Zantema_05/jw11.xml 11770385		YES 7.70/3.65	YES 3.78/1.71	YES 0.26/0.23
Zantema_05/z11.xml 11770386	is	MAYBE 30.99/12.50	YES 4.33/2.00	MAYBE 0.22/0.16
Zantema_05/z18.xml 11770387	u	MAYBE 363.75/299.34	timeout (wallclock)	MAYBE 0.11/0.15
Zantema_05/jw18.xml 11770388		YES 3.11/2.36	YES 3.79/1.75	YES 0.16/0.16
Zantema_05/z09.xml 11770389	i	YES 6.42/2.84	MAYBE 368.28/291.78	YES 0.10/0.11
Zantema_05/jw09.xml 11770390		YES 4.66/4.07	YES 4.02/1.81	YES 0.20/0.19
Zantema_05/z07.xml 11770391	is	MAYBE 16.82/7.41	YES 5.17/2.24	MAYBE 0.25/0.19
Zantema_05/jw07.xml 11770392		YES 4.67/3.83	YES 3.97/4.83	YES 0.23/0.18
Zantema_05/jw32.xml 11770393		YES 5.11/4.13	YES 5.73/2.52	YES 0.18/0.20
Zantema_05/jw35.xml 11770394		YES 7.36/3.73	YES 3.68/1.68	YES 0.01/0.01
Zantema_05/jw47.xml 11770395		YES 0.52/0.39	YES 3.68/2.61	YES 0.02/0.02
Zantema_05/jw40.xml 11770396		YES 4.87/4.13	YES 3.99/1.77	YES 0.19/0.15
Zantema_05/z04.xml 11770397		YES 1.98/0.89	YES 3.82/1.75	YES 0.02/0.03
Zantema_05/jw04.xml 11770398		YES 1.68/1.28	YES 4.08/1.89	YES 0.10/0.13
Zantema_05/jw03.xml 11770399		YES 1.73/1.19	YES 3.93/1.78	YES 0.10/0.08
Zantema_05/z03.xml 11770400		YES 22.28/9.51	YES 7.19/2.67	YES 0.48/0.35
Zantema_05/jw36.xml 11770401		YES 8.18/3.88	YES 4.08/1.82	YES 0.15/0.16
Zantema_05/jw31.xml 11770402		YES 2.93/2.23	YES 3.94/2.16	YES 0.14/0.11
Zantema_05/jw43.xml 11770403		YES 0.60/0.38	YES 3.72/1.70	YES 0.04/0.04
Zantema_05/jw38.xml 11770404		YES 8.56/4.11	YES 3.76/1.71	YES 0.23/0.21
Zantema_05/jw44.xml 11770405		YES 0.91/0.49	YES 3.75/1.68	YES 0.02/0.05
Zantema_05/jw29.xml 11770406		YES 5.11/4.53	YES 4.31/1.88	YES 0.15/0.11
Zantema_05/z29.xml 11770407		YES 3.18/1.28	YES 3.98/1.84	YES 0.03/0.09
Zantema_05/z20.xml 11770408	u	MAYBE 94.33/28.13	MAYBE 630.20/291.53	MAYBE 0.35/0.31
Zantema_05/jw20.xml 11770409		YES 4.71/4.17	YES 3.92/1.86	YES 0.15/0.16
Zantema_05/jw27.xml 11770410		YES 4.92/3.82	YES 5.42/2.38	YES 0.16/0.17
Zantema_05/z27.xml 11770411	is	MAYBE 12.84/7.30	YES 26.38/13.68	MAYBE 0.09/0.09
Zantema_05/jw12.xml 11770412		YES 8.65/4.04	YES 3.70/1.72	YES 0.25/0.22
Zantema_05/z12.xml 11770413	u	MAYBE 401.30/299.31	timeout (wallclock)	MAYBE 0.31/0.30
Zantema_05/z15.xml 11770414	u	MAYBE 362.60/299.40	timeout (wallclock)	MAYBE 0.11/0.12
Zantema_05/jw15.xml 11770415	i	YES 5.19/4.53	YES 3.95/1.79	MAYBE 0.21/0.20
Zantema_05/jw39.xml 11770416		YES 5.16/4.24	YES 4.29/1.96	YES 0.17/0.13
Zantema_05/jw42.xml 11770417		YES 4.70/3.97	YES 4.03/1.78	YES 0.24/0.18
Zantema_05/z30.xml 11770418	is	YES 17.24/5.79	MAYBE 555.27/292.58	MAYBE 378.43/252.46
Zantema_05/jw30.xml 11770419		YES 3.01/2.34	YES 6.55/2.80	YES 0.19/0.16
Zantema_05/jw37.xml 11770420		YES 9.05/4.08	YES 6.89/3.55	YES 0.22/0.23
Zantema_05/jw02.xml 11770421		YES 2.60/1.26	YES 4.16/1.88	YES 0.13/0.10
Zantema_05/z02.xml 11770422	i	YES 2.85/1.18	YES 6.30/3.32	MAYBE 0.13/0.14
Zantema_05/z05.xml 11770423	is	MAYBE 35.70/11.11	YES 13.46/5.14	MAYBE 0.22/0.21
Zantema_05/jw05.xml 11770424		YES 2.66/1.28	YES 5.53/2.41	YES 0.13/0.10
Zantema_05/z14.xml 11770425	u	MAYBE 369.69/299.67	MAYBE 864.55/291.53	MAYBE 0.13/0.14
Zantema_05/jw14.xml 11770426		YES 7.28/3.63	YES 3.76/1.70	YES 0.01/0.01
Zantema_05/jw13.xml 11770427		YES 7.33/3.53	YES 3.95/1.82	YES 0.15/0.12
Zantema_05/z13.xml 11770428	u	MAYBE 110.77/32.90	timeout (wallclock)	MAYBE 0.18/0.15
Zantema_05/jw26.xml 11770429		YES 4.60/3.93	YES 4.12/1.81	YES 0.14/0.14
Zantema_05/z26.xml 11770430		YES 1.80/0.71	YES 7.68/3.02	YES 0.63/0.54
Zantema_05/z21.xml 11770431	is	MAYBE 392.07/299.31	YES 33.47/15.37	MAYBE 0.27/0.24
Zantema_05/jw21.xml 11770432		YES 5.18/4.32	YES 4.12/1.88	YES 0.14/0.14
Zantema_05/jw28.xml 11770433		YES 4.80/4.01	YES 3.99/1.86	YES 0.14/0.11
Zantema_05/z28.xml 11770434	is	MAYBE 71.20/27.15	YES 5.47/2.27	MAYBE 0.20/0.21
AProVE_04/IJCAR_26a.xml 11770317		YES 17.92/6.38	YES 5.66/2.38	YES 0.23/0.22
AProVE_04/improved_usable.xml 11770318		YES 1.56/0.68	YES 3.91/1.82	YES 0.02/0.08
AProVE_04/IJCAR_18.xml 11770319		YES 13.11/4.85	YES 5.33/2.29	YES 0.11/0.15
AProVE_04/Liveness8.xml 11770320		YES 12.28/3.42	YES 5.24/2.25	YES 0.11/0.12
AProVE_04/rta3.xml 11770321		YES 2.79/1.15	YES 3.91/1.82	YES 0.06/0.10
AProVE_04/LPAR_intlist.xml 11770322		YES 4.60/1.48	YES 4.45/1.89	YES 0.03/0.02
AProVE_04/Liveness6.2.xml 11770323	i	YES 2.72/0.96	YES 5.90/2.46	MAYBE 0.19/0.21
AProVE_04/JFP_Ex31.xml 11770324	is	MAYBE 401.22/299.35	YES 144.31/68.79	MAYBE 2.69/2.69
AProVE_04/fac.xml 11770325		YES 8.99/3.83	YES 5.41/2.35	YES 0.10/0.21
AProVE_04/AAECC-ring.xml 11770326	u	MAYBE 401.23/299.39	timeout (wallclock)	MAYBE 17.53/16.90
AProVE_04/forward_instantiation.xml 11770327	i	YES 0.97/1.16	YES 3.82/1.97	MAYBE 0.08/0.11
AProVE_04/forward_instantiation2.xml 11770328	i	YES 0.93/0.52	YES 3.98/1.82	MAYBE 0.08/0.12
AProVE_04/Liveness6.4.xml 11770329	is	MAYBE 401.29/299.35	YES 87.47/38.93	MAYBE 0.52/0.52
AProVE_04/Liveness6.3.xml 11770330	i	YES 8.13/2.34	YES 9.36/3.28	MAYBE 0.46/0.49
AProVE_04/rta2.xml 11770331		YES 0.74/0.46	YES 3.35/1.55	YES 0.03/0.07
AProVE_04/rta1.xml 11770332		YES 7.97/3.03	YES 4.08/1.83	YES 0.04/0.04
AProVE_04/IJCAR_26.xml 11770333		YES 17.21/6.15	YES 5.97/2.46	YES 0.22/0.19
AProVE_04/Liveness_WRS.xml 11770334		YES 6.67/1.93	YES 7.95/2.79	YES 0.92/0.78
AProVE_04/Liveness6.1.xml 11770335	i	YES 2.41/0.84	YES 8.91/3.03	MAYBE 0.17/0.18
AProVE_04/AAECC.xml 11770336	is	MAYBE 386.13/299.33	YES 56.22/20.12	MAYBE 2.26/2.15
AProVE_04/IJCAR_1.xml 11770337		YES 2.58/1.29	YES 4.23/1.85	YES 0.03/0.02
AProVE_04/improved_usable2.xml 11770338		YES 1.32/0.60	YES 3.86/2.94	YES 0.03/0.06
AProVE_04/IJCAR_12.xml 11770339		YES 4.80/1.65	YES 4.83/2.08	YES 0.05/0.07
AProVE_04/JFP_Ex51.xml 11770340		YES 29.41/9.05	YES 6.09/2.34	YES 0.10/0.11
AProVE_06/logarithm.xml 11770341	is	MAYBE 393.54/299.35	YES 14.61/8.45	MAYBE 1.30/1.31
AProVE_06/factorial2.xml 11770342	is	MAYBE 29.33/8.71	YES 6.44/2.44	MAYBE 0.23/0.23
AProVE_06/mapHard.xml 11770343	is	MAYBE 393.07/299.31	YES 7.09/2.65	MAYBE 0.92/0.65
AProVE_06/quicksort.xml 11770344	i	YES 22.08/7.37	YES 6.72/2.59	MAYBE 0.95/1.06
AProVE_06/tower.xml 11770345		YES 13.14/4.44	YES 5.26/2.17	YES 0.46/0.40
AProVE_06/sizeChange.xml 11770346	i	YES 11.93/5.75	YES 4.30/2.02	MAYBE 0.30/0.27
AProVE_06/div_notCeTermin.xml 11770347	is	MAYBE 387.24/299.36	YES 13.79/5.92	MAYBE 0.82/0.81
AProVE_06/quot.xml 11770348	is	MAYBE 19.18/7.35	YES 8.47/6.15	MAYBE 0.19/0.17
AProVE_06/tower_sizeChange.xml 11770349	is	MAYBE 346.21/299.35	YES 29.84/14.03	MAYBE 0.12/0.14
AProVE_06/modulo.xml 11770350	is	MAYBE 53.81/21.86	YES 14.29/10.04	MAYBE 0.21/0.20
AProVE_06/nonterm.xml 11770351	i	NO 0.46/0.39	NO 5.74/2.37	MAYBE 0.33/0.30
AProVE_06/identity.xml 11770352	is	MAYBE 390.09/299.33	YES 5.84/2.37	MAYBE 0.18/0.16
AProVE_06/div_notTermin.xml 11770353	u	MAYBE 387.65/299.36	MAYBE 640.50/291.59	MAYBE 0.81/0.80
AProVE_06/factorial1.xml 11770354		YES 13.40/4.72	YES 4.97/2.06	YES 0.39/0.34
Mixed_TRS/jones1.xml 11771292		YES 0.41/0.35	YES 3.62/1.71	YES 0.02/0.06
Mixed_TRS/jones6.xml 11771293		YES 1.57/0.66	YES 3.64/1.67	YES 0.02/0.06
Mixed_TRS/hydra.xml 11771294		YES 4.12/1.72	YES 3.74/1.74	YES 0.03/0.09
Mixed_TRS/div_hard.xml 11771295	u	MAYBE 33.84/13.21	timeout (wallclock)	MAYBE 0.18/0.20
Mixed_TRS/while2.xml 11771296	u	MAYBE 386.41/299.31	timeout (wallclock)	MAYBE 0.36/0.32
Mixed_TRS/3.xml 11771297	i	YES 8.65/4.26	YES 4.25/1.90	MAYBE 0.16/0.12
Mixed_TRS/4.xml 11771298		YES 3.65/2.98	YES 3.91/1.99	YES 0.15/0.15
Mixed_TRS/gcd_triple.xml 11771299	i	YES 17.80/6.50	YES 5.78/2.29	MAYBE 0.53/0.47
Mixed_TRS/5.xml 11771300		YES 1.00/0.64	YES 4.12/1.87	YES 0.10/0.08
Mixed_TRS/2.xml 11771301		YES 11.98/5.58	YES 4.43/2.01	YES 0.17/0.12
Mixed_TRS/beans.xml 11771302	is	MAYBE 401.33/299.33	YES 5.15/2.21	MAYBE 0.73/0.65
Mixed_TRS/perfect.xml 11771303		YES 12.30/5.47	YES 3.80/1.86	YES 0.04/0.07
Mixed_TRS/test1.xml 11771304		YES 0.80/0.46	YES 4.06/1.97	YES 0.02/0.06
Mixed_TRS/Ex1_Luc04b_GM.xml 11771305		YES 11.44/3.21	YES 6.37/2.43	YES 0.09/0.09
Mixed_TRS/1.xml 11771306		YES 4.86/4.00	YES 4.31/2.70	YES 0.18/0.14
Mixed_TRS/6.xml 11771307	u	MAYBE 27.07/8.15	MAYBE 341.48/291.50	MAYBE 0.15/0.12
Mixed_TRS/fossacs.xml 11771308	u	MAYBE 389.91/299.30	MAYBE 668.99/292.02	MAYBE 0.20/0.19
Mixed_TRS/hydra-Zantema06.xml 11771309	u	MAYBE 392.81/299.32	MAYBE 660.50/291.73	MAYBE 0.38/0.32
Mixed_TRS/gcd.xml 11771310		YES 15.53/6.03	YES 4.44/1.89	YES 0.06/0.06
Mixed_TRS/gcdMinMax.xml 11771311	is	MAYBE 382.08/299.30	YES 4.80/2.01	MAYBE 0.24/0.23
Mixed_TRS/sigma.xml 11771312	i	YES 7.35/3.14	timeout (wallclock)	YES 0.10/0.08
Mixed_TRS/motivation.xml 11771313		YES 1.85/0.76	YES 3.91/1.76	YES 0.02/0.02
Mixed_TRS/minsort.xml 11771314	u	MAYBE 54.22/18.50	MAYBE 660.03/292.37	MAYBE 0.23/0.18
Mixed_TRS/while.xml 11771315	is	MAYBE 23.56/7.37	YES 4.29/2.10	MAYBE 0.11/0.10
Mixed_TRS/jones4.xml 11771316		YES 0.58/0.43	YES 3.62/1.65	YES 0.02/0.04
Mixed_TRS/perfect2.xml 11771317		YES 14.02/5.76	YES 4.64/2.12	YES 0.04/0.08
Mixed_TRS/7.xml 11771318	is	MAYBE 365.65/299.32	YES 69.86/31.93	MAYBE 0.43/0.30
Mixed_TRS/jones5.xml 11771319		YES 0.79/0.43	YES 3.79/1.70	YES 0.03/0.03
Mixed_TRS/jones2.xml 11771320		YES 1.41/0.60	YES 3.63/1.70	YES 0.03/0.04
GTSSK07/cade09.xml 11771321	is	MAYBE 388.44/299.31	YES 5.14/2.16	MAYBE 0.20/0.18
GTSSK07/cade07.xml 11771322	u	MAYBE 75.43/29.61	MAYBE 331.66/247.75	MAYBE 0.29/0.25
GTSSK07/cade13t.xml 11771323	is	MAYBE 33.43/11.96	YES 5.75/2.33	MAYBE 0.26/0.23
GTSSK07/cade11.xml 11771324	is	MAYBE 339.67/299.35	YES 4.82/2.10	MAYBE 0.14/0.12
GTSSK07/cade16.xml 11771325	is	MAYBE 339.35/299.36	YES 5.37/2.42	MAYBE 0.19/0.20
GTSSK07/cade01.xml 11771326	is	MAYBE 26.24/8.85	YES 4.79/2.06	MAYBE 0.14/0.18
GTSSK07/cade06.xml 11771327	u	MAYBE 349.38/299.30	MAYBE 658.04/291.63	MAYBE 0.20/0.20
GTSSK07/cade08.xml 11771328	u	MAYBE 346.77/299.31	MAYBE 662.75/291.63	MAYBE 0.23/0.21
GTSSK07/cade17.xml 11771329	u	MAYBE 392.77/299.33	timeout (wallclock)	MAYBE 0.80/0.76
GTSSK07/cade12t.xml 11771330	u	MAYBE 392.37/299.30	timeout (wallclock)	MAYBE 0.37/0.33
GTSSK07/cade10.xml 11771331	is	MAYBE 377.36/299.31	YES 5.15/2.20	MAYBE 0.21/0.19
GTSSK07/cade04t.xml 11771332	u	MAYBE 13.97/7.30	MAYBE 346.27/291.49	MAYBE 0.11/0.10
GTSSK07/cade14.xml 11771333	is	MAYBE 340.47/299.30	YES 9.65/4.06	MAYBE 0.30/0.27
GTSSK07/cade15.xml 11771334	is	MAYBE 357.07/299.31	YES 13.80/5.59	MAYBE 0.51/0.45
GTSSK07/cade05t.xml 11771335	is	MAYBE 361.17/299.33	YES 5.77/2.45	MAYBE 0.23/0.21
GTSSK07/cade03.xml 11771336	is	MAYBE 26.18/8.78	YES 4.88/3.25	MAYBE 0.14/0.12
Rubio_04/quotminus.xml 11770748		YES 5.28/1.97	YES 4.12/1.87	YES 0.04/0.03
Rubio_04/test4.xml 11770749		YES 0.98/0.48	YES 3.88/1.75	YES 0.02/0.02
Rubio_04/bintrees.xml 11770750		YES 0.51/0.39	YES 3.52/1.67	YES 0.03/0.03
Rubio_04/aoto.xml 11770751		YES 2.51/0.86	YES 4.47/1.83	YES 0.02/0.02
Rubio_04/mfp90b.xml 11770752		YES 0.47/0.35	YES 3.38/1.66	YES 0.02/0.04
Rubio_04/mfp95.xml 11770753		YES 0.78/0.42	YES 3.67/1.73	YES 0.01/0.01
Rubio_04/logarquot.xml 11770754		YES 12.74/5.59	YES 4.34/3.05	YES 0.03/0.04
Rubio_04/test829.xml 11770755		YES 1.45/0.60	YES 3.81/1.71	YES 0.02/0.02
Rubio_04/gmnp.xml 11770756		YES 1.84/0.76	YES 3.74/1.77	YES 0.02/0.06
Rubio_04/revlist.xml 11770757		YES 5.52/2.07	YES 4.76/1.99	YES 0.04/0.08
Rubio_04/bn122.xml 11770758		YES 1.12/0.52	YES 3.64/1.83	YES 0.02/0.03
Rubio_04/selsort.xml 11770759		YES 17.42/6.12	YES 5.58/2.28	YES 0.10/0.13
Rubio_04/p266.xml 11770760		YES 3.39/1.14	YES 4.03/1.80	YES 0.01/0.05
Rubio_04/lescanne.xml 11770761		YES 0.51/0.39	YES 3.62/2.40	YES 0.03/0.08
Rubio_04/nestrec.xml 11770762		YES 2.11/0.79	YES 7.64/2.73	YES 0.02/0.04
Rubio_04/quick.xml 11770763		YES 16.70/6.09	YES 5.42/2.22	YES 0.08/0.08
Rubio_04/prov.xml 11770764		YES 1.48/0.87	YES 3.74/1.92	YES 0.03/0.08
Rubio_04/ma96.xml 11770765		YES 18.86/5.90	YES 5.85/2.36	YES 0.07/0.09
Rubio_04/division.xml 11770766		YES 6.43/2.34	YES 4.49/2.04	YES 0.05/0.08
Rubio_04/lindau.xml 11770767		YES 1.29/0.56	YES 3.88/1.72	YES 0.17/0.14
Rubio_04/elimdupl.xml 11770768		YES 5.97/1.97	YES 4.55/1.92	YES 0.04/0.05
Rubio_04/bn129.xml 11770769		YES 0.50/0.35	YES 3.54/1.84	YES 0.03/0.03
Rubio_04/gcd.xml 11770770		YES 6.12/2.17	YES 4.82/2.04	YES 0.04/0.04
Rubio_04/gm.xml 11770771		YES 3.87/1.54	YES 4.10/1.85	YES 0.03/0.10
Rubio_04/polo2.xml 11770772		YES 20.76/5.52	YES 4.24/1.98	YES 0.03/0.08
Rubio_04/enno.xml 11770773		YES 14.82/5.95	YES 5.00/2.72	YES 0.11/0.10
Rubio_04/koen.xml 11770774		YES 0.39/0.34	YES 3.59/1.68	YES 0.02/0.02
Rubio_04/wst99.xml 11770775		YES 20.94/5.56	YES 7.79/2.81	YES 0.06/0.08
Transformed_CSR_04/ExConc_Zan97_FR.xml 11770776		YES 2.79/0.97	YES 8.23/2.85	YES 0.02/0.02
Transformed_CSR_04/PEANO_complete_GM.xml 11770777		YES 45.84/12.12	YES 5.99/2.40	YES 0.38/0.40
Transformed_CSR_04/ExProp7_Luc06_C.xml 11770778		YES 23.76/6.32	YES 246.78/70.60	YES 1.49/1.43
Transformed_CSR_04/Ex9_BLR02_L.xml 11770779		YES 0.42/0.35	YES 3.62/1.66	YES 0.01/0.01
Transformed_CSR_04/Ex18_Luc06_C.xml 11770780		YES 2.09/0.76	YES 10.56/3.45	YES 0.07/0.11
Transformed_CSR_04/Ex4_7_56_Bor03_C.xml 11770781	is	MAYBE 401.33/299.36	timeout (wallclock)	YES 0.42/0.41
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml 11770782	is	MAYBE 401.46/299.36	NO 71.34/20.97	MAYBE 7.70/7.59
Transformed_CSR_04/Ex4_Zan97_L.xml 11770783	i	NO 0.28/0.29	NO 3.03/1.59	MAYBE 0.01/0.05
Transformed_CSR_04/Ex1_Zan97_GM.xml 11770784		YES 0.50/0.37	YES 4.31/1.87	YES 0.02/0.09
Transformed_CSR_04/Ex6_Luc98_L.xml 11770785		YES 0.39/0.32	YES 3.62/1.68	YES 0.01/0.06
Transformed_CSR_04/Ex1_2_AEL03_FR.xml 11770786		YES 14.72/5.70	YES 4.31/1.93	YES 0.06/0.12
Transformed_CSR_04/Ex9_BLR02_GM.xml 11770787		YES 30.66/9.32	YES 6.83/2.65	YES 0.05/0.08
Transformed_CSR_04/Ex14_AEGL02_Z.xml 11770788	i	NO 1.58/0.63	NO 8.54/3.49	MAYBE 0.14/0.14
Transformed_CSR_04/Ex1_2_Luc02c_FR.xml 11770789		YES 3.56/1.14	YES 3.94/1.82	YES 0.02/0.02
Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml 11770790	is	MAYBE 398.48/299.31	NO 59.49/21.03	MAYBE 0.80/0.70
Transformed_CSR_04/Ex5_7_Luc97_L.xml 11770791	i	NO 0.29/0.31	NO 3.13/1.62	MAYBE 0.01/0.05
Transformed_CSR_04/Ex8_BLR02_GM.xml 11770792	is	MAYBE 393.20/299.33	MAYBE 1128.68/291.71	YES 0.63/0.56
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml 11770793	u	MAYBE 404.04/299.50	timeout (wallclock)	timeout (wallclock)
Transformed_CSR_04/Ex2_Luc02a_GM.xml 11770794	i	MAYBE 398.25/299.31	YES 6.89/2.53	YES 0.30/0.31
Transformed_CSR_04/PEANO_nokinds_Z.xml 11770795		YES 19.12/5.71	YES 4.27/1.83	YES 0.06/0.06
Transformed_CSR_04/ExConc_Zan97_C.xml 11770796		YES 0.82/0.44	YES 15.52/4.73	YES 0.07/0.07
Transformed_CSR_04/Ex1_2_Luc02c_L.xml 11770797	i	NO 0.28/0.29	NO 3.19/1.92	MAYBE 0.01/0.01
Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml 11770798	i	MAYBE 392.24/299.35	YES 4.72/2.08	YES 0.64/0.71
Transformed_CSR_04/ExIntrod_GM04_L.xml 11770799	i	NO 0.29/0.32	NO 3.17/2.70	MAYBE 0.01/0.05
Transformed_CSR_04/MYNAT_complete_noand_iGM.xml 11770800	i	MAYBE 403.74/299.50	YES 769.83/280.27	YES 77.96/76.72
Transformed_CSR_04/Ex24_GM04_Z.xml 11770801	i	NO 1.47/0.66	NO 25.25/12.84	MAYBE 0.09/0.07
Transformed_CSR_04/Ex5_DLMMU04_iGM.xml 11770802		YES 26.87/7.63	YES 19.27/6.25	YES 0.60/0.59
Transformed_CSR_04/Ex2_Luc03b_FR.xml 11770803		YES 12.95/3.51	YES 6.51/2.45	YES 0.04/0.04
Transformed_CSR_04/PALINDROME_complete_L.xml 11770804	i	NO 0.29/0.31	NO 3.22/1.54	MAYBE 0.01/0.03
Transformed_CSR_04/Ex23_Luc06_L.xml 11770805		YES 0.42/0.33	YES 3.29/1.56	YES 0.01/0.01
Transformed_CSR_04/Ex24_GM04_GM.xml 11770806	is	MAYBE 9.79/7.31	NO 35.89/25.31	MAYBE 0.07/0.06
Transformed_CSR_04/Ex3_2_Luc97_L.xml 11770807	i	NO 0.29/0.32	NO 3.15/1.50	MAYBE 0.01/0.04
Transformed_CSR_04/MYNAT_nosorts_C.xml 11770808		YES 25.15/6.60	YES 5.79/2.27	YES 0.48/0.43
Transformed_CSR_04/Ex1_Luc02b_Z.xml 11770809		YES 5.36/1.58	YES 3.89/4.15	YES 0.03/0.03
Transformed_CSR_04/Ex1_GM03_C.xml 11770810	u	MAYBE 401.85/299.32	timeout (wallclock)	MAYBE 3.77/3.66
Transformed_CSR_04/Ex49_GM04_C.xml 11770811		YES 25.25/6.79	YES 8.28/3.00	YES 0.61/0.55
Transformed_CSR_04/Ex1_Luc04b_iGM.xml 11770812		YES 26.26/7.06	YES 10.02/3.61	YES 0.43/0.40
Transformed_CSR_04/Ex49_GM04_GM.xml 11770813		YES 34.37/10.20	YES 6.07/2.49	YES 0.14/0.13
Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml 11770814		YES 5.74/1.70	YES 4.34/2.06	YES 0.05/0.05
Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml 11770815		YES 6.22/2.31	YES 4.04/1.80	YES 0.04/0.04
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml 11770816	i	MAYBE 402.02/299.39	YES 74.42/21.07	YES 7.77/7.36
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml 11770817		YES 48.34/12.59	YES 5.89/2.58	YES 0.52/0.55
Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml 11770818	is	MAYBE 403.04/299.42	MAYBE 1040.67/297.55	YES 2.80/2.53
Transformed_CSR_04/Ex4_DLMMU04_FR.xml 11770819	i	NO 3.91/1.26	NO 51.49/15.23	MAYBE 2.59/2.37
Transformed_CSR_04/MYNAT_nokinds_C.xml 11770820	i	MAYBE 402.63/299.39	YES 7.10/3.71	YES 1.37/1.27
Transformed_CSR_04/ExIntrod_GM99_FR.xml 11770821	u	MAYBE 401.34/299.32	MAYBE 850.42/291.60	MAYBE 1.28/2.08
Transformed_CSR_04/ExSec11_1_Luc02a_C.xml 11770822		YES 28.44/8.40	YES 11.35/3.88	YES 1.06/0.99
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml 11770823	u	MAYBE 404.06/299.36	MAYBE 831.20/291.80	MAYBE 23.43/23.01
Transformed_CSR_04/Ex3_3_25_Bor03_C.xml 11770824		YES 27.25/7.61	YES 8.56/4.54	YES 0.35/0.37
Transformed_CSR_04/Ex9_Luc04_C.xml 11770825	u	MAYBE 401.12/299.31	MAYBE 879.33/291.88	MAYBE 1.07/1.03
Transformed_CSR_04/MYNAT_complete-noand_L.xml 11770826	i	NO 0.30/0.71	NO 3.17/1.85	MAYBE 0.01/0.01
Transformed_CSR_04/Ex6_15_AEL02_L.xml 11770827	i	NO 0.30/0.32	NO 3.20/1.54	MAYBE 0.01/0.01
Transformed_CSR_04/MYNAT_complete_noand_C.xml 11770828	u	MAYBE 403.81/299.48	MAYBE 772.81/293.29	MAYBE 32.66/31.59
Transformed_CSR_04/PEANO_nosorts_GM.xml 11770829		YES 0.56/0.37	YES 3.70/1.65	YES 0.03/0.03
Transformed_CSR_04/Ex6_9_Luc02c_FR.xml 11770830		YES 5.28/1.76	YES 3.77/2.61	YES 0.02/0.02
Transformed_CSR_04/OvConsOS_complete_C.xml 11770831	u	MAYBE 404.31/299.43	timeout (wallclock)	MAYBE 27.88/26.25
Transformed_CSR_04/Ex18_Luc06_GM.xml 11770832		YES 1.32/0.57	YES 5.98/2.25	YES 0.02/0.02
Transformed_CSR_04/OvConsOS_nosorts_C.xml 11770833	u	MAYBE 401.38/299.34	MAYBE 929.59/293.42	MAYBE 4.24/4.15
Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml 11770834		YES 22.20/5.91	YES 6.48/2.47	YES 0.15/0.14
Transformed_CSR_04/Ex1_Luc04b_FR.xml 11770835	i	NO 0.42/0.34	NO 11.70/5.20	MAYBE 0.29/0.26
Transformed_CSR_04/Ex4_DLMMU04_iGM.xml 11770836	is	MAYBE 401.66/299.40	YES 88.30/24.06	MAYBE 19.77/18.83
Transformed_CSR_04/OvConsOS_complete_noand_C.xml 11770837	u	MAYBE 404.06/299.56	MAYBE 779.92/292.27	MAYBE 80.15/78.52
Transformed_CSR_04/PEANO_complete_L.xml 11770838	i	NO 0.29/0.29	NO 2.84/1.54	MAYBE 0.01/0.02
Transformed_CSR_04/Ex15_Luc98_C.xml 11770839		YES 25.59/6.79	YES 8.33/3.02	YES 0.57/0.57
Transformed_CSR_04/OvConsOS_complete-noand_L.xml 11770840	i	NO 0.31/0.33	NO 3.37/1.59	MAYBE 0.02/0.02
Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml 11770841		YES 14.57/4.00	YES 14.06/4.47	YES 0.07/0.06
Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml 11770842	u	MAYBE 401.63/299.33	timeout (wallclock)	MAYBE 72.05/71.49
Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml 11770843		YES 12.58/3.78	YES 5.16/2.12	YES 0.10/0.10
Transformed_CSR_04/Ex3_2_Luc97_FR.xml 11770844	is	MAYBE 398.32/299.31	MAYBE 472.02/291.63	YES 0.41/0.33
Transformed_CSR_04/MYNAT_complete_iGM.xml 11770845	i	MAYBE 402.85/299.38	YES 8.38/3.20	YES 7.30/6.72
Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml 11770846		YES 14.42/4.98	YES 5.09/2.07	YES 0.08/0.08
Transformed_CSR_04/Ex1_GM03_FR.xml 11770847	u	MAYBE 391.29/299.33	MAYBE 679.80/291.53	MAYBE 0.70/0.70
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml 11770848	u	MAYBE 401.46/299.36	MAYBE 907.61/291.72	MAYBE 6.16/6.24
Transformed_CSR_04/MYNAT_complete_noand_GM.xml 11770849	i	MAYBE 403.99/299.39	YES 37.45/12.03	YES 16.13/15.77
Transformed_CSR_04/PALINDROME_nokinds_L.xml 11770850	i	NO 0.28/0.34	NO 3.19/1.65	MAYBE 0.01/0.01
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml 11770851	is	MAYBE 403.47/299.46	MAYBE 647.38/291.91	YES 15.59/14.48
Transformed_CSR_04/Ex24_Luc06_iGM.xml 11770852	is	MAYBE 400.79/299.31	NO 9.26/4.46	MAYBE 1.52/1.46
Transformed_CSR_04/OvConsOS_complete-noand_FR.xml 11770853	is	MAYBE 403.82/299.38	NO 367.61/93.86	timeout (wallclock)
Transformed_CSR_04/OvConsOS_nokinds_FR.xml 11770854	is	MAYBE 401.64/299.32	NO 346.26/88.10	MAYBE 10.49/10.30
Transformed_CSR_04/Ex26_Luc03b_C.xml 11770855		YES 28.84/8.66	YES 10.59/4.36	YES 0.73/0.71
Transformed_CSR_04/Ex8_BLR02_Z.xml 11770856		YES 6.73/1.92	YES 3.81/1.84	YES 0.04/0.03
Transformed_CSR_04/Ex7_BLR02_Z.xml 11770857		YES 6.93/1.97	YES 3.94/1.88	YES 0.04/0.04
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml 11770858	is	MAYBE 103.98/33.67	NO 13.47/4.82	MAYBE 0.37/0.30
Transformed_CSR_04/Ex2_Luc03b_L.xml 11770859		YES 0.44/0.34	YES 3.76/1.65	YES 0.01/0.01
Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml 11770860		YES 24.36/6.59	YES 8.89/3.24	YES 0.25/0.24
Transformed_CSR_04/OvConsOS_nokinds_C.xml 11770861	u	MAYBE 402.60/299.35	MAYBE 1029.79/299.76	MAYBE 12.68/12.24
Transformed_CSR_04/Ex18_Luc06_iGM.xml 11770862		YES 5.89/1.77	YES 12.36/3.85	YES 0.05/0.05
Transformed_CSR_04/Ex15_Luc06_C.xml 11770863		YES 2.12/0.77	YES 14.96/4.55	YES 0.51/0.48
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml 11770864	u	MAYBE 401.35/299.31	timeout (wallclock)	MAYBE 2.97/2.92
Transformed_CSR_04/PALINDROME_nosorts_GM.xml 11770865		YES 0.58/0.37	YES 3.72/1.70	YES 0.05/0.04
Transformed_CSR_04/PALINDROME_nosorts_L.xml 11770866	i	NO 0.28/0.29	NO 3.15/1.51	MAYBE 0.01/0.01
Transformed_CSR_04/Ex5_Zan97_Z.xml 11770867		YES 0.46/0.34	YES 3.46/1.60	YES 0.02/0.02
Transformed_CSR_04/PALINDROME_complete-noand_FR.xml 11770868	i	MAYBE 402.35/299.37	YES 6.04/2.60	YES 0.52/0.50
Transformed_CSR_04/Ex6_Luc98_GM.xml 11770869		YES 5.56/1.73	YES 4.89/2.10	YES 0.03/0.03
Transformed_CSR_04/Ex6_15_AEL02_GM.xml 11770870	u	MAYBE 402.00/299.33	timeout (wallclock)	MAYBE 1.34/1.17
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml 11770871	is	MAYBE 401.04/299.31	NO 38.79/13.63	MAYBE 0.64/0.53
Transformed_CSR_04/Ex26_Luc03b_FR.xml 11770872	i	MAYBE 398.11/299.31	YES 12.90/4.11	YES 0.19/0.20
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml 11770873	is	MAYBE 404.27/299.36	MAYBE 806.63/292.07	YES 5.50/4.99
Transformed_CSR_04/Ex5_Zan97_GM.xml 11770874		YES 4.95/1.53	YES 4.44/1.89	YES 0.09/0.09
Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml 11770875	is	MAYBE 401.65/299.32	YES 176.01/66.85	MAYBE 24.30/23.97
Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml 11770876		YES 27.39/7.94	YES 15.48/5.01	YES 0.86/0.78
Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml 11770877	is	MAYBE 403.45/299.42	MAYBE 712.09/291.92	YES 21.03/19.32
Transformed_CSR_04/Ex14_AEGL02_FR.xml 11770878	is	MAYBE 55.01/17.06	NO 22.86/9.34	MAYBE 0.18/0.19
Transformed_CSR_04/PALINDROME_complete_GM.xml 11770879		YES 76.70/21.19	YES 8.11/3.04	YES 0.73/0.70
Transformed_CSR_04/Ex6_9_Luc02c_C.xml 11770880		YES 22.72/6.03	YES 4.45/1.85	YES 0.32/0.31
Transformed_CSR_04/Ex6_GM04_FR.xml 11770881	i	NO 0.36/0.32	NO 10.49/3.50	MAYBE 0.08/0.07
Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml 11770882	is	MAYBE 403.92/299.37	timeout (wallclock)	YES 3.96/3.64
Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml 11770883	u	MAYBE 404.17/299.38	timeout (wallclock)	MAYBE 21.33/20.70
Transformed_CSR_04/PALINDROME_complete_noand_GM.xml 11770884	i	MAYBE 403.85/299.39	YES 13.05/4.37	YES 1.74/1.69
Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml 11770885	is	MAYBE 402.49/299.45	MAYBE 743.46/291.89	YES 3.19/2.78
Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml 11770886	is	MAYBE 401.15/299.31	NO 23.89/9.32	MAYBE 0.90/0.83
Transformed_CSR_04/Ex4_4_Luc96b_GM.xml 11770887		YES 3.67/1.15	YES 5.11/2.07	YES 0.02/0.02
Transformed_CSR_04/ExIntrod_GM99_C.xml 11770888	u	MAYBE 402.15/299.34	MAYBE 986.45/291.65	MAYBE 8.55/8.04
Transformed_CSR_04/Ex1_GL02a_iGM.xml 11770889		YES 23.02/6.17	YES 9.77/3.39	YES 0.27/0.26
Transformed_CSR_04/PEANO_nokinds-noand_Z.xml 11770890		YES 29.22/8.15	YES 6.90/2.75	YES 0.05/0.07
Transformed_CSR_04/MYNAT_complete_FR.xml 11770891	i	MAYBE 401.33/299.34	YES 5.22/2.15	YES 1.09/0.94
Transformed_CSR_04/Ex1_GL02a_C.xml 11770892		YES 42.50/11.20	YES 18.04/5.79	YES 2.11/1.95
Transformed_CSR_04/Ex6_Luc98_iGM.xml 11770893		YES 18.81/5.02	YES 6.56/2.53	YES 0.11/0.10
Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml 11770894	u	MAYBE 404.01/299.43	MAYBE 782.97/291.86	MAYBE 36.13/34.94
Transformed_CSR_04/Ex5_DLMMU04_L.xml 11770895	i	NO 0.29/0.30	NO 3.20/1.50	MAYBE 0.01/0.01
Transformed_CSR_04/OvConsOS_complete_FR.xml 11770896	u	MAYBE 402.73/299.35	timeout (wallclock)	MAYBE 30.64/30.18
Transformed_CSR_04/ExIntrod_Zan97_C.xml 11770897	u	MAYBE 401.99/299.33	MAYBE 1104.98/293.00	MAYBE 3.11/2.97
Transformed_CSR_04/Ex4_4_Luc96b_C.xml 11770898		YES 3.24/1.06	YES 4.28/1.90	YES 0.07/0.07
Transformed_CSR_04/ExAppendixB_AEL03_FR.xml 11770899		YES 15.99/5.68	YES 4.41/1.92	YES 0.07/0.07
Transformed_CSR_04/Ex25_Luc06_C.xml 11770900		YES 1.16/0.59	YES 14.69/4.65	YES 0.16/0.19
Transformed_CSR_04/ExAppendixB_AEL03_C.xml 11770901	u	MAYBE 403.04/299.41	MAYBE 1039.58/296.20	MAYBE 6.45/5.97
Transformed_CSR_04/PEANO_complete-noand_Z.xml 11770902		YES 58.11/15.50	YES 14.98/4.78	YES 0.27/0.26
Transformed_CSR_04/MYNAT_complete-noand_FR.xml 11770903	i	MAYBE 402.43/299.36	YES 47.36/14.26	YES 3.38/3.15
Transformed_CSR_04/OvConsOS_complete_noand_GM.xml 11770904	i	MAYBE 403.71/299.41	YES 36.60/11.88	YES 175.49/172.63
Transformed_CSR_04/LISTUTILITIES_complete_Z.xml 11770905	u	MAYBE 404.34/299.39	MAYBE 946.99/291.97	timeout (wallclock)
Transformed_CSR_04/MYNAT_nosorts_FR.xml 11770906		YES 1.52/0.69	YES 3.63/1.68	YES 0.03/0.06
Transformed_CSR_04/Ex4_DLMMU04_Z.xml 11770907	i	NO 3.75/1.19	NO 45.64/12.45	MAYBE 2.01/1.82
Transformed_CSR_04/Ex4_Zan97_GM.xml 11770908	is	MAYBE 391.87/299.31	MAYBE 1137.63/291.84	YES 0.29/0.25
Transformed_CSR_04/Ex23_Luc06_C.xml 11770909		YES 3.41/1.09	YES 11.66/3.71	YES 0.11/0.10
Transformed_CSR_04/PALINDROME_complete_C.xml 11770910		YES 43.30/11.95	YES 13.01/4.49	YES 10.01/9.65
Transformed_CSR_04/ExConc_Zan97_iGM.xml 11770911		YES 17.75/4.70	YES 13.68/4.30	YES 0.05/0.09
Transformed_CSR_04/MYNAT_nosorts_L.xml 11770912	i	NO 0.28/0.32	NO 3.35/2.05	MAYBE 0.01/0.07
Transformed_CSR_04/Ex3_2_Luc97_C.xml 11770913	is	MAYBE 401.77/299.32	MAYBE 989.73/297.66	YES 1.09/0.96
Transformed_CSR_04/Ex23_Luc06_iGM.xml 11770914		YES 6.79/2.02	YES 8.08/2.78	YES 0.09/0.08
Transformed_CSR_04/Ex1_GM03_L.xml 11770915	i	NO 0.29/0.29	NO 3.14/1.49	MAYBE 0.01/0.01
Transformed_CSR_04/Ex15_Luc98_FR.xml 11770916		YES 19.11/5.04	YES 9.19/3.19	YES 0.07/0.07
Transformed_CSR_04/Ex49_GM04_L.xml 11770917	i	NO 0.28/0.31	NO 3.35/1.84	MAYBE 0.01/0.03
Transformed_CSR_04/PEANO_nokinds_iGM.xml 11770918		YES 78.72/20.47	YES 5.36/2.13	YES 0.35/0.33
Transformed_CSR_04/PEANO_nokinds_FR.xml 11770919		YES 28.35/8.16	YES 4.37/1.86	YES 0.05/0.05
Transformed_CSR_04/Ex7_BLR02_GM.xml 11770920	is	MAYBE 393.58/299.32	MAYBE 798.30/291.64	YES 0.39/0.37
Transformed_CSR_04/PEANO_nosorts_iGM.xml 11770921		YES 19.41/5.23	YES 5.31/2.12	YES 0.11/0.10
Transformed_CSR_04/ExIntrod_Zan97_GM.xml 11770922	u	MAYBE 394.16/299.32	MAYBE 809.02/291.64	MAYBE 1.44/1.32
Transformed_CSR_04/Ex14_Luc06_GM.xml 11770923	u	MAYBE 14.20/7.30	timeout (wallclock)	MAYBE 0.22/0.19
Transformed_CSR_04/Ex3_12_Luc96a_Z.xml 11770924		YES 2.16/0.79	YES 3.68/2.51	YES 0.02/0.02
Transformed_CSR_04/Ex1_Zan97_iGM.xml 11770925		YES 2.53/0.88	YES 5.46/2.08	YES 0.03/0.09
Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml 11770926	is	MAYBE 401.34/299.32	MAYBE 812.21/291.71	YES 0.38/0.37
Transformed_CSR_04/Ex8_BLR02_iGM.xml 11770927	is	MAYBE 401.63/299.39	MAYBE 789.13/291.84	YES 0.98/0.84
Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml 11770928	i	NO 0.29/0.30	NO 3.17/1.53	MAYBE 0.01/0.03
Transformed_CSR_04/Ex3_12_Luc96a_FR.xml 11770929		YES 2.91/0.98	YES 3.76/1.72	YES 0.03/0.03
Transformed_CSR_04/MYNAT_nokinds_L.xml 11770930	i	NO 0.29/0.30	NO 3.20/1.52	MAYBE 0.01/0.01
Transformed_CSR_04/Ex15_Luc06_GM.xml 11770931		YES 1.24/0.54	YES 7.16/2.65	YES 0.02/0.02
Transformed_CSR_04/ExProp7_Luc06_iGM.xml 11770932		YES 19.95/5.37	YES 11.66/3.93	YES 0.32/0.29
Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml 11770933		YES 3.34/1.10	YES 4.49/1.88	YES 0.03/0.04
Transformed_CSR_04/ExSec11_1_Luc02a_L.xml 11770934		YES 5.37/1.86	YES 4.03/1.72	YES 0.03/0.03
Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 11770935		YES 0.46/0.34	YES 3.53/1.62	YES 0.01/0.01
Transformed_CSR_04/Ex9_Luc04_L.xml 11770936	i	NO 0.37/0.32	NO 3.95/1.85	MAYBE 0.05/0.04
Transformed_CSR_04/Ex6_15_AEL02_C.xml 11770937	u	MAYBE 403.61/299.37	timeout (wallclock)	MAYBE 11.83/11.47
Transformed_CSR_04/Ex9_Luc04_FR.xml 11770938	i	NO 0.37/0.32	NO 4.07/1.81	MAYBE 0.06/0.05
Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml 11770939	u	MAYBE 401.58/299.33	timeout (wallclock)	MAYBE 2.21/2.03
Transformed_CSR_04/OvConsOS_complete_L.xml 11770940	i	NO 0.29/0.30	NO 3.25/1.51	MAYBE 0.01/0.06
Transformed_CSR_04/MYNAT_nokinds_noand_C.xml 11770941	u	MAYBE 403.73/299.38	timeout (wallclock)	MAYBE 10.49/10.14
Transformed_CSR_04/MYNAT_nokinds-noand_L.xml 11770942	i	NO 0.29/0.30	NO 3.06/1.52	MAYBE 0.01/0.04
Transformed_CSR_04/ExIntrod_GM01_Z.xml 11770943	i	NO 0.64/0.46	NO 16.63/8.76	MAYBE 0.62/0.58
Transformed_CSR_04/Ex4_Zan97_iGM.xml 11770944	is	MAYBE 401.29/299.31	MAYBE 696.95/291.66	YES 0.66/0.55
Transformed_CSR_04/PEANO_complete_noand_iGM.xml 11770945	i	MAYBE 403.80/299.40	YES 204.90/71.92	YES 10.13/9.95
Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml 11770946		YES 20.24/5.60	YES 4.27/1.87	YES 0.07/0.06
Transformed_CSR_04/Ex9_BLR02_C.xml 11770947		YES 27.01/7.48	YES 9.18/4.26	YES 0.37/0.36
Transformed_CSR_04/ExProp7_Luc06_L.xml 11770948		YES 1.04/0.51	YES 3.60/1.61	YES 0.09/0.08
Transformed_CSR_04/Ex25_Luc06_FR.xml 11770949		YES 5.36/1.58	YES 12.36/4.51	YES 0.03/0.03
Transformed_CSR_04/Ex18_Luc06_L.xml 11770950		YES 0.39/0.34	YES 3.28/2.43	YES 0.02/0.02
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml 11770951	i	MAYBE 401.36/299.34	YES 13.98/4.58	YES 5.09/4.80
Transformed_CSR_04/Ex4_7_56_Bor03_L.xml 11770952	i	NO 0.29/0.29	NO 3.04/1.49	MAYBE 0.01/0.01
Transformed_CSR_04/Ex1_GL02a_GM.xml 11770953		YES 7.18/2.10	YES 4.13/1.92	YES 0.03/0.03
Transformed_CSR_04/Ex4_Zan97_C.xml 11770954	is	MAYBE 401.54/299.32	timeout (wallclock)	YES 0.67/0.59
Transformed_CSR_04/Ex6_Luc98_C.xml 11770955		YES 22.42/5.94	YES 7.35/2.79	YES 0.20/0.19
Transformed_CSR_04/Ex9_Luc06_C.xml 11770956		YES 9.21/2.59	YES 47.54/23.21	YES 0.80/0.75
Transformed_CSR_04/Ex24_Luc06_FR.xml 11770957	i	NO 0.41/0.33	NO 4.23/3.13	MAYBE 0.11/0.12
Transformed_CSR_04/Ex5_7_Luc97_C.xml 11770958	is	MAYBE 402.63/299.35	MAYBE 1031.16/300.22	YES 2.07/1.84
Transformed_CSR_04/PEANO_complete_iGM.xml 11770959	i	MAYBE 401.34/299.37	YES 7.29/2.76	YES 1.50/1.49
Transformed_CSR_04/Ex1_GM03_iGM.xml 11770960	u	MAYBE 401.24/299.37	MAYBE 808.17/291.85	MAYBE 2.58/2.41
Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml 11770961		YES 0.49/0.35	YES 3.69/1.64	YES 0.03/0.03
Transformed_CSR_04/ExConc_Zan97_L.xml 11770962		YES 0.38/0.33	YES 3.35/1.53	YES 0.01/0.05
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml 11770963	u	MAYBE 403.48/299.45	timeout (wallclock)	MAYBE 28.87/28.17
Transformed_CSR_04/Ex1_2_Luc02c_C.xml 11770964		YES 8.78/2.45	YES 5.02/2.01	YES 0.16/0.16
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml 11770965	i	NO 0.30/0.34	NO 3.25/1.64	MAYBE 0.01/0.05
Transformed_CSR_04/Ex16_Luc06_GM.xml 11770966	i	YES 1.87/0.72	YES 3.85/2.42	MAYBE 0.06/0.06
Transformed_CSR_04/ExIntrod_GM04_C.xml 11770967		YES 26.50/7.14	YES 7.96/2.82	YES 0.54/0.45
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 11770968	i	NO 0.50/0.36	NO 5.41/2.21	MAYBE 0.20/0.18
Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml 11770969		YES 38.55/10.09	YES 19.86/6.08	YES 0.43/0.35
Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml 11770970		YES 10.20/2.83	YES 10.23/3.48	YES 0.12/0.15
Transformed_CSR_04/Ex1_GM99_GM.xml 11770971	is	MAYBE 27.09/7.74	NO 5.62/2.29	MAYBE 0.14/0.12
Transformed_CSR_04/Ex5_7_Luc97_iGM.xml 11770972	is	MAYBE 401.70/299.34	MAYBE 736.37/292.54	YES 2.22/1.91
Transformed_CSR_04/Ex2_Luc02a_Z.xml 11770973		YES 7.71/2.80	YES 4.08/1.79	YES 0.04/0.04
Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 11770974		YES 1.11/0.56	YES 4.01/1.88	YES 0.02/0.02
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml 11770975	is	MAYBE 401.10/299.35	MAYBE 1093.31/292.14	YES 0.76/0.63
Transformed_CSR_04/Ex6_9_Luc02c_L.xml 11770976	i	NO 0.28/0.29	NO 3.17/2.05	MAYBE 0.01/0.01
Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml 11770977	i	NO 0.29/0.30	NO 3.21/1.54	MAYBE 0.01/0.02
Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml 11770978	i	NO 0.29/0.33	NO 95.13/28.24	MAYBE 0.08/0.08
Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml 11770979	i	NO 0.30/0.33	NO 3.20/1.58	MAYBE 0.01/0.03
Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml 11770980		YES 51.45/26.84	YES 12.85/4.13	YES 3.39/3.23
Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml 11770981	u	MAYBE 402.25/299.48	timeout (wallclock)	MAYBE 10.00/9.82
Transformed_CSR_04/ExIntrod_GM99_L.xml 11770982	i	NO 0.28/0.32	NO 3.12/2.55	MAYBE 0.01/0.06
Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml 11770983		YES 20.43/5.47	YES 5.68/2.34	YES 0.23/0.24
Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml 11770984	i	NO 0.29/0.34	NO 3.28/1.52	MAYBE 0.01/0.01
Transformed_CSR_04/Ex15_Luc06_iGM.xml 11770985		YES 1.84/0.70	YES 8.28/3.00	YES 0.04/0.03
Transformed_CSR_04/Ex5_DLMMU04_GM.xml 11770986		YES 39.04/10.17	YES 9.19/3.28	YES 0.16/0.15
Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml 11770987		YES 7.78/2.23	YES 4.40/1.95	YES 0.07/0.11
Transformed_CSR_04/MYNAT_nokinds_GM.xml 11770988	i	MAYBE 395.43/299.32	YES 5.00/2.05	YES 1.23/1.15
Transformed_CSR_04/Ex1_GL02a_L.xml 11770989		NO 0.28/0.29	NO 5.65/3.19	ERROR 0.01/0.01
Transformed_CSR_04/Ex49_GM04_iGM.xml 11770990		YES 25.19/6.72	YES 12.62/4.09	YES 0.34/0.32
Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml 11770991	i	NO 0.30/0.30	NO 3.28/1.62	MAYBE 0.01/0.01
Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml 11770992	i	MAYBE 400.15/299.34	YES 12.45/4.24	YES 2.26/2.13
Transformed_CSR_04/Ex5_DLMMU04_C.xml 11770993		YES 30.04/9.44	YES 14.18/4.51	YES 1.71/1.45
Transformed_CSR_04/Ex9_Luc06_FR.xml 11770994	i	NO 0.43/0.35	NO 4.12/1.86	MAYBE 0.09/0.08
Transformed_CSR_04/ExIntrod_Zan97_L.xml 11770995	i	NO 0.29/0.29	NO 3.23/1.61	MAYBE 0.01/0.01
Transformed_CSR_04/Ex4_4_Luc96b_L.xml 11770996		YES 0.63/0.38	YES 3.44/1.61	YES 0.02/0.02
Transformed_CSR_04/PEANO_complete-noand_FR.xml 11770997		YES 37.50/9.81	YES 15.36/5.26	YES 0.18/0.17
Transformed_CSR_04/Ex25_Luc06_L.xml 11770998		YES 0.42/0.33	YES 3.48/1.55	YES 0.01/0.04
Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml 11770999		YES 16.19/5.62	YES 4.90/2.10	YES 0.05/0.04
Transformed_CSR_04/ExAppendixB_AEL03_L.xml 11771000	i	NO 0.29/0.30	NO 3.18/1.60	MAYBE 0.01/0.02
Transformed_CSR_04/MYNAT_complete_Z.xml 11771001	i	MAYBE 400.40/299.37	YES 5.17/2.11	YES 2.03/1.84
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml 11771002	u	MAYBE 404.03/299.50	MAYBE 1061.43/300.02	timeout (wallclock)
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml 11771003	u	MAYBE 401.19/299.42	timeout (wallclock)	MAYBE 5.42/5.14
Transformed_CSR_04/Ex1_Luc02b_iGM.xml 11771004	is	MAYBE 401.39/299.32	MAYBE 671.42/291.61	YES 0.65/0.52
Transformed_CSR_04/Ex2_Luc02a_iGM.xml 11771005		YES 27.05/7.56	YES 13.27/4.62	YES 0.90/0.79
Transformed_CSR_04/PEANO_complete_noand_GM.xml 11771006		YES 66.51/17.18	YES 10.36/3.66	YES 0.35/0.33
Transformed_CSR_04/Ex14_AEGL02_iGM.xml 11771007		YES 20.48/5.44	YES 7.15/2.81	YES 0.16/0.15
Transformed_CSR_04/OvConsOS_nosorts_L.xml 11771008	i	NO 0.29/0.29	NO 3.16/1.48	MAYBE 0.01/0.01
Transformed_CSR_04/LISTUTILITIES_complete_GM.xml 11771009	is	MAYBE 404.17/299.50	MAYBE 593.66/292.01	YES 24.58/22.83
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml 11771010		YES 77.94/21.97	YES 37.40/13.38	YES 2.34/2.09
Transformed_CSR_04/OvConsOS_nosorts_GM.xml 11771011	i	NO 0.45/0.35	NO 11.37/5.79	MAYBE 0.29/0.25
Transformed_CSR_04/OvConsOS_complete_noand_iGM.xml 11771012	u	MAYBE 403.41/299.67	MAYBE 754.23/292.12	timeout (wallclock)
Transformed_CSR_04/PEANO_complete_C.xml 11771013	i	MAYBE 402.70/299.41	YES 8.71/3.47	YES 2.07/1.89
Transformed_CSR_04/Ex15_Luc98_L.xml 11771014	i	NO 0.28/0.29	NO 3.30/1.51	MAYBE 0.01/0.02
Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml 11771015	i	MAYBE 395.55/299.39	YES 10.53/3.56	YES 0.79/0.71
Transformed_CSR_04/PALINDROME_nokinds_iGM.xml 11771016		YES 25.11/6.75	YES 6.64/2.44	YES 0.59/0.50
Transformed_CSR_04/Ex1_Luc02b_GM.xml 11771017	is	MAYBE 392.61/299.37	MAYBE 867.63/292.27	YES 0.37/0.35
Transformed_CSR_04/Ex7_BLR02_iGM.xml 11771018	is	MAYBE 401.50/299.38	MAYBE 691.21/291.76	YES 0.76/0.61
Transformed_CSR_04/Ex5_7_Luc97_GM.xml 11771019	is	MAYBE 401.10/299.37	MAYBE 1168.93/298.81	YES 0.72/0.60
Transformed_CSR_04/PALINDROME_nosorts_iGM.xml 11771020		YES 22.10/5.89	YES 5.24/2.17	YES 0.19/0.16
Transformed_CSR_04/ExIntrod_GM04_FR.xml 11771021	is	MAYBE 401.11/299.37	NO 25.28/13.41	MAYBE 0.67/0.61
Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml 11771022	i	NO 0.29/0.29	NO 3.32/1.65	MAYBE 0.01/0.03
Transformed_CSR_04/PEANO_nosorts-noand_L.xml 11771023	i	NO 0.29/0.31	NO 3.23/1.63	MAYBE 0.01/0.05
Transformed_CSR_04/PEANO_nosorts_noand_C.xml 11771024		YES 24.87/6.62	YES 6.22/2.35	YES 0.61/0.57
Transformed_CSR_04/Ex26_Luc03b_iGM.xml 11771025		YES 25.42/7.08	YES 15.05/5.99	YES 0.31/0.30
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml 11771026	is	MAYBE 403.39/299.63	timeout (wallclock)	YES 138.18/134.87
Transformed_CSR_04/PALINDROME_nokinds_FR.xml 11771027		YES 3.65/1.15	YES 4.04/1.91	YES 0.09/0.09
Transformed_CSR_04/PALINDROME_nokinds_C.xml 11771028		YES 27.43/7.50	YES 8.30/2.91	YES 0.86/0.79
Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml 11771029	i	MAYBE 401.79/299.33	YES 8.27/2.98	YES 1.10/1.85
Transformed_CSR_04/Ex26_Luc03b_L.xml 11771030		YES 0.54/0.36	YES 3.62/1.72	YES 0.02/0.05
Transformed_CSR_04/Ex23_Luc06_FR.xml 11771031		YES 0.49/0.39	YES 10.82/5.15	YES 0.02/0.09
Transformed_CSR_04/Ex1_Luc04b_Z.xml 11771032	i	NO 0.29/0.34	NO 5.89/2.47	MAYBE 0.05/0.05
Transformed_CSR_04/ExProp7_Luc06_GM.xml 11771033		YES 1.93/0.74	YES 4.78/2.03	YES 0.12/0.12
Transformed_CSR_04/Ex9_Luc04_iGM.xml 11771034	is	MAYBE 373.06/299.34	NO 260.86/108.28	MAYBE 0.40/0.34
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml 11771035	u	MAYBE 402.25/299.39	timeout (wallclock)	timeout (wallclock)
Transformed_CSR_04/Ex1_2_AEL03_Z.xml 11771036		YES 14.01/5.59	YES 4.26/1.84	YES 0.05/0.08
Transformed_CSR_04/Ex2_Luc03b_C.xml 11771037		YES 25.84/7.50	YES 9.43/3.36	YES 0.42/0.42
Transformed_CSR_04/OvConsOS_nokinds_L.xml 11771038	i	NO 0.29/0.33	NO 3.24/1.58	MAYBE 0.01/0.05
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml 11771039	i	NO 0.29/0.29	NO 3.05/1.65	MAYBE 0.01/0.07
Transformed_CSR_04/Ex15_Luc06_L.xml 11771040		NO 0.30/0.47	NO 6.00/2.33	ERROR 0.01/0.06
Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml 11771041	i	NO 0.28/0.29	NO 3.17/1.55	MAYBE 0.01/0.06
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml 11771042	u	MAYBE 403.23/299.40	timeout (wallclock)	MAYBE 32.35/32.18
Transformed_CSR_04/ExIntrod_GM01_GM.xml 11771043		YES 25.46/6.81	YES 7.15/2.80	YES 0.10/0.15
Transformed_CSR_04/PALINDROME_nosorts_C.xml 11771044		YES 23.64/6.25	YES 5.59/2.26	YES 0.24/0.25
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml 11771045	u	MAYBE 401.44/299.36	MAYBE 354.90/291.66	MAYBE 21.97/21.94
Transformed_CSR_04/ExIntrod_GM99_GM.xml 11771046		YES 62.35/16.05	YES 85.36/22.51	YES 0.26/0.30
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml 11771047		YES 21.28/5.72	YES 3.97/1.91	YES 0.13/0.17
Transformed_CSR_04/Ex18_Luc06_FR.xml 11771048		YES 0.48/0.41	YES 6.47/2.51	YES 0.02/0.11
Transformed_CSR_04/PEANO_nosorts_FR.xml 11771049		YES 0.47/0.39	YES 3.82/2.36	YES 0.02/0.08
Transformed_CSR_04/Ex6_9_Luc02c_GM.xml 11771050		YES 12.56/3.52	YES 8.53/3.14	YES 0.07/0.07
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml 11771051	i	NO 0.51/0.41	NO 5.91/2.50	MAYBE 0.14/0.16
Transformed_CSR_04/Ex15_Luc98_Z.xml 11771052		YES 14.73/4.38	YES 4.16/1.85	YES 0.03/0.46
Transformed_CSR_04/OvConsOS_nosorts_Z.xml 11771053	i	NO 0.36/0.38	NO 5.88/2.46	MAYBE 0.15/0.18
Transformed_CSR_04/Ex4_DLMMU04_GM.xml 11771054	i	MAYBE 401.26/299.37	YES 37.62/10.61	YES 2.61/2.71
Transformed_CSR_04/Ex16_Luc06_L.xml 11771055	i	NO 0.28/0.34	NO 7.59/2.82	MAYBE 0.04/0.10
Transformed_CSR_04/Ex5_Zan97_C.xml 11771056		YES 21.46/5.73	YES 6.34/2.62	YES 0.30/0.31
Transformed_CSR_04/Ex49_GM04_FR.xml 11771057		YES 46.14/13.18	YES 11.75/3.98	YES 0.20/0.24
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml 11771058	is	MAYBE 401.08/299.38	NO 67.07/18.50	MAYBE 1.60/1.58
Transformed_CSR_04/Ex15_Luc06_Z.xml 11771059		YES 0.72/0.47	YES 4.18/1.90	YES 0.01/0.09
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml 11771060	is	MAYBE 404.70/299.45	MAYBE 615.06/291.94	YES 13.27/12.66
Transformed_CSR_04/Ex1_Zan97_L.xml 11771061	i	NO 0.35/0.36	NO 6.03/2.39	MAYBE 0.04/0.10
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml 11771062	i	NO 0.30/0.34	NO 3.23/1.66	MAYBE 0.01/0.07
Transformed_CSR_04/Ex24_GM04_FR.xml 11771063	u	MAYBE 14.67/7.75	MAYBE 178.50/137.17	MAYBE 0.09/0.11
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml 11771064	u	MAYBE 404.04/300.07	timeout (wallclock)	MAYBE 162.84/162.00
Transformed_CSR_04/Ex1_2_AEL03_L.xml 11771065	i	NO 0.29/0.33	NO 3.14/1.49	MAYBE 0.01/0.05
Transformed_CSR_04/OvConsOS_nokinds_Z.xml 11771066	is	MAYBE 401.50/299.35	NO 367.64/95.38	MAYBE 91.09/90.97
Transformed_CSR_04/Ex26_Luc03b_Z.xml 11771067		YES 36.84/9.57	YES 8.44/2.99	YES 0.13/0.16
Transformed_CSR_04/Ex8_BLR02_C.xml 11771068	is	MAYBE 401.67/299.39	timeout (wallclock)	YES 1.02/0.94
Transformed_CSR_04/Ex2_Luc03b_iGM.xml 11771069		YES 23.24/6.27	YES 8.19/3.10	YES 0.18/0.23
Transformed_CSR_04/Ex7_BLR02_C.xml 11771070	is	MAYBE 401.81/299.38	timeout (wallclock)	YES 0.97/0.88
Transformed_CSR_04/Ex1_Luc04b_L.xml 11771071	i	NO 0.29/0.34	NO 2.99/1.52	MAYBE 0.01/0.05
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml 11771072	u	MAYBE 403.50/299.36	MAYBE 838.82/291.89	MAYBE 10.36/9.87
Transformed_CSR_04/Ex1_GL02a_Z.xml 11771073	is	MAYBE 400.59/299.36	NO 43.34/14.56	MAYBE 2.02/2.02
Transformed_CSR_04/Ex2_Luc03b_GM.xml 11771074		YES 8.82/2.57	YES 6.92/2.55	YES 0.04/0.06
Transformed_CSR_04/Ex4_7_77_Bor03_L.xml 11771075	i	NO 0.28/0.34	NO 3.16/1.49	MAYBE 0.01/0.06
Transformed_CSR_04/ExIntrod_GM99_Z.xml 11771076	i	NO 0.44/0.41	NO 16.58/5.85	MAYBE 0.51/0.44
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml 11771077	is	MAYBE 93.46/31.47	NO 11.64/4.04	MAYBE 0.37/0.37
Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml 11771078		YES 42.22/12.15	YES 5.93/2.32	YES 0.05/0.08
Transformed_CSR_04/Ex6_9_Luc02c_Z.xml 11771079		YES 3.28/1.09	YES 3.61/2.95	YES 0.01/0.05
Transformed_CSR_04/Ex14_Luc06_iGM.xml 11771080	u	MAYBE 401.38/299.37	timeout (wallclock)	MAYBE 1.41/1.34
Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml 11771081	u	MAYBE 401.91/299.36	MAYBE 1118.96/292.25	MAYBE 39.89/39.75
Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml 11771082		YES 19.73/5.39	YES 5.78/2.31	YES 0.12/0.16
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml 11771083		YES 14.07/4.18	YES 4.27/2.03	YES 0.03/0.09
Transformed_CSR_04/Ex1_GM99_C.xml 11771084	is	MAYBE 401.42/299.34	YES 103.57/39.62	MAYBE 2.58/2.54
Transformed_CSR_04/Ex2_Luc02a_L.xml 11771085		YES 4.08/1.47	YES 3.91/2.53	YES 0.03/0.04
Transformed_CSR_04/Ex2_Luc02a_FR.xml 11771086		YES 10.69/3.38	YES 4.66/2.04	YES 0.09/0.08
Transformed_CSR_04/Ex8_BLR02_FR.xml 11771087		YES 6.99/2.31	YES 3.89/1.81	YES 0.08/0.08
Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 11771088		YES 0.85/0.46	YES 3.52/1.61	YES 0.02/0.05
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml 11771089	u	MAYBE 401.47/299.35	MAYBE 812.66/291.83	MAYBE 2.53/2.47
Transformed_CSR_04/Ex3_2_Luc97_iGM.xml 11771090	is	MAYBE 401.15/299.37	MAYBE 725.02/291.73	YES 0.90/0.77
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml 11771091		YES 96.80/25.82	YES 6.36/2.40	YES 0.26/0.34
Transformed_CSR_04/Ex1_Zan97_FR.xml 11771092	i	NO 0.46/0.35	NO 7.58/2.68	MAYBE 0.07/0.07
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml 11771093		YES 20.99/5.60	YES 6.14/2.32	YES 0.94/0.86
Transformed_CSR_04/Ex4_DLMMU04_C.xml 11771094	u	MAYBE 402.76/299.37	timeout (wallclock)	MAYBE 7.83/7.31
Transformed_CSR_04/Ex1_2_Luc02c_GM.xml 11771095		YES 3.70/1.16	YES 6.36/2.43	YES 0.05/0.04
Transformed_CSR_04/Ex9_BLR02_FR.xml 11771096		YES 27.78/8.35	YES 13.52/4.55	YES 0.11/0.10
Transformed_CSR_04/LISTUTILITIES_complete_C.xml 11771097	u	MAYBE 404.16/299.59	MAYBE 782.82/292.06	MAYBE 97.62/94.27
Transformed_CSR_04/Ex1_2_AEL03_GM.xml 11771098	i	MAYBE 397.32/299.41	YES 170.38/51.30	YES 0.76/0.71
Transformed_CSR_04/ExIntrod_Zan97_Z.xml 11771099	i	NO 0.29/0.29	NO 6.65/2.70	MAYBE 0.11/0.10
Transformed_CSR_04/Ex4_4_Luc96b_Z.xml 11771100	i	NO 0.40/0.37	NO 4.82/2.02	MAYBE 0.16/0.32
Transformed_CSR_04/Ex25_Luc06_Z.xml 11771101		YES 0.86/0.56	YES 4.52/1.83	YES 0.02/0.04
Transformed_CSR_04/ExAppendixB_AEL03_Z.xml 11771102		YES 14.35/5.61	YES 4.36/2.00	YES 0.05/0.09
Transformed_CSR_04/MYNAT_complete_L.xml 11771103	i	NO 0.29/0.34	NO 3.08/1.53	MAYBE 0.01/0.01
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml 11771104	i	NO 4.29/1.34	NO 9.49/11.16	MAYBE 0.34/0.33
Transformed_CSR_04/PEANO_complete_FR.xml 11771105		YES 87.46/23.82	YES 4.97/2.15	YES 0.52/0.55
Transformed_CSR_04/Ex6_GM04_L.xml 11771106		YES 0.36/0.36	YES 3.23/2.54	YES 0.01/0.06
Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml 11771107	u	MAYBE 402.86/299.35	MAYBE 1140.42/293.48	MAYBE 7.91/7.48
Transformed_CSR_04/ExConc_Zan97_GM.xml 11771108		YES 2.60/0.88	YES 10.95/3.58	YES 0.02/0.03
Transformed_CSR_04/MYNAT_nosorts_GM.xml 11771109	i	MAYBE 389.92/299.37	YES 4.17/1.82	YES 0.25/0.21
Transformed_CSR_04/PEANO_nosorts_C.xml 11771110		YES 17.73/4.73	YES 5.81/2.35	YES 0.21/0.23
Transformed_CSR_04/Ex14_Luc06_L.xml 11771111	i	NO 0.37/0.41	NO 7.44/2.71	MAYBE 0.06/0.09
Transformed_CSR_04/Ex14_AEGL02_C.xml 11771112		YES 34.32/9.05	YES 212.82/76.13	YES 0.94/0.93
Transformed_CSR_04/Ex18_Luc06_Z.xml 11771113		YES 0.40/0.35	YES 3.59/1.61	YES 0.01/0.04
Transformed_CSR_04/Ex4_Zan97_FR.xml 11771114		YES 3.86/1.25	YES 3.98/1.84	YES 0.04/0.03
Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml 11771115		YES 2.36/0.82	YES 3.88/1.76	YES 0.02/0.08
Transformed_CSR_04/Ex6_15_AEL02_iGM.xml 11771116	u	MAYBE 402.08/299.40	MAYBE 764.30/291.94	MAYBE 6.38/5.90
Transformed_CSR_04/Ex5_Zan97_iGM.xml 11771117		YES 14.70/4.01	YES 6.09/2.39	YES 0.11/0.14
Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml 11771118	u	MAYBE 403.53/300.03	timeout (wallclock)	timeout (wallclock)
Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml 11771119	i	MAYBE 396.98/299.36	YES 9.69/4.12	YES 1.08/1.01
Transformed_CSR_04/ExIntrod_GM01_L.xml 11771120	i	NO 0.29/0.29	NO 3.25/1.50	MAYBE 0.01/0.01
Transformed_CSR_04/OvConsOS_complete_GM.xml 11771121	u	MAYBE 403.94/299.36	timeout (wallclock)	timeout (wallclock)
Transformed_CSR_04/Ex4_7_37_Bor03_L.xml 11771122	i	NO 0.29/0.29	NO 3.19/1.53	MAYBE 0.01/0.01
Transformed_CSR_04/ExProp7_Luc06_Z.xml 11771123		YES 1.54/0.65	YES 4.05/1.91	YES 0.05/0.08
Transformed_CSR_04/ExAppendixB_AEL03_GM.xml 11771124	i	MAYBE 398.85/299.33	YES 164.71/47.29	YES 1.30/1.19
Transformed_CSR_04/PEANO_nokinds-noand_FR.xml 11771125		YES 19.45/5.68	YES 7.07/2.59	YES 0.06/0.08
Transformed_CSR_04/OvConsOS_complete_iGM.xml 11771126	u	MAYBE 403.54/299.45	MAYBE 874.97/292.06	MAYBE 76.72/74.52
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml 11771127	is	MAYBE 403.48/299.56	MAYBE 690.39/291.95	YES 70.92/68.87
Transformed_CSR_04/Ex4_4_Luc96b_FR.xml 11771128	i	NO 0.50/0.36	NO 8.42/3.10	MAYBE 0.23/0.25
Transformed_CSR_04/Ex24_GM04_C.xml 11771129	u	MAYBE 401.10/299.32	MAYBE 910.77/291.58	MAYBE 4.37/4.37
Transformed_CSR_04/MYNAT_complete_GM.xml 11771130	i	MAYBE 402.24/299.34	YES 6.08/2.74	YES 3.71/3.55
Transformed_CSR_04/PEANO_nokinds_C.xml 11771131	i	MAYBE 401.33/299.37	YES 5.91/2.53	YES 0.57/0.57
Transformed_CSR_04/Ex24_GM04_iGM.xml 11771132	u	MAYBE 40.35/13.02	timeout (wallclock)	MAYBE 0.22/0.22
Transformed_CSR_04/ExConc_Zan97_Z.xml 11771133	i	NO 0.28/0.35	NO 3.21/1.67	MAYBE 0.04/0.10
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml 11771134		YES 21.03/5.59	YES 5.92/2.76	YES 0.06/0.10
Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml 11771135	u	MAYBE 403.02/299.42	MAYBE 1131.50/291.90	MAYBE 7.65/7.15
Transformed_CSR_04/Ex26_Luc03b_GM.xml 11771136		YES 32.06/9.30	YES 7.76/2.83	YES 0.06/0.11
Transformed_CSR_04/Ex14_AEGL02_GM.xml 11771137		YES 4.05/1.33	YES 15.68/5.29	YES 0.05/0.10
Transformed_CSR_04/PALINDROME_complete_FR.xml 11771138		YES 118.86/30.36	YES 5.31/2.33	YES 0.48/0.49
Transformed_CSR_04/Ex6_GM04_GM.xml 11771139		YES 0.44/0.37	YES 4.18/1.75	YES 0.01/0.05
Transformed_CSR_04/ExIntrod_GM99_iGM.xml 11771140	u	MAYBE 401.57/299.38	MAYBE 803.26/291.71	MAYBE 4.72/3.88
Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml 11771141		YES 118.04/30.77	YES 23.34/7.25	YES 1.03/1.00
Transformed_CSR_04/Ex5_Zan97_FR.xml 11771142		YES 2.01/0.77	YES 3.97/1.79	YES 0.04/0.03
Transformed_CSR_04/PALINDROME_nosorts_FR.xml 11771143		YES 0.44/0.39	YES 3.70/1.64	YES 0.02/0.07
Transformed_CSR_04/Ex3_12_Luc96a_L.xml 11771144	i	NO 0.28/0.39	NO 3.17/2.58	MAYBE 0.01/0.05
Transformed_CSR_04/Ex6_15_AEL02_FR.xml 11771145	u	MAYBE 387.28/299.36	timeout (wallclock)	MAYBE 0.28/0.36
Transformed_CSR_04/Ex6_Luc98_FR.xml 11771146		YES 5.45/1.68	YES 5.30/2.17	YES 0.04/0.08
Transformed_CSR_04/Ex9_Luc06_iGM.xml 11771147		YES 8.67/2.49	YES 5.31/2.26	YES 0.05/0.10
Transformed_CSR_04/ExIntrod_GM04_iGM.xml 11771148		YES 25.24/6.72	YES 10.12/3.61	YES 0.24/0.25
Transformed_CSR_04/Ex49_GM04_Z.xml 11771149		YES 13.73/5.63	YES 4.75/2.09	YES 0.05/0.10
Transformed_CSR_04/OvConsOS_nokinds_GM.xml 11771150	u	MAYBE 401.25/299.40	MAYBE 811.89/291.82	MAYBE 27.02/26.93
Transformed_CSR_04/Ex24_Luc06_L.xml 11771151	i	NO 0.28/0.35	NO 5.80/2.94	MAYBE 0.04/0.09
Transformed_CSR_04/Ex1_Luc02b_C.xml 11771152	is	MAYBE 401.75/299.38	timeout (wallclock)	YES 0.80/0.71
Transformed_CSR_04/Ex1_GM03_Z.xml 11771153	i	NO 0.29/0.29	NO 4.29/2.13	MAYBE 0.07/0.10
Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml 11771154	is	MAYBE 396.29/299.32	timeout (wallclock)	YES 0.73/0.60
Transformed_CSR_04/Ex9_BLR02_iGM.xml 11771155		YES 28.13/7.54	YES 11.29/3.79	YES 0.24/0.26
Transformed_CSR_04/Ex3_2_Luc97_GM.xml 11771156	is	MAYBE 399.59/299.36	MAYBE 1011.86/291.71	YES 0.32/0.29
Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml 11771157	i	MAYBE 399.98/299.33	YES 7.54/2.82	YES 0.59/0.60
Transformed_CSR_04/OvConsOS_complete_Z.xml 11771158	u	MAYBE 402.09/299.38	timeout (wallclock)	MAYBE 143.37/143.01
Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml 11771159		YES 9.08/3.28	YES 4.07/1.99	YES 0.04/0.12
Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml 11771160	i	NO 0.29/0.36	NO 5.43/2.34	MAYBE 0.06/0.12
Transformed_CSR_04/Ex1_GM03_GM.xml 11771161	u	MAYBE 394.13/299.31	timeout (wallclock)	MAYBE 1.04/1.00
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml 11771162		YES 13.05/3.51	YES 4.12/1.81	YES 0.03/0.07
Transformed_CSR_04/PEANO_nokinds_noand_GM.xml 11771163		YES 44.18/11.97	YES 7.00/2.64	YES 0.14/0.17
Transformed_CSR_04/MYNAT_nokinds_Z.xml 11771164	i	MAYBE 394.84/299.34	YES 4.59/2.00	YES 0.65/0.59
Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml 11771165		YES 3.11/1.01	YES 3.80/1.73	YES 0.03/0.04
Transformed_CSR_04/Ex1_Luc04b_GM.xml 11771166		YES 17.51/4.75	YES 7.01/10.93	YES 0.10/0.09
Transformed_CSR_04/Ex16_Luc06_FR.xml 11771167	i	YES 0.80/0.48	YES 3.85/1.88	MAYBE 0.05/0.08
Transformed_CSR_04/PEANO_nokinds_noand_C.xml 11771168	u	MAYBE 402.17/299.41	timeout (wallclock)	MAYBE 6.62/6.46
Transformed_CSR_04/PEANO_nokinds-noand_L.xml 11771169	i	NO 0.29/0.30	NO 2.98/1.49	MAYBE 0.01/0.04
Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 11771170		YES 0.50/0.39	YES 3.63/1.70	YES 0.01/0.05
Transformed_CSR_04/Ex4_7_77_Bor03_C.xml 11771171		YES 12.58/3.48	YES 5.45/2.30	YES 0.21/0.23
Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml 11771172	is	MAYBE 401.25/299.39	MAYBE 749.15/291.78	YES 2.59/2.30
Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 11771173		YES 0.51/0.36	YES 3.89/1.76	YES 0.02/0.04
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml 11771174	i	NO 0.40/0.39	NO 4.88/2.26	MAYBE 0.07/0.12
Transformed_CSR_04/Ex24_Luc06_GM.xml 11771175	i	NO 0.38/0.33	NO 4.47/2.01	MAYBE 0.08/0.29
Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml 11771176		YES 39.06/10.27	YES 15.80/11.00	YES 0.18/0.21
Transformed_CSR_04/Ex1_GM99_L.xml 11771177		NO 0.28/0.32	NO 6.40/2.37	ERROR 0.01/0.03
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml 11771178	i	MAYBE 403.92/299.40	YES 20.69/6.56	YES 8.17/7.74
Transformed_CSR_04/Ex2_Luc02a_C.xml 11771179		YES 28.08/7.48	YES 9.80/3.42	YES 0.93/0.90
Transformed_CSR_04/Ex4_7_15_Bor03_C.xml 11771180		YES 22.86/6.10	YES 205.96/59.10	YES 1.21/1.65
Transformed_CSR_04/Ex4_DLMMU04_L.xml 11771181	i	NO 0.29/0.34	NO 3.09/1.72	MAYBE 0.01/0.06
Transformed_CSR_04/Ex1_GL02a_FR.xml 11771182	is	MAYBE 395.58/299.35	NO 311.32/103.29	MAYBE 0.83/0.80
Transformed_CSR_04/Ex25_Luc06_GM.xml 11771183		YES 6.57/1.90	YES 8.56/2.96	YES 0.02/0.02
Transformed_CSR_04/PEANO_complete-noand_L.xml 11771184	i	NO 0.29/0.34	NO 3.38/1.70	MAYBE 0.01/0.01
Transformed_CSR_04/PEANO_complete_noand_C.xml 11771185	u	MAYBE 404.18/299.39	timeout (wallclock)	MAYBE 28.12/27.58
Transformed_CSR_04/LISTUTILITIES_complete_L.xml 11771186	i	NO 0.31/0.35	NO 3.49/2.25	MAYBE 0.02/0.02
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml 11771187	u	MAYBE 401.81/299.33	MAYBE 910.13/292.11	MAYBE 10.31/10.23
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml 11771188	i	NO 0.29/0.30	NO 3.31/1.59	MAYBE 0.01/0.06
Transformed_CSR_04/MYNAT_complete_C.xml 11771189	i	MAYBE 403.94/299.41	YES 13.60/4.56	YES 5.63/5.30
Transformed_CSR_04/Ex6_GM04_C.xml 11771190		YES 3.31/1.12	YES 10.79/3.62	YES 0.06/0.08
Transformed_CSR_04/Ex5_DLMMU04_Z.xml 11771191	i	NO 0.38/0.35	NO 8.32/2.93	MAYBE 0.07/0.06
Transformed_CSR_04/PALINDROME_nokinds_Z.xml 11771192		YES 3.73/1.18	YES 4.01/1.76	YES 0.12/0.15
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 11771193		YES 6.76/2.03	YES 4.67/2.26	YES 0.03/0.08
Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml 11771194	i	NO 0.29/0.35	NO 3.26/1.59	MAYBE 0.01/0.07
Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml 11771195	u	MAYBE 403.90/299.42	MAYBE 975.93/294.85	MAYBE 32.24/31.75
Transformed_CSR_04/Ex15_Luc98_iGM.xml 11771196		YES 23.63/6.37	YES 11.68/4.29	YES 0.27/0.31
Transformed_CSR_04/ExIntrod_GM01_iGM.xml 11771197		YES 25.48/6.90	YES 11.15/3.94	YES 0.32/0.33
Transformed_CSR_04/Ex9_Luc04_GM.xml 11771198	is	MAYBE 39.61/12.82	NO 6.87/2.70	MAYBE 0.18/0.18
Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml 11771199		YES 23.92/6.33	YES 6.71/2.48	YES 0.27/0.25
Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml 11771200		YES 0.47/0.34	YES 3.74/1.67	YES 0.02/0.08
Transformed_CSR_04/Ex6_GM04_iGM.xml 11771201		YES 4.70/1.45	YES 5.62/2.30	YES 0.03/0.07
Transformed_CSR_04/OvConsOS_complete-noand_Z.xml 11771202	u	MAYBE 403.25/299.39	timeout (wallclock)	timeout (wallclock)
Transformed_CSR_04/PEANO_complete_Z.xml 11771203		YES 87.81/23.55	YES 4.69/2.04	YES 0.09/0.11
Transformed_CSR_04/Ex3_12_Luc96a_GM.xml 11771204	is	MAYBE 390.29/299.31	MAYBE 859.12/291.59	YES 0.19/0.23
Transformed_CSR_04/Ex15_Luc06_FR.xml 11771205		YES 1.01/0.54	YES 5.85/2.23	YES 0.02/0.06
Transformed_CSR_04/PALINDROME_complete_iGM.xml 11771206		YES 101.10/26.94	YES 10.23/3.51	YES 7.68/7.28
Transformed_CSR_04/PALINDROME_complete_noand_iGM.xml 11771207	i	MAYBE 402.90/299.52	YES 19.23/5.91	YES 35.58/34.99
Transformed_CSR_04/Ex25_Luc06_iGM.xml 11771208		YES 21.27/5.57	YES 21.08/6.19	YES 0.09/0.12
Transformed_CSR_04/ExIntrod_Zan97_FR.xml 11771209	u	MAYBE 391.16/299.30	timeout (wallclock)	MAYBE 0.51/0.50
Transformed_CSR_04/Ex16_Luc06_C.xml 11771210	is	MAYBE 401.28/299.36	YES 73.80/27.46	MAYBE 2.28/2.29
Transformed_CSR_04/Ex5_Zan97_L.xml 11771211	i	NO 0.28/0.35	NO 3.03/1.58	MAYBE 0.01/0.01
Transformed_CSR_04/Ex7_BLR02_FR.xml 11771212		YES 7.90/2.31	YES 4.83/2.09	YES 0.05/0.05
Transformed_CSR_04/PEANO_nosorts_noand_GM.xml 11771213		YES 0.78/0.46	YES 3.60/1.66	YES 0.04/0.04
Transformed_CSR_04/PEANO_nokinds_GM.xml 11771214		YES 45.04/12.05	YES 4.64/2.03	YES 0.07/0.11
Transformed_CSR_04/Ex14_Luc06_FR.xml 11771215	i	NO 0.40/0.34	NO 5.05/2.32	MAYBE 0.10/0.17
Transformed_CSR_04/Ex1_Zan97_C.xml 11771216		YES 2.39/0.89	YES 10.16/3.31	YES 0.46/0.45
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml 11771217	is	MAYBE 402.21/299.35	NO 916.10/291.90	timeout (wallclock)
Transformed_CSR_04/Ex1_2_AEL03_C.xml 11771218	is	MAYBE 402.98/299.42	MAYBE 1047.29/293.50	YES 2.99/2.59
Transformed_CSR_04/Ex2_Luc03b_Z.xml 11771219		YES 4.84/1.46	YES 4.67/1.94	YES 0.03/0.08
Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml 11771220	is	MAYBE 402.10/299.42	MAYBE 825.26/291.99	YES 2.72/2.40
Transformed_CSR_04/Ex8_BLR02_L.xml 11771221	i	NO 0.29/0.34	NO 3.26/1.65	MAYBE 0.01/0.07
Transformed_CSR_04/Ex15_Luc98_GM.xml 11771222		YES 5.41/1.71	YES 4.67/1.95	YES 0.04/0.11
Transformed_CSR_04/Ex7_BLR02_L.xml 11771223	i	NO 0.28/0.35	NO 3.19/1.68	MAYBE 0.01/0.08
Transformed_CSR_04/Ex1_Luc04b_C.xml 11771224		YES 25.27/6.82	YES 7.46/2.76	YES 0.56/0.51
Transformed_CSR_04/ExIntrod_GM01_FR.xml 11771225	i	NO 2.00/0.77	NO 24.95/9.38	MAYBE 0.50/0.52
Transformed_CSR_04/Ex3_12_Luc96a_C.xml 11771226	is	MAYBE 401.42/299.35	timeout (wallclock)	YES 0.45/0.46
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml 11771227	is	MAYBE 401.18/299.41	NO 122.42/37.26	MAYBE 1.68/1.66
Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml 11771228	i	MAYBE 403.59/299.43	YES 173.83/59.75	YES 52.93/51.22
Transformed_CSR_04/OvConsOS_nosorts_iGM.xml 11771229	is	MAYBE 401.29/299.35	NO 61.89/18.16	MAYBE 1.17/1.10
Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml 11771230		YES 17.72/4.75	YES 6.72/2.58	YES 0.15/0.14
Transformed_CSR_04/ExProp7_Luc06_FR.xml 11771231		YES 3.05/1.02	YES 4.50/1.94	YES 0.06/0.07
Transformed_CSR_04/OvConsOS_nokinds_iGM.xml 11771232	u	MAYBE 401.96/299.35	MAYBE 941.23/300.40	MAYBE 27.65/27.03
Transformed_CSR_04/Ex23_Luc06_GM.xml 11771233		YES 1.72/0.69	YES 6.79/2.55	YES 0.02/0.05
Transformed_CSR_04/MYNAT_nosorts-noand_L.xml 11771234	i	NO 0.29/0.34	NO 3.15/1.52	MAYBE 0.01/0.01
Transformed_CSR_04/MYNAT_nosorts_noand_C.xml 11771235	is	MAYBE 401.86/299.39	YES 7.36/2.74	MAYBE 3.43/3.28
Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml 11771236		YES 0.49/0.39	YES 3.79/1.83	YES 0.02/0.07
Transformed_CSR_04/Ex23_Luc06_Z.xml 11771237		YES 0.46/0.38	YES 3.81/1.66	YES 0.01/0.05
Transformed_CSR_04/PALINDROME_complete_Z.xml 11771238		YES 62.67/16.30	YES 5.48/2.24	YES 0.30/0.29
Transformed_CSR_04/Ex3_2_Luc97_Z.xml 11771239	is	MAYBE 395.38/299.32	MAYBE 556.99/291.63	YES 0.47/0.41
Transformed_CSR_04/Ex24_Luc06_C.xml 11771240		YES 32.96/8.58	YES 61.90/29.91	YES 1.79/1.75
Transformed_CSR_04/Ex1_Luc02b_L.xml 11771241	i	NO 0.29/0.35	NO 3.23/1.63	MAYBE 0.01/0.04
Transformed_CSR_04/Ex16_Luc06_iGM.xml 11771242	is	MAYBE 46.75/16.28	YES 6.84/2.65	MAYBE 0.21/0.20
Transformed_CSR_04/Ex6_15_AEL02_Z.xml 11771243	is	MAYBE 385.40/299.36	NO 27.71/10.00	MAYBE 0.27/0.61
Transformed_CSR_04/MYNAT_complete-noand_Z.xml 11771244	i	MAYBE 402.45/299.47	YES 39.75/11.63	YES 4.71/4.52
Transformed_CSR_04/ExIntrod_GM04_GM.xml 11771245		YES 15.10/4.16	YES 5.28/2.35	YES 0.05/0.08
Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml 11771246	i	MAYBE 401.89/299.39	YES 143.00/44.95	YES 2.40/2.13
Transformed_CSR_04/Ex5_7_Luc97_FR.xml 11771247	is	MAYBE 393.39/299.32	timeout (wallclock)	YES 0.59/0.54
Transformed_CSR_04/Ex1_Luc02b_FR.xml 11771248		YES 7.35/2.20	YES 4.58/2.11	YES 0.05/0.04
Transformed_CSR_04/MYNAT_nokinds_iGM.xml 11771249	i	MAYBE 401.45/299.34	YES 6.95/2.59	YES 1.61/1.40
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml 11771250	i	NO 0.30/0.31	NO 3.53/1.77	MAYBE 0.02/0.02
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml 11771251	u	MAYBE 404.28/299.59	MAYBE 785.76/292.13	MAYBE 70.96/69.57
Transformed_CSR_04/PALINDROME_nokinds_GM.xml 11771252		YES 2.47/0.90	YES 3.77/1.73	YES 0.09/0.10
Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml 11771253		YES 41.40/15.54	YES 15.56/4.79	YES 2.72/2.62
Transformed_CSR_04/MYNAT_nosorts_iGM.xml 11771254		YES 21.06/6.19	YES 5.16/2.14	YES 0.32/0.34
Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml 11771255	is	MAYBE 404.15/299.64	MAYBE 648.95/291.92	YES 121.02/115.90
Transformed_CSR_04/Ex1_GM99_iGM.xml 11771256	is	MAYBE 366.05/299.30	NO 15.81/6.43	MAYBE 0.40/0.34
Transformed_CSR_04/OvConsOS_nosorts_FR.xml 11771257	i	NO 0.41/0.33	NO 5.45/2.33	MAYBE 0.18/0.18
Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml 11771258	u	MAYBE 401.92/299.40	MAYBE 1118.34/292.64	MAYBE 26.94/26.78
Transformed_CSR_04/PALINDROME_complete_noand_C.xml 11771259		YES 65.33/18.20	YES 24.83/8.33	YES 34.87/34.41
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml 11771260	is	MAYBE 403.65/299.36	MAYBE 686.36/291.87	YES 4.21/3.85
Transformed_CSR_04/PALINDROME_complete-noand_L.xml 11771261	i	NO 0.30/0.31	NO 78.08/22.90	MAYBE 0.65/0.66
Transformed_CSR_04/LISTUTILITIES_complete_FR.xml 11771262	u	MAYBE 404.17/299.40	MAYBE 974.29/292.86	MAYBE 40.12/38.92
Transformed_CSR_04/Ex1_2_AEL03_iGM.xml 11771263		YES 131.03/36.55	YES 87.09/23.51	YES 1.74/1.51
Transformed_CSR_04/PEANO_nosorts_L.xml 11771264	i	NO 0.28/0.29	NO 2.93/1.68	MAYBE 0.01/0.01
Transformed_CSR_04/Ex6_Luc98_Z.xml 11771265		YES 2.88/0.96	YES 3.92/2.19	YES 0.02/0.02
Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.xml 11771266	u	MAYBE 402.87/299.38	MAYBE 812.58/291.85	MAYBE 59.18/58.07
Transformed_CSR_04/Ex14_Luc06_C.xml 11771267	u	MAYBE 401.36/299.31	timeout (wallclock)	MAYBE 11.29/11.28
Transformed_CSR_04/Ex14_AEGL02_L.xml 11771268	i	NO 0.39/0.37	NO 6.72/2.42	MAYBE 0.04/0.09
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml 11771269	i	MAYBE 403.65/299.52	YES 407.37/166.36	YES 127.94/125.55
Transformed_CSR_04/Ex4_Zan97_Z.xml 11771270		YES 3.58/1.22	YES 3.86/1.80	YES 0.03/0.04
Transformed_CSR_04/ExIntrod_Zan97_iGM.xml 11771271	u	MAYBE 401.45/299.34	MAYBE 864.83/291.79	MAYBE 1.47/1.27
Transformed_CSR_04/Ex9_Luc06_GM.xml 11771272		YES 1.28/0.65	YES 4.15/1.86	YES 0.03/0.06
Transformed_CSR_04/ExIntrod_GM01_C.xml 11771273		YES 35.12/9.38	YES 8.78/3.35	YES 0.69/0.60
Transformed_CSR_04/Ex4_7_37_Bor03_C.xml 11771274	u	MAYBE 402.18/299.34	timeout (wallclock)	MAYBE 5.80/5.58
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml 11771275		YES 22.95/6.04	YES 6.04/2.57	YES 0.10/0.09
Transformed_CSR_04/Ex9_BLR02_Z.xml 11771276		YES 21.82/5.72	YES 5.14/2.20	YES 0.05/0.10
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml 11771277	is	MAYBE 401.59/299.36	MAYBE 849.60/292.05	YES 1.10/0.97
Transformed_CSR_04/Ex24_GM04_L.xml 11771278		NO 0.29/0.29	NO 6.81/2.52	ERROR 0.01/0.04
Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml 11771279	i	MAYBE 402.26/299.40	YES 80.85/26.68	YES 4.86/4.60
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml 11771280		YES 28.88/7.74	YES 9.05/3.28	YES 1.17/1.19
Transformed_CSR_04/PEANO_nokinds_L.xml 11771281	i	NO 0.29/0.35	NO 3.32/1.72	MAYBE 0.01/0.07
Transformed_CSR_04/Ex5_DLMMU04_FR.xml 11771282	is	MAYBE 401.19/299.34	NO 28.24/10.57	MAYBE 0.70/0.60
Transformed_CSR_04/MYNAT_nokinds_FR.xml 11771283	i	MAYBE 394.26/299.38	YES 4.68/1.95	YES 0.56/0.53
Transformed_CSR_04/Ex1_2_Luc02c_Z.xml 11771284		YES 2.38/0.88	YES 3.81/1.81	YES 0.01/0.06
Transformed_CSR_04/ExIntrod_GM04_Z.xml 11771285	i	NO 2.87/0.98	NO 22.74/9.48	MAYBE 0.59/0.63
Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml 11771286	i	NO 0.34/0.37	NO 3.39/1.63	MAYBE 0.03/0.07
Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml 11771287	u	MAYBE 403.01/299.94	MAYBE 308.49/291.97	MAYBE 248.87/244.20
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml 11771288		YES 0.82/0.49	YES 3.71/1.69	YES 0.05/0.10
Transformed_CSR_04/Ex1_GM99_FR.xml 11771289	i	NO 0.43/0.37	NO 4.20/1.89	MAYBE 0.06/0.10
Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml 11771290		YES 16.09/4.36	YES 4.22/1.85	YES 0.05/0.05
Transformed_CSR_04/Ex5_7_Luc97_Z.xml 11771291	is	MAYBE 393.77/299.40	MAYBE 1156.52/292.41	YES 0.58/0.48
Zantema_15/ex07.xml 11770695	u	MAYBE 401.18/300.08	MAYBE 606.89/291.48	MAYBE 0.59/0.60
Zantema_15/ex09.xml 11770696	u	MAYBE 401.50/299.35	MAYBE 608.73/291.64	MAYBE 0.38/0.41
Zantema_15/ex11.xml 11770697	u	MAYBE 17.44/7.32	MAYBE 334.69/291.47	MAYBE 0.07/0.10
Zantema_15/s.xml 11770698	u	MAYBE 24.60/7.94	MAYBE 388.43/291.62	MAYBE 0.15/0.14
Zantema_15/ex08.xml 11770699	u	MAYBE 401.15/299.33	MAYBE 1152.53/291.52	MAYBE 0.46/0.48
Zantema_15/ex06.xml 11770700	u	MAYBE 952.87/300.35	MAYBE 1194.39/299.73	MAYBE 11.27/11.27
Zantema_15/ex01.xml 11770701	is	MAYBE 952.63/300.34	NO 4.37/2.59	MAYBE 0.17/0.20
Zantema_15/ex10.xml 11770702	u	MAYBE 353.72/299.33	MAYBE 599.16/291.58	MAYBE 0.14/0.15
Zantema_15/delta.xml 11770703	u	MAYBE 13.28/7.32	MAYBE 354.17/291.49	MAYBE 0.10/0.12
Zantema_15/ex14.xml 11770704	u	MAYBE 9.43/7.35	MAYBE 618.28/291.47	MAYBE 0.06/0.09
Zantema_15/ex13.xml 11770705	u	MAYBE 24.98/7.75	MAYBE 317.15/291.49	MAYBE 0.09/0.07
Zantema_15/ex02.xml 11770706	u	MAYBE 952.55/300.36	MAYBE 1162.87/291.88	MAYBE 0.25/0.28
Zantema_15/ex05.xml 11770707	u	MAYBE 392.27/299.29	timeout (wallclock)	MAYBE 0.34/0.34
Zantema_15/ex12.xml 11770708	u	MAYBE 17.04/7.34	MAYBE 616.00/291.52	MAYBE 0.08/0.13
Zantema_15/ex04.xml 11770709	is	MAYBE 952.47/300.35	NO 20.01/6.03	MAYBE 0.25/0.29
Zantema_15/ex03.xml 11770710	u	MAYBE 953.41/300.37	MAYBE 1162.72/291.92	MAYBE 0.28/0.29
Strategy_removed_CSR_05/Ex1_2_AEL03.xml 11770711	i	NO 0.29/0.31	NO 6.80/2.80	MAYBE 0.14/0.18
Strategy_removed_CSR_05/Ex24_GM04.xml 11770712	is	MAYBE 2.02/1.04	NO 4.18/1.96	MAYBE 0.06/0.10
Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml 11770713	i	NO 0.28/0.34	NO 6.74/2.66	MAYBE 0.05/0.09
Strategy_removed_CSR_05/Ex1_GM99.xml 11770714	i	NO 0.37/0.36	NO 3.90/1.83	MAYBE 0.05/0.40
Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml 11770715	i	NO 0.28/0.50	NO 6.65/2.57	MAYBE 0.05/0.04
Strategy_removed_CSR_05/Ex6_9_Luc02c.xml 11770716	i	NO 0.28/0.29	NO 6.65/3.42	MAYBE 0.05/0.06
Strategy_removed_CSR_05/Ex5_7_Luc97.xml 11770717	i	NO 0.29/0.33	NO 6.52/2.77	MAYBE 0.06/0.07
Strategy_removed_CSR_05/Ex1_Zan97.xml 11770718	i	NO 0.35/0.36	NO 8.78/3.00	MAYBE 0.06/0.10
Strategy_removed_CSR_05/Ex7_BLR02.xml 11770719	i	NO 0.32/0.38	NO 6.57/2.92	MAYBE 0.05/0.11
Strategy_removed_CSR_05/Ex1_2_Luc02c.xml 11770720	i	NO 0.28/0.33	NO 6.23/2.61	MAYBE 0.04/0.04
Strategy_removed_CSR_05/ExIntrod_GM99.xml 11770721	i	NO 0.29/0.33	NO 7.30/2.75	MAYBE 0.11/0.10
Strategy_removed_CSR_05/Ex2_Luc03b.xml 11770722	i	NO 0.29/0.29	NO 6.73/2.72	MAYBE 0.05/0.57
Strategy_removed_CSR_05/Ex4_4_Luc96b.xml 11770723	i	NO 0.28/0.30	NO 4.25/2.86	MAYBE 0.05/0.08
Strategy_removed_CSR_05/Ex4_Zan97.xml 11770724	i	NO 0.28/0.34	NO 5.35/2.35	MAYBE 0.06/0.09
Strategy_removed_CSR_05/ExIntrod_GM01.xml 11770725	i	NO 0.28/0.33	NO 6.24/2.64	MAYBE 0.06/0.10
Strategy_removed_CSR_05/Ex15_Luc98.xml 11770726	i	NO 0.28/0.34	NO 6.46/2.69	MAYBE 0.06/0.10
Strategy_removed_CSR_05/Ex5_Zan97.xml 11770727	i	NO 0.28/0.33	NO 6.07/2.56	MAYBE 0.09/0.13
Strategy_removed_CSR_05/Ex6_15_AEL02.xml 11770728	i	NO 0.30/0.34	NO 7.03/2.98	MAYBE 0.08/0.07
Strategy_removed_CSR_05/Ex3_2_Luc97.xml 11770729	i	NO 0.29/0.35	NO 6.73/2.61	MAYBE 0.05/0.08
Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 11770730	i	NO 0.28/0.31	NO 4.92/2.19	MAYBE 0.04/0.06
Strategy_removed_CSR_05/Ex3_12_Luc96a.xml 11770731	i	NO 0.35/0.39	NO 6.41/2.67	MAYBE 0.05/0.10
Strategy_removed_CSR_05/Ex8_BLR02.xml 11770732	i	NO 0.29/0.34	NO 4.29/2.04	MAYBE 0.14/0.17
Strategy_removed_CSR_05/Ex9_BLR02.xml 11770733	i	NO 0.29/0.33	NO 6.64/2.75	MAYBE 0.05/0.09
Strategy_removed_CSR_05/Ex6_Luc98.xml 11770734	i	NO 0.28/0.35	NO 6.73/2.79	MAYBE 0.05/0.08
Strategy_removed_CSR_05/Ex14_AEGL02.xml 11770735	i	NO 0.28/0.92	NO 6.53/2.72	MAYBE 0.09/0.10
Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 11770736	i	NO 0.41/0.37	NO 6.70/2.70	MAYBE 0.05/0.07
Strategy_removed_CSR_05/Ex6_GM04.xml 11770737	i	NO 0.28/0.29	NO 5.99/2.27	MAYBE 0.04/0.08
Strategy_removed_CSR_05/ExIntrod_GM04.xml 11770738	i	NO 0.35/0.36	NO 5.58/2.27	MAYBE 0.05/0.08
Strategy_removed_CSR_05/Ex49_GM04.xml 11770739		YES 12.23/5.51	YES 3.94/1.82	YES 0.06/0.06
Strategy_removed_CSR_05/Ex1_GM03.xml 11770740	i	NO 0.28/0.29	NO 4.32/1.99	MAYBE 0.06/0.10
Strategy_removed_CSR_05/ExConc_Zan97.xml 11770741	i	NO 0.29/0.36	NO 3.25/1.51	MAYBE 0.04/0.09
Strategy_removed_CSR_05/ExAppendixB_AEL03.xml 11770742	i	NO 0.29/0.34	NO 6.96/5.14	MAYBE 0.06/0.11
Strategy_removed_CSR_05/ExIntrod_Zan97.xml 11770743	i	NO 0.29/0.33	NO 6.58/2.80	MAYBE 0.06/0.07
Strategy_removed_CSR_05/Ex1_GL02a.xml 11770744	i	NO 0.29/0.29	NO 6.32/4.33	MAYBE 0.05/0.07
Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml 11770745	i	NO 0.29/0.33	NO 6.60/3.00	MAYBE 0.07/0.09
Strategy_removed_CSR_05/Ex26_Luc03b.xml 11770746	i	NO 0.29/0.31	NO 6.67/2.74	MAYBE 0.06/0.06
Strategy_removed_CSR_05/Ex1_Luc02b.xml 11770747	i	NO 0.29/0.34	NO 6.54/2.68	MAYBE 0.06/0.08
Secret_07_TRS/secret4.xml 11770636		YES 14.95/5.85	YES 4.09/1.90	YES 0.09/0.13
Secret_07_TRS/secret3.xml 11770637		YES 8.72/3.69	YES 3.80/1.74	YES 0.06/0.08
Secret_07_TRS/1.xml 11770638	u	MAYBE 47.85/14.24	MAYBE 355.21/291.54	MAYBE 0.22/0.24
Secret_07_TRS/aprove10.xml 11770639	u	MAYBE 391.56/299.32	timeout (wallclock)	MAYBE 0.66/0.63
Secret_07_TRS/aprove08.xml 11770640	u	MAYBE 349.49/299.33	MAYBE 401.66/291.55	MAYBE 0.87/0.78
Secret_07_TRS/aprove01.xml 11770641	u	MAYBE 384.14/299.38	MAYBE 1148.65/291.91	MAYBE 0.20/0.18
Secret_07_TRS/aprove06.xml 11770642	u	MAYBE 394.11/299.31	MAYBE 991.54/291.55	MAYBE 0.51/0.44
Secret_07_TRS/7.xml 11770643	is	MAYBE 397.27/299.30	NO 343.16/118.42	MAYBE 2.31/1.55
Secret_07_TRS/secret2.xml 11770644		YES 14.16/5.78	YES 3.88/1.79	YES 0.08/0.12
Secret_07_TRS/secret5.xml 11770645		YES 13.79/4.07	YES 4.92/2.11	YES 0.08/0.12
Secret_07_TRS/aprove07.xml 11770646	u	MAYBE 48.46/17.92	timeout (wallclock)	MAYBE 0.26/0.28
Secret_07_TRS/aprove09.xml 11770647	u	MAYBE 346.75/299.35	MAYBE 1111.19/291.95	MAYBE 0.51/0.44
Secret_07_TRS/aprove03.xml 11770648	u	MAYBE 393.65/299.34	timeout (wallclock)	MAYBE 1.59/1.51
Secret_07_TRS/aprove04.xml 11770649	u	MAYBE 359.14/299.91	MAYBE 986.15/291.60	MAYBE 0.76/0.69
Secret_07_TRS/3.xml 11770650	is	MAYBE 401.18/299.35	YES 60.99/20.74	MAYBE 11.67/7.63
Secret_07_TRS/4.xml 11770651	u	MAYBE 372.87/299.30	MAYBE 343.71/291.52	MAYBE 0.31/0.29
Secret_07_TRS/secret1.xml 11770652		YES 20.65/5.58	YES 4.50/1.89	YES 0.08/0.07
Secret_07_TRS/aprove05.xml 11770653	u	MAYBE 349.87/299.32	timeout (wallclock)	MAYBE 0.36/0.34
Secret_07_TRS/aprove02.xml 11770654	u	MAYBE 359.80/299.35	MAYBE 931.59/294.24	MAYBE 0.38/0.33
Secret_07_TRS/5.xml 11770655	is	MAYBE 401.76/299.35	YES 52.35/20.00	MAYBE 7.96/7.71
Secret_07_TRS/2.xml 11770656	u	MAYBE 367.13/299.33	MAYBE 759.06/291.64	MAYBE 0.53/0.48
Applicative_first_order_05/#3.48.xml 11770657		YES 14.71/5.78	YES 4.81/2.10	YES 0.12/0.16
Applicative_first_order_05/perfect.xml 11770658	i	YES 22.95/7.57	YES 5.05/2.18	MAYBE 20.33/12.93
Applicative_first_order_05/30.xml 11770659	i	YES 15.39/5.97	YES 4.69/2.03	MAYBE 198.98/128.24
Applicative_first_order_05/02.xml 11770660		YES 12.83/5.51	YES 4.67/1.99	YES 0.06/0.13
Applicative_first_order_05/#3.10.xml 11770661	is	MAYBE 356.14/299.41	YES 7.11/2.87	MAYBE 11.29/7.04
Applicative_first_order_05/#3.6.xml 11770662	is	MAYBE 342.35/299.35	YES 5.83/2.38	MAYBE 3.27/2.09
Applicative_first_order_05/13.xml 11770663	is	MAYBE 342.51/299.34	YES 28.97/13.83	MAYBE 2.05/1.35
Applicative_first_order_05/#3.8.xml 11770664	is	MAYBE 368.29/299.37	YES 5.23/2.17	MAYBE 2.32/1.49
Applicative_first_order_05/21.xml 11770665	is	MAYBE 24.40/9.43	YES 5.21/2.21	MAYBE 1.04/0.72
Applicative_first_order_05/#3.57.xml 11770666	is	MAYBE 342.03/299.37	YES 6.09/2.36	MAYBE 8.14/5.01
Applicative_first_order_05/#3.22.xml 11770667	is	MAYBE 341.57/299.38	YES 4.78/2.03	MAYBE 3.18/2.08
Applicative_first_order_05/#3.25.xml 11770668	is	MAYBE 26.54/10.41	YES 6.12/2.55	MAYBE 0.87/0.62
Applicative_first_order_05/perfect2.xml 11770669	is	MAYBE 396.00/299.36	YES 5.51/2.35	MAYBE 23.47/14.51
Applicative_first_order_05/31.xml 11770670	is	MAYBE 346.28/299.37	YES 5.53/2.23	MAYBE 2.07/1.43
Applicative_first_order_05/#3.40.xml 11770671	is	MAYBE 344.87/299.38	YES 6.23/8.01	MAYBE 12.27/7.59
Applicative_first_order_05/#3.32.xml 11770672		YES 12.67/5.52	YES 4.54/1.97	YES 0.04/0.07
Applicative_first_order_05/29.xml 11770673	i	YES 14.08/5.81	YES 4.30/1.89	MAYBE 1.35/0.97
Applicative_first_order_05/12.xml 11770674	i	YES 14.13/5.92	YES 4.73/2.06	MAYBE 1.78/1.43
Applicative_first_order_05/#3.18.xml 11770675	is	MAYBE 76.45/33.84	YES 5.60/6.26	MAYBE 1.51/1.00
Applicative_first_order_05/#3.16.xml 11770676	i	YES 13.98/5.80	YES 4.24/2.38	MAYBE 0.97/0.69
Applicative_first_order_05/#3.27.xml 11770677		YES 13.10/5.63	YES 4.34/2.00	YES 0.88/0.68
Applicative_first_order_05/#3.55.xml 11770678	is	MAYBE 80.95/34.34	YES 6.81/2.69	MAYBE 3.34/2.21
Applicative_first_order_05/#3.52.xml 11770679		YES 13.14/5.58	YES 4.61/2.07	YES 0.07/0.14
Applicative_first_order_05/11.xml 11770680		YES 18.04/6.54	YES 5.51/2.30	YES 0.21/0.26
Applicative_first_order_05/hydra.xml 11770681	i	YES 14.06/5.72	YES 4.68/2.04	MAYBE 2.31/1.55
Applicative_first_order_05/18.xml 11770682		YES 12.87/5.55	YES 4.25/2.04	YES 0.06/0.11
Applicative_first_order_05/#3.38.xml 11770683	is	MAYBE 342.55/299.38	YES 5.90/2.51	MAYBE 1.66/1.13
Applicative_first_order_05/#3.36.xml 11770684	is	MAYBE 52.61/22.76	YES 5.63/4.06	MAYBE 0.96/0.70
Applicative_first_order_05/#3.2.xml 11770685	is	MAYBE 70.71/32.49	YES 4.96/2.11	MAYBE 1.35/0.93
Applicative_first_order_05/#3.13.xml 11770686	is	MAYBE 346.71/299.39	YES 8.38/6.65	MAYBE 93.16/59.04
Applicative_first_order_05/17.xml 11770687	i	YES 14.44/5.82	YES 4.50/2.18	MAYBE 1.20/0.82
Applicative_first_order_05/minsort.xml 11770688	u	MAYBE 364.59/299.33	MAYBE 679.80/291.59	MAYBE 2.81/1.83
Applicative_first_order_05/motivation.xml 11770689		YES 13.34/6.07	YES 4.69/2.05	YES 0.06/0.10
Applicative_first_order_05/#3.45.xml 11770690		YES 14.16/5.74	YES 4.73/2.02	YES 0.09/0.08
Applicative_first_order_05/33.xml 11770691	u	MAYBE 394.43/299.32	MAYBE 881.78/291.57	MAYBE 3.95/2.57
Applicative_first_order_05/01.xml 11770692		YES 13.24/5.51	YES 4.48/2.78	YES 0.07/0.08
Applicative_first_order_05/06.xml 11770693		YES 13.18/5.61	YES 4.61/1.95	YES 0.06/0.09
Applicative_first_order_05/08.xml 11770694		YES 13.64/5.66	YES 4.43/2.05	YES 0.08/0.08
AProVE_08/round_nonterm.xml 11771396	i	NO 0.38/0.32	NO 4.46/1.98	MAYBE 0.07/0.08
AProVE_08/log.xml 11771397	u	MAYBE 393.21/299.31	timeout (wallclock)	MAYBE 0.34/0.32
AProVE_08/parting03_minsort.xml 11771398	u	MAYBE 77.33/24.74	MAYBE 680.08/291.78	MAYBE 0.30/0.30
AProVE_08/parting02_doublelist.xml 11771399	u	MAYBE 69.53/21.78	MAYBE 644.29/291.65	MAYBE 0.21/0.23
AProVE_08/id_inc.xml 11771400	i	YES 19.86/5.28	YES 5.10/2.27	MAYBE 0.32/0.33
AProVE_08/parting01_reverse.xml 11771401	u	MAYBE 66.50/22.88	MAYBE 653.34/291.62	MAYBE 0.26/0.23
AProVE_08/round.xml 11771402	u	MAYBE 17.61/7.31	MAYBE 307.19/291.50	MAYBE 0.09/0.10
AProVE_08/thiemann40_modified.xml 11771403	i	YES 4.19/1.41	YES 26.21/13.24	MAYBE 0.19/0.23
AProVE_08/parting05_maxsort.xml 11771404	u	MAYBE 72.68/22.31	MAYBE 689.63/291.81	MAYBE 0.33/0.33
AProVE_08/parting04_maxsort_h.xml 11771405	u	MAYBE 397.81/299.33	MAYBE 924.18/291.57	MAYBE 0.48/0.95
Beerendonk_07/21.xml 11771406	u	MAYBE 88.79/32.74	MAYBE 619.34/291.66	MAYBE 0.69/0.68
Beerendonk_07/14.xml 11771407	is	MAYBE 17.73/7.36	YES 6.06/3.15	MAYBE 0.18/0.21
Beerendonk_07/13.xml 11771408	is	MAYBE 27.23/7.34	YES 6.31/3.80	MAYBE 0.20/0.22
Beerendonk_07/2.xml 11771409	i	YES 3.74/1.37	YES 4.45/1.99	MAYBE 0.14/0.18
Beerendonk_07/5.xml 11771410	i	YES 7.21/2.62	YES 5.32/2.39	MAYBE 0.21/0.22
Beerendonk_07/4.xml 11771411	is	MAYBE 12.65/7.36	YES 4.59/2.16	MAYBE 0.09/0.11
Beerendonk_07/3.xml 11771412	is	MAYBE 18.23/7.44	YES 4.69/2.13	MAYBE 0.14/0.16
Beerendonk_07/12.xml 11771413	is	MAYBE 21.57/7.34	YES 6.11/2.66	MAYBE 0.20/0.21
Beerendonk_07/15.xml 11771414	is	MAYBE 68.50/21.86	YES 12.89/13.04	MAYBE 0.50/0.48
Beerendonk_07/20.xml 11771415	is	MAYBE 49.87/14.95	YES 4.60/2.01	MAYBE 0.64/0.60
Beerendonk_07/18.xml 11771416	is	MAYBE 376.50/299.34	YES 4.96/2.13	MAYBE 1.01/0.97
Beerendonk_07/7.xml 11771417	i	YES 3.88/1.50	YES 4.46/1.95	MAYBE 0.11/0.11
Beerendonk_07/16.xml 11771418	is	MAYBE 375.80/299.34	YES 22.12/11.62	MAYBE 0.67/0.62
Beerendonk_07/9.xml 11771419	i	YES 12.80/5.71	YES 4.77/2.03	MAYBE 0.26/0.28
Beerendonk_07/11.xml 11771420	is	MAYBE 25.70/7.39	YES 6.65/3.05	MAYBE 0.26/0.27
Beerendonk_07/24.xml 11771421	is	MAYBE 391.39/299.36	YES 26.49/11.61	MAYBE 2.21/2.17
Beerendonk_07/23.xml 11771422	i	YES 8.60/3.14	YES 5.73/2.24	MAYBE 0.28/0.27
Beerendonk_07/22.xml 11771423	i	YES 5.41/1.82	YES 5.44/2.51	MAYBE 0.25/0.25
Beerendonk_07/10.xml 11771424	i	YES 6.83/2.18	YES 5.48/2.25	MAYBE 0.28/0.32
Beerendonk_07/17.xml 11771425	is	MAYBE 376.18/299.35	YES 23.44/12.78	MAYBE 0.54/0.52
Beerendonk_07/8.xml 11771426	i	YES 13.54/5.90	YES 4.24/2.27	MAYBE 0.24/0.24
Beerendonk_07/19.xml 11771427	is	MAYBE 392.63/299.34	YES 32.21/14.47	MAYBE 1.39/1.33
Beerendonk_07/6.xml 11771428	i	YES 2.84/1.02	YES 4.34/2.01	MAYBE 0.09/0.12
Beerendonk_07/1.xml 11771429	i	YES 2.88/1.03	YES 4.35/1.97	MAYBE 0.12/0.15
Secret_06_TRS/division.xml 11771337	is	MAYBE 40.72/14.17	YES 8.42/3.56	MAYBE 0.28/0.27
Secret_06_TRS/8.xml 11771338		YES 2.40/0.89	YES 4.22/1.88	YES 0.11/0.13
Secret_06_TRS/gen-18.xml 11771339		YES 14.99/4.46	YES 26.82/13.55	YES 0.18/0.15
Secret_06_TRS/tpa03.xml 11771340	u	MAYBE 16.01/7.29	MAYBE 17.39/7.36	MAYBE 0.12/0.13
Secret_06_TRS/cime1.xml 11771341	u	MAYBE 59.82/21.67	timeout (wallclock)	MAYBE 0.44/0.35
Secret_06_TRS/tpa04.xml 11771342	u	MAYBE 395.68/299.30	MAYBE 687.71/291.56	MAYBE 0.52/0.52
Secret_06_TRS/6.xml 11771343		YES 1.67/0.73	YES 7.28/9.13	YES 1.06/0.98
Secret_06_TRS/times.xml 11771344	u	MAYBE 342.84/299.48	timeout (wallclock)	MAYBE 0.30/0.30
Secret_06_TRS/gen-9.xml 11771345		YES 15.04/6.22	YES 5.03/2.24	YES 0.20/0.20
Secret_06_TRS/logarithm.xml 11771346	u	MAYBE 393.61/299.36	MAYBE 642.50/291.55	MAYBE 1.09/1.11
Secret_06_TRS/toList.xml 11771347	is	MAYBE 394.06/299.35	YES 13.27/5.74	MAYBE 0.53/0.53
Secret_06_TRS/gen-25.xml 11771348	i	YES 19.48/6.99	YES 32.14/14.71	MAYBE 0.42/0.36
Secret_06_TRS/gen-22.xml 11771349		YES 20.84/7.29	YES 6.21/2.66	YES 0.78/0.65
Secret_06_TRS/gen-1.xml 11771350		YES 3.66/1.22	YES 6.20/2.70	YES 0.04/0.08
Secret_06_TRS/tpa05.xml 11771351	u	MAYBE 362.49/299.34	timeout (wallclock)	MAYBE 0.19/0.23
Secret_06_TRS/7.xml 11771352		YES 3.85/1.27	YES 6.98/5.31	YES 0.05/0.10
Secret_06_TRS/sumList.xml 11771353	i	YES 21.80/7.74	YES 7.97/3.62	MAYBE 0.38/0.38
Secret_06_TRS/tpa02.xml 11771354	u	MAYBE 16.26/7.36	MAYBE 15.29/5.60	MAYBE 0.12/0.15
Secret_06_TRS/gen-17.xml 11771355		YES 20.92/5.52	YES 3.86/2.51	YES 0.06/0.11
Secret_06_TRS/gen-10.xml 11771356		YES 11.30/5.19	YES 5.51/2.32	YES 0.32/0.29
Secret_06_TRS/9.xml 11771357		YES 2.26/0.85	YES 5.79/2.43	YES 0.18/0.20
Secret_06_TRS/10.xml 11771358	i	YES 9.09/3.37	YES 12.37/4.29	MAYBE 0.73/0.73
Secret_06_TRS/gen-28.xml 11771359	i	YES 12.14/5.45	YES 28.64/13.98	MAYBE 0.49/0.43
Secret_06_TRS/reverse.xml 11771360	i	YES 10.84/3.66	YES 6.64/2.67	MAYBE 0.26/0.27
Secret_06_TRS/3.xml 11771361	u	MAYBE 392.58/299.34	MAYBE 766.67/291.56	MAYBE 0.65/0.57
Secret_06_TRS/tpa01.xml 11771362	u	MAYBE 9.12/3.46	MAYBE 6.74/2.65	MAYBE 0.13/0.15
Secret_06_TRS/tpa06.xml 11771363	u	MAYBE 396.16/299.34	MAYBE 903.20/291.68	MAYBE 0.83/0.80
Secret_06_TRS/4.xml 11771364		YES 1.99/0.78	YES 5.62/2.42	YES 0.20/0.21
Secret_06_TRS/tpa08.xml 11771365	u	MAYBE 359.10/299.31	MAYBE 477.97/295.40	MAYBE 0.22/0.23
Secret_06_TRS/nrOfNodes.xml 11771366	is	MAYBE 358.78/299.34	YES 8.49/5.50	MAYBE 0.39/0.41
Secret_06_TRS/gen-14.xml 11771367		YES 16.74/6.21	YES 4.88/2.18	YES 0.25/0.27
Secret_06_TRS/addList.xml 11771368	i	YES 34.71/10.65	YES 9.64/4.28	MAYBE 0.76/0.71
Secret_06_TRS/tpa10.xml 11771369	is	MAYBE 366.21/299.47	YES 5.09/2.18	MAYBE 0.39/0.38
Secret_06_TRS/gen-15.xml 11771370		YES 12.78/4.63	YES 5.05/2.15	YES 0.38/0.36
Secret_06_TRS/tpa09.xml 11771371	u	MAYBE 361.55/299.33	MAYBE 544.65/291.64	MAYBE 0.30/0.36
Secret_06_TRS/tpa07.xml 11771372	u	MAYBE 90.26/33.20	MAYBE 437.70/291.62	MAYBE 0.24/0.25
Secret_06_TRS/5.xml 11771373	i	YES 28.25/7.36	YES 4.70/2.06	MAYBE 0.18/0.20
Secret_06_TRS/2.xml 11771374	i	YES 6.30/2.20	YES 36.09/12.58	MAYBE 0.53/0.53
Secret_06_TRS/divExp.xml 11771375	is	MAYBE 21.85/8.63	YES 4.92/2.14	MAYBE 0.11/0.15
Secret_06_TRS/double.xml 11771376	is	MAYBE 35.71/10.88	YES 6.10/2.63	MAYBE 0.18/0.18
Strategy_removed_mixed_05/ex3.xml 11771377	i	NO 0.28/0.33	NO 7.25/2.67	MAYBE 0.05/0.08
Strategy_removed_mixed_05/ex4.xml 11771378	i	NO 0.36/0.36	NO 9.34/3.21	MAYBE 0.05/0.06
Strategy_removed_mixed_05/bn111.xml 11771379	is	MAYBE 13.55/7.31	YES 29.28/13.01	MAYBE 0.11/0.14
Strategy_removed_mixed_05/test77.xml 11771380	is	MAYBE 14.02/7.41	NO 11.34/5.57	MAYBE 0.09/0.11
Strategy_removed_mixed_05/ex5.xml 11771381	i	NO 0.28/0.34	NO 6.49/2.44	MAYBE 0.07/0.06
Strategy_removed_mixed_05/ex2.xml 11771382	i	NO 0.28/0.33	NO 6.48/2.68	MAYBE 0.04/0.08
Strategy_removed_mixed_05/n001.xml 11771383	i	NO 1.07/0.54	NO 3.51/1.82	MAYBE 0.05/0.11
Strategy_removed_mixed_05/test830.xml 11771384		YES 1.69/0.71	YES 4.18/1.98	YES 0.03/0.07
Strategy_removed_mixed_05/test76.xml 11771385	is	MAYBE 14.68/7.35	NO 6.35/2.62	MAYBE 0.09/0.13
Strategy_removed_mixed_05/tricky1.xml 11771386		YES 11.38/5.32	YES 3.83/1.93	YES 0.01/0.07
Strategy_removed_mixed_05/test75.xml 11771387	i	NO 0.41/0.37	NO 4.14/1.90	MAYBE 0.07/0.10
Strategy_removed_mixed_05/ex1.xml 11771388	i	NO 0.29/0.35	NO 7.87/2.87	MAYBE 0.04/0.07
Strategy_removed_mixed_05/ex6.xml 11771389	i	NO 0.38/0.37	NO 4.82/2.12	MAYBE 0.08/0.12
Strategy_removed_mixed_05/muladd.xml 11771390	i	NO 0.33/0.37	NO 4.19/1.94	MAYBE 0.21/0.19
Strategy_removed_mixed_05/test9.xml 11771391	i	NO 0.38/0.40	NO 4.42/2.06	MAYBE 0.08/0.10
Strategy_removed_mixed_05/toyama.xml 11771392	is	MAYBE 8.71/7.33	NO 3.92/1.87	MAYBE 0.06/0.11
Strategy_removed_mixed_05/test10.xml 11771393	i	NO 0.37/0.38	NO 13.10/8.55	MAYBE 0.13/0.11
Strategy_removed_mixed_05/gkg.xml 11771394	i	NO 0.39/0.36	NO 3.99/1.84	MAYBE 0.05/0.09
Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml 11771395	i	NO 0.29/0.34	NO 6.93/2.80	MAYBE 0.06/0.09
AProVE_07/otto10.xml 11770056	is	MAYBE 357.91/299.35	YES 6.44/2.61	MAYBE 0.57/0.55
AProVE_07/thiemann07.xml 11770057	is	MAYBE 394.37/299.32	YES 28.88/13.19	MAYBE 2.29/2.29
AProVE_07/wiehe12.xml 11770058		YES 32.12/8.73	YES 8.40/3.11	YES 0.33/0.32
AProVE_07/thiemann09.xml 11770059	is	MAYBE 63.17/23.23	YES 5.03/2.19	MAYBE 0.35/0.31
AProVE_07/thiemann40.xml 11770060	i	YES 2.22/0.86	YES 4.44/2.07	MAYBE 0.12/0.14
AProVE_07/thiemann35.xml 11770061	is	MAYBE 371.60/299.37	YES 6.30/2.50	MAYBE 2.49/1.63
AProVE_07/thiemann32.xml 11770062	is	MAYBE 392.60/299.34	YES 15.04/6.93	MAYBE 0.50/0.53
AProVE_07/thiemann23.xml 11770063	is	MAYBE 51.95/19.98	YES 7.00/2.83	MAYBE 0.22/0.24
AProVE_07/thiemann24.xml 11770064	is	MAYBE 48.17/16.40	YES 6.49/2.52	MAYBE 0.31/0.30
AProVE_07/wiehe03.xml 11770065		YES 29.54/7.79	YES 7.60/2.82	YES 0.19/0.24
AProVE_07/thiemann18.xml 11770066	i	YES 20.91/7.11	YES 7.85/2.92	MAYBE 1.05/0.97
AProVE_07/kabasci03.xml 11770067		YES 22.11/7.35	YES 7.16/2.66	YES 0.87/0.69
AProVE_07/kabasci04.xml 11770068		YES 17.31/6.25	YES 4.67/2.18	YES 0.07/0.09
AProVE_07/otto08.xml 11770069	is	MAYBE 40.69/15.57	YES 11.46/14.65	MAYBE 0.25/0.25
AProVE_07/thiemann11.xml 11770070	is	MAYBE 392.41/299.36	YES 34.33/14.37	MAYBE 2.42/2.42
AProVE_07/otto06.xml 11770071	is	MAYBE 353.75/299.33	YES 8.31/3.20	MAYBE 0.45/0.41
AProVE_07/otto01.xml 11770072	is	MAYBE 371.51/299.30	YES 6.78/2.60	MAYBE 0.53/0.51
AProVE_07/thiemann16.xml 11770073	i	YES 19.64/7.13	YES 5.88/2.33	MAYBE 0.35/0.31
AProVE_07/thiemann33.xml 11770074	is	MAYBE 55.54/20.68	YES 10.07/4.61	MAYBE 0.18/0.15
AProVE_07/thiemann34.xml 11770075	is	MAYBE 342.01/299.34	YES 8.12/3.09	MAYBE 0.46/0.42
AProVE_07/thiemann41.xml 11770076	is	MAYBE 32.32/10.68	YES 5.27/2.25	MAYBE 0.19/0.20
AProVE_07/thiemann08.xml 11770077	i	YES 5.41/1.88	YES 5.06/2.15	MAYBE 0.13/0.15
AProVE_07/thiemann01.xml 11770078	is	MAYBE 39.78/14.60	YES 6.62/2.78	MAYBE 0.29/0.30
AProVE_07/otto11.xml 11770079	is	MAYBE 29.34/9.05	YES 5.50/2.24	MAYBE 0.17/0.19
AProVE_07/thiemann06.xml 11770080	is	MAYBE 392.95/299.37	YES 20.53/6.44	MAYBE 0.58/0.55
AProVE_07/thiemann17.xml 11770081	i	YES 20.32/7.28	YES 5.89/2.39	MAYBE 0.38/0.37
AProVE_07/thiemann10.xml 11770082	i	YES 6.16/1.91	YES 5.18/2.10	MAYBE 0.27/0.27
AProVE_07/otto07.xml 11770083	is	MAYBE 25.48/8.45	YES 4.80/2.10	MAYBE 0.14/0.12
AProVE_07/kabasci05.xml 11770084		YES 19.37/6.70	YES 5.69/2.26	YES 0.12/0.15
AProVE_07/wiehe05.xml 11770085		YES 21.36/6.74	YES 6.63/2.67	YES 0.10/0.09
AProVE_07/otto09.xml 11770086	is	MAYBE 41.67/16.68	YES 8.62/3.75	MAYBE 0.26/0.22
AProVE_07/wiehe02.xml 11770087		YES 26.03/7.41	YES 7.68/2.77	YES 0.16/0.18
AProVE_07/thiemann19.xml 11770088	is	MAYBE 342.60/299.34	YES 8.78/3.49	MAYBE 0.43/0.46
AProVE_07/kabasci02.xml 11770089		YES 26.60/8.33	YES 8.88/3.30	YES 0.41/0.42
AProVE_07/thiemann25.xml 11770090	is	MAYBE 346.75/299.37	YES 5.70/2.44	MAYBE 0.26/0.24
AProVE_07/thiemann22.xml 11770091	is	MAYBE 389.51/299.31	YES 7.69/6.90	MAYBE 0.50/0.47
AProVE_07/thiemann13.xml 11770092	is	MAYBE 391.63/299.30	YES 20.80/7.76	MAYBE 0.80/0.75
AProVE_07/wiehe08.xml 11770093		YES 21.10/6.93	YES 6.95/2.64	YES 0.10/0.14
AProVE_07/otto04.xml 11770094	is	MAYBE 353.22/299.42	YES 6.85/2.84	MAYBE 0.22/0.22
AProVE_07/otto03.xml 11770095	is	MAYBE 25.20/8.34	YES 4.68/2.20	MAYBE 0.13/0.11
AProVE_07/thiemann14.xml 11770096	i	YES 13.76/4.46	YES 26.65/12.53	MAYBE 0.55/0.51
AProVE_07/wiehe01.xml 11770097		YES 19.31/6.73	YES 6.64/2.46	YES 0.09/0.09
AProVE_07/kabasci01.xml 11770098		YES 75.30/19.62	YES 17.48/5.72	YES 3.29/3.08
AProVE_07/kabasci06.xml 11770099	is	MAYBE 340.59/299.37	YES 4.74/2.07	MAYBE 1.31/0.83
AProVE_07/wiehe06.xml 11770100	i	YES 20.95/7.28	YES 6.91/2.57	MAYBE 0.62/0.51
AProVE_07/thiemann28.xml 11770101	is	MAYBE 76.73/24.71	NO 16.05/7.98	MAYBE 0.24/0.25
AProVE_07/thiemann21.xml 11770102	u	MAYBE 397.04/299.35	MAYBE 670.32/292.16	MAYBE 0.61/0.60
AProVE_07/thiemann26.xml 11770103	is	MAYBE 348.20/299.35	NO 137.25/56.87	MAYBE 0.33/0.35
AProVE_07/thiemann37.xml 11770104	is	MAYBE 359.92/299.36	YES 15.29/5.38	MAYBE 0.65/0.59
AProVE_07/thiemann30.xml 11770105	u	MAYBE 46.54/18.52	MAYBE 391.01/291.71	MAYBE 0.34/0.36
AProVE_07/thiemann39.xml 11770106	is	MAYBE 348.36/299.36	YES 5.51/5.12	MAYBE 1.70/1.12
AProVE_07/otto12.xml 11770107	is	MAYBE 353.90/299.35	YES 7.86/3.03	MAYBE 0.36/0.36
AProVE_07/thiemann05.xml 11770108	is	MAYBE 38.42/13.16	YES 6.64/2.60	MAYBE 0.29/0.29
AProVE_07/thiemann02.xml 11770109	is	MAYBE 385.79/299.35	YES 12.39/4.55	MAYBE 1.20/1.12
AProVE_07/thiemann27.xml 11770110	is	MAYBE 24.57/8.08	YES 4.65/2.22	MAYBE 0.13/0.16
AProVE_07/thiemann20.xml 11770111	u	MAYBE 367.51/299.34	MAYBE 801.07/291.66	MAYBE 0.24/0.25
AProVE_07/thiemann29.xml 11770112	is	MAYBE 393.39/299.44	YES 37.26/17.11	MAYBE 0.75/0.73
AProVE_07/wiehe07.xml 11770113	u	MAYBE 70.46/28.39	timeout (wallclock)	MAYBE 0.84/0.82
AProVE_07/otto02.xml 11770114	is	MAYBE 354.79/299.33	YES 5.92/2.42	MAYBE 0.29/0.28
AProVE_07/thiemann15.xml 11770115	i	YES 5.07/1.57	YES 5.12/2.13	MAYBE 0.21/0.22
AProVE_07/thiemann12.xml 11770116	i	YES 6.49/2.14	YES 5.51/2.35	MAYBE 0.31/0.31
AProVE_07/otto05.xml 11770117	i	YES 5.21/1.71	YES 4.87/2.13	MAYBE 0.24/0.22
AProVE_07/wiehe09.xml 11770118		YES 22.30/7.16	YES 6.82/2.64	YES 0.14/0.13
AProVE_07/thiemann03.xml 11770119	is	MAYBE 371.74/299.33	YES 7.86/2.87	MAYBE 0.47/0.48
AProVE_07/otto13.xml 11770120	is	MAYBE 366.71/299.35	YES 7.64/5.81	MAYBE 0.32/0.31
AProVE_07/thiemann04.xml 11770121	is	MAYBE 376.63/299.36	YES 73.28/20.37	MAYBE 1.42/1.32
AProVE_07/wiehe11.xml 11770122		YES 27.49/8.13	YES 7.69/2.84	YES 0.25/0.26
AProVE_07/thiemann38.xml 11770123	is	MAYBE 366.77/299.48	YES 7.00/2.66	MAYBE 0.42/0.41
AProVE_07/thiemann31.xml 11770124	is	MAYBE 370.75/299.36	YES 8.19/3.36	MAYBE 0.90/0.86
AProVE_07/thiemann36.xml 11770125	is	MAYBE 372.55/299.33	YES 10.19/7.77	MAYBE 1.20/1.15
AotoYamada_05/011.xml 11770126	is	MAYBE 69.74/27.69	YES 4.95/2.19	MAYBE 0.43/0.31
AotoYamada_05/016.xml 11770127		YES 12.52/5.93	YES 4.33/1.96	YES 0.06/0.35
AotoYamada_05/023.xml 11770128		YES 0.53/0.40	YES 3.74/1.84	YES 0.03/0.04
AotoYamada_05/024.xml 11770129		YES 11.49/5.49	YES 3.84/1.79	YES 0.03/0.08
AotoYamada_05/009.xml 11770130		YES 12.67/5.68	YES 3.85/1.91	YES 0.04/0.07
AotoYamada_05/007.xml 11770131	i	YES 12.15/5.61	YES 3.96/1.85	MAYBE 0.32/0.26
AotoYamada_05/025.xml 11770132		YES 0.42/0.36	YES 3.74/1.94	YES 0.03/0.10
AotoYamada_05/022.xml 11770133		YES 11.60/5.45	YES 4.19/2.05	YES 0.03/0.08
AotoYamada_05/019.xml 11770134		YES 2.20/1.09	YES 3.66/1.76	YES 0.02/0.08
AotoYamada_05/017.xml 11770135		YES 0.55/0.44	YES 3.79/1.84	YES 0.02/0.05
AotoYamada_05/010.xml 11770136	is	MAYBE 77.45/33.50	YES 5.53/2.33	MAYBE 0.56/0.41
AotoYamada_05/001.xml 11770137	i	NO 0.28/0.32	NO 5.23/2.06	MAYBE 0.16/0.19
AotoYamada_05/006.xml 11770138		YES 11.92/5.50	YES 3.99/1.87	YES 0.03/0.07
AotoYamada_05/005.xml 11770139		YES 0.45/0.37	YES 3.65/1.75	YES 0.03/0.08
AotoYamada_05/002.xml 11770140		YES 11.90/5.48	YES 4.26/1.83	YES 0.04/0.10
AotoYamada_05/021.xml 11770141	i	YES 13.31/5.79	YES 4.26/2.00	MAYBE 0.56/0.41
AotoYamada_05/Ex5TermProof.xml 11770142	is	MAYBE 341.32/299.35	YES 154.54/71.22	MAYBE 0.72/0.52
AotoYamada_05/026.xml 11770143	i	YES 11.94/5.54	YES 4.05/1.91	MAYBE 0.37/0.32
AotoYamada_05/028.xml 11770144		YES 11.80/5.46	YES 3.91/1.88	YES 0.03/0.07
AotoYamada_05/013.xml 11770145	i	YES 12.43/5.60	YES 4.19/1.86	MAYBE 0.62/0.43
AotoYamada_05/014.xml 11770146	i	YES 12.89/5.69	YES 4.23/1.95	MAYBE 0.47/0.37
AotoYamada_05/Ex1SimplyTyped.xml 11770147	i	YES 12.07/5.54	YES 4.01/1.87	MAYBE 0.33/0.27
AotoYamada_05/003.xml 11770148	i	NO 0.29/0.29	NO 5.16/2.10	MAYBE 0.32/0.25
AotoYamada_05/004.xml 11770149	i	YES 12.38/5.67	YES 3.99/1.81	MAYBE 0.33/0.28
AotoYamada_05/015.xml 11770150		YES 12.02/5.52	YES 4.02/1.89	YES 0.03/0.03
AotoYamada_05/012.xml 11770151		YES 11.95/5.53	YES 4.09/1.91	YES 0.04/0.09
AotoYamada_05/027.xml 11770152	i	YES 12.14/5.57	YES 4.02/1.80	MAYBE 0.36/0.28
AotoYamada_05/020.xml 11770153	i	YES 12.60/5.69	YES 4.10/1.84	MAYBE 0.36/0.29
Waldmann_06/jwtpa2.xml 11770004		YES 15.21/6.42	YES 5.25/2.16	YES 0.25/0.24
Waldmann_06/jwmatchb2.xml 11770005	i	YES 4.30/1.43	YES 28.12/13.76	MAYBE 0.12/0.15
Waldmann_06/jwno5.xml 11770006	u	MAYBE 25.73/7.42	MAYBE 383.67/291.49	MAYBE 0.15/0.12
Waldmann_06/jwno2.xml 11770007	u	MAYBE 34.60/11.85	MAYBE 428.89/291.71	MAYBE 0.18/0.18
Waldmann_06/jwaprove2.xml 11770008	is	MAYBE 391.04/299.33	YES 12.44/4.13	MAYBE 0.21/0.22
Waldmann_06/jwteparla2.xml 11770009	is	MAYBE 50.53/20.96	YES 10.12/6.90	MAYBE 0.18/0.18
Waldmann_06/jwcime1.xml 11770010	is	MAYBE 57.73/18.16	YES 8.90/3.27	MAYBE 0.18/0.15
Waldmann_06/jwno3.xml 11770011	u	MAYBE 55.80/22.17	MAYBE 378.89/291.52	MAYBE 0.20/0.15
Waldmann_06/jwno4.xml 11770012	i	NO 0.41/0.33	NO 5.39/2.20	MAYBE 0.12/0.11
Waldmann_06/jwcime2.xml 11770013	i	YES 11.32/5.44	YES 4.50/2.04	MAYBE 0.22/0.22
Waldmann_06/jwno9.xml 11770014	i	NO 0.46/0.41	NO 6.70/3.14	MAYBE 0.25/0.22
Waldmann_06/jwno7.xml 11770015	u	MAYBE 36.36/12.58	MAYBE 383.98/291.55	MAYBE 0.17/0.16
Waldmann_06/jwteparla1.xml 11770016	is	MAYBE 47.86/20.23	YES 5.14/2.19	MAYBE 0.17/0.16
Waldmann_06/jwmatchb1.xml 11770017	i	YES 3.47/1.10	YES 26.70/13.24	MAYBE 0.14/0.12
Waldmann_06/jwaprove1.xml 11770018	is	MAYBE 391.13/299.34	YES 12.23/4.18	MAYBE 0.20/0.21
Waldmann_06/jwno1.xml 11770019	i	NO 0.46/0.39	NO 6.35/2.65	MAYBE 0.16/0.18
Waldmann_06/jwno6.xml 11770020	i	NO 0.43/0.39	NO 5.12/2.31	MAYBE 0.13/0.15
Waldmann_06/jwno8.xml 11770021	u	MAYBE 48.46/17.96	MAYBE 607.56/291.57	MAYBE 0.21/0.21
Waldmann_06/jwttt.xml 11770022		YES 14.97/6.35	YES 4.93/2.17	YES 0.26/0.23
Waldmann_06/jwtpa1.xml 11770023	i	YES 11.23/5.52	YES 11.75/3.96	MAYBE 0.28/0.22
Applicative_05/TypeEx3.xml 11770024	i	NO 0.29/0.29	NO 8.50/4.10	MAYBE 0.86/0.58
Applicative_05/Ex3Lists.xml 11770025	i	YES 12.56/5.64	YES 3.89/2.37	MAYBE 0.96/0.61
Applicative_05/Ex7_9.xml 11770026	is	MAYBE 58.62/26.19	YES 5.16/2.06	MAYBE 1.35/0.86
Applicative_05/TreeHeight.xml 11770027		YES 13.29/5.73	YES 4.34/1.88	YES 0.07/0.11
Applicative_05/Ex10Functional.xml 11770028	u	MAYBE 346.98/299.36	MAYBE 729.18/295.79	MAYBE 1.93/1.27
Applicative_05/Hamming.xml 11770029	i	NO 0.54/0.39	NO 7.14/2.65	MAYBE 0.09/0.08
Applicative_05/TreeLevels.xml 11770030	i	YES 13.63/5.75	YES 4.43/1.88	MAYBE 1.67/1.07
Applicative_05/Ex7Sorting.xml 11770031	u	MAYBE 350.00/299.36	timeout (wallclock)	MAYBE 3.93/2.45
Applicative_05/Ex6Folding.xml 11770032	u	MAYBE 341.61/299.37	MAYBE 380.75/291.62	MAYBE 0.75/0.53
Applicative_05/BTreeMember.xml 11770033		YES 13.08/5.58	YES 4.32/1.96	YES 0.05/0.09
Applicative_05/Ex6_11.xml 11770034		YES 13.22/5.44	YES 3.75/1.71	YES 0.02/0.06
Applicative_05/Ex5Sorting.xml 11770035	u	MAYBE 350.14/299.35	timeout (wallclock)	MAYBE 3.89/2.44
Applicative_05/TakeDropWhile.xml 11770036		YES 12.48/5.48	YES 4.13/1.89	YES 0.04/0.07
Applicative_05/TypeEx5.xml 11770037	i	NO 0.28/0.30	NO 4.51/2.00	MAYBE 0.06/0.10
Applicative_05/TreeSize.xml 11770038	i	YES 12.60/5.65	YES 4.20/2.03	MAYBE 0.63/0.51
Applicative_05/Ex2PrimRec.xml 11770039	u	MAYBE 78.30/30.94	timeout (wallclock)	MAYBE 0.56/0.40
Applicative_05/Ex4MapList.xml 11770040	i	YES 11.48/5.41	YES 4.15/1.80	MAYBE 0.36/0.24
Applicative_05/Ex2_6_1Composition.xml 11770041		YES 0.44/0.34	YES 3.63/1.66	YES 0.02/0.05
Applicative_05/TreeFlatten.xml 11770042	i	YES 12.93/5.71	YES 4.22/1.94	MAYBE 0.68/0.45
Applicative_05/Ex6Recursor.xml 11770043	is	MAYBE 339.59/299.30	YES 118.64/65.11	MAYBE 0.53/0.35
Applicative_05/Ex5Folding.xml 11770044	u	MAYBE 341.64/299.31	MAYBE 437.25/291.57	MAYBE 0.89/0.64
Applicative_05/termMonTypes.xml 11770045	i	NO 0.41/0.37	NO 7.61/2.82	MAYBE 0.35/0.28
Applicative_05/mapDivMinus.xml 11770046	is	MAYBE 70.56/32.52	YES 4.54/1.99	MAYBE 0.83/0.56
Applicative_05/mapDivMinusHard.xml 11770047	is	MAYBE 339.62/299.35	YES 4.83/2.06	MAYBE 0.99/0.65
Applicative_05/TypeEx1.xml 11770048		YES 6.77/4.76	YES 4.38/1.97	YES 0.29/0.30
Applicative_05/Ex9Maps.xml 11770049	is	MAYBE 360.28/299.35	YES 20.53/6.34	MAYBE 2.76/1.74
Applicative_05/TreeMap.xml 11770050		YES 11.74/5.45	YES 3.88/1.84	YES 0.03/0.07
Applicative_05/Ex2_8_1ConstSubstFix.xml 11770051	i	NO 0.41/0.37	NO 36.51/14.75	MAYBE 0.22/0.20
Applicative_05/ReverseLastInit.xml 11770052		YES 1.50/0.63	YES 3.87/1.78	YES 0.04/0.07
Applicative_05/Ex8Polymorphic.xml 11770053	i	YES 11.85/6.12	YES 4.15/1.93	MAYBE 0.61/0.46
Applicative_05/Ex7OrdinalRec.xml 11770054	u	MAYBE 348.61/299.36	MAYBE 531.12/291.74	MAYBE 3.25/2.04
Applicative_05/nonTermF.xml 11770055	is	NO 0.45/0.39	timeout (wallclock)	MAYBE 0.82/0.59
Der95/18.xml 11769970		YES 1.45/0.72	YES 3.67/1.98	YES 0.02/0.06
Der95/11.xml 11769971		YES 19.59/5.47	YES 4.20/1.96	YES 0.03/0.06
Der95/07.xml 11769972		YES 0.72/0.47	YES 8.76/6.03	YES 0.02/0.07
Der95/09.xml 11769973		YES 0.45/0.39	YES 3.37/2.38	YES 0.02/0.02
Der95/32.xml 11769974		YES 7.06/3.03	YES 3.94/2.03	YES 0.03/0.10
Der95/17.xml 11769975		YES 0.49/1.17	YES 3.66/3.13	YES 0.03/0.10
Der95/33.xml 11769976	u	MAYBE 394.21/299.35	MAYBE 912.24/291.64	MAYBE 0.56/0.53
Der95/08.xml 11769977		YES 7.56/2.25	YES 3.76/1.86	YES 0.02/0.08
Der95/01.xml 11769978		YES 0.47/0.38	YES 3.66/1.78	YES 0.01/0.06
Der95/06.xml 11769979		YES 1.06/0.54	YES 8.16/2.90	YES 0.02/0.08
Der95/30.xml 11769980	i	YES 12.41/5.69	timeout (wallclock)	YES 0.27/0.23
Der95/02.xml 11769981		YES 0.43/0.37	YES 3.64/1.77	YES 0.01/0.05
Der95/13.xml 11769982	is	MAYBE 27.85/7.60	YES 26.05/13.08	MAYBE 0.23/0.23
Der95/28.xml 11769983		YES 3.77/1.78	YES 3.62/2.03	YES 0.02/0.06
Der95/21.xml 11769984		YES 5.22/2.24	YES 3.87/2.08	YES 0.06/0.09
Der95/03.xml 11769985		YES 0.74/0.45	YES 3.60/1.70	YES 0.01/0.06
Der95/04.xml 11769986		YES 0.78/0.50	YES 4.48/1.94	YES 0.02/0.07
Der95/31.xml 11769987		YES 4.07/1.57	YES 3.96/1.87	YES 0.02/0.05
Der95/27.xml 11769988		YES 0.51/0.40	YES 3.64/4.78	YES 0.02/0.07
Der95/20.xml 11769989		YES 0.42/0.37	YES 3.81/1.68	YES 0.03/0.07
Der95/12.xml 11769990		YES 4.14/1.48	YES 3.73/1.74	YES 0.02/0.07
MNZ_10/1.xml 11769991	i	YES 38.54/12.18	YES 41.46/12.48	MAYBE 1.42/1.35
MNZ_10/labelled.xml 11769992	i	timeout (wallclock)	YES 41.38/35.65	YES 256.13/237.98
MNZ_10/6.xml 11769993	u	MAYBE 392.95/299.37	timeout (wallclock)	MAYBE 2.60/2.36
MNZ_10/8.xml 11769994	i	YES 35.31/11.29	YES 89.85/29.17	MAYBE 1.78/1.73
MNZ_10/9.xml 11769995	is	MAYBE 392.61/299.36	YES 447.81/241.10	MAYBE 2.50/2.38
MNZ_10/7.xml 11769996	u	MAYBE 392.69/299.35	MAYBE 480.05/291.64	MAYBE 1.77/1.71
MNZ_10/0.xml 11769997	i	YES 101.98/28.10	YES 89.67/31.22	MAYBE 0.71/0.71
MNZ_10/3.xml 11769998	i	YES 48.41/14.56	YES 77.90/21.93	MAYBE 1.61/1.51
MNZ_10/4.xml 11769999	u	MAYBE 392.88/299.31	MAYBE 571.58/291.61	MAYBE 1.89/1.73
MNZ_10/5.xml 11770000	u	MAYBE 393.14/299.33	timeout (wallclock)	MAYBE 2.98/2.75
MNZ_10/2.xml 11770001	i	YES 32.57/10.61	YES 75.95/27.00	MAYBE 1.50/1.43
MNZ_10/nrvsq.xml 11770002	is	MAYBE 395.36/299.36	YES 96.42/39.13	MAYBE 3.66/3.50
MNZ_10/nvsr.xml 11770003	is	MAYBE 393.07/299.36	YES 411.62/208.71	MAYBE 2.13/2.04
Secret_05_TRS/aprove1.xml 11769923	is	MAYBE 392.53/299.43	YES 6.34/2.58	MAYBE 0.89/0.61
Secret_05_TRS/teparla1.xml 11769924	is	MAYBE 384.85/299.36	YES 3.90/1.83	MAYBE 0.43/0.40
Secret_05_TRS/ttt2.xml 11769925	i	NO 0.44/0.41	NO 4.43/2.49	MAYBE 0.07/0.11
Secret_05_TRS/cime1.xml 11769926	is	MAYBE 400.63/299.36	timeout (wallclock)	YES 4.36/3.20
Secret_05_TRS/tpa1.xml 11769927	is	MAYBE 381.87/299.32	YES 4.75/2.47	MAYBE 0.24/0.25
Secret_05_TRS/matchbox2.xml 11769928		YES 1.70/0.89	YES 4.11/2.01	YES 0.21/0.22
Secret_05_TRS/teparla3.xml 11769929	u	MAYBE 74.86/25.72	MAYBE 303.02/291.61	MAYBE 0.30/0.26
Secret_05_TRS/tpa2.xml 11769930	i	YES 15.71/6.32	YES 4.83/2.19	MAYBE 0.24/0.23
Secret_05_TRS/cime2.xml 11769931	i	MAYBE 70.96/27.71	YES 30.09/17.63	YES 0.21/0.22
Secret_05_TRS/matchbox1.xml 11769932	is	MAYBE 5.99/2.24	YES 4.82/2.15	MAYBE 0.10/0.09
Secret_05_TRS/tpa5.xml 11769933	u	MAYBE 394.05/299.36	MAYBE 644.60/291.56	MAYBE 0.34/0.51
Secret_05_TRS/cime5.xml 11769934		YES 33.95/9.18	YES 15.93/5.35	YES 40.05/31.25
Secret_05_TRS/aprove3.xml 11769935	is	MAYBE 342.49/299.55	YES 7.75/3.04	MAYBE 0.39/0.35
Secret_05_TRS/aprove4.xml 11769936	is	MAYBE 33.05/11.55	YES 5.39/2.78	MAYBE 0.16/0.21
Secret_05_TRS/tpa4.xml 11769937	u	MAYBE 368.39/299.35	MAYBE 413.66/291.73	MAYBE 0.18/0.22
Secret_05_TRS/cime4.xml 11769938	is	MAYBE 3.67/1.72	NO 4.13/2.11	MAYBE 0.07/0.10
Secret_05_TRS/tpa3.xml 11769939	u	MAYBE 88.63/33.80	MAYBE 389.88/291.91	MAYBE 0.17/0.18
Secret_05_TRS/cime3.xml 11769940	u	MAYBE 88.74/28.70	MAYBE 931.33/295.06	MAYBE 0.61/0.61
Secret_05_TRS/teparla2.xml 11769941	is	MAYBE 373.71/299.35	YES 7.19/2.82	MAYBE 0.33/0.28
Secret_05_TRS/ttt1.xml 11769942	i	NO 0.96/0.51	NO 4.74/2.07	MAYBE 0.09/0.12
Secret_05_TRS/aprove5.xml 11769943	is	MAYBE 34.00/12.12	YES 5.37/2.24	MAYBE 0.29/0.32
Secret_05_TRS/aprove2.xml 11769944	is	MAYBE 345.08/299.36	YES 7.63/3.28	MAYBE 0.29/0.32
CiME_04/lse.xml 11769945		YES 15.68/5.24	YES 4.63/2.07	YES 0.09/0.11
CiME_04/log2.xml 11769946		YES 27.11/7.20	YES 5.86/2.50	YES 0.09/0.15
CiME_04/ack_prolog.xml 11769947		YES 3.83/1.49	YES 3.80/1.95	YES 0.03/0.09
CiME_04/list-sum-prod-bin-assoc-distr-app.xml 11769948		YES 15.56/5.33	YES 4.90/2.23	YES 0.10/0.17
CiME_04/append.xml 11769949		YES 2.24/0.85	YES 3.73/1.73	YES 0.03/0.07
CiME_04/ternary.xml 11769950		YES 18.58/6.65	YES 4.78/4.39	YES 0.11/0.16
CiME_04/mucrl1.xml 11769951		YES 27.30/7.70	YES 8.06/3.63	YES 0.49/0.53
CiME_04/append-hard.xml 11769952	i	YES 3.20/1.16	YES 4.74/2.22	MAYBE 0.11/0.15
CiME_04/big.xml 11769953		YES 28.50/8.18	YES 6.09/2.46	YES 0.36/0.37
CiME_04/ternary-hard.xml 11769954		YES 20.00/6.93	YES 5.06/2.17	YES 0.14/0.18
CiME_04/list-sum-prod.xml 11769955		YES 10.06/3.20	YES 3.75/1.84	YES 0.03/0.09
CiME_04/filliatre.xml 11769956		YES 8.74/2.53	YES 5.15/2.16	YES 0.06/0.09
CiME_04/list-sum-prod-assoc-append.xml 11769957		YES 11.08/4.18	YES 3.94/1.88	YES 0.06/0.12
CiME_04/maude2.xml 11769958	u	MAYBE 55.83/16.91	timeout (wallclock)	MAYBE 0.61/0.61
CiME_04/list-sum-prod-assoc.xml 11769959		YES 8.37/3.38	YES 4.09/1.88	YES 0.05/0.09
CiME_04/intersect.xml 11769960		YES 8.34/2.79	YES 4.25/1.94	YES 0.06/0.11
CiME_04/filliatre3.xml 11769961		YES 18.73/7.15	YES 4.63/2.13	YES 0.08/0.12
CiME_04/append-wrong.xml 11769962	i	NO 0.58/0.43	NO 5.35/2.34	MAYBE 0.14/0.19
CiME_04/boolean_rings.xml 11769963		YES 2.81/1.17	YES 3.71/1.81	YES 0.03/0.05
CiME_04/dpqs.xml 11769964		YES 2.48/0.94	YES 3.93/1.88	YES 0.01/0.08
CiME_04/list-sum-prod-bin.xml 11769965		YES 14.35/5.16	YES 4.35/1.99	YES 0.05/0.10
CiME_04/filliatre2.xml 11769966		YES 5.21/1.62	YES 4.30/1.83	YES 0.05/0.07
CiME_04/fact-hard.xml 11769967	is	MAYBE 366.37/299.34	YES 6.14/2.61	MAYBE 0.23/0.26
CiME_04/tree.xml 11769968		YES 29.72/8.00	YES 5.45/2.36	YES 0.13/0.18
CiME_04/list-sum-prod-bin-assoc.xml 11769969		YES 12.91/4.43	YES 4.23/1.91	YES 0.06/0.10
	949	1223	752

TermComp 2020: TRS Standard Certified 41501 Job info CSV Showing all interesting conflicting unsolved solo results.

TermComp 2020: TRS Standard Certified 41501 Job info CSV Showing results.