Termination Competition 2018: TRS Standard Certified30038

benchmark	AProVE	ttt2-1.17+nonreach

AG01/#3.49.xml	YES 3.94/1.76	YES 2.88/1.00
AG01/#3.19.xml	YES 4.65/2.01	YES 5.28/1.79
AG01/#3.56.xml	YES 4.04/1.74	YES 4.53/1.42
AG01/#3.18.xml	YES 4.33/1.94	YES 4.05/1.37
AG01/#3.6.xml	YES 4.76/2.04	YES 4.48/1.50
AG01/#3.35.xml	YES 7.16/2.57	YES 0.56/0.39
AG01/#3.53.xml	YES 4.26/1.92	YES 12.02/3.67
AG01/#3.55.xml	YES 5.28/2.10	YES 10.92/3.18
AG01/#3.52.xml	YES 3.78/1.75	YES 1.51/0.65
AG01/#3.47.xml	YES 3.44/1.63	YES 1.20/0.56
AG01/#3.10.xml	YES 6.40/2.41	YES 15.60/4.49
AG01/#3.4.xml	YES 4.18/1.80	YES 4.12/1.38
AG01/#3.6b.xml	YES 4.89/2.07	YES 7.22/2.18
AG01/#3.22.xml	YES 4.14/1.84	YES 3.68/1.29
AG01/#3.57.xml	StarExec error	YES 12.47/3.50
AG01/#3.53b.xml	YES 3.63/1.74	YES 1.54/0.67
AG01/#3.53a.xml	YES 3.39/1.61	YES 1.03/0.52
AG01/#3.12.xml	YES 4.09/1.77	YES 5.19/1.67
AG01/#3.39.xml	YES 4.28/2.02	YES 7.14/2.13
AG01/#3.23.xml	YES 3.56/1.66	YES 1.35/0.61
AG01/#3.15.xml	YES 3.43/1.55	YES 0.57/0.40
AG01/#3.40.xml	YES 4.79/2.17	MAYBE 132.27/42.35
AG01/#3.5a.xml	YES 4.29/1.96	StarExec error
AG01/#3.13.xml	YES 5.64/2.31	YES 12.79/3.61
AG01/#3.17.xml	YES 4.90/2.00	YES 6.81/1.99
AG01/#3.29.xml	YES 3.40/1.66	YES 0.61/0.41
AG01/#3.41.xml	YES 3.60/2.05	YES 1.67/0.69
AG01/#3.8a.xml	YES 4.32/1.90	YES 4.54/1.43
AG01/#3.2.xml	YES 4.04/1.90	YES 2.92/1.07
AG01/#3.51.xml	YES 4.11/1.75	YES 4.71/1.53
AG01/#3.36.xml	YES 4.64/1.93	YES 3.06/1.03
AG01/#3.48.xml	YES 3.63/1.70	YES 3.85/1.32
AG01/#3.16.xml	YES 3.60/1.72	YES 2.22/0.86
AG01/#3.1.xml	YES 3.82/1.71	YES 2.64/0.96
AG01/#3.6a.xml	YES 4.85/2.04	YES 4.88/1.58
AG01/#3.26.xml	YES 8.54/3.02	YES 1.53/0.64
AG01/#3.7.xml	YES 4.95/2.10	YES 0.60/0.42
AG01/#3.5b.xml	YES 5.00/2.81	YES 5.38/1.69
AG01/#3.5.xml	YES 4.47/1.88	YES 4.04/1.35
AG01/#3.38.xml	YES 4.62/1.98	YES 3.65/1.29
AG01/#3.31.xml	YES 3.70/1.77	YES 1.02/0.50
AG01/#3.33.xml	YES 3.63/1.62	YES 7.19/2.07
AG01/#3.24.xml	YES 3.80/1.63	YES 1.02/0.52
AG01/#3.42.xml	YES 3.85/1.80	YES 5.13/1.60
AG01/#3.37.xml	YES 3.86/1.84	YES 1.62/0.68
AG01/#4.30c.xml	YES 10.25/4.80	MAYBE 89.74/42.34
AG01/#3.54.xml	YES 5.37/2.42	YES 2.42/0.89
AG01/#3.17a.xml	YES 4.86/2.08	YES 10.31/2.87
AG01/#3.8b.xml	YES 5.15/2.12	YES 6.92/2.19
AG01/#3.21.xml	YES 3.85/1.82	YES 1.79/0.73
Applicative_05/nonTermF.xml	timeout (wallclock)	NO 0.42/0.37
Applicative_05/TreeLevels.xml	YES 4.31/1.91	YES 6.30/2.01
Applicative_05/Ex2_6_1Composition.xml	YES 3.72/1.71	YES 0.50/0.38
Applicative_05/Ex7Sorting.xml	MAYBE 688.51/300.51	MAYBE 54.01/16.87
Applicative_05/Ex2_8_1ConstSubstFix.xml	NO 36.32/13.49	NO 0.46/0.37
Applicative_05/Ex6Recursor.xml	YES 119.48/60.47	MAYBE 19.04/7.34
Applicative_05/Ex7_9.xml	YES 4.76/2.07	MAYBE 16.63/7.36
Applicative_05/TypeEx5.xml	NO 4.48/2.07	NO 0.31/0.31
Applicative_05/Ex8Polymorphic.xml	YES 3.98/1.80	YES 2.98/1.07
Applicative_05/TreeFlatten.xml	YES 4.08/1.78	YES 4.45/1.46
Applicative_05/Ex3Lists.xml	YES 3.94/1.74	YES 4.96/1.64
Applicative_05/TypeEx1.xml	YES 4.50/1.90	YES 3.29/1.12
Applicative_05/Ex10Functional.xml	timeout (wallclock)	MAYBE 41.97/13.39
Applicative_05/ReverseLastInit.xml	YES 3.79/1.76	YES 1.79/0.72
Applicative_05/Ex9Maps.xml	YES 19.98/6.14	MAYBE 62.41/20.92
Applicative_05/TakeDropWhile.xml	YES 3.92/1.76	YES 4.03/1.40
Applicative_05/Ex2PrimRec.xml	timeout (wallclock)	MAYBE 31.77/11.19
Applicative_05/TypeEx3.xml	NO 8.51/2.97	NO 0.32/0.32
Applicative_05/Ex4MapList.xml	YES 4.02/1.84	YES 2.65/0.97
Applicative_05/Ex7OrdinalRec.xml	MAYBE 543.03/291.57	MAYBE 38.43/13.01
Applicative_05/Ex5Sorting.xml	timeout (wallclock)	MAYBE 54.22/16.76
Applicative_05/mapDivMinusHard.xml	YES 4.95/2.06	MAYBE 120.54/42.36
Applicative_05/Hamming.xml	NO 6.44/2.48	NO 0.51/0.43
Applicative_05/TreeMap.xml	YES 3.83/1.81	YES 3.06/1.10
Applicative_05/BTreeMember.xml	YES 4.31/1.84	YES 4.84/1.56
Applicative_05/Ex6Folding.xml	MAYBE 382.53/291.49	MAYBE 25.26/7.38
Applicative_05/Ex5Folding.xml	MAYBE 447.22/291.53	MAYBE 26.76/7.73
Applicative_05/termMonTypes.xml	NO 8.09/3.05	NO 0.41/0.37
Applicative_05/TreeSize.xml	YES 4.01/1.79	YES 4.26/1.42
Applicative_05/TreeHeight.xml	YES 4.27/1.84	YES 4.79/1.64
Applicative_05/mapDivMinus.xml	YES 4.24/1.85	MAYBE 16.84/7.35
Applicative_05/Ex6_11.xml	YES 3.69/1.68	YES 5.12/1.92
AotoYamada_05/026.xml	YES 3.93/1.76	YES 2.73/1.01
AotoYamada_05/002.xml	YES 4.19/1.91	YES 3.26/1.17
AotoYamada_05/022.xml	YES 4.02/1.83	YES 2.59/0.98
AotoYamada_05/003.xml	NO 5.27/2.07	NO 0.31/0.32
AotoYamada_05/Ex5TermProof.xml	YES 156.48/71.79	MAYBE 26.24/7.49
AotoYamada_05/015.xml	YES 3.86/1.77	YES 3.49/1.22
AotoYamada_05/010.xml	YES 5.17/2.24	MAYBE 31.73/9.90
AotoYamada_05/024.xml	YES 3.81/1.78	YES 2.17/0.86
AotoYamada_05/021.xml	YES 4.11/1.86	YES 4.66/1.57
AotoYamada_05/017.xml	YES 3.46/1.63	YES 0.48/0.37
AotoYamada_05/012.xml	YES 4.20/1.78	YES 3.53/1.21
AotoYamada_05/005.xml	YES 3.62/1.64	YES 0.49/0.38
AotoYamada_05/011.xml	YES 4.97/2.06	MAYBE 34.03/11.65
AotoYamada_05/001.xml	NO 4.97/2.04	NO 0.30/0.31
AotoYamada_05/027.xml	YES 3.81/1.76	YES 3.40/1.17
AotoYamada_05/Ex1SimplyTyped.xml	YES 3.93/1.77	YES 3.10/1.11
AotoYamada_05/006.xml	YES 3.90/1.79	YES 3.14/1.14
AotoYamada_05/025.xml	YES 3.65/1.70	YES 0.52/0.38
AotoYamada_05/004.xml	YES 3.75/1.82	YES 3.22/1.14
AotoYamada_05/020.xml	YES 4.02/1.85	YES 4.13/1.42
AotoYamada_05/014.xml	YES 4.08/1.86	YES 4.42/1.47
AotoYamada_05/009.xml	YES 3.91/1.80	YES 3.09/1.10
AotoYamada_05/028.xml	YES 3.60/1.90	YES 2.85/1.09
AotoYamada_05/019.xml	YES 3.72/1.73	YES 1.81/0.74
AotoYamada_05/013.xml	YES 4.04/1.81	YES 3.69/1.28
AotoYamada_05/007.xml	YES 3.57/1.74	YES 3.18/1.14
AotoYamada_05/016.xml	YES 4.17/1.85	StarExec error
AotoYamada_05/023.xml	YES 3.57/1.63	YES 0.49/0.37
AProVE_09_Inductive/zerolist.xml	MAYBE 382.53/291.49	MAYBE 14.03/7.33
AProVE_09_Inductive/log.xml	MAYBE 641.41/291.75	MAYBE 107.12/42.33
AProVE_09_Inductive/maxsort.xml	MAYBE 690.48/292.59	MAYBE 66.99/21.17
AProVE_09_Inductive/qsortlast.xml	MAYBE 757.00/291.52	MAYBE 124.47/42.36
AProVE_09_Inductive/qsort.xml	MAYBE 667.82/291.51	MAYBE 83.11/25.92
AProVE_09_Inductive/qsortmiddle.xml	MAYBE 744.67/291.54	MAYBE 132.72/42.37
AProVE_09_Inductive/minsort.xml	MAYBE 724.81/291.51	MAYBE 60.89/19.75
AProVE_09_Inductive/gcd2.xml	MAYBE 666.10/291.51	MAYBE 49.01/17.88
AProVE_09_Inductive/maxsortcondition.xml	MAYBE 704.48/291.52	MAYBE 47.42/16.69
AProVE_09_Inductive/div.xml	MAYBE 658.77/291.50	MAYBE 28.96/9.18
AProVE_09_Inductive/mod.xml	MAYBE 665.74/292.60	MAYBE 34.45/11.00
AProVE_09_Inductive/divhard.xml	MAYBE 655.67/292.61	MAYBE 32.16/10.41
AProVE_09_Inductive/gcd.xml	MAYBE 660.28/292.09	MAYBE 25.32/7.51
AProVE_09_Inductive/gcdhard.xml	MAYBE 658.74/291.56	MAYBE 45.87/13.77
AProVE_08/log.xml	MAYBE 1084.33/293.16	MAYBE 124.59/42.34
AProVE_08/round_nonterm.xml	NO 4.43/1.86	NO 0.62/0.41
AProVE_08/parting05_maxsort.xml	MAYBE 693.43/292.64	MAYBE 71.76/22.70
AProVE_08/parting03_minsort.xml	MAYBE 680.87/291.50	MAYBE 57.94/17.37
AProVE_08/parting04_maxsort_h.xml	MAYBE 916.12/292.70	MAYBE 129.52/42.35
AProVE_08/thiemann40_modified.xml	YES 27.77/13.52	YES 4.75/1.62
AProVE_08/parting01_reverse.xml	MAYBE 652.05/292.07	MAYBE 58.46/19.13
AProVE_08/round.xml	MAYBE 306.09/291.45	MAYBE 15.59/7.33
AProVE_08/id_inc.xml	YES 5.50/2.14	YES 24.64/6.47
AProVE_08/parting02_doublelist.xml	MAYBE 649.80/292.83	MAYBE 57.91/18.09
Beerendonk_07/12.xml	YES 5.93/4.52	MAYBE 21.23/7.34
Beerendonk_07/10.xml	YES 5.56/2.34	YES 8.57/2.54
Beerendonk_07/14.xml	YES 5.72/2.39	MAYBE 14.47/7.33
Beerendonk_07/13.xml	YES 6.03/2.55	MAYBE 26.08/7.33
Beerendonk_07/3.xml	YES 4.37/2.02	MAYBE 15.31/7.35
Beerendonk_07/20.xml	YES 4.29/1.92	MAYBE 43.46/12.83
Beerendonk_07/7.xml	YES 4.36/2.32	YES 3.56/1.19
Beerendonk_07/1.xml	YES 4.17/1.87	YES 2.79/1.00
Beerendonk_07/17.xml	YES 22.78/12.81	MAYBE 105.59/42.35
Beerendonk_07/23.xml	YES 5.87/2.25	YES 5.49/1.69
Beerendonk_07/19.xml	YES 32.40/14.40	MAYBE 120.50/42.35
Beerendonk_07/16.xml	YES 20.36/11.73	MAYBE 61.28/18.62
Beerendonk_07/5.xml	YES 4.84/2.06	YES 5.37/1.69
Beerendonk_07/11.xml	YES 6.82/2.84	MAYBE 22.27/7.34
Beerendonk_07/2.xml	YES 4.38/1.98	YES 3.00/1.05
Beerendonk_07/8.xml	YES 4.05/1.93	YES 4.20/1.41
Beerendonk_07/18.xml	YES 4.80/2.04	MAYBE 115.97/42.34
Beerendonk_07/6.xml	YES 4.30/1.85	YES 3.24/1.12
Beerendonk_07/21.xml	MAYBE 621.28/291.56	MAYBE 51.73/15.51
Beerendonk_07/9.xml	YES 4.75/2.01	YES 4.46/1.49
Beerendonk_07/4.xml	YES 4.42/2.04	MAYBE 10.90/7.34
Beerendonk_07/24.xml	YES 26.35/11.40	MAYBE 125.29/42.35
Beerendonk_07/15.xml	YES 10.62/4.30	MAYBE 60.45/20.69
Beerendonk_07/22.xml	YES 5.38/2.18	YES 5.20/1.63
AProVE_10/isNat.xml	NO 21.67/12.67	MAYBE 14.05/7.32
AProVE_10/ex3.xml	NO 35.10/11.94	MAYBE 29.29/10.66
AProVE_10/halfdouble.xml	NO 25.76/13.04	MAYBE 131.07/42.34
AProVE_10/isList.xml	NO 4.40/1.98	NO 0.43/0.36
AProVE_10/scnp.xml	YES 3.38/1.63	YES 0.73/0.44
AProVE_10/downfrom.xml	MAYBE 389.79/291.46	MAYBE 102.06/42.34
AProVE_10/ex5.xml	YES 3.22/1.51	YES 0.47/0.37
AProVE_10/andIsNat.xml	NO 45.96/18.09	MAYBE 95.32/42.33
AProVE_10/ex1.xml	NO 25.25/11.87	MAYBE 24.82/8.53
AProVE_10/challenge_fab.xml	MAYBE 628.57/291.48	MAYBE 131.01/42.33
AProVE_10/double.xml	NO 37.42/11.82	MAYBE 15.76/7.32
AProVE_10/Zantema06-03-modified.xml	timeout (wallclock)	MAYBE 142.00/42.33
AProVE_10/ex2.xml	NO 38.27/12.33	MAYBE 88.57/42.33
AProVE_10/ex4.xml	NO 40.22/14.34	MAYBE 39.94/12.63
AProVE_04/Liveness_WRS.xml	YES 7.22/2.62	YES 7.31/2.14
AProVE_04/IJCAR_1.xml	YES 4.12/1.83	YES 2.44/0.90
AProVE_04/IJCAR_18.xml	YES 5.25/2.13	YES 9.37/2.83
AProVE_04/AAECC-ring.xml	timeout (wallclock)	MAYBE 143.01/42.40
AProVE_04/AAECC.xml	YES 55.74/19.93	MAYBE 97.33/27.64
AProVE_04/forward_instantiation2.xml	YES 3.91/1.88	YES 0.98/0.52
AProVE_04/JFP_Ex51.xml	YES 5.48/2.20	YES 24.42/6.73
AProVE_04/IJCAR_12.xml	YES 4.70/2.04	YES 4.76/1.57
AProVE_04/rta1.xml	YES 4.14/1.90	YES 5.07/1.66
AProVE_04/IJCAR_26.xml	YES 5.64/2.26	YES 11.57/3.40
AProVE_04/LPAR_intlist.xml	YES 4.25/1.81	YES 4.06/1.31
AProVE_04/IJCAR_26a.xml	YES 5.42/2.12	YES 11.85/3.47
AProVE_04/Liveness8.xml	YES 5.09/3.51	YES 4.00/1.29
AProVE_04/Liveness6.3.xml	YES 10.50/3.87	YES 9.81/2.77
AProVE_04/fac.xml	YES 5.41/2.29	YES 4.63/1.55
AProVE_04/Liveness6.4.xml	YES 79.14/24.88	MAYBE 144.65/42.34
AProVE_04/improved_usable2.xml	YES 3.76/1.75	YES 1.32/0.61
AProVE_04/Liveness6.1.xml	YES 12.61/5.21	YES 2.03/0.79
AProVE_04/Liveness6.2.xml	YES 6.13/2.51	YES 3.02/1.04
AProVE_04/rta2.xml	YES 3.18/1.52	YES 0.65/0.41
AProVE_04/JFP_Ex31.xml	YES 133.30/59.53	MAYBE 144.68/42.34
AProVE_04/improved_usable.xml	YES 3.89/1.69	YES 1.47/0.66
AProVE_04/rta3.xml	YES 3.62/2.12	YES 2.48/0.94
AProVE_04/forward_instantiation.xml	YES 3.77/1.78	YES 0.87/0.50
Applicative_first_order_05/01.xml	YES 4.47/1.89	YES 5.13/1.74
Applicative_first_order_05/12.xml	YES 4.67/1.99	YES 7.51/2.37
Applicative_first_order_05/06.xml	YES 4.55/1.95	YES 4.65/1.53
Applicative_first_order_05/#3.18.xml	YES 5.24/2.14	MAYBE 25.97/8.03
Applicative_first_order_05/#3.6.xml	YES 5.87/2.33	MAYBE 24.53/7.37
Applicative_first_order_05/#3.55.xml	YES 6.59/2.65	MAYBE 27.30/7.80
Applicative_first_order_05/motivation.xml	YES 4.69/2.03	YES 5.25/1.71
Applicative_first_order_05/02.xml	YES 4.31/1.88	YES 4.57/1.56
Applicative_first_order_05/#3.52.xml	YES 4.57/2.02	YES 5.44/1.77
Applicative_first_order_05/#3.10.xml	YES 7.81/2.92	MAYBE 65.26/20.67
Applicative_first_order_05/#3.22.xml	YES 4.65/1.99	MAYBE 21.04/7.37
Applicative_first_order_05/#3.57.xml	YES 6.02/2.39	MAYBE 31.29/8.85
Applicative_first_order_05/13.xml	YES 27.03/13.32	MAYBE 24.81/7.36
Applicative_first_order_05/#3.8.xml	YES 5.24/2.76	MAYBE 47.89/17.07
Applicative_first_order_05/hydra.xml	YES 4.63/1.93	YES 6.91/2.17
Applicative_first_order_05/minsort.xml	MAYBE 680.41/291.74	StarExec error
Applicative_first_order_05/#3.45.xml	YES 4.63/2.21	YES 6.74/2.08
Applicative_first_order_05/17.xml	YES 4.44/1.87	YES 7.38/2.27
Applicative_first_order_05/08.xml	YES 4.39/1.93	YES 6.09/1.96
Applicative_first_order_05/29.xml	YES 4.62/2.02	YES 5.96/1.96
Applicative_first_order_05/#3.27.xml	YES 4.21/1.91	YES 4.99/1.62
Applicative_first_order_05/#3.40.xml	YES 5.62/2.21	MAYBE 131.73/42.38
Applicative_first_order_05/#3.13.xml	YES 6.83/2.72	MAYBE 26.85/7.47
Applicative_first_order_05/33.xml	MAYBE 897.64/291.52	MAYBE 133.65/42.38
Applicative_first_order_05/11.xml	YES 5.30/2.14	YES 11.75/3.86
Applicative_first_order_05/#3.2.xml	YES 4.82/2.94	MAYBE 15.60/7.37
Applicative_first_order_05/#3.36.xml	StarExec error	MAYBE 18.55/7.36
Applicative_first_order_05/#3.32.xml	YES 4.48/1.97	StarExec error
Applicative_first_order_05/#3.48.xml	YES 4.47/1.96	YES 7.69/2.47
Applicative_first_order_05/#3.16.xml	YES 4.90/1.95	YES 7.15/2.27
Applicative_first_order_05/18.xml	YES 4.32/1.94	YES 4.97/1.60
Applicative_first_order_05/#3.38.xml	YES 5.48/4.89	MAYBE 26.34/7.78
Applicative_first_order_05/21.xml	YES 4.92/2.04	MAYBE 14.99/7.35
Applicative_first_order_05/#3.25.xml	YES 5.68/2.30	MAYBE 15.81/7.35
Applicative_first_order_05/31.xml	YES 5.40/2.17	MAYBE 31.78/10.02
Applicative_first_order_05/30.xml	YES 4.04/1.82	YES 8.97/2.74
Applicative_first_order_05/perfect.xml	YES 5.15/2.13	YES 15.35/4.62
Applicative_first_order_05/perfect2.xml	YES 5.58/2.26	MAYBE 135.27/42.39
AProVE_07/thiemann14.xml	YES 25.73/8.92	YES 10.81/3.32
AProVE_07/otto06.xml	YES 8.47/3.21	MAYBE 37.89/13.59
AProVE_07/kabasci06.xml	YES 4.79/2.07	MAYBE 120.80/42.36
AProVE_07/thiemann01.xml	YES 6.14/2.64	MAYBE 19.27/7.34
AProVE_07/thiemann31.xml	YES 8.40/3.20	MAYBE 49.86/16.33
AProVE_07/thiemann21.xml	MAYBE 684.45/291.52	MAYBE 105.56/42.36
AProVE_07/thiemann25.xml	YES 5.67/2.34	MAYBE 30.59/11.03
AProVE_07/thiemann05.xml	YES 6.71/2.54	MAYBE 25.50/7.68
AProVE_07/thiemann03.xml	YES 7.70/2.80	MAYBE 111.19/42.34
AProVE_07/thiemann39.xml	YES 5.53/2.17	MAYBE 90.69/29.11
AProVE_07/thiemann34.xml	YES 8.33/3.12	MAYBE 40.64/15.20
AProVE_07/thiemann26.xml	NO 135.61/57.45	MAYBE 39.56/13.20
AProVE_07/wiehe03.xml	YES 7.85/2.86	YES 26.36/7.38
AProVE_07/otto03.xml	YES 4.53/2.00	MAYBE 24.29/8.28
AProVE_07/thiemann10.xml	YES 5.18/2.08	YES 5.90/1.86
AProVE_07/thiemann30.xml	MAYBE 400.12/291.53	MAYBE 23.93/7.37
AProVE_07/otto04.xml	YES 6.60/2.61	MAYBE 34.37/12.18
AProVE_07/otto05.xml	YES 5.11/2.07	YES 5.20/1.67
AProVE_07/thiemann40.xml	YES 4.51/1.98	YES 2.83/0.99
AProVE_07/thiemann17.xml	YES 6.26/2.36	YES 9.08/2.66
AProVE_07/kabasci05.xml	YES 5.51/2.27	YES 16.43/5.30
AProVE_07/otto08.xml	YES 7.60/3.24	MAYBE 18.36/7.35
AProVE_07/thiemann18.xml	YES 7.32/2.65	YES 13.15/3.73
AProVE_07/wiehe01.xml	StarExec error	YES 11.57/3.49
AProVE_07/wiehe11.xml	YES 7.43/2.71	YES 28.57/8.78
AProVE_07/kabasci02.xml	YES 7.79/2.80	YES 21.71/6.09
AProVE_07/thiemann36.xml	YES 10.07/4.38	MAYBE 50.83/16.88
AProVE_07/thiemann29.xml	YES 40.61/19.19	MAYBE 118.60/42.34
AProVE_07/thiemann37.xml	YES 15.02/5.27	MAYBE 38.08/13.81
AProVE_07/wiehe08.xml	YES 6.65/2.48	YES 18.70/6.53
AProVE_07/thiemann04.xml	YES 67.08/19.08	MAYBE 69.82/25.27
AProVE_07/otto02.xml	YES 6.18/2.38	MAYBE 29.46/10.46
AProVE_07/thiemann38.xml	YES 7.10/2.76	MAYBE 40.64/15.10
AProVE_07/thiemann41.xml	YES 5.01/3.10	MAYBE 27.67/9.72
AProVE_07/thiemann27.xml	YES 4.78/2.04	MAYBE 23.90/8.09
AProVE_07/otto07.xml	YES 4.82/2.13	MAYBE 24.60/8.50
AProVE_07/otto01.xml	YES 6.98/2.67	MAYBE 53.88/18.53
AProVE_07/kabasci03.xml	StarExec error	YES 16.84/4.69
AProVE_07/thiemann23.xml	YES 6.73/2.69	MAYBE 29.87/10.68
AProVE_07/thiemann07.xml	YES 25.71/9.02	MAYBE 115.68/42.35
AProVE_07/thiemann32.xml	YES 14.84/6.94	MAYBE 130.57/42.35
AProVE_07/thiemann19.xml	YES 8.44/3.29	MAYBE 42.56/15.84
AProVE_07/otto12.xml	YES 7.94/3.01	MAYBE 37.27/13.29
AProVE_07/thiemann09.xml	YES 5.06/2.16	MAYBE 37.63/12.88
AProVE_07/wiehe06.xml	YES 6.61/2.48	YES 13.85/3.99
AProVE_07/otto11.xml	YES 5.25/2.10	MAYBE 26.12/8.99
AProVE_07/kabasci01.xml	YES 17.08/5.36	YES 45.71/12.23
AProVE_07/thiemann16.xml	YES 6.25/2.46	YES 14.71/4.27
AProVE_07/thiemann11.xml	YES 37.25/14.30	MAYBE 131.77/42.34
AProVE_07/wiehe02.xml	YES 7.08/2.59	YES 21.19/5.91
AProVE_07/thiemann22.xml	YES 7.72/3.61	MAYBE 131.40/42.33
AProVE_07/thiemann35.xml	YES 6.26/2.44	MAYBE 61.00/19.98
AProVE_07/thiemann20.xml	MAYBE 805.47/291.49	MAYBE 102.83/42.33
AProVE_07/thiemann15.xml	YES 5.09/2.03	StarExec error
AProVE_07/wiehe09.xml	YES 6.73/2.52	YES 13.60/3.95
AProVE_07/wiehe05.xml	StarExec error	YES 14.30/4.24
AProVE_07/wiehe12.xml	YES 7.94/2.84	YES 27.86/7.62
AProVE_07/thiemann28.xml	NO 15.55/7.93	MAYBE 33.97/10.90
AProVE_07/kabasci04.xml	YES 4.79/2.10	YES 9.12/2.77
AProVE_07/thiemann13.xml	YES 20.61/7.64	MAYBE 131.80/42.35
AProVE_07/thiemann06.xml	YES 20.68/6.44	MAYBE 113.40/42.35
AProVE_07/otto10.xml	YES 6.38/2.45	MAYBE 38.48/13.90
AProVE_07/thiemann12.xml	YES 5.21/2.10	YES 6.48/2.01
AProVE_07/otto09.xml	YES 8.78/3.69	MAYBE 17.97/7.34
AProVE_07/otto13.xml	YES 8.04/7.70	MAYBE 43.77/16.36
AProVE_07/thiemann33.xml	YES 10.03/4.55	MAYBE 32.67/11.51
AProVE_07/wiehe07.xml	MAYBE 882.26/296.55	MAYBE 29.89/8.49
AProVE_07/thiemann24.xml	YES 6.06/2.41	MAYBE 34.32/12.24
AProVE_07/thiemann02.xml	YES 12.90/4.63	MAYBE 89.57/29.98
AProVE_07/thiemann08.xml	YES 4.98/2.04	YES 5.41/1.79
AProVE_06/nonterm.xml	NO 6.03/2.38	NO 0.56/0.40
AProVE_06/modulo.xml	YES 14.39/10.33	MAYBE 17.53/7.34
AProVE_06/div_notTermin.xml	MAYBE 651.51/291.52	MAYBE 127.01/42.35
AProVE_06/tower.xml	YES 5.06/2.08	YES 9.62/2.80
AProVE_06/mapHard.xml	YES 7.76/2.80	MAYBE 131.72/42.36
AProVE_06/tower_sizeChange.xml	YES 33.64/14.63	MAYBE 53.82/21.90
AProVE_06/identity.xml	YES 5.81/2.49	MAYBE 133.06/42.34
AProVE_06/logarithm.xml	YES 14.82/8.36	MAYBE 127.94/42.35
AProVE_06/factorial1.xml	YES 5.14/2.03	YES 9.10/2.70
AProVE_06/quot.xml	YES 9.38/8.81	MAYBE 16.06/7.33
AProVE_06/factorial2.xml	YES 6.15/2.44	MAYBE 27.57/8.68
AProVE_06/div_notCeTermin.xml	YES 13.54/5.72	MAYBE 126.62/42.35
AProVE_06/quicksort.xml	YES 7.06/2.63	YES 22.43/6.08
AProVE_06/sizeChange.xml	YES 3.90/1.83	YES 2.83/1.04
HirokawaMiddeldorp_04/t005.xml	YES 8.12/2.90	YES 17.18/5.27
HirokawaMiddeldorp_04/t003.xml	YES 4.35/1.91	YES 5.86/1.94
HirokawaMiddeldorp_04/t011.xml	YES 3.52/1.64	YES 0.92/0.49
HirokawaMiddeldorp_04/t008.xml	YES 7.83/2.72	YES 3.53/1.16
HirokawaMiddeldorp_04/n006.xml	NO 3.21/1.55	NO 0.30/0.31
HirokawaMiddeldorp_04/n005.xml	NO 3.05/1.45	NO 0.30/0.30
HirokawaMiddeldorp_04/t004.xml	YES 7.48/2.60	YES 4.97/1.51
HirokawaMiddeldorp_04/n007.xml	NO 3.85/1.82	NO 0.30/0.31
HirokawaMiddeldorp_04/t013.xml	YES 4.37/1.95	YES 4.22/1.35
HirokawaMiddeldorp_04/t002.xml	YES 4.47/1.92	MAYBE 13.49/7.33
HirokawaMiddeldorp_04/n002.xml	NO 3.30/1.57	NO 0.30/0.30
HirokawaMiddeldorp_04/t006.xml	YES 3.28/1.51	YES 0.51/0.38
HirokawaMiddeldorp_04/t001.xml	YES 4.64/2.10	YES 8.61/2.62
HirokawaMiddeldorp_04/t010.xml	YES 4.10/1.75	YES 0.65/0.45
HirokawaMiddeldorp_04/t007.xml	YES 4.00/1.76	YES 0.62/0.43
HirokawaMiddeldorp_04/t014.xml	YES 4.23/1.88	YES 4.31/1.44
HirokawaMiddeldorp_04/n003.xml	NO 5.89/2.30	NO 0.30/0.31
HirokawaMiddeldorp_04/t012.xml	YES 4.16/1.87	YES 2.86/0.99
HirokawaMiddeldorp_04/n004.xml	NO 6.45/2.36	NO 0.31/0.31
HirokawaMiddeldorp_04/t009.xml	YES 16.97/7.52	MAYBE 144.14/42.43
HirokawaMiddeldorp_04/n008.xml	NO 5.50/2.28	NO 0.31/0.31
HirokawaMiddeldorp_04/t000.xml	YES 4.23/1.79	YES 1.40/0.66
GTSSK07/cade01.xml	YES 4.80/2.09	MAYBE 25.24/8.85
GTSSK07/cade11.xml	YES 4.53/2.09	MAYBE 31.75/11.49
GTSSK07/cade14.xml	YES 10.49/5.50	MAYBE 35.75/13.11
GTSSK07/cade16.xml	YES 4.99/2.26	MAYBE 33.64/12.19
GTSSK07/cade12t.xml	timeout (wallclock)	MAYBE 122.67/42.34
GTSSK07/cade09.xml	YES 4.84/2.15	MAYBE 130.88/42.34
GTSSK07/cade10.xml	YES 5.02/2.14	MAYBE 101.03/42.33
GTSSK07/cade06.xml	MAYBE 655.58/291.51	MAYBE 31.74/11.30
GTSSK07/cade03.xml	YES 4.96/2.20	MAYBE 24.47/8.38
GTSSK07/cade04t.xml	MAYBE 345.99/291.56	MAYBE 12.64/7.33
GTSSK07/cade13t.xml	YES 5.33/2.24	MAYBE 18.51/7.34
GTSSK07/cade05t.xml	YES 5.76/2.47	MAYBE 65.64/21.72
GTSSK07/cade17.xml	timeout (wallclock)	MAYBE 132.63/42.34
GTSSK07/cade08.xml	MAYBE 661.92/291.88	MAYBE 32.00/11.38
GTSSK07/cade07.xml	MAYBE 334.53/242.30	MAYBE 31.98/11.10
GTSSK07/cade15.xml	YES 13.63/5.70	MAYBE 60.76/20.26
Mixed_TRS/while2.xml	timeout (wallclock)	MAYBE 122.24/42.33
Mixed_TRS/motivation.xml	YES 3.84/1.72	YES 2.16/0.82
Mixed_TRS/jones1.xml	YES 3.38/1.57	YES 0.53/0.38
Mixed_TRS/jones5.xml	StarExec error	YES 0.71/0.43
Mixed_TRS/beans.xml	YES 4.59/1.99	MAYBE 144.50/42.34
Mixed_TRS/3.xml	YES 3.97/1.90	YES 1.38/0.63
Mixed_TRS/7.xml	YES 66.44/35.07	MAYBE 43.32/16.13
Mixed_TRS/1.xml	YES 4.20/1.89	YES 1.73/0.80
Mixed_TRS/hydra.xml	YES 3.71/1.66	YES 2.18/0.82
Mixed_TRS/minsort.xml	MAYBE 657.95/291.52	MAYBE 46.74/15.62
Mixed_TRS/while.xml	YES 4.27/1.93	MAYBE 17.48/7.33
Mixed_TRS/jones4.xml	YES 3.62/1.71	YES 0.48/0.37
Mixed_TRS/gcdMinMax.xml	YES 4.80/1.99	MAYBE 70.46/23.03
Mixed_TRS/Ex1_Luc04b_GM.xml	YES 6.24/2.83	YES 20.75/5.69
Mixed_TRS/hydra-Zantema06.xml	MAYBE 666.11/291.50	MAYBE 128.86/42.34
Mixed_TRS/5.xml	YES 3.83/1.76	YES 0.93/0.53
Mixed_TRS/jones2.xml	YES 3.54/1.67	YES 2.16/0.80
Mixed_TRS/2.xml	YES 4.27/1.91	YES 2.88/1.03
Mixed_TRS/div_hard.xml	MAYBE 547.55/291.50	MAYBE 20.49/7.34
Mixed_TRS/jones6.xml	YES 3.62/1.73	YES 1.68/0.68
Mixed_TRS/test1.xml	YES 3.80/1.84	YES 1.24/0.58
Mixed_TRS/6.xml	MAYBE 340.05/291.49	MAYBE 21.72/7.32
Mixed_TRS/fossacs.xml	MAYBE 669.85/291.48	StarExec error
Mixed_TRS/sigma.xml	timeout (wallclock)	MAYBE 31.58/10.09
Mixed_TRS/gcd.xml	YES 4.61/1.97	YES 6.80/2.09
Mixed_TRS/4.xml	YES 4.31/1.99	YES 1.43/0.77
Mixed_TRS/perfect.xml	YES 3.87/1.78	YES 3.86/1.38
Mixed_TRS/gcd_triple.xml	YES 5.98/2.40	YES 11.28/3.31
Mixed_TRS/perfect2.xml	YES 4.62/1.95	YES 6.21/1.97
Hydras/lepper_8.xml	MAYBE 1065.33/297.60	MAYBE 148.60/43.20
Hydras/worm_wrong.xml	YES 55.04/20.12	YES 25.05/8.15
Hydras/lepper_4.xml	MAYBE 1019.03/300.09	MAYBE 137.59/42.52
Hydras/lepper_2.xml	NO 154.83/53.38	MAYBE 120.43/42.40
Hydras/worm_fixed2.xml	timeout (wallclock)	MAYBE 131.12/42.34
Hydras/hydra_touzet.xml	MAYBE 646.17/292.25	MAYBE 82.05/27.16
Hydras/hydra_buchholz.xml	timeout (wallclock)	MAYBE 40.13/12.98
Hydras/lepper_0.xml	timeout (wallclock)	MAYBE 81.51/28.09
Hydras/lepper_5.xml	timeout (wallclock)	MAYBE 146.68/42.63
Hydras/lepper_9.xml	timeout (wallclock)	MAYBE 147.33/43.50
Hydras/worm_fixed.xml	MAYBE 886.86/291.55	MAYBE 55.44/17.58
Hydras/worm_fixed3.xml	timeout (wallclock)	MAYBE 131.81/42.35
Hydras/lepper_6.xml	timeout (wallclock)	MAYBE 147.44/42.76
Hydras/lepper_10.xml	timeout (wallclock)	MAYBE 144.94/43.87
Hydras/goodstein.xml	timeout (wallclock)	MAYBE 90.21/28.60
Hydras/lepper_3.xml	NO 572.91/180.66	MAYBE 130.63/42.46
Hydras/lepper_1.xml	timeout (wallclock)	MAYBE 92.95/29.90
Der95/03.xml	YES 3.39/1.52	YES 0.85/0.47
Der95/01.xml	YES 3.47/1.60	YES 0.48/0.38
Der95/12.xml	YES 3.75/1.70	YES 3.42/1.21
Der95/27.xml	StarExec error	YES 0.57/0.40
Der95/06.xml	YES 6.28/2.42	YES 1.35/0.59
Der95/02.xml	YES 3.52/1.59	YES 0.46/0.37
Der95/13.xml	YES 27.65/13.15	MAYBE 27.43/8.35
Der95/20.xml	YES 3.59/1.65	YES 0.55/0.40
Der95/04.xml	YES 4.40/1.83	YES 0.85/0.48
Der95/17.xml	YES 3.35/1.54	YES 0.50/0.38
Der95/08.xml	YES 3.70/1.69	YES 17.24/5.49
Der95/28.xml	YES 3.55/1.68	YES 1.99/0.78
Der95/09.xml	YES 3.01/1.51	YES 0.49/0.37
Der95/33.xml	MAYBE 911.02/292.43	MAYBE 133.06/42.33
Der95/11.xml	YES 4.10/1.79	YES 17.37/5.57
Der95/07.xml	YES 10.68/3.48	YES 0.96/0.50
Der95/18.xml	YES 3.54/1.69	YES 1.59/0.68
Der95/21.xml	YES 3.77/1.72	YES 3.20/1.13
Der95/31.xml	YES 3.78/1.77	YES 2.97/1.03
Der95/30.xml	timeout (wallclock)	YES 3.64/1.19
Der95/32.xml	YES 3.82/1.75	YES 3.42/1.19
CiME_04/filliatre2.xml	YES 4.18/1.79	YES 7.71/2.24
CiME_04/tree.xml	YES 5.33/2.14	YES 31.00/8.28
CiME_04/boolean_rings.xml	YES 3.83/1.76	YES 2.43/0.90
CiME_04/intersect.xml	YES 4.48/2.15	YES 7.63/2.32
CiME_04/append-hard.xml	YES 4.40/1.96	YES 2.75/0.96
CiME_04/ack_prolog.xml	YES 3.76/1.80	YES 2.97/1.07
CiME_04/ternary-hard.xml	YES 4.91/5.34	YES 13.84/4.15
CiME_04/filliatre.xml	YES 5.48/2.13	YES 6.75/1.99
CiME_04/append.xml	YES 3.67/1.71	YES 2.30/0.88
CiME_04/fact-hard.xml	YES 6.38/3.44	MAYBE 93.21/42.34
CiME_04/list-sum-prod-bin-assoc.xml	YES 4.22/1.87	YES 9.87/2.94
CiME_04/list-sum-prod-assoc-append.xml	YES 3.70/1.75	YES 8.71/2.80
CiME_04/dpqs.xml	YES 4.40/1.81	YES 1.23/0.57
CiME_04/ternary.xml	YES 5.03/2.02	YES 12.89/3.71
CiME_04/filliatre3.xml	YES 4.46/2.00	YES 14.27/3.97
CiME_04/list-sum-prod.xml	YES 3.83/1.80	YES 9.92/3.72
CiME_04/lse.xml	YES 4.69/1.98	YES 12.23/3.54
CiME_04/mucrl1.xml	YES 7.61/3.31	YES 29.12/8.34
CiME_04/maude2.xml	timeout (wallclock)	MAYBE 51.68/18.53
CiME_04/log2.xml	YES 6.04/3.54	YES 28.58/7.65
CiME_04/append-wrong.xml	NO 5.50/2.21	NO 0.60/0.48
CiME_04/list-sum-prod-assoc.xml	YES 4.04/1.83	YES 7.00/2.14
CiME_04/list-sum-prod-bin.xml	YES 4.17/1.83	YES 9.89/2.91
CiME_04/big.xml	YES 6.24/2.45	YES 29.72/8.71
CiME_04/list-sum-prod-bin-assoc-distr-app.xml	YES 4.73/2.02	YES 15.93/4.60
Endrullis_06/linear1.xml	YES 4.56/2.10	YES 2.68/0.94
Endrullis_06/linear2.xml	YES 12.89/4.17	YES 30.89/8.36
Endrullis_06/pair3hard.xml	YES 9.47/3.47	MAYBE 101.50/42.34
Endrullis_06/pair3rotate.xml	YES 4.90/2.08	YES 24.55/6.44
Endrullis_06/pair2simple2.xml	YES 4.49/1.97	MAYBE 63.96/21.59
Endrullis_06/pair2hard.xml	YES 90.05/38.41	YES 22.58/7.03
Endrullis_06/direct.xml	YES 4.68/2.72	YES 1.53/0.64
Endrullis_06/pair2simple1.xml	YES 3.66/1.68	YES 6.75/2.03
Endrullis_06/labeling.xml	YES 15.81/5.28	MAYBE 5.46/2.08
Endrullis_06/quadruple2.xml	YES 18.51/9.91	YES 1.83/0.71
Endrullis_06/pair3swap.xml	YES 5.39/2.11	YES 22.95/6.74
Endrullis_06/quadruple1.xml	YES 4.69/2.20	YES 20.84/5.49
EEG_IJCAR_12/emmes-nonloop-ex7_5.xml	MAYBE 651.79/291.50	MAYBE 132.12/42.34
EEG_IJCAR_12/enger-nonloop-swap_decr.xml	NO 32.57/12.07	MAYBE 29.65/10.54
EEG_IJCAR_12/emmes-nonloop-ex6_1.xml	NO 31.88/11.90	MAYBE 14.44/7.33
EEG_IJCAR_12/emmes-nonloop-ex4_1.xml	NO 23.37/12.23	MAYBE 18.56/7.33
EEG_IJCAR_12/enger-nonloop-isList-List.xml	MAYBE 669.73/291.46	MAYBE 15.80/7.33
EEG_IJCAR_12/enger-nonloop-isDNat.xml	NO 36.59/11.79	MAYBE 27.27/9.80
EEG_IJCAR_12/emmes-nonloop-ex2_4.xml	NO 67.29/22.92	MAYBE 39.00/14.44
EEG_IJCAR_12/emmes-nonloop-ex2_5.xml	NO 70.09/24.14	MAYBE 45.73/15.14
EEG_IJCAR_12/enger-nonloop-add.xml	NO 29.07/12.85	MAYBE 38.89/12.35
EEG_IJCAR_12/rybalchenko-nonloop-popl08.xml	StarExec error	MAYBE 131.06/42.37
EEG_IJCAR_12/emmes-nonloop-ex7_2.xml	MAYBE 428.30/291.47	MAYBE 111.34/42.34
EEG_IJCAR_12/enger-nonloop-toOne.xml	NO 37.10/12.48	MAYBE 130.53/42.33
EEG_IJCAR_12/emmes-nonloop-ex1_2.xml	MAYBE 640.97/291.49	MAYBE 98.66/42.33
EEG_IJCAR_12/emmes-nonloop-ex1_1.xml	StarExec error	MAYBE 36.13/11.53
EEG_IJCAR_12/emmes-nonloop-ex3_4.xml	MAYBE 630.01/291.50	MAYBE 33.16/11.98
EEG_IJCAR_12/emmes-nonloop-ex1_5.xml	NO 39.84/12.52	MAYBE 17.38/7.33
EEG_IJCAR_12/emmes-nonloop-ex2_1.xml	MAYBE 684.56/291.46	MAYBE 39.55/13.58
EEG_IJCAR_12/enger-nonloop-isTrueList.xml	NO 29.64/11.70	MAYBE 22.83/7.67
EEG_IJCAR_12/emmes-nonloop-ex7_1.xml	MAYBE 426.20/291.47	MAYBE 130.75/42.33
EEG_IJCAR_12/emmes-nonloop-ex2_2.xml	NO 36.61/12.94	MAYBE 95.29/42.33
EEG_IJCAR_12/emmes-nonloop-ex7_4.xml	MAYBE 425.96/291.47	MAYBE 119.19/42.34
EEG_IJCAR_12/emmes-nonloop-ex4_4.xml	NO 22.87/12.43	MAYBE 18.76/7.34
EEG_IJCAR_12/emmes-nonloop-ex7_6.xml	MAYBE 658.12/291.52	MAYBE 132.04/42.34
EEG_IJCAR_12/emmes-nonloop-ex4_2.xml	NO 30.40/13.33	MAYBE 89.37/42.34
EEG_IJCAR_12/enger-nonloop-isList.xml	NO 28.97/11.78	MAYBE 18.79/7.34
EEG_IJCAR_12/emmes-nonloop-ex7_3.xml	MAYBE 647.29/292.07	MAYBE 131.58/42.34
EEG_IJCAR_12/enger-nonloop-swapXY.xml	NO 38.39/12.18	StarExec error
EEG_IJCAR_12/emmes-nonloop-ex5_1.xml	NO 35.59/15.65	MAYBE 115.97/42.34
EEG_IJCAR_12/emmes-nonloop-ex3_1.xml	NO 36.71/12.39	MAYBE 24.43/7.33
EEG_IJCAR_12/enger-nonloop-addTrue.xml	NO 33.87/13.00	MAYBE 40.79/12.51
EEG_IJCAR_12/enger-nonloop-while-lt.xml	NO 37.03/11.76	MAYBE 19.92/7.33
EEG_IJCAR_12/emmes-nonloop-ex3_2.xml	NO 32.67/12.57	MAYBE 12.55/7.33
EEG_IJCAR_12/emmes-nonloop-ex7_9.xml	MAYBE 431.46/291.49	MAYBE 117.14/42.35
EEG_IJCAR_12/velroyen-nonloop-ConvLower_c.xml	NO 35.21/12.46	MAYBE 128.28/42.35
EEG_IJCAR_12/enger-nonloop-swapXY2.xml	NO 29.60/11.83	MAYBE 17.12/7.34
EEG_IJCAR_12/emmes-nonloop-ex7_7.xml	MAYBE 429.93/291.48	MAYBE 119.20/42.33
EEG_IJCAR_12/emmes-nonloop-ex1_4.xml	NO 38.73/12.23	MAYBE 16.26/7.33
EEG_IJCAR_12/emmes-nonloop-ex5_3.xml	NO 38.32/16.27	MAYBE 27.13/7.50
EEG_IJCAR_12/emmes-nonloop-ex6_2.xml	NO 33.42/11.95	MAYBE 22.40/7.34
EEG_IJCAR_12/emmes-nonloop-ex5_2.xml	NO 31.68/13.62	MAYBE 131.18/42.34
EEG_IJCAR_12/enger-nonloop-ex_payet.xml	MAYBE 339.72/291.48	MAYBE 29.81/8.91
EEG_IJCAR_12/velroyen-nonloop-AlternatingIncr_c.xml	MAYBE 930.60/292.25	MAYBE 128.48/42.35
EEG_IJCAR_12/enger-nonloop-swapX.xml	NO 37.64/12.30	MAYBE 25.59/8.85
EEG_IJCAR_12/emmes-nonloop-ex4_3.xml	NO 36.32/15.44	MAYBE 91.42/42.34
EEG_IJCAR_12/emmes-nonloop-ex1_3.xml	MAYBE 640.11/291.48	MAYBE 98.69/42.35
EEG_IJCAR_12/emmes-nonloop-ex3_3.xml	NO 33.62/12.41	MAYBE 19.06/7.33
EEG_IJCAR_12/emmes-nonloop-ex7_8.xml	MAYBE 637.21/291.49	MAYBE 131.64/42.33
EEG_IJCAR_12/emmes-nonloop-ex2_3.xml	MAYBE 679.81/292.25	MAYBE 25.13/8.36
EEG_IJCAR_12/enger-nonloop-unbounded.xml	NO 36.92/12.11	MAYBE 30.47/11.09
SK90/2.49.xml	YES 4.87/2.01	YES 1.19/0.57
SK90/4.03.xml	YES 3.85/1.83	YES 3.07/1.06
SK90/2.60.xml	YES 3.49/1.57	YES 0.66/0.41
SK90/4.12.xml	YES 3.64/1.67	YES 1.61/0.66
SK90/2.45.xml	YES 4.01/1.85	YES 14.85/5.31
SK90/2.15.xml	YES 3.62/1.64	YES 1.53/0.65
SK90/4.44.xml	YES 3.44/2.66	YES 1.36/0.62
SK90/4.39.xml	YES 3.37/1.54	YES 0.89/0.47
SK90/2.40.xml	YES 3.78/1.69	YES 1.92/0.76
SK90/4.41.xml	YES 3.71/1.82	YES 1.15/0.56
SK90/2.47.xml	YES 5.83/2.30	YES 0.85/0.46
SK90/4.37.xml	YES 3.63/1.60	YES 0.93/0.49
SK90/4.50.xml	YES 3.49/1.63	YES 0.50/0.37
SK90/4.19.xml	StarExec error	YES 0.52/0.39
SK90/2.22.xml	YES 3.64/2.08	YES 3.09/1.11
SK90/2.08.xml	YES 3.58/1.65	YES 3.26/1.12
SK90/4.10.xml	YES 3.77/1.67	YES 2.40/0.90
SK90/4.26.xml	YES 4.29/1.82	YES 5.07/1.57
SK90/2.59.xml	YES 3.47/1.69	YES 2.05/0.84
SK90/2.27.xml	YES 3.66/1.71	YES 3.71/1.22
SK90/4.57.xml	YES 3.95/1.76	YES 2.58/0.99
SK90/2.57.xml	YES 3.39/1.57	YES 0.83/0.45
SK90/4.60.xml	YES 4.01/1.81	YES 5.92/2.09
SK90/2.31.xml	YES 3.30/1.53	YES 0.47/0.37
SK90/2.46.xml	YES 10.82/3.49	YES 0.77/0.44
SK90/4.28.xml	YES 4.38/1.93	YES 9.75/3.28
SK90/4.46.xml	YES 3.17/1.49	StarExec error
SK90/2.52.xml	YES 4.09/1.90	YES 5.33/1.75
SK90/2.03.xml	YES 3.32/1.60	YES 0.61/0.41
SK90/2.33.xml	StarExec error	YES 0.52/0.38
SK90/4.14.xml	YES 3.86/1.77	YES 4.31/1.43
SK90/4.20.xml	YES 3.92/1.71	YES 2.23/0.87
SK90/4.13.xml	YES 3.77/1.73	YES 3.39/1.23
SK90/4.11.xml	YES 3.45/1.61	YES 0.47/0.37
SK90/4.53.xml	YES 3.41/1.65	YES 17.47/5.51
SK90/2.38.xml	YES 3.63/1.60	YES 0.54/0.39
SK90/4.06.xml	NO 4.91/2.23	NO 0.41/0.36
SK90/2.25.xml	YES 3.55/1.65	YES 2.74/0.97
SK90/2.12.xml	YES 3.77/1.68	YES 3.75/1.31
SK90/4.54.xml	NO 7.06/2.65	NO 0.46/0.38
SK90/2.50.xml	YES 5.95/2.35	YES 1.11/0.55
SK90/4.34.xml	NO 3.21/1.56	NO 1.63/0.67
SK90/4.47.xml	YES 4.75/2.09	YES 1.68/0.71
SK90/4.52.xml	YES 3.11/1.51	YES 0.51/0.39
SK90/2.07.xml	YES 3.50/1.65	YES 2.82/1.00
SK90/2.42.xml	YES 4.01/1.84	YES 2.81/0.98
SK90/2.09.xml	YES 3.39/1.63	YES 0.50/0.38
SK90/4.48.xml	YES 3.38/1.52	YES 0.47/0.38
SK90/2.17.xml	YES 3.71/1.74	YES 1.42/0.62
SK90/2.06.xml	StarExec error	YES 2.17/0.82
SK90/4.30.xml	YES 4.66/1.94	YES 6.27/1.85
SK90/2.39.xml	YES 4.44/1.90	YES 2.55/0.92
SK90/2.35.xml	YES 3.78/1.78	YES 1.82/0.73
SK90/4.01.xml	YES 3.37/1.61	YES 0.44/0.36
SK90/2.29.xml	YES 3.91/2.35	YES 4.06/1.45
SK90/4.02.xml	YES 3.80/2.29	MAYBE 67.16/26.34
SK90/4.27.xml	YES 4.30/1.94	YES 4.40/1.40
SK90/4.61.xml	StarExec error	YES 12.84/3.78
SK90/4.49.xml	NO 4.44/2.01	NO 0.31/0.31
SK90/4.09.xml	YES 3.54/1.68	YES 3.02/1.03
SK90/4.29.xml	YES 3.52/1.56	YES 0.54/0.39
SK90/2.37.xml	YES 3.43/1.62	YES 0.70/0.43
SK90/4.07.xml	YES 3.35/1.60	YES 0.45/0.37
SK90/4.45.xml	YES 3.31/1.51	YES 0.52/0.38
SK90/2.54.xml	YES 3.61/1.63	YES 0.96/0.49
SK90/2.32.xml	YES 3.94/1.80	YES 1.98/0.78
SK90/4.16.xml	YES 3.76/1.71	YES 1.90/0.75
SK90/4.55.xml	StarExec error	YES 0.82/0.48
SK90/4.31.xml	YES 3.89/1.72	YES 3.70/1.24
SK90/4.08.xml	YES 3.65/1.63	YES 1.15/0.55
SK90/2.13.xml	YES 4.07/1.82	YES 2.98/1.03
SK90/4.18.xml	YES 3.81/1.69	YES 2.27/0.89
SK90/2.20.xml	YES 3.44/1.65	YES 1.70/0.69
SK90/2.55.xml	YES 3.61/1.64	YES 1.01/0.51
SK90/4.05.xml	YES 3.57/3.71	YES 2.10/0.83
SK90/2.05.xml	NO 6.09/2.33	NO 0.42/0.38
SK90/4.21.xml	YES 3.76/1.78	YES 2.98/1.07
SK90/4.36.xml	YES 3.41/1.55	YES 1.48/0.63
SK90/4.22.xml	YES 3.75/1.69	YES 3.06/1.12
SK90/2.56.xml	YES 3.54/1.69	YES 0.43/0.36
SK90/4.43.xml	YES 3.78/1.68	YES 4.98/1.54
SK90/4.32.xml	YES 26.31/7.47	YES 10.63/2.93
SK90/2.44.xml	YES 4.10/1.81	YES 5.11/1.57
SK90/4.25.xml	YES 3.54/2.53	YES 0.50/0.37
SK90/2.43.xml	YES 3.98/1.72	YES 4.73/1.51
SK90/2.58.xml	YES 3.76/1.65	YES 1.24/0.58
SK90/2.48.xml	YES 4.36/1.77	YES 0.82/0.46
SK90/4.17.xml	YES 5.60/2.51	YES 1.29/0.58
SK90/2.24.xml	YES 3.39/1.54	YES 1.63/0.67
SK90/2.16.xml	YES 3.69/1.77	YES 3.31/1.21
SK90/4.15.xml	YES 3.37/1.60	YES 0.51/0.38
SK90/2.41.xml	YES 3.36/1.53	YES 0.46/0.37
SK90/2.51.xml	YES 3.55/1.63	YES 1.66/0.70
SK90/4.24.xml	YES 4.43/1.92	YES 3.76/1.28
SK90/4.04.xml	YES 3.57/2.08	YES 0.49/0.42
SK90/2.28.xml	YES 3.46/1.62	YES 0.79/0.45
SK90/2.01.xml	YES 3.64/1.68	YES 2.30/0.85
SK90/2.23.xml	YES 3.87/1.79	YES 4.03/1.35
SK90/4.38.xml	YES 3.62/1.59	YES 0.47/0.37
SK90/4.42.xml	YES 3.92/1.79	YES 2.42/0.91
SK90/2.53.xml	YES 3.56/1.59	YES 0.54/0.38
SK90/2.21.xml	YES 3.59/1.63	YES 1.96/0.78
SK90/4.40.xml	NO 9.94/3.66	NO 0.51/0.39
SK90/2.61.xml	YES 3.80/2.19	YES 0.64/0.45
SK90/2.19.xml	YES 3.67/1.76	YES 3.63/1.35
SK90/2.11.xml	YES 3.48/1.60	YES 0.55/0.39
SK90/2.10.xml	YES 3.49/1.67	YES 3.11/1.06
SK90/4.23.xml	YES 3.55/1.63	YES 2.22/0.84
SK90/4.51.xml	YES 3.99/1.82	YES 1.52/0.67
SK90/2.26.xml	YES 3.64/1.69	YES 5.58/1.84
SK90/4.33.xml	YES 3.48/1.64	YES 1.11/0.54
SK90/4.56.xml	YES 3.63/1.69	YES 0.51/0.38
SK90/2.30.xml	YES 3.97/1.71	YES 1.90/0.77
SK90/2.04.xml	YES 3.35/1.54	YES 1.46/0.62
SK90/2.14.xml	YES 3.64/1.64	YES 1.25/0.58
SK90/2.36.xml	YES 3.36/1.54	YES 0.49/0.38
SK90/2.02.xml	YES 3.33/1.55	YES 0.54/0.39
SK90/2.18.xml	YES 3.65/1.65	YES 2.10/0.81
SK90/4.35.xml	YES 3.45/1.57	YES 1.05/0.52
SK90/2.34.xml	YES 3.76/1.77	YES 1.65/0.69
SK90/4.59.xml	YES 3.90/1.80	YES 5.92/1.85
Secret_07_TRS/aprove07.xml	timeout (wallclock)	MAYBE 26.81/8.99
Secret_07_TRS/secret3.xml	YES 3.96/1.83	YES 5.40/1.74
Secret_07_TRS/aprove04.xml	timeout (wallclock)	MAYBE 55.85/18.87
Secret_07_TRS/3.xml	YES 48.55/17.50	MAYBE 133.15/42.35
Secret_07_TRS/7.xml	NO 348.17/120.10	MAYBE 113.96/42.33
Secret_07_TRS/aprove02.xml	timeout (wallclock)	MAYBE 43.98/15.59
Secret_07_TRS/1.xml	MAYBE 358.75/291.48	MAYBE 45.15/14.88
Secret_07_TRS/aprove10.xml	MAYBE 691.97/292.58	MAYBE 101.11/27.95
Secret_07_TRS/aprove08.xml	MAYBE 401.19/291.51	MAYBE 35.02/11.88
Secret_07_TRS/secret2.xml	YES 3.91/1.84	YES 6.34/2.04
Secret_07_TRS/aprove09.xml	MAYBE 1123.95/293.64	MAYBE 52.15/19.92
Secret_07_TRS/aprove01.xml	MAYBE 1149.94/291.52	StarExec error
Secret_07_TRS/5.xml	YES 48.71/17.86	MAYBE 145.20/42.34
Secret_07_TRS/aprove06.xml	MAYBE 995.84/292.86	MAYBE 133.85/42.37
Secret_07_TRS/aprove03.xml	timeout (wallclock)	MAYBE 124.50/42.37
Secret_07_TRS/2.xml	timeout (wallclock)	StarExec error
Secret_07_TRS/secret5.xml	YES 4.99/2.12	YES 22.52/7.39
Secret_07_TRS/secret4.xml	YES 4.27/1.81	YES 7.75/2.43
Secret_07_TRS/4.xml	MAYBE 340.48/291.50	MAYBE 88.19/32.83
Secret_07_TRS/aprove05.xml	timeout (wallclock)	MAYBE 33.19/11.80
Secret_07_TRS/secret1.xml	YES 4.43/1.87	YES 19.51/5.95
Strategy_removed_CSR_05/Ex8_BLR02.xml	NO 4.24/1.87	NO 0.31/0.32
Strategy_removed_CSR_05/Ex4_4_Luc96b.xml	NO 3.85/1.78	NO 0.30/0.36
Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml	NO 4.91/2.61	NO 0.30/0.31
Strategy_removed_CSR_05/Ex6_GM04.xml	NO 5.54/2.24	NO 0.30/0.31
Strategy_removed_CSR_05/Ex6_9_Luc02c.xml	NO 6.20/2.45	NO 0.31/0.31
Strategy_removed_CSR_05/Ex1_Zan97.xml	NO 11.27/3.62	NO 0.48/0.37
Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml	NO 6.56/2.58	NO 0.31/0.31
Strategy_removed_CSR_05/Ex1_GM03.xml	NO 3.98/1.84	NO 0.31/0.32
Strategy_removed_CSR_05/Ex7_BLR02.xml	NO 6.61/2.58	NO 0.31/0.31
Strategy_removed_CSR_05/Ex6_15_AEL02.xml	NO 6.93/2.73	NO 0.33/0.33
Strategy_removed_CSR_05/ExIntrod_GM99.xml	NO 7.31/2.72	NO 0.32/0.32
Strategy_removed_CSR_05/ExAppendixB_AEL03.xml	NO 6.77/2.70	NO 0.32/0.32
Strategy_removed_CSR_05/Ex3_2_Luc97.xml	NO 6.56/2.56	NO 0.31/0.31
Strategy_removed_CSR_05/Ex1_GM99.xml	NO 3.89/1.80	NO 0.45/0.37
Strategy_removed_CSR_05/Ex15_Luc98.xml	NO 6.84/3.33	NO 0.31/0.32
Strategy_removed_CSR_05/Ex4_Zan97.xml	NO 5.15/2.19	StarExec error
Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml	NO 6.91/2.61	NO 0.31/0.32
Strategy_removed_CSR_05/Ex5_7_Luc97.xml	NO 6.24/2.59	NO 0.32/0.33
Strategy_removed_CSR_05/Ex14_AEGL02.xml	NO 6.44/2.57	NO 0.31/0.31
Strategy_removed_CSR_05/Ex49_GM04.xml	YES 3.83/1.76	YES 3.71/1.32
Strategy_removed_CSR_05/Ex6_Luc98.xml	NO 6.69/2.62	StarExec error
Strategy_removed_CSR_05/ExConc_Zan97.xml	NO 3.13/1.46	NO 0.31/0.31
Strategy_removed_CSR_05/ExIntrod_GM01.xml	NO 5.80/2.34	NO 0.31/0.32
Strategy_removed_CSR_05/ExIntrod_GM04.xml	NO 5.42/2.25	NO 0.31/0.32
Strategy_removed_CSR_05/Ex3_12_Luc96a.xml	NO 6.50/2.56	NO 0.31/0.31
Strategy_removed_CSR_05/Ex2_Luc03b.xml	NO 6.41/3.22	NO 0.31/0.31
Strategy_removed_CSR_05/Ex1_GL02a.xml	NO 6.47/2.55	NO 0.31/0.32
Strategy_removed_CSR_05/Ex26_Luc03b.xml	NO 6.70/2.64	StarExec error
Strategy_removed_CSR_05/Ex9_BLR02.xml	NO 6.54/2.54	NO 0.31/0.31
Strategy_removed_CSR_05/Ex24_GM04.xml	NO 3.81/1.85	MAYBE 1.04/0.53
Strategy_removed_CSR_05/Ex5_Zan97.xml	NO 5.98/2.52	NO 0.31/0.31
Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml	NO 6.64/2.59	NO 0.54/0.39
Strategy_removed_CSR_05/Ex1_Luc02b.xml	NO 6.46/2.55	NO 0.31/0.32
Strategy_removed_CSR_05/Ex1_2_Luc02c.xml	NO 6.03/2.38	NO 0.31/0.31
Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml	NO 6.46/2.60	NO 0.33/0.33
Strategy_removed_CSR_05/ExIntrod_Zan97.xml	NO 6.14/2.53	NO 0.32/0.32
Strategy_removed_CSR_05/Ex1_2_AEL03.xml	NO 6.62/2.61	NO 0.32/0.32
Strategy_removed_AG01/#4.4.xml	NO 4.02/1.81	NO 0.42/0.36
Strategy_removed_AG01/#4.19.xml	MAYBE 827.30/299.30	MAYBE 20.78/7.33
Strategy_removed_AG01/#4.18.xml	NO 3.05/1.49	NO 1.81/0.71
Strategy_removed_AG01/#4.13.xml	NO 5.58/2.38	MAYBE 7.99/7.32
Strategy_removed_AG01/#4.27.xml	YES 3.82/1.75	YES 4.24/1.39
Strategy_removed_AG01/#4.17.xml	NO 4.58/2.13	NO 0.48/0.38
Strategy_removed_AG01/#4.22.xml	YES 3.72/2.37	YES 1.81/0.75
Strategy_removed_AG01/#4.36.xml	YES 6.23/2.43	YES 10.07/3.07
Strategy_removed_AG01/#4.37.xml	YES 3.80/1.71	YES 1.83/0.73
Strategy_removed_AG01/#4.20a.xml	YES 4.32/1.78	YES 0.94/0.51
Strategy_removed_AG01/#4.30b.xml	YES 9.21/5.22	MAYBE 31.57/8.80
Strategy_removed_AG01/#4.33.xml	StarExec error	YES 5.13/1.58
Strategy_removed_AG01/#4.26.xml	YES 4.37/1.94	YES 3.44/1.17
Strategy_removed_AG01/#4.35.xml	YES 5.43/2.12	YES 13.47/4.04
Strategy_removed_AG01/#4.16.xml	NO 4.09/1.98	NO 0.55/0.40
Strategy_removed_AG01/#4.15.xml	NO 4.46/1.91	NO 0.57/0.41
Strategy_removed_AG01/#4.14.xml	NO 3.98/1.83	NO 0.40/0.36
Strategy_removed_AG01/#4.23.xml	YES 4.27/1.89	YES 3.32/1.13
Strategy_removed_AG01/#4.32.xml	YES 3.67/1.69	YES 1.91/0.75
Strategy_removed_AG01/#4.28.xml	YES 6.53/2.46	YES 3.22/1.08
Strategy_removed_AG01/#4.25.xml	YES 3.73/1.65	MAYBE 1.17/0.58
Strategy_removed_AG01/#4.21.xml	YES 4.05/1.76	YES 1.24/0.57
Strategy_removed_AG01/#4.30a.xml	YES 4.24/1.89	MAYBE 12.64/7.34
Strategy_removed_AG01/#4.3.xml	NO 3.89/1.79	MAYBE 8.10/7.33
Strategy_removed_AG01/#4.20.xml	YES 4.46/1.91	YES 0.62/0.42
Strategy_removed_AG01/#4.30.xml	YES 6.66/3.03	MAYBE 20.82/7.33
Strategy_removed_AG01/#4.29.xml	YES 4.98/2.09	YES 7.51/2.23
Strategy_removed_AG01/#4.34.xml	YES 4.14/1.83	YES 6.04/1.82
Strategy_removed_AG01/#4.37a.xml	YES 3.93/1.75	YES 2.06/0.86
Strategy_removed_AG01/#4.30c.xml	YES 12.31/6.67	MAYBE 61.73/22.10
Strategy_removed_AG01/#4.2.xml	NO 4.54/2.12	NO 0.45/0.37
Strategy_removed_AG01/#4.12a.xml	NO 4.15/1.82	NO 0.43/0.37
Strategy_removed_AG01/#4.7.xml	NO 3.94/1.93	NO 0.42/0.36
Rubio_04/lindau.xml	YES 3.71/1.69	YES 1.17/0.55
Rubio_04/division.xml	YES 4.40/1.87	YES 4.69/1.47
Rubio_04/gmnp.xml	YES 3.61/1.62	YES 1.88/0.76
Rubio_04/gm.xml	YES 3.79/1.71	YES 3.03/1.07
Rubio_04/selsort.xml	YES 5.60/2.28	YES 11.18/3.33
Rubio_04/enno.xml	YES 4.98/2.13	YES 6.48/2.02
Rubio_04/bn129.xml	StarExec error	YES 0.52/0.38
Rubio_04/quotminus.xml	YES 4.07/1.84	YES 4.41/1.46
Rubio_04/prov.xml	YES 3.54/1.69	YES 1.45/0.69
Rubio_04/p266.xml	YES 3.54/1.58	YES 3.93/1.26
Rubio_04/bintrees.xml	YES 3.83/1.74	YES 0.49/0.38
Rubio_04/nestrec.xml	YES 6.81/2.59	YES 2.73/0.95
Rubio_04/ma96.xml	YES 5.54/2.25	YES 14.70/4.37
Rubio_04/logarquot.xml	YES 3.94/1.80	YES 4.97/1.66
Rubio_04/test829.xml	YES 3.65/1.68	YES 1.48/0.63
Rubio_04/elimdupl.xml	YES 4.48/1.99	YES 4.45/1.47
Rubio_04/koen.xml	YES 3.18/1.53	YES 0.44/0.37
Rubio_04/mfp90b.xml	YES 3.28/1.58	YES 0.43/0.36
Rubio_04/polo2.xml	YES 4.01/1.78	StarExec error
Rubio_04/mfp95.xml	YES 3.41/1.54	YES 0.76/0.44
Rubio_04/gcd.xml	YES 4.69/2.03	YES 4.39/1.49
Rubio_04/test4.xml	YES 4.15/1.90	YES 0.99/0.52
Rubio_04/lescanne.xml	YES 3.50/1.63	YES 0.51/0.38
Rubio_04/aoto.xml	YES 4.39/1.77	YES 2.54/0.90
Rubio_04/bn122.xml	YES 3.58/1.63	YES 1.74/0.69
Rubio_04/revlist.xml	YES 4.80/2.14	YES 4.13/1.37
Rubio_04/quick.xml	YES 5.39/2.21	YES 9.95/2.95
Rubio_04/wst99.xml	YES 8.38/3.01	YES 20.24/5.73
MNZ_10/0.xml	YES 91.02/27.28	YES 90.37/23.17
MNZ_10/3.xml	YES 71.95/20.27	YES 35.54/9.42
MNZ_10/7.xml	MAYBE 473.70/291.53	MAYBE 131.41/42.34
MNZ_10/1.xml	YES 47.31/17.02	YES 23.18/6.28
MNZ_10/5.xml	timeout (wallclock)	MAYBE 131.62/42.35
MNZ_10/nrvsq.xml	YES 91.60/31.23	MAYBE 134.20/42.42
MNZ_10/2.xml	StarExec error	YES 26.03/6.96
MNZ_10/8.xml	YES 92.55/29.48	YES 31.75/8.46
MNZ_10/nvsr.xml	YES 409.50/205.81	MAYBE 131.87/42.34
MNZ_10/labelled.xml	YES 47.16/40.79	MAYBE 125.98/47.00
MNZ_10/6.xml	timeout (wallclock)	MAYBE 131.54/42.35
MNZ_10/9.xml	YES 436.79/235.30	MAYBE 131.45/42.35
MNZ_10/4.xml	MAYBE 589.51/292.52	MAYBE 131.64/42.35
Secret_06_TRS/gen-25.xml	YES 38.56/16.35	YES 17.39/4.78
Secret_06_TRS/10.xml	YES 11.41/3.98	YES 6.86/3.06
Secret_06_TRS/division.xml	YES 8.21/3.39	MAYBE 24.37/7.33
Secret_06_TRS/gen-28.xml	YES 29.52/14.26	YES 3.49/1.25
Secret_06_TRS/cime1.xml	MAYBE 799.56/294.36	MAYBE 46.41/16.84
Secret_06_TRS/tpa10.xml	YES 5.12/2.20	MAYBE 70.73/25.45
Secret_06_TRS/3.xml	MAYBE 768.11/291.50	MAYBE 131.89/42.34
Secret_06_TRS/7.xml	YES 6.64/2.59	YES 2.53/0.90
Secret_06_TRS/tpa07.xml	MAYBE 440.69/291.51	MAYBE 50.55/18.04
Secret_06_TRS/gen-9.xml	YES 5.05/2.15	YES 6.37/1.95
Secret_06_TRS/tpa02.xml	MAYBE 15.51/5.69	MAYBE 12.16/7.32
Secret_06_TRS/tpa04.xml	MAYBE 688.30/292.26	MAYBE 130.04/42.34
Secret_06_TRS/tpa09.xml	MAYBE 536.35/291.58	MAYBE 48.07/15.89
Secret_06_TRS/gen-17.xml	YES 3.92/1.74	YES 21.24/5.60
Secret_06_TRS/toList.xml	YES 13.78/5.62	MAYBE 105.05/42.35
Secret_06_TRS/reverse.xml	YES 6.26/2.50	YES 9.19/2.99
Secret_06_TRS/gen-18.xml	YES 26.98/13.11	YES 14.31/5.28
Secret_06_TRS/5.xml	YES 4.52/1.99	YES 24.64/7.12
Secret_06_TRS/tpa06.xml	MAYBE 904.08/291.55	MAYBE 135.54/42.35
Secret_06_TRS/times.xml	timeout (wallclock)	MAYBE 35.57/11.77
Secret_06_TRS/logarithm.xml	MAYBE 643.23/292.72	MAYBE 128.19/42.35
Secret_06_TRS/tpa01.xml	MAYBE 6.08/2.53	MAYBE 6.09/2.29
Secret_06_TRS/2.xml	YES 34.35/12.01	YES 5.29/1.60
Secret_06_TRS/double.xml	YES 5.80/2.27	MAYBE 27.96/8.42
Secret_06_TRS/gen-22.xml	YES 5.90/2.39	YES 12.52/3.55
Secret_06_TRS/nrOfNodes.xml	YES 8.93/4.26	MAYBE 51.05/16.95
Secret_06_TRS/8.xml	StarExec error	YES 2.32/0.86
Secret_06_TRS/divExp.xml	YES 4.40/2.00	MAYBE 10.83/7.41
Secret_06_TRS/gen-10.xml	YES 5.63/2.21	YES 3.33/1.19
Secret_06_TRS/tpa03.xml	MAYBE 17.89/8.31	MAYBE 12.21/7.32
Secret_06_TRS/tpa05.xml	StarExec error	MAYBE 62.61/23.58
Secret_06_TRS/gen-15.xml	YES 4.95/2.02	YES 8.63/2.58
Secret_06_TRS/6.xml	YES 7.09/2.82	YES 1.73/0.70
Secret_06_TRS/9.xml	YES 5.49/2.71	YES 2.70/0.95
Secret_06_TRS/4.xml	YES 5.34/2.23	YES 2.19/0.82
Secret_06_TRS/sumList.xml	YES 7.97/3.59	YES 23.81/6.45
Secret_06_TRS/tpa08.xml	StarExec error	MAYBE 55.85/19.42
Secret_06_TRS/addList.xml	YES 10.07/4.86	YES 35.51/9.56
Secret_06_TRS/gen-1.xml	YES 5.20/2.16	YES 2.48/0.90
Secret_06_TRS/gen-14.xml	YES 4.96/2.06	YES 8.71/2.66
Secret_05_TRS/teparla2.xml	YES 8.80/3.15	MAYBE 58.52/18.08
Secret_05_TRS/tpa4.xml	MAYBE 413.87/291.55	StarExec error
Secret_05_TRS/tpa2.xml	YES 4.71/2.40	YES 5.51/1.68
Secret_05_TRS/cime1.xml	timeout (wallclock)	StarExec error
Secret_05_TRS/aprove2.xml	YES 7.98/3.19	MAYBE 39.00/13.27
Secret_05_TRS/cime2.xml	YES 30.97/13.86	MAYBE 37.75/12.07
Secret_05_TRS/matchbox1.xml	YES 4.70/2.08	MAYBE 4.12/1.70
Secret_05_TRS/aprove3.xml	YES 7.78/2.95	MAYBE 28.32/9.51
Secret_05_TRS/aprove1.xml	YES 6.18/2.40	MAYBE 128.73/42.35
Secret_05_TRS/teparla1.xml	YES 3.84/1.78	MAYBE 118.38/42.33
Secret_05_TRS/tpa5.xml	MAYBE 642.50/291.50	MAYBE 129.11/42.34
Secret_05_TRS/tpa3.xml	MAYBE 386.86/292.49	MAYBE 43.92/16.11
Secret_05_TRS/cime5.xml	YES 17.71/5.55	YES 34.13/9.09
Secret_05_TRS/ttt1.xml	NO 4.67/1.93	NO 1.12/0.54
Secret_05_TRS/teparla3.xml	MAYBE 303.50/291.46	MAYBE 42.65/16.00
Secret_05_TRS/aprove4.xml	YES 5.41/2.34	MAYBE 29.73/10.46
Secret_05_TRS/tpa1.xml	YES 4.39/1.94	MAYBE 70.21/23.14
Secret_05_TRS/aprove5.xml	YES 5.21/2.13	MAYBE 26.62/7.66
Secret_05_TRS/ttt2.xml	NO 4.09/1.95	NO 0.41/0.36
Secret_05_TRS/cime3.xml	MAYBE 932.41/294.72	MAYBE 80.68/28.87
Secret_05_TRS/matchbox2.xml	YES 3.96/1.79	YES 1.53/0.75
Secret_05_TRS/cime4.xml	NO 4.07/1.82	MAYBE 2.00/0.87
Zantema_05/jw44.xml	YES 3.62/2.16	YES 0.87/0.46
Zantema_05/jw33.xml	YES 3.87/1.79	YES 1.52/0.73
Zantema_05/jw34.xml	YES 6.43/2.53	YES 1.19/0.61
Zantema_05/z22.xml	YES 35.98/15.71	MAYBE 130.66/42.33
Zantema_05/z16.xml	MAYBE 864.94/292.55	MAYBE 103.04/42.33
Zantema_05/z30.xml	MAYBE 544.30/295.78	YES 10.54/4.10
Zantema_05/jw27.xml	YES 5.53/2.46	YES 1.83/0.92
Zantema_05/z28.xml	YES 5.48/2.31	MAYBE 45.90/13.36
Zantema_05/jw01.xml	YES 3.82/1.73	YES 1.48/0.74
Zantema_05/jw02.xml	YES 3.93/1.89	YES 2.53/1.28
Zantema_05/jw12.xml	YES 3.64/1.68	YES 2.49/1.01
Zantema_05/jw32.xml	YES 5.65/2.61	YES 1.58/0.76
Zantema_05/jw08.xml	YES 4.07/3.73	YES 1.81/0.93
Zantema_05/z19.xml	YES 36.14/17.80	MAYBE 90.51/42.34
Zantema_05/z06.xml	YES 3.98/1.81	YES 2.69/0.97
Zantema_05/jw38.xml	YES 3.67/1.72	YES 1.68/0.75
Zantema_05/z11.xml	YES 4.44/1.99	MAYBE 15.58/7.33
Zantema_05/jw39.xml	YES 4.12/1.86	YES 1.81/0.79
Zantema_05/jw05.xml	YES 5.41/2.35	YES 2.08/0.98
Zantema_05/jw06.xml	YES 3.92/1.84	YES 1.30/0.71
Zantema_05/z05.xml	YES 12.52/4.19	MAYBE 36.05/10.21
Zantema_05/jw15.xml	YES 3.85/1.75	YES 1.14/0.61
Zantema_05/jw16.xml	YES 3.83/1.73	YES 1.45/0.77
Zantema_05/jw11.xml	YES 3.67/1.74	StarExec error
Zantema_05/z29.xml	YES 4.20/1.88	YES 5.68/1.72
Zantema_05/jw26.xml	YES 4.00/1.86	YES 1.12/0.59
Zantema_05/z02.xml	StarExec error	YES 2.34/0.92
Zantema_05/z09.xml	MAYBE 372.50/291.50	MAYBE 26.63/8.12
Zantema_05/jw47.xml	YES 3.47/1.60	YES 0.56/0.39
Zantema_05/jw31.xml	YES 3.95/2.60	YES 1.43/0.69
Zantema_05/z08.xml	YES 5.76/2.38	YES 2.69/0.97
Zantema_05/jw09.xml	YES 3.89/1.84	YES 1.24/0.61
Zantema_05/jw22.xml	YES 3.82/1.82	YES 1.97/0.99
Zantema_05/z21.xml	YES 39.59/16.63	MAYBE 135.65/42.34
Zantema_05/jw50.xml	YES 3.70/1.70	YES 0.56/0.40
Zantema_05/z07.xml	YES 5.36/2.20	MAYBE 11.27/7.33
Zantema_05/z03.xml	YES 7.39/2.77	MAYBE 11.95/7.33
Zantema_05/jw25.xml	YES 4.11/1.87	YES 1.13/0.60
Zantema_05/jw20.xml	YES 3.80/1.71	YES 1.11/0.61
Zantema_05/jw13.xml	YES 3.94/1.78	YES 1.56/0.67
Zantema_05/z10.xml	timeout (wallclock)	MAYBE 39.55/13.83
Zantema_05/jw42.xml	YES 3.92/1.80	YES 1.27/0.68
Zantema_05/jw29.xml	YES 4.01/1.81	YES 1.08/0.60
Zantema_05/jw07.xml	YES 3.80/1.76	YES 1.58/0.78
Zantema_05/jw41.xml	YES 7.78/3.19	YES 1.87/0.90
Zantema_05/jw35.xml	YES 3.64/1.73	YES 1.06/0.52
Zantema_05/z13.xml	timeout (wallclock)	MAYBE 92.23/32.48
Zantema_05/z20.xml	MAYBE 636.42/291.95	MAYBE 73.66/22.80
Zantema_05/z17.xml	MAYBE 581.57/297.11	MAYBE 123.84/42.33
Zantema_05/jw43.xml	YES 3.73/1.74	YES 0.59/0.40
Zantema_05/z26.xml	YES 7.75/2.89	YES 1.56/0.65
Zantema_05/z01.xml	YES 194.62/63.93	YES 5.73/2.04
Zantema_05/jw24.xml	YES 3.90/1.76	YES 1.27/0.65
Zantema_05/z27.xml	YES 26.78/13.45	MAYBE 9.40/7.33
Zantema_05/jw28.xml	YES 3.57/1.70	YES 1.33/0.69
Zantema_05/jw03.xml	YES 3.83/2.86	YES 1.05/0.58
Zantema_05/jw23.xml	YES 3.72/1.72	YES 1.25/0.64
Zantema_05/jw19.xml	YES 3.74/1.78	YES 1.44/0.70
Zantema_05/jw18.xml	YES 3.96/1.81	YES 1.34/0.67
Zantema_05/jw37.xml	YES 7.22/3.31	YES 2.41/0.95
Zantema_05/jw40.xml	YES 3.84/1.78	YES 1.27/0.66
Zantema_05/z04.xml	YES 3.56/1.65	YES 1.41/0.63
Zantema_05/jw30.xml	YES 7.01/5.08	YES 1.39/0.69
Zantema_05/jw14.xml	YES 3.56/1.66	YES 0.95/0.49
Zantema_05/z23.xml	MAYBE 626.86/299.93	MAYBE 144.48/42.34
Zantema_05/jw36.xml	YES 3.96/1.77	YES 2.00/0.78
Zantema_05/jw04.xml	YES 4.04/1.93	YES 1.08/0.58
Zantema_05/z12.xml	timeout (wallclock)	MAYBE 124.33/42.33
Zantema_05/z15.xml	MAYBE 725.97/295.47	MAYBE 99.69/42.34
Zantema_05/z14.xml	MAYBE 811.58/291.50	MAYBE 101.67/42.33
Zantema_05/z24.xml	MAYBE 726.96/294.96	MAYBE 126.49/42.35
Zantema_05/z25.xml	YES 3.80/1.68	MAYBE 34.26/11.41
Zantema_05/jw21.xml	YES 3.96/1.82	YES 1.48/0.79
Zantema_05/jw17.xml	StarExec error	YES 2.04/0.95
Zantema_05/z18.xml	MAYBE 561.03/293.78	MAYBE 100.01/42.33
Waldmann_06/jwtpa2.xml	YES 5.67/2.18	YES 6.34/1.94
Waldmann_06/jwno4.xml	NO 5.49/2.61	NO 0.43/0.37
Waldmann_06/jwno2.xml	MAYBE 429.06/291.49	MAYBE 21.87/7.32
Waldmann_06/jwteparla2.xml	YES 9.49/3.91	MAYBE 23.67/7.33
Waldmann_06/jwmatchb2.xml	YES 27.59/13.93	YES 3.00/1.10
Waldmann_06/jwaprove1.xml	YES 13.26/4.41	MAYBE 124.37/42.34
Waldmann_06/jwtpa1.xml	YES 13.44/4.30	YES 1.98/0.79
Waldmann_06/jwno6.xml	NO 4.92/2.16	NO 0.48/0.38
Waldmann_06/jwno9.xml	NO 6.17/2.50	NO 0.52/0.40
Waldmann_06/jwno7.xml	MAYBE 385.27/291.48	MAYBE 25.25/7.32
Waldmann_06/jwcime2.xml	YES 4.73/2.10	YES 2.00/0.83
Waldmann_06/jwno5.xml	MAYBE 385.61/291.48	MAYBE 20.66/7.33
Waldmann_06/jwno3.xml	MAYBE 379.98/291.48	MAYBE 27.50/7.91
Waldmann_06/jwaprove2.xml	YES 13.42/4.46	MAYBE 126.67/42.33
Waldmann_06/jwmatchb1.xml	YES 33.98/18.13	StarExec error
Waldmann_06/jwcime1.xml	YES 9.24/3.39	MAYBE 38.55/11.33
Waldmann_06/jwttt.xml	YES 5.00/2.19	YES 5.82/1.75
Waldmann_06/jwno8.xml	MAYBE 606.58/291.49	MAYBE 24.43/7.37
Waldmann_06/jwteparla1.xml	YES 4.94/2.09	MAYBE 18.49/7.32
Waldmann_06/jwno1.xml	NO 5.81/2.48	NO 0.56/0.40
Zantema_15/delta.xml	MAYBE 354.83/292.44	MAYBE 11.32/7.33
Zantema_15/ex08.xml	MAYBE 1158.84/291.48	MAYBE 144.63/42.33
Zantema_15/ex07.xml	MAYBE 607.23/291.45	MAYBE 144.41/42.33
Zantema_15/ex13.xml	MAYBE 320.45/291.86	MAYBE 23.35/7.58
Zantema_15/ex06.xml	timeout (wallclock)	MAYBE 234.06/67.38
Zantema_15/ex12.xml	MAYBE 613.63/291.45	MAYBE 19.55/7.32
Zantema_15/ex14.xml	MAYBE 619.38/291.46	MAYBE 8.59/7.32
Zantema_15/ex11.xml	MAYBE 337.70/291.79	MAYBE 17.13/7.33
Zantema_15/ex01.xml	NO 5.32/2.07	MAYBE 233.14/67.35
Zantema_15/ex05.xml	timeout (wallclock)	MAYBE 130.48/42.33
Zantema_15/ex09.xml	MAYBE 611.36/291.81	MAYBE 144.63/42.33
Zantema_15/ex04.xml	NO 17.02/5.11	MAYBE 232.44/67.34
Zantema_15/ex03.xml	timeout (cpu)	MAYBE 233.44/67.35
Zantema_15/ex02.xml	MAYBE 1162.91/291.83	MAYBE 233.22/67.35
Zantema_15/ex10.xml	MAYBE 599.34/291.44	StarExec error
Zantema_15/s.xml	MAYBE 387.81/291.49	MAYBE 14.95/7.33
TCT_12/recursion-10.xml	YES 4.41/1.84	YES 10.88/3.33
TCT_12/polycounter-10.xml	YES 5.14/2.46	YES 2.46/1.07
TCT_12/recursion-5.xml	YES 3.71/1.71	YES 5.70/1.86
TCT_12/polycounter-5.xml	YES 3.99/1.83	YES 1.27/0.57
TCT_12/sat.xml	YES 3.96/1.79	YES 6.63/2.06
Strategy_removed_mixed_05/ex3.xml	NO 10.17/3.33	NO 0.31/0.31
Strategy_removed_mixed_05/test9.xml	NO 4.25/1.89	NO 0.52/0.39
Strategy_removed_mixed_05/gkg.xml	NO 3.98/1.86	NO 0.41/0.36
Strategy_removed_mixed_05/toyama.xml	NO 3.83/1.72	MAYBE 7.98/7.33
Strategy_removed_mixed_05/test10.xml	NO 13.00/8.49	NO 0.43/0.36
Strategy_removed_mixed_05/test77.xml	NO 14.19/5.66	MAYBE 11.38/7.33
Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml	NO 6.63/2.69	NO 0.33/0.33
Strategy_removed_mixed_05/n001.xml	NO 3.19/1.51	NO 2.31/0.84
Strategy_removed_mixed_05/ex5.xml	NO 6.30/2.31	NO 0.31/0.31
Strategy_removed_mixed_05/test75.xml	NO 4.14/1.91	StarExec error
Strategy_removed_mixed_05/ex6.xml	NO 4.63/2.05	NO 0.43/0.36
Strategy_removed_mixed_05/ex1.xml	NO 8.59/2.99	NO 0.31/0.31
Strategy_removed_mixed_05/muladd.xml	NO 4.21/1.85	NO 0.43/0.37
Strategy_removed_mixed_05/test830.xml	YES 3.84/1.84	YES 1.85/0.74
Strategy_removed_mixed_05/bn111.xml	YES 27.50/13.63	StarExec error
Strategy_removed_mixed_05/tricky1.xml	YES 3.68/1.85	YES 2.20/0.88
Strategy_removed_mixed_05/ex2.xml	NO 6.15/2.45	NO 0.31/0.32
Strategy_removed_mixed_05/test76.xml	NO 6.49/2.55	MAYBE 11.41/7.33
Strategy_removed_mixed_05/ex4.xml	NO 15.57/4.64	NO 0.46/0.38
Various_04/05.xml	MAYBE 641.41/292.32	MAYBE 10.81/7.34
Various_04/03.xml	YES 3.47/4.54	YES 0.83/0.49
Various_04/12.xml	YES 3.94/1.79	YES 8.71/2.59
Various_04/10.xml	YES 5.12/2.16	YES 14.41/4.14
Various_04/27.xml	YES 3.31/1.53	YES 0.48/0.38
Various_04/06.xml	YES 4.12/1.81	StarExec error
Various_04/02.xml	YES 3.77/1.72	YES 0.53/0.38
Various_04/14.xml	YES 9.07/3.58	YES 30.37/8.16
Various_04/13.xml	YES 4.01/1.85	YES 11.90/3.43
Various_04/25.xml	YES 3.52/1.66	YES 0.60/0.42
Various_04/04.xml	MAYBE 766.97/292.79	MAYBE 11.27/7.36
Various_04/08.xml	MAYBE 898.76/300.30	MAYBE 15.26/7.36
Various_04/23.xml	YES 3.77/1.74	YES 2.87/1.00
Various_04/19.xml	YES 3.71/1.72	StarExec error
Various_04/09.xml	YES 4.19/1.82	YES 0.98/0.50
Various_04/11.xml	YES 3.98/1.87	MAYBE 9.50/7.33
Various_04/07.xml	YES 3.90/1.73	YES 0.40/0.35
Various_04/18.xml	YES 3.57/1.65	YES 0.55/0.41
Various_04/21.xml	YES 3.81/1.69	YES 0.63/0.44
Various_04/24.xml	YES 4.23/1.80	YES 5.29/1.59
Various_04/26.xml	YES 3.85/1.73	YES 1.88/0.76
Various_04/15.xml	YES 6.40/2.44	YES 14.28/5.52
Various_04/22.xml	YES 3.52/1.64	YES 1.65/0.70
Transformed_CSR_04/OvConsOS_complete_L.xml	NO 3.17/1.47	NO 0.33/0.33
Transformed_CSR_04/OvConsOS_nosorts_GM.xml	NO 13.27/6.17	NO 0.69/0.44
Transformed_CSR_04/MYNAT_nosorts_noand_C.xml	YES 8.17/2.94	MAYBE 145.39/42.39
Transformed_CSR_04/OvConsOS_complete-noand_Z.xml	NO 883.20/240.28	MAYBE 147.01/42.43
Transformed_CSR_04/MYNAT_complete_GM.xml	YES 6.45/2.62	MAYBE 144.66/42.40
Transformed_CSR_04/ExIntrod_GM04_GM.xml	YES 5.77/2.29	YES 14.56/4.06
Transformed_CSR_04/Ex25_Luc06_Z.xml	YES 5.47/2.06	YES 1.08/0.53
Transformed_CSR_04/PALINDROME_complete_C.xml	YES 12.51/4.36	YES 47.38/13.43
Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml	YES 6.46/2.80	YES 19.16/5.19
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml	YES 4.58/1.95	YES 4.11/1.32
Transformed_CSR_04/Ex1_Zan97_FR.xml	NO 8.16/2.82	NO 0.43/0.37
Transformed_CSR_04/MYNAT_complete_iGM.xml	YES 8.76/3.16	MAYBE 147.68/42.46
Transformed_CSR_04/PEANO_nokinds_FR.xml	YES 4.03/1.86	YES 22.15/6.04
Transformed_CSR_04/ExConc_Zan97_C.xml	YES 15.04/4.57	YES 0.89/0.49
Transformed_CSR_04/Ex9_Luc04_iGM.xml	NO 271.43/106.67	MAYBE 108.04/42.33
Transformed_CSR_04/Ex24_Luc06_C.xml	YES 65.39/25.60	YES 29.38/7.71
Transformed_CSR_04/Ex9_Luc04_FR.xml	NO 4.03/1.85	NO 0.40/0.36
Transformed_CSR_04/Ex2_Luc02a_Z.xml	YES 3.73/1.71	YES 6.48/2.04
Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml	YES 10.51/3.54	YES 10.42/2.94
Transformed_CSR_04/Ex4_7_37_Bor03_C.xml	timeout (wallclock)	MAYBE 145.63/42.40
Transformed_CSR_04/Ex24_Luc06_GM.xml	NO 4.43/1.90	NO 0.46/0.38
Transformed_CSR_04/ExProp7_Luc06_iGM.xml	YES 11.03/3.83	YES 12.76/3.53
Transformed_CSR_04/Ex4_7_15_Bor03_L.xml	StarExec error	YES 0.80/0.49
Transformed_CSR_04/Ex23_Luc06_FR.xml	YES 6.26/2.38	YES 0.66/0.42
Transformed_CSR_04/MYNAT_nokinds_noand_C.xml	timeout (wallclock)	MAYBE 147.57/42.44
Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml	YES 14.03/4.62	MAYBE 138.58/42.38
Transformed_CSR_04/Ex7_BLR02_FR.xml	StarExec error	YES 10.54/3.36
Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml	YES 4.17/1.89	YES 8.60/2.48
Transformed_CSR_04/ExProp7_Luc06_GM.xml	YES 4.78/2.05	YES 5.00/1.57
Transformed_CSR_04/Ex14_Luc06_FR.xml	NO 5.04/2.22	NO 0.48/0.37
Transformed_CSR_04/Ex9_Luc04_C.xml	MAYBE 875.18/291.57	MAYBE 144.77/42.34
Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml	timeout (wallclock)	StarExec error
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml	MAYBE 956.72/297.38	MAYBE 145.55/42.42
Transformed_CSR_04/Ex23_Luc06_C.xml	YES 10.94/3.93	YES 1.99/0.77
Transformed_CSR_04/Ex24_GM04_GM.xml	NO 35.39/23.00	MAYBE 8.75/7.33
Transformed_CSR_04/PEANO_complete-noand_Z.xml	YES 25.13/7.88	YES 63.81/16.88
Transformed_CSR_04/Ex1_Luc02b_GM.xml	timeout (wallclock)	MAYBE 133.86/42.34
Transformed_CSR_04/ExAppendixB_AEL03_Z.xml	YES 4.39/1.95	YES 14.62/5.84
Transformed_CSR_04/PALINDROME_nokinds_C.xml	YES 8.23/2.80	YES 28.56/7.92
Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml	MAYBE 742.80/292.32	MAYBE 145.93/42.43
Transformed_CSR_04/Ex1_GM99_iGM.xml	NO 11.82/5.29	MAYBE 111.59/42.34
Transformed_CSR_04/Ex3_12_Luc96a_GM.xml	MAYBE 857.68/292.48	MAYBE 129.42/42.34
Transformed_CSR_04/Ex3_2_Luc97_Z.xml	MAYBE 562.31/291.92	MAYBE 125.46/42.36
Transformed_CSR_04/PEANO_nosorts-noand_FR.xml	YES 3.32/1.54	YES 0.67/0.42
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml	YES 70.04/20.37	StarExec error
Transformed_CSR_04/Ex4_7_37_Bor03_L.xml	NO 3.05/1.46	NO 0.32/0.32
Transformed_CSR_04/Ex14_AEGL02_C.xml	YES 125.12/39.43	YES 49.64/12.95
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml	NO 5.54/2.33	NO 0.50/0.39
Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml	NO 2.99/1.75	NO 0.32/0.32
Transformed_CSR_04/OvConsOS_complete-noand_FR.xml	NO 354.74/90.50	MAYBE 148.62/42.44
Transformed_CSR_04/PALINDROME_complete-noand_L.xml	NO 78.71/22.91	NO 0.34/0.34
Transformed_CSR_04/Ex9_Luc04_L.xml	NO 3.86/1.76	NO 0.42/0.36
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml	YES 426.27/168.94	MAYBE 147.33/42.59
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml	NO 3.09/1.46	NO 0.33/0.34
Transformed_CSR_04/PEANO_complete_L.xml	NO 3.04/1.49	NO 0.31/0.32
Transformed_CSR_04/Ex15_Luc06_FR.xml	YES 11.78/3.92	YES 1.27/0.59
Transformed_CSR_04/Ex3_2_Luc97_L.xml	StarExec error	NO 0.32/0.32
Transformed_CSR_04/Ex6_9_Luc02c_FR.xml	YES 3.85/2.05	YES 4.52/1.63
Transformed_CSR_04/OvConsOS_nokinds_C.xml	timeout (wallclock)	MAYBE 146.05/42.42
Transformed_CSR_04/MYNAT_complete_Z.xml	YES 5.23/2.25	MAYBE 140.93/42.38
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml	YES 6.15/2.55	YES 20.27/6.18
Transformed_CSR_04/PALINDROME_complete_noand_iGM.xml	YES 16.79/5.84	MAYBE 146.11/42.67
Transformed_CSR_04/Ex4_7_77_Bor03_L.xml	NO 3.05/1.46	NO 0.30/0.31
Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml	YES 3.29/1.54	YES 0.55/0.39
Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml	MAYBE 709.15/292.93	MAYBE 147.24/42.52
Transformed_CSR_04/Ex9_BLR02_GM.xml	YES 5.78/2.68	YES 24.78/6.78
Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml	timeout (wallclock)	MAYBE 90.74/43.42
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml	timeout (wallclock)	MAYBE 145.27/42.36
Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml	YES 4.00/1.82	YES 1.24/0.62
Transformed_CSR_04/PEANO_nosorts_FR.xml	YES 3.40/1.63	YES 0.45/0.36
Transformed_CSR_04/OvConsOS_nosorts_L.xml	NO 3.05/1.47	NO 0.31/0.31
Transformed_CSR_04/Ex15_Luc98_Z.xml	YES 4.10/1.81	YES 15.31/5.59
Transformed_CSR_04/Ex4_DLMMU04_C.xml	timeout (wallclock)	MAYBE 146.49/42.41
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml	MAYBE 842.84/292.07	MAYBE 148.07/42.43
Transformed_CSR_04/Ex5_7_Luc97_L.xml	NO 3.24/1.48	NO 0.32/0.33
Transformed_CSR_04/PEANO_nokinds-noand_Z.xml	YES 7.26/2.80	YES 12.96/3.69
Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml	YES 6.64/2.44	YES 26.28/7.11
Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml	YES 4.22/1.81	YES 19.96/5.74
Transformed_CSR_04/PALINDROME_complete_FR.xml	YES 5.30/2.20	YES 96.20/25.32
Transformed_CSR_04/Ex15_Luc98_GM.xml	YES 4.45/1.84	YES 6.04/1.80
Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml	timeout (wallclock)	MAYBE 144.86/42.38
Transformed_CSR_04/MYNAT_complete-noand_Z.xml	YES 46.28/12.93	MAYBE 145.75/42.40
Transformed_CSR_04/MYNAT_nosorts_FR.xml	YES 3.70/1.65	YES 2.37/0.91
Transformed_CSR_04/Ex8_BLR02_GM.xml	MAYBE 1110.08/292.03	MAYBE 132.92/42.35
Transformed_CSR_04/Ex23_Luc06_L.xml	YES 3.17/1.50	YES 0.47/0.37
Transformed_CSR_04/Ex25_Luc06_iGM.xml	YES 38.30/10.56	YES 16.99/4.56
Transformed_CSR_04/Ex1_2_Luc02c_Z.xml	YES 3.48/1.66	YES 1.73/0.72
Transformed_CSR_04/Ex15_Luc98_iGM.xml	YES 11.99/4.01	YES 24.70/6.74
Transformed_CSR_04/ExIntrod_GM01_L.xml	NO 3.20/1.47	NO 0.31/0.32
Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml	MAYBE 834.87/292.70	MAYBE 143.76/42.35
Transformed_CSR_04/Ex7_BLR02_Z.xml	YES 3.97/1.82	YES 17.42/5.71
Transformed_CSR_04/Ex26_Luc03b_FR.xml	YES 13.11/4.33	MAYBE 141.88/42.36
Transformed_CSR_04/OvConsOS_nosorts_FR.xml	NO 6.18/2.38	NO 0.45/0.37
Transformed_CSR_04/ExAppendixB_AEL03_GM.xml	YES 171.78/45.77	MAYBE 139.25/42.37
Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml	timeout (wallclock)	MAYBE 136.37/42.36
Transformed_CSR_04/Ex24_Luc06_L.xml	NO 6.02/2.23	NO 0.31/0.31
Transformed_CSR_04/Ex1_GM03_Z.xml	NO 4.48/2.00	NO 0.31/0.32
Transformed_CSR_04/ExConc_Zan97_Z.xml	NO 3.16/1.73	NO 0.31/0.32
Transformed_CSR_04/Ex49_GM04_iGM.xml	YES 11.09/3.71	YES 27.16/7.31
Transformed_CSR_04/OvConsOS_complete_noand_GM.xml	YES 37.31/11.92	MAYBE 147.43/42.50
Transformed_CSR_04/Ex24_Luc06_iGM.xml	NO 10.73/4.67	MAYBE 144.90/42.34
Transformed_CSR_04/Ex14_Luc06_iGM.xml	timeout (wallclock)	StarExec error
Transformed_CSR_04/Ex6_15_AEL02_L.xml	NO 3.07/1.46	NO 0.32/0.33
Transformed_CSR_04/Ex6_15_AEL02_FR.xml	timeout (wallclock)	MAYBE 116.22/42.36
Transformed_CSR_04/Ex3_3_25_Bor03_L.xml	YES 3.76/1.69	YES 0.43/0.36
Transformed_CSR_04/Ex1_Luc04b_C.xml	YES 7.89/2.87	YES 26.99/7.34
Transformed_CSR_04/Ex14_Luc06_L.xml	NO 9.15/3.04	NO 0.45/0.38
Transformed_CSR_04/Ex1_GM03_GM.xml	timeout (wallclock)	MAYBE 133.40/42.37
Transformed_CSR_04/Ex7_BLR02_C.xml	timeout (wallclock)	MAYBE 145.53/42.38
Transformed_CSR_04/Ex5_7_Luc97_FR.xml	MAYBE 1161.83/292.39	MAYBE 126.04/42.37
Transformed_CSR_04/ExIntrod_GM99_FR.xml	MAYBE 860.98/291.55	MAYBE 144.58/42.35
Transformed_CSR_04/ExIntrod_GM99_C.xml	MAYBE 1006.39/297.68	MAYBE 145.75/42.41
Transformed_CSR_04/Ex1_GL02a_L.xml	NO 4.63/2.02	NO 0.31/0.35
Transformed_CSR_04/Ex5_Zan97_C.xml	YES 6.29/2.35	YES 16.01/4.35
Transformed_CSR_04/Ex5_Zan97_FR.xml	YES 3.99/1.74	YES 2.38/0.89
Transformed_CSR_04/PALINDROME_nokinds_GM.xml	YES 3.85/1.73	YES 1.38/0.62
Transformed_CSR_04/Ex24_Luc06_FR.xml	NO 4.08/1.84	NO 0.41/0.36
Transformed_CSR_04/OvConsOS_complete_iGM.xml	MAYBE 895.18/291.95	MAYBE 147.24/42.51
Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.xml	MAYBE 823.05/293.67	MAYBE 148.03/42.47
Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml	YES 185.33/58.59	MAYBE 147.36/42.49
Transformed_CSR_04/PALINDROME_complete_Z.xml	YES 5.96/2.34	YES 50.67/13.55
Transformed_CSR_04/Ex14_Luc06_C.xml	timeout (wallclock)	MAYBE 144.87/42.35
Transformed_CSR_04/Ex1_GM99_FR.xml	NO 4.00/1.86	NO 0.56/0.40
Transformed_CSR_04/Ex1_GL02a_iGM.xml	YES 11.11/3.79	YES 24.56/6.61
Transformed_CSR_04/ExIntrod_Zan97_L.xml	NO 3.14/1.51	NO 0.32/0.32
Transformed_CSR_04/ExIntrod_Zan97_iGM.xml	MAYBE 859.61/291.60	MAYBE 143.62/42.39
Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml	YES 18.70/5.83	StarExec error
Transformed_CSR_04/OvConsOS_nokinds_L.xml	NO 3.05/1.48	StarExec error
Transformed_CSR_04/OvConsOS_nokinds_FR.xml	NO 351.33/89.29	MAYBE 142.46/42.38
Transformed_CSR_04/Ex6_9_Luc02c_GM.xml	YES 8.61/3.15	YES 16.82/4.86
Transformed_CSR_04/Ex3_12_Luc96a_Z.xml	YES 3.81/1.78	YES 15.57/5.50
Transformed_CSR_04/Ex49_GM04_Z.xml	YES 4.35/1.95	YES 5.84/1.91
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml	MAYBE 708.77/292.33	MAYBE 146.13/42.73
Transformed_CSR_04/ExIntrod_GM99_L.xml	NO 3.25/1.57	NO 0.32/0.32
Transformed_CSR_04/Ex26_Luc03b_Z.xml	YES 19.00/8.74	YES 31.37/9.30
Transformed_CSR_04/PEANO_nosorts_C.xml	YES 5.99/5.55	YES 23.99/6.45
Transformed_CSR_04/ExProp7_Luc06_FR.xml	YES 4.56/1.89	YES 2.35/0.87
Transformed_CSR_04/PEANO_complete_noand_GM.xml	YES 10.36/3.63	YES 88.99/24.52
Transformed_CSR_04/Ex15_Luc06_L.xml	NO 5.35/2.08	NO 0.30/0.31
Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml	NO 3.09/1.49	NO 0.31/0.31
Transformed_CSR_04/LISTUTILITIES_complete_FR.xml	MAYBE 955.32/293.19	MAYBE 148.89/42.49
Transformed_CSR_04/Ex2_Luc02a_L.xml	YES 3.65/1.67	YES 4.04/1.35
Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml	MAYBE 1128.17/292.73	MAYBE 145.16/42.39
Transformed_CSR_04/Ex1_GM03_FR.xml	MAYBE 681.13/291.51	StarExec error
Transformed_CSR_04/Ex23_Luc06_Z.xml	YES 3.72/1.60	YES 0.44/0.37
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml	YES 5.57/2.40	YES 62.16/16.13
Transformed_CSR_04/PEANO_complete-noand_L.xml	NO 3.07/1.49	NO 0.32/0.32
Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml	MAYBE 806.47/291.83	MAYBE 148.32/42.53
Transformed_CSR_04/Ex5_7_Luc97_GM.xml	MAYBE 1156.09/292.59	MAYBE 141.27/42.38
Transformed_CSR_04/Ex5_DLMMU04_C.xml	YES 12.96/4.53	MAYBE 145.34/42.40
Transformed_CSR_04/ExIntrod_GM04_Z.xml	NO 22.30/9.37	NO 3.33/1.11
Transformed_CSR_04/Ex24_GM04_Z.xml	NO 25.31/13.20	NO 2.91/1.01
Transformed_CSR_04/PALINDROME_nosorts_iGM.xml	YES 5.02/2.03	YES 20.67/5.60
Transformed_CSR_04/PEANO_nokinds_noand_C.xml	MAYBE 1023.42/296.81	MAYBE 145.56/42.39
Transformed_CSR_04/OvConsOS_nokinds_Z.xml	NO 366.92/93.89	MAYBE 142.81/42.37
Transformed_CSR_04/Ex5_Zan97_L.xml	NO 3.11/1.54	NO 0.31/0.32
Transformed_CSR_04/Ex6_Luc98_L.xml	YES 3.41/1.54	YES 0.43/0.35
Transformed_CSR_04/OvConsOS_nokinds_GM.xml	MAYBE 834.13/292.53	MAYBE 145.30/42.37
Transformed_CSR_04/Ex1_Luc04b_L.xml	NO 3.12/1.54	NO 0.31/0.31
Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml	MAYBE 667.27/292.42	MAYBE 146.03/42.78
Transformed_CSR_04/Ex3_12_Luc96a_FR.xml	YES 3.70/1.71	YES 4.57/1.64
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml	timeout (wallclock)	MAYBE 145.18/42.39
Transformed_CSR_04/PALINDROME_complete-noand_FR.xml	YES 5.76/2.44	YES 79.21/20.43
Transformed_CSR_04/Ex1_GL02a_GM.xml	YES 3.96/1.78	YES 7.28/2.33
Transformed_CSR_04/PALINDROME_nosorts_GM.xml	YES 3.51/1.64	YES 0.61/0.42
Transformed_CSR_04/ExIntrod_Zan97_FR.xml	timeout (wallclock)	MAYBE 131.55/42.35
Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml	YES 9.13/3.05	MAYBE 135.49/42.36
Transformed_CSR_04/Ex14_AEGL02_L.xml	NO 8.31/2.83	NO 0.44/0.37
Transformed_CSR_04/ExIntrod_GM01_Z.xml	NO 16.99/10.82	NO 0.76/0.45
Transformed_CSR_04/Ex2_Luc02a_C.xml	YES 10.39/3.91	YES 29.26/7.85
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml	MAYBE 1029.51/292.91	MAYBE 146.61/42.42
Transformed_CSR_04/Ex4_7_77_Bor03_C.xml	YES 5.27/2.11	StarExec error
Transformed_CSR_04/Ex1_GL02a_Z.xml	NO 52.36/18.96	MAYBE 140.48/42.35
Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml	YES 15.69/4.83	YES 10.79/3.22
Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml	YES 14.29/4.63	YES 30.99/8.49
Transformed_CSR_04/Ex6_15_AEL02_Z.xml	NO 27.21/9.68	MAYBE 106.40/42.38
Transformed_CSR_04/Ex2_Luc02a_GM.xml	YES 8.07/2.90	MAYBE 136.48/42.36
Transformed_CSR_04/Ex4_4_Luc96b_L.xml	YES 3.18/1.57	YES 0.74/0.43
Transformed_CSR_04/Ex6_9_Luc02c_L.xml	NO 3.05/1.55	NO 0.31/0.31
Transformed_CSR_04/Ex5_DLMMU04_iGM.xml	YES 18.72/5.97	YES 105.71/28.02
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml	YES 6.02/2.41	YES 18.97/5.69
Transformed_CSR_04/PEANO_complete-noand_FR.xml	YES 15.88/4.95	YES 66.88/17.90
Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml	YES 3.42/1.60	YES 0.42/0.36
Transformed_CSR_04/MYNAT_nokinds_GM.xml	YES 4.99/2.01	MAYBE 136.52/42.37
Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml	MAYBE 1132.87/294.64	MAYBE 144.92/42.39
Transformed_CSR_04/Ex1_GM99_GM.xml	NO 5.78/2.28	MAYBE 25.41/7.75
Transformed_CSR_04/PEANO_nokinds-noand_L.xml	NO 2.94/1.49	NO 0.32/0.32
Transformed_CSR_04/MYNAT_nosorts-noand_L.xml	NO 3.18/1.49	NO 0.31/0.31
Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml	YES 4.65/1.96	MAYBE 133.21/42.35
Transformed_CSR_04/Ex1_2_AEL03_iGM.xml	YES 82.46/22.60	YES 134.48/37.74
Transformed_CSR_04/Ex2_Luc03b_C.xml	YES 8.86/3.08	YES 28.02/7.81
Transformed_CSR_04/Ex1_GL02a_C.xml	YES 13.21/4.59	YES 55.96/14.68
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml	MAYBE 617.82/291.81	MAYBE 148.23/42.50
Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml	YES 7.72/2.82	MAYBE 139.90/42.35
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml	NO 71.52/21.58	MAYBE 144.89/42.36
Transformed_CSR_04/Ex2_Luc02a_iGM.xml	YES 16.43/5.13	YES 28.49/8.03
Transformed_CSR_04/Ex1_Luc02b_L.xml	NO 3.17/1.49	NO 0.31/0.31
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml	MAYBE 1066.35/291.81	MAYBE 142.21/42.37
Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml	YES 4.42/1.91	YES 4.44/1.44
Transformed_CSR_04/MYNAT_nokinds_FR.xml	YES 4.53/1.91	MAYBE 134.12/42.36
Transformed_CSR_04/Ex1_Luc04b_GM.xml	YES 6.32/2.35	YES 12.94/3.62
Transformed_CSR_04/Ex4_4_Luc96b_C.xml	YES 4.12/1.77	YES 10.07/2.84
Transformed_CSR_04/MYNAT_complete-noand_L.xml	NO 3.19/1.52	NO 0.34/0.34
Transformed_CSR_04/Ex3_2_Luc97_GM.xml	MAYBE 1002.15/292.95	MAYBE 140.20/42.34
Transformed_CSR_04/Ex25_Luc06_L.xml	YES 3.23/1.51	YES 0.41/0.36
Transformed_CSR_04/Ex16_Luc06_FR.xml	YES 3.63/1.67	YES 0.67/0.44
Transformed_CSR_04/Ex1_GM03_iGM.xml	MAYBE 806.98/291.76	MAYBE 142.56/42.38
Transformed_CSR_04/Ex4_4_Luc96b_GM.xml	YES 4.38/1.87	YES 13.55/5.53
Transformed_CSR_04/Ex4_4_Luc96b_Z.xml	NO 4.72/1.99	NO 0.41/0.36
Transformed_CSR_04/Ex6_Luc98_iGM.xml	YES 6.50/2.55	YES 19.66/5.30
Transformed_CSR_04/Ex23_Luc06_iGM.xml	YES 12.52/3.96	YES 6.21/1.88
Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml	StarExec error	MAYBE 98.27/43.31
Transformed_CSR_04/Ex24_GM04_C.xml	timeout (wallclock)	MAYBE 144.93/42.34
Transformed_CSR_04/PEANO_nosorts-noand_L.xml	NO 3.05/1.52	NO 0.31/0.31
Transformed_CSR_04/PEANO_nosorts_L.xml	NO 3.09/1.48	NO 0.31/0.31
Transformed_CSR_04/Ex2_Luc03b_GM.xml	YES 8.25/3.07	YES 13.06/3.79
Transformed_CSR_04/Ex1_2_AEL03_FR.xml	YES 4.33/1.89	YES 7.98/2.48
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml	NO 4.75/2.20	NO 0.59/0.41
Transformed_CSR_04/Ex9_BLR02_C.xml	YES 8.58/3.08	YES 28.68/8.01
Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml	NO 3.05/1.48	NO 0.32/0.32
Transformed_CSR_04/Ex1_GM03_C.xml	MAYBE 960.42/291.58	MAYBE 145.24/42.38
Transformed_CSR_04/Ex9_Luc06_GM.xml	YES 3.76/1.70	YES 1.17/0.55
Transformed_CSR_04/MYNAT_nosorts_C.xml	YES 5.56/2.19	YES 26.11/6.95
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml	NO 2.98/1.47	NO 0.33/0.33
Transformed_CSR_04/ExAppendixB_AEL03_FR.xml	YES 4.07/1.84	YES 8.36/2.50
Transformed_CSR_04/ExSec11_1_Luc02a_L.xml	YES 3.84/1.70	YES 5.67/1.81
Transformed_CSR_04/PEANO_complete_iGM.xml	YES 7.06/2.60	MAYBE 145.18/42.41
Transformed_CSR_04/Ex1_Luc04b_Z.xml	NO 5.93/2.33	NO 0.31/0.31
Transformed_CSR_04/Ex16_Luc06_GM.xml	YES 4.07/1.79	YES 2.27/0.85
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml	timeout (wallclock)	StarExec error
Transformed_CSR_04/Ex3_12_Luc96a_C.xml	timeout (wallclock)	MAYBE 145.07/42.36
Transformed_CSR_04/Ex9_BLR02_L.xml	YES 3.10/1.52	YES 0.43/0.36
Transformed_CSR_04/PALINDROME_nosorts_L.xml	NO 2.96/1.49	NO 0.31/0.31
Transformed_CSR_04/Ex1_2_Luc02c_FR.xml	YES 3.74/1.69	YES 5.04/1.74
Transformed_CSR_04/LISTUTILITIES_complete_C.xml	MAYBE 791.81/292.19	MAYBE 147.61/42.77
Transformed_CSR_04/Ex15_Luc06_GM.xml	YES 6.62/2.43	YES 1.29/0.59
Transformed_CSR_04/Ex1_Luc02b_C.xml	MAYBE 967.81/293.24	MAYBE 145.30/42.37
Transformed_CSR_04/PEANO_nokinds_L.xml	NO 3.20/1.56	NO 0.31/0.31
Transformed_CSR_04/Ex15_Luc06_Z.xml	YES 5.00/2.05	YES 0.93/0.50
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml	MAYBE 809.55/294.19	MAYBE 148.56/42.71
Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml	YES 4.08/1.82	YES 13.92/5.82
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml	NO 923.18/292.84	MAYBE 145.84/42.40
Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml	MAYBE 1027.04/296.38	MAYBE 145.76/42.41
Transformed_CSR_04/Ex9_BLR02_Z.xml	YES 5.14/2.39	YES 18.67/5.96
Transformed_CSR_04/ExIntrod_GM04_iGM.xml	YES 10.92/3.82	YES 26.89/7.24
Transformed_CSR_04/PALINDROME_complete_noand_GM.xml	YES 15.65/7.24	MAYBE 147.14/42.47
Transformed_CSR_04/Ex3_2_Luc97_C.xml	MAYBE 980.31/293.56	MAYBE 145.13/42.37
Transformed_CSR_04/Ex14_AEGL02_GM.xml	YES 4.74/2.02	YES 6.04/1.97
Transformed_CSR_04/Ex6_GM04_C.xml	YES 10.28/3.51	YES 4.48/1.41
Transformed_CSR_04/Ex49_GM04_FR.xml	YES 11.18/4.33	YES 38.79/11.01
Transformed_CSR_04/PEANO_nokinds_Z.xml	YES 3.92/1.86	YES 24.78/6.82
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml	NO 42.27/14.23	MAYBE 142.87/42.37
Transformed_CSR_04/ExIntrod_GM04_C.xml	YES 7.14/2.76	YES 27.19/7.43
Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml	YES 23.68/7.33	YES 109.58/29.04
Transformed_CSR_04/Ex1_2_AEL03_C.xml	MAYBE 1031.70/291.73	MAYBE 146.29/42.43
Transformed_CSR_04/Ex6_9_Luc02c_Z.xml	YES 3.63/1.69	YES 5.13/1.57
Transformed_CSR_04/Ex16_Luc06_L.xml	NO 7.50/2.61	NO 0.31/0.31
Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml	YES 4.04/1.76	YES 4.30/1.41
Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml	NO 5.40/2.31	NO 0.32/0.33
Transformed_CSR_04/Ex18_Luc06_L.xml	YES 2.94/1.55	YES 0.44/0.36
Transformed_CSR_04/Ex1_Luc02b_Z.xml	YES 3.82/1.74	YES 17.27/5.70
Transformed_CSR_04/ExProp7_Luc06_Z.xml	YES 4.04/1.81	YES 1.32/0.63
Transformed_CSR_04/OvConsOS_complete_C.xml	timeout (wallclock)	MAYBE 149.21/42.51
Transformed_CSR_04/ExAppendixB_AEL03_L.xml	NO 2.88/1.48	NO 0.32/0.32
Transformed_CSR_04/Ex8_BLR02_L.xml	NO 3.13/1.49	NO 0.31/0.31
Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml	YES 74.01/20.82	MAYBE 146.55/42.44
Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml	NO 22.24/8.93	MAYBE 144.32/42.36
Transformed_CSR_04/OvConsOS_complete_FR.xml	MAYBE 1160.02/293.25	MAYBE 147.59/42.41
Transformed_CSR_04/PEANO_nosorts_noand_C.xml	YES 6.50/2.41	YES 27.39/7.46
Transformed_CSR_04/Ex1_Zan97_GM.xml	YES 4.43/1.81	YES 0.46/0.37
Transformed_CSR_04/Ex5_DLMMU04_GM.xml	YES 8.64/3.03	YES 46.52/12.27
Transformed_CSR_04/Ex6_GM04_iGM.xml	YES 6.07/2.30	YES 2.47/0.89
Transformed_CSR_04/Ex9_Luc06_iGM.xml	YES 5.20/2.31	YES 4.63/1.45
Transformed_CSR_04/OvConsOS_nosorts_C.xml	timeout (wallclock)	MAYBE 145.23/42.38
Transformed_CSR_04/Ex24_GM04_L.xml	NO 10.31/3.33	NO 0.31/0.31
Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml	YES 10.29/3.41	MAYBE 135.41/42.37
Transformed_CSR_04/Ex25_Luc06_FR.xml	YES 9.90/3.42	YES 5.98/1.76
Transformed_CSR_04/OvConsOS_complete_noand_iGM.xml	MAYBE 753.37/292.13	MAYBE 145.52/42.77
Transformed_CSR_04/PEANO_nokinds_iGM.xml	YES 5.29/2.14	YES 67.64/18.20
Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml	YES 3.25/1.59	YES 0.59/0.40
Transformed_CSR_04/Ex1_GL02a_FR.xml	NO 327.09/107.60	MAYBE 134.22/42.36
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml	timeout (wallclock)	MAYBE 147.75/42.57
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml	NO 12.37/4.38	MAYBE 63.53/20.98
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml	MAYBE 835.50/291.85	MAYBE 147.84/42.43
Transformed_CSR_04/PALINDROME_nokinds_FR.xml	YES 4.11/1.81	YES 1.63/0.69
Transformed_CSR_04/ExIntrod_GM01_FR.xml	NO 23.66/8.96	NO 2.30/0.84
Transformed_CSR_04/ExConc_Zan97_L.xml	YES 3.15/1.49	YES 0.41/0.36
Transformed_CSR_04/MYNAT_nokinds_iGM.xml	YES 7.30/2.65	MAYBE 144.95/42.40
Transformed_CSR_04/MYNAT_complete-noand_FR.xml	YES 50.89/14.84	MAYBE 146.02/42.40
Transformed_CSR_04/ExIntrod_GM99_iGM.xml	MAYBE 804.37/291.75	MAYBE 144.65/42.39
Transformed_CSR_04/PEANO_nosorts_GM.xml	YES 3.55/1.64	YES 0.60/0.40
Transformed_CSR_04/Ex15_Luc98_FR.xml	YES 10.09/3.46	YES 25.33/8.01
Transformed_CSR_04/Ex6_Luc98_C.xml	YES 7.66/2.94	YES 24.24/6.51
Transformed_CSR_04/Ex9_Luc06_C.xml	YES 44.53/18.48	YES 5.16/1.60
Transformed_CSR_04/Ex15_Luc98_L.xml	NO 2.99/1.46	NO 0.31/0.31
Transformed_CSR_04/Ex1_2_AEL03_Z.xml	YES 4.16/1.79	YES 6.71/2.13
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml	YES 4.09/2.11	YES 13.32/4.76
Transformed_CSR_04/OvConsOS_complete_noand_C.xml	MAYBE 769.49/292.05	MAYBE 147.75/42.73
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml	NO 6.08/2.51	NO 0.59/0.41
Transformed_CSR_04/MYNAT_nosorts_GM.xml	YES 4.12/1.78	MAYBE 131.56/42.34
Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml	NO 201.29/60.93	NO 0.32/0.33
Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml	YES 146.05/43.86	MAYBE 145.35/42.42
Transformed_CSR_04/PALINDROME_complete_L.xml	NO 2.99/1.50	NO 0.33/0.33
Transformed_CSR_04/ExIntrod_GM01_GM.xml	StarExec error	YES 23.10/6.21
Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml	YES 171.53/63.56	MAYBE 145.19/42.39
Transformed_CSR_04/Ex18_Luc06_iGM.xml	YES 10.95/3.58	YES 1.68/0.67
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml	MAYBE 682.94/291.81	MAYBE 147.45/42.43
Transformed_CSR_04/Ex1_Luc02b_FR.xml	YES 4.59/1.91	YES 16.99/6.45
Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml	YES 4.45/1.93	YES 5.08/1.57
Transformed_CSR_04/Ex4_DLMMU04_L.xml	NO 3.21/1.48	NO 0.32/0.33
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml	NO 933.43/293.65	MAYBE 145.75/42.40
Transformed_CSR_04/Ex16_Luc06_iGM.xml	YES 6.92/2.82	MAYBE 32.66/10.07
Transformed_CSR_04/Ex2_Luc02a_FR.xml	YES 4.74/2.09	YES 13.35/4.03
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml	timeout (wallclock)	MAYBE 148.89/42.58
Transformed_CSR_04/Ex3_3_25_Bor03_C.xml	YES 9.00/3.07	YES 29.07/8.20
Transformed_CSR_04/ExConc_Zan97_GM.xml	YES 9.24/3.03	YES 5.30/1.60
Transformed_CSR_04/Ex2_Luc03b_iGM.xml	YES 7.92/2.88	YES 24.33/6.65
Transformed_CSR_04/PEANO_complete_noand_C.xml	timeout (wallclock)	MAYBE 148.37/42.49
Transformed_CSR_04/PEANO_nokinds_C.xml	YES 5.80/2.25	MAYBE 145.16/42.38
Transformed_CSR_04/PEANO_nosorts_noand_GM.xml	YES 3.57/1.64	YES 0.66/0.43
Transformed_CSR_04/ExSec11_1_Luc02a_C.xml	YES 11.27/3.91	YES 30.22/8.16
Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml	timeout (wallclock)	MAYBE 148.64/42.46
Transformed_CSR_04/ExIntrod_Zan97_GM.xml	MAYBE 791.53/291.58	StarExec error
Transformed_CSR_04/Ex8_BLR02_FR.xml	StarExec error	YES 9.14/3.39
Transformed_CSR_04/Ex23_Luc06_GM.xml	YES 7.26/2.57	YES 2.42/0.90
Transformed_CSR_04/MYNAT_complete_noand_C.xml	MAYBE 758.88/291.86	MAYBE 147.97/42.61
Transformed_CSR_04/OvConsOS_complete_GM.xml	MAYBE 972.20/292.95	MAYBE 147.48/42.42
Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml	YES 5.77/2.30	YES 29.84/8.18
Transformed_CSR_04/Ex49_GM04_C.xml	YES 9.20/3.19	YES 28.06/7.59
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml	timeout (wallclock)	MAYBE 148.47/42.57
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml	timeout (wallclock)	MAYBE 135.15/42.77
Transformed_CSR_04/PALINDROME_nokinds_L.xml	NO 3.14/1.47	NO 0.32/0.32
Transformed_CSR_04/Ex14_AEGL02_Z.xml	NO 7.74/3.02	NO 1.78/0.71
Transformed_CSR_04/OvConsOS_complete-noand_L.xml	NO 3.14/1.55	NO 0.36/0.37
Transformed_CSR_04/Ex1_GM99_C.xml	YES 104.50/36.03	MAYBE 144.83/42.35
Transformed_CSR_04/ExIntrod_GM99_GM.xml	YES 86.18/22.60	YES 45.48/12.32
Transformed_CSR_04/PALINDROME_complete_noand_C.xml	YES 25.67/8.71	YES 71.69/21.28
Transformed_CSR_04/ExConc_Zan97_iGM.xml	YES 23.12/6.66	YES 13.90/3.76
Transformed_CSR_04/PEANO_nokinds_GM.xml	YES 4.37/1.89	YES 28.30/7.76
Transformed_CSR_04/Ex4_Zan97_L.xml	NO 3.15/1.56	NO 0.31/0.31
Transformed_CSR_04/Ex7_BLR02_L.xml	NO 3.13/1.49	NO 0.31/0.31
Transformed_CSR_04/Ex5_7_Luc97_Z.xml	MAYBE 1160.91/293.11	MAYBE 118.27/42.37
Transformed_CSR_04/Ex1_GM99_L.xml	NO 7.08/3.16	NO 0.31/0.31
Transformed_CSR_04/Ex4_Zan97_FR.xml	YES 3.73/1.68	YES 5.55/1.88
Transformed_CSR_04/Ex9_Luc06_FR.xml	NO 4.08/1.85	NO 0.46/0.38
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml	YES 13.78/4.57	YES 99.03/26.18
Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml	YES 4.82/2.08	YES 11.31/3.69
Transformed_CSR_04/PALINDROME_nokinds_Z.xml	YES 4.07/1.74	YES 1.42/0.63
Transformed_CSR_04/Ex3_2_Luc97_FR.xml	MAYBE 473.83/291.61	MAYBE 128.38/42.35
Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml	YES 4.65/2.01	YES 15.65/4.43
Transformed_CSR_04/Ex6_GM04_GM.xml	YES 4.26/1.77	YES 0.54/0.39
Transformed_CSR_04/Ex16_Luc06_C.xml	YES 80.43/27.15	MAYBE 144.83/42.34
Transformed_CSR_04/Ex6_Luc98_GM.xml	YES 5.21/2.22	YES 9.34/2.84
Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml	YES 15.97/4.99	YES 46.76/17.94
Transformed_CSR_04/Ex15_Luc06_C.xml	YES 10.21/3.52	YES 1.83/0.73
Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml	YES 6.98/2.67	YES 22.00/5.97
Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml	MAYBE 831.06/292.89	MAYBE 145.51/42.41
Transformed_CSR_04/Ex1_2_Luc02c_L.xml	NO 3.04/1.53	NO 0.30/0.32
Transformed_CSR_04/Ex14_Luc06_GM.xml	timeout (wallclock)	MAYBE 12.54/7.33
Transformed_CSR_04/LISTUTILITIES_complete_GM.xml	MAYBE 599.93/292.36	MAYBE 148.43/42.54
Transformed_CSR_04/Ex1_2_Luc02c_GM.xml	YES 8.29/3.03	YES 7.76/2.41
Transformed_CSR_04/ExProp7_Luc06_C.xml	YES 146.88/42.07	YES 24.74/6.69
Transformed_CSR_04/Ex4_Zan97_C.xml	timeout (wallclock)	MAYBE 145.00/42.36
Transformed_CSR_04/Ex26_Luc03b_GM.xml	YES 6.39/4.74	YES 31.58/9.87
Transformed_CSR_04/Ex6_Luc98_Z.xml	YES 3.82/1.77	YES 3.74/1.21
Transformed_CSR_04/Ex3_2_Luc97_iGM.xml	MAYBE 709.80/292.75	MAYBE 144.63/42.38
Transformed_CSR_04/Ex1_Zan97_C.xml	YES 18.54/5.49	YES 1.59/0.67
Transformed_CSR_04/ExIntrod_GM01_iGM.xml	YES 11.12/3.94	YES 27.06/7.34
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml	YES 3.39/1.64	YES 0.70/0.44
Transformed_CSR_04/Ex4_7_15_Bor03_C.xml	YES 68.67/19.51	YES 19.83/5.32
Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml	YES 4.29/1.81	YES 2.62/0.94
Transformed_CSR_04/Ex2_Luc03b_FR.xml	YES 6.58/2.54	YES 20.86/6.02
Transformed_CSR_04/Ex9_Luc04_GM.xml	NO 6.80/2.60	MAYBE 37.92/11.48
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml	NO 74.36/21.57	MAYBE 144.82/42.36
Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml	NO 3.09/1.57	NO 0.32/0.32
Transformed_CSR_04/Ex1_Zan97_iGM.xml	YES 7.03/2.51	YES 3.60/1.20
Transformed_CSR_04/PEANO_nokinds_noand_GM.xml	YES 7.07/2.64	YES 48.47/14.52
Transformed_CSR_04/Ex4_DLMMU04_iGM.xml	YES 86.06/23.74	MAYBE 145.66/42.41
Transformed_CSR_04/ExIntrod_GM01_C.xml	YES 8.16/2.94	YES 28.10/7.73
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml	NO 9.44/3.43	NO 6.57/2.05
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml	MAYBE 843.55/292.90	MAYBE 142.26/42.37
Transformed_CSR_04/ExProp7_Luc06_L.xml	YES 3.53/1.57	YES 1.04/0.56
Transformed_CSR_04/Ex26_Luc03b_C.xml	YES 9.85/3.46	YES 30.38/9.16
Transformed_CSR_04/Ex1_Luc04b_iGM.xml	YES 9.53/3.31	YES 26.53/7.16
Transformed_CSR_04/PALINDROME_complete_GM.xml	YES 8.08/2.90	YES 97.71/27.76
Transformed_CSR_04/LISTUTILITIES_complete_Z.xml	MAYBE 938.28/291.92	MAYBE 148.14/42.48
Transformed_CSR_04/Ex18_Luc06_FR.xml	YES 7.45/2.61	YES 0.54/0.39
Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml	YES 12.55/4.11	YES 57.53/30.30
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml	YES 4.11/1.79	YES 17.57/5.56
Transformed_CSR_04/PEANO_complete_noand_iGM.xml	YES 186.82/63.04	MAYBE 147.13/42.48
Transformed_CSR_04/Ex1_2_AEL03_GM.xml	YES 164.41/44.25	MAYBE 137.70/42.38
Transformed_CSR_04/Ex1_Zan97_L.xml	NO 5.96/2.22	NO 0.42/0.36
Transformed_CSR_04/PEANO_complete_GM.xml	YES 5.16/2.08	YES 50.74/14.38
Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml	YES 12.23/4.13	YES 29.47/8.61
Transformed_CSR_04/Ex4_Zan97_iGM.xml	MAYBE 725.87/291.66	MAYBE 144.57/42.36
Transformed_CSR_04/PALINDROME_nosorts_C.xml	YES 5.48/2.19	YES 23.85/6.44
Transformed_CSR_04/OvConsOS_complete_Z.xml	timeout (wallclock)	StarExec error
Transformed_CSR_04/Ex24_GM04_FR.xml	MAYBE 175.58/136.35	MAYBE 10.91/7.33
Transformed_CSR_04/Ex5_Zan97_iGM.xml	YES 5.78/2.26	YES 15.84/4.35
Transformed_CSR_04/Ex5_Zan97_Z.xml	YES 3.35/1.61	YES 0.43/0.36
Transformed_CSR_04/Ex4_7_56_Bor03_C.xml	MAYBE 880.92/292.77	MAYBE 144.75/42.35
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml	YES 9.07/3.09	YES 34.30/9.13
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml	NO 2.96/1.48	NO 0.31/0.31
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml	MAYBE 653.51/291.84	MAYBE 147.07/42.56
Transformed_CSR_04/Ex5_7_Luc97_iGM.xml	MAYBE 746.17/291.72	MAYBE 145.04/42.41
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml	NO 119.85/31.75	MAYBE 143.47/42.36
Transformed_CSR_04/MYNAT_complete_L.xml	NO 3.12/1.57	NO 0.32/0.32
Transformed_CSR_04/OvConsOS_nosorts_Z.xml	NO 5.95/2.31	NO 0.45/0.37
Transformed_CSR_04/Ex6_GM04_FR.xml	NO 7.25/2.68	NO 0.53/0.40
Transformed_CSR_04/Ex18_Luc06_GM.xml	YES 7.15/2.56	YES 1.56/0.66
Transformed_CSR_04/LISTUTILITIES_complete_L.xml	NO 3.21/1.54	NO 0.37/0.37
Transformed_CSR_04/Ex4_Zan97_Z.xml	YES 3.63/1.67	YES 16.64/5.58
Transformed_CSR_04/Ex49_GM04_GM.xml	YES 6.24/2.49	YES 29.49/8.65
Transformed_CSR_04/Ex3_12_Luc96a_L.xml	NO 3.01/1.61	NO 0.31/0.32
Transformed_CSR_04/Ex25_Luc06_C.xml	YES 21.62/7.12	YES 1.19/0.57
Transformed_CSR_04/Ex1_Luc04b_FR.xml	NO 10.66/3.56	NO 0.64/0.42
Transformed_CSR_04/Ex8_BLR02_iGM.xml	MAYBE 787.66/291.69	MAYBE 144.74/42.37
Transformed_CSR_04/Ex8_BLR02_Z.xml	YES 3.70/1.71	YES 8.02/2.77
Transformed_CSR_04/PEANO_complete_Z.xml	YES 4.54/1.90	YES 49.04/13.87
Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml	YES 3.48/1.85	YES 0.53/0.39
Transformed_CSR_04/Ex1_2_Luc02c_C.xml	YES 5.39/2.17	YES 6.05/1.81
Transformed_CSR_04/Ex14_AEGL02_iGM.xml	YES 9.39/3.24	YES 21.91/5.92
Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml	MAYBE 746.23/292.82	MAYBE 144.47/42.39
Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml	YES 5.08/2.13	YES 15.69/4.28
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml	timeout (wallclock)	MAYBE 144.83/42.35
Transformed_CSR_04/Ex1_GM03_L.xml	NO 3.18/1.48	NO 0.31/0.31
Transformed_CSR_04/Ex18_Luc06_C.xml	YES 15.11/4.57	YES 2.43/0.89
Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml	YES 3.96/1.79	YES 7.35/2.21
Transformed_CSR_04/Ex5_DLMMU04_L.xml	NO 3.01/1.83	NO 0.31/0.32
Transformed_CSR_04/Ex4_DLMMU04_Z.xml	NO 49.73/13.50	NO 4.91/1.52
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml	YES 20.77/6.51	MAYBE 147.77/42.45
Transformed_CSR_04/Ex4_7_56_Bor03_L.xml	NO 3.14/1.54	NO 0.31/0.31
Transformed_CSR_04/Ex5_DLMMU04_Z.xml	NO 8.00/2.90	NO 0.43/0.38
Transformed_CSR_04/PALINDROME_nosorts_FR.xml	YES 3.47/1.61	YES 0.47/0.37
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml	MAYBE 812.52/291.64	MAYBE 145.01/42.36
Transformed_CSR_04/Ex4_4_Luc96b_FR.xml	NO 7.80/2.86	NO 0.60/0.41
Transformed_CSR_04/Ex5_Zan97_GM.xml	YES 4.52/1.94	YES 3.28/1.11
Transformed_CSR_04/Ex6_GM04_L.xml	YES 3.22/1.56	YES 0.41/0.36
Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml	NO 3.18/1.53	NO 0.40/0.40
Transformed_CSR_04/ExIntrod_GM99_Z.xml	NO 15.01/5.67	NO 0.62/0.42
Transformed_CSR_04/Ex7_BLR02_iGM.xml	MAYBE 686.39/292.52	MAYBE 144.56/42.37
Transformed_CSR_04/MYNAT_nokinds-noand_L.xml	NO 2.97/1.47	NO 0.31/0.32
Transformed_CSR_04/Ex25_Luc06_GM.xml	YES 12.50/4.00	YES 9.50/2.66
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml	YES 20.67/6.28	MAYBE 145.62/42.40
Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml	YES 10.02/3.50	YES 25.86/7.05
Transformed_CSR_04/ExIntrod_Zan97_Z.xml	NO 6.48/2.58	NO 0.32/0.32
Transformed_CSR_04/PEANO_nosorts_iGM.xml	YES 5.26/2.22	YES 12.54/3.47
Transformed_CSR_04/MYNAT_nokinds_Z.xml	YES 4.32/1.91	MAYBE 133.37/42.35
Transformed_CSR_04/Ex15_Luc98_C.xml	YES 9.05/3.42	YES 27.28/7.31
Transformed_CSR_04/Ex8_BLR02_C.xml	timeout (wallclock)	MAYBE 145.33/42.39
Transformed_CSR_04/MYNAT_complete_noand_iGM.xml	YES 770.58/278.07	MAYBE 147.60/42.64
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml	YES 5.25/2.10	YES 2.59/0.94
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml	NO 3.41/1.59	NO 0.36/0.36
Transformed_CSR_04/MYNAT_nosorts_iGM.xml	YES 5.17/2.08	YES 17.96/6.11
Transformed_CSR_04/Ex6_15_AEL02_C.xml	MAYBE 1025.33/293.55	MAYBE 147.81/42.44
Transformed_CSR_04/Ex14_AEGL02_FR.xml	NO 22.90/9.33	MAYBE 52.37/16.63
Transformed_CSR_04/MYNAT_nokinds_C.xml	YES 6.84/2.65	MAYBE 146.11/42.40
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml	YES 7.46/2.66	YES 5.37/1.65
Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml	timeout (wallclock)	MAYBE 148.49/42.47
Transformed_CSR_04/ExIntrod_Zan97_C.xml	MAYBE 961.94/292.97	MAYBE 145.37/42.38
Transformed_CSR_04/MYNAT_nosorts_L.xml	NO 3.07/1.45	NO 0.31/0.31
Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml	NO 2.87/1.46	NO 0.31/0.32
Transformed_CSR_04/Ex49_GM04_L.xml	NO 3.22/1.55	NO 0.31/0.32
Transformed_CSR_04/Ex7_BLR02_GM.xml	MAYBE 764.81/291.59	MAYBE 134.43/42.36
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml	MAYBE 816.28/292.03	MAYBE 148.43/42.44
Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml	YES 4.76/1.99	YES 12.74/4.14
Transformed_CSR_04/Ex2_Luc03b_L.xml	YES 3.39/1.53	YES 0.49/0.43
Transformed_CSR_04/Ex4_DLMMU04_FR.xml	NO 48.57/13.46	NO 4.09/1.32
Transformed_CSR_04/Ex2_Luc03b_Z.xml	YES 4.63/1.96	YES 4.18/1.33
Transformed_CSR_04/Ex6_Luc98_FR.xml	YES 5.17/2.09	YES 11.25/3.47
Transformed_CSR_04/OvConsOS_nokinds_iGM.xml	MAYBE 949.06/298.00	MAYBE 145.21/42.41
Transformed_CSR_04/PALINDROME_nokinds_iGM.xml	YES 6.78/2.46	YES 26.90/7.33
Transformed_CSR_04/Ex9_BLR02_FR.xml	YES 12.54/4.58	YES 20.71/7.21
Transformed_CSR_04/MYNAT_complete_noand_GM.xml	YES 35.19/11.68	MAYBE 147.58/42.46
Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml	NO 3.06/1.49	NO 0.33/0.33
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml	NO 2.82/2.51	NO 0.32/0.32
Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml	MAYBE 1132.26/293.59	MAYBE 147.56/42.41
Transformed_CSR_04/ExAppendixB_AEL03_C.xml	MAYBE 1033.28/293.37	MAYBE 147.40/42.43
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml	NO 58.39/16.35	MAYBE 141.22/42.36
Transformed_CSR_04/PALINDROME_complete_iGM.xml	YES 10.66/3.55	YES 101.16/27.57
Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml	YES 3.60/1.66	YES 4.24/1.55
Transformed_CSR_04/Ex6_9_Luc02c_C.xml	YES 4.62/2.20	YES 18.45/4.97
Transformed_CSR_04/PEANO_complete_C.xml	YES 8.44/3.11	MAYBE 146.40/42.41
Transformed_CSR_04/Ex6_15_AEL02_GM.xml	timeout (wallclock)	MAYBE 142.97/42.39
Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml	NO 3.12/1.50	NO 0.33/0.33
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml	NO 13.20/4.97	MAYBE 66.99/20.52
Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml	timeout (wallclock)	MAYBE 147.56/42.44
Transformed_CSR_04/ExConc_Zan97_FR.xml	YES 9.11/3.03	YES 3.34/1.11
Transformed_CSR_04/ExIntrod_GM04_L.xml	NO 3.02/1.47	NO 0.31/0.32
Transformed_CSR_04/Ex9_BLR02_iGM.xml	YES 10.97/3.69	YES 30.40/8.25
Transformed_CSR_04/Ex4_DLMMU04_GM.xml	YES 44.00/12.11	YES 110.81/28.59
Transformed_CSR_04/PEANO_complete_FR.xml	YES 4.77/2.02	YES 63.99/17.73
Transformed_CSR_04/Ex5_DLMMU04_FR.xml	NO 25.34/10.46	MAYBE 139.56/42.35
Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml	YES 3.37/1.67	StarExec error
Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml	NO 3.16/1.55	NO 0.33/0.34
Transformed_CSR_04/Ex18_Luc06_Z.xml	YES 3.37/2.23	YES 0.43/0.37
Transformed_CSR_04/ExIntrod_GM04_FR.xml	NO 25.76/10.25	MAYBE 144.16/42.34
Transformed_CSR_04/Ex4_Zan97_GM.xml	MAYBE 915.40/293.77	MAYBE 132.65/42.34
Transformed_CSR_04/Ex24_GM04_iGM.xml	MAYBE 878.52/292.51	MAYBE 37.55/12.49
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml	YES 6.29/2.36	YES 19.08/5.20
Transformed_CSR_04/Ex5_7_Luc97_C.xml	timeout (wallclock)	MAYBE 145.94/42.41
Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml	NO 61.97/21.04	MAYBE 137.90/42.35
Transformed_CSR_04/Ex26_Luc03b_L.xml	YES 3.30/1.53	YES 0.59/0.41
Transformed_CSR_04/Ex1_Luc02b_iGM.xml	MAYBE 667.44/291.57	MAYBE 144.87/42.38
Transformed_CSR_04/MYNAT_complete_C.xml	YES 13.43/4.74	MAYBE 149.08/42.49
Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml	MAYBE 1138.14/292.97	MAYBE 146.51/42.41
Transformed_CSR_04/PEANO_nokinds-noand_FR.xml	YES 7.24/2.67	YES 31.74/8.67
Transformed_CSR_04/Ex15_Luc06_iGM.xml	YES 7.13/3.23	YES 3.03/1.05
Transformed_CSR_04/Ex1_2_AEL03_L.xml	NO 3.13/1.55	NO 0.31/0.32
Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml	timeout (wallclock)	MAYBE 147.03/42.43
Transformed_CSR_04/OvConsOS_nosorts_iGM.xml	NO 63.82/18.82	MAYBE 145.09/42.37
Transformed_CSR_04/Ex6_15_AEL02_iGM.xml	timeout (wallclock)	MAYBE 145.54/42.43
Transformed_CSR_04/Ex26_Luc03b_iGM.xml	YES 14.05/4.63	YES 27.82/7.75
Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml	YES 8.18/3.06	MAYBE 143.77/42.40
Transformed_CSR_04/MYNAT_nokinds_L.xml	NO 3.14/1.48	NO 0.31/0.32
Transformed_CSR_04/MYNAT_complete_FR.xml	YES 5.41/2.17	MAYBE 142.28/42.38
	1200	925