Termination Competition 2019: TRS Standard33457

Job info CSV
benchmark NTI default AProVE standard muterm 6.0.3 default NaTT Default ttt2-1.19 ttt2 Wanda 2.1c default
CiME_04/filliatre2.xml 5161771 timeout (wallclock) [out] YES 4.00/1.77 YES 0.10/0.10 YES 0.02/0.09 YES 2.65/1.00 YES 0.52/0.52
CiME_04/tree.xml 5161772 timeout (wallclock) [out] YES 5.72/3.57 YES 0.25/0.23 YES 2.03/2.12 YES 17.52/5.19 YES 1.42/1.62
CiME_04/boolean_rings.xml 5161773 timeout (wallclock) [out] YES 3.66/1.75 YES 0.01/0.01 YES 0.01/0.03 YES 1.00/0.56 YES 0.16/0.15
CiME_04/intersect.xml 5161774 timeout (wallclock) [out] YES 4.18/1.93 YES 0.09/0.08 YES 0.03/0.05 YES 3.85/1.38 YES 0.45/1.18
CiME_04/append-hard.xml 5161775 timeout (wallclock) [out] YES 4.66/2.02 YES 0.07/0.07 YES 0.02/0.05 YES 6.23/1.16 MAYBE 0.28/0.29
CiME_04/ack_prolog.xml 5161776 timeout (wallclock) [out] YES 3.79/1.74 YES 0.01/0.01 YES 0.02/0.05 YES 1.14/0.62 YES 0.15/0.15
CiME_04/ternary-hard.xml 5161777 timeout (wallclock) [out] YES 9.68/2.15 YES 0.88/0.96 YES 0.03/0.10 YES 8.12/2.61 YES 0.62/1.69
CiME_04/filliatre.xml 5161778 timeout (wallclock) [out] YES 4.73/1.92 YES 0.09/0.10 YES 0.02/0.11 YES 2.89/1.05 YES 0.48/0.48
CiME_04/append.xml 5161779 timeout (wallclock) [out] YES 3.47/1.66 YES 0.01/0.01 YES 0.01/0.02 YES 0.87/0.52 YES 0.10/0.10
CiME_04/fact-hard.xml 5161780 timeout (wallclock) [out] YES 6.82/2.91 YES 125.32/125.55 MAYBE 0.05/0.17 MAYBE 178.52/45.77 MAYBE 0.85/0.96
CiME_04/list-sum-prod-bin-assoc.xml 5161781 timeout (wallclock) [out] YES 4.31/1.91 YES 0.26/0.27 YES 0.03/0.05 YES 10.19/2.97 YES 0.37/0.37
CiME_04/list-sum-prod-assoc-append.xml 5161782 timeout (wallclock) [out] YES 3.88/2.09 YES 0.02/0.02 YES 0.02/0.05 YES 1.89/0.82 YES 0.93/0.93
CiME_04/dpqs.xml 5161783 timeout (wallclock) [out] YES 3.33/1.56 YES 0.01/0.01 YES 0.01/0.03 YES 0.94/0.53 YES 0.10/0.10
CiME_04/ternary.xml 5161784 timeout (wallclock) [out] YES 4.65/2.03 YES 0.88/0.95 YES 0.03/0.08 YES 7.33/2.35 YES 0.53/0.54
CiME_04/filliatre3.xml 5161785 timeout (wallclock) [out] YES 4.73/2.11 YES 0.09/0.10 YES 0.03/0.05 YES 8.65/2.55 YES 0.77/0.80
CiME_04/list-sum-prod.xml 5161786 MAYBE 0.20/0.15 YES 3.80/2.33 YES 0.02/0.02 YES 0.02/0.03 YES 1.41/0.69 YES 0.18/0.18
CiME_04/lse.xml 5161787 timeout (wallclock) [out] YES 4.56/1.92 YES 26.91/30.09 YES 0.03/0.06 YES 7.52/2.37 YES 1.92/1.93
CiME_04/mucrl1.xml 5161788 timeout (wallclock) [out] YES 7.60/3.39 YES 0.30/0.33 YES 0.79/0.75 YES 14.56/5.07 YES 127.42/127.47
CiME_04/maude2.xml 5161789 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 162.33/162.54 MAYBE 0.08/0.25 MAYBE 390.05/99.41 MAYBE 1.88/1.90
CiME_04/log2.xml 5161790 timeout (wallclock) [out] YES 5.43/2.17 YES 0.37/0.43 YES 0.04/0.21 YES 19.33/5.63 YES 1.08/1.10
CiME_04/append-wrong.xml 5161791 NO 0.21/0.16 NO 5.43/2.42 MAYBE 203.17/204.19 MAYBE 0.03/0.10 NO 1.58/0.74 MAYBE 0.35/0.36
CiME_04/list-sum-prod-assoc.xml 5161792 timeout (wallclock) [out] YES 3.82/1.71 YES 0.02/0.02 YES 0.02/0.04 YES 1.56/0.75 YES 0.37/0.37
CiME_04/list-sum-prod-bin.xml 5161793 timeout (wallclock) [out] YES 4.06/1.97 YES 0.12/0.11 YES 0.02/0.05 YES 4.23/1.45 YES 0.40/1.20
CiME_04/big.xml 5161794 timeout (wallclock) [out] YES 5.79/2.40 YES 0.51/0.53 YES 0.11/0.22 YES 22.13/6.59 YES 2.65/2.65
CiME_04/list-sum-prod-bin-assoc-distr-app.xml 5161795 timeout (wallclock) [out] YES 4.66/2.01 YES 0.26/0.28 YES 0.03/0.07 YES 10.23/3.07 YES 0.51/0.52
Beerendonk_07/12.xml 5161982 timeout (wallclock) [out] YES 6.43/2.72 timeout (wallclock) [out] MAYBE 0.05/0.16 MAYBE 244.52/99.38 MAYBE 0.58/0.60
Beerendonk_07/10.xml 5161983 timeout (wallclock) [out] YES 5.56/2.30 YES 0.16/0.21 YES 0.03/0.11 YES 10.42/2.98 MAYBE 1.53/1.55
Beerendonk_07/14.xml 5161984 timeout (wallclock) [out] YES 6.58/2.79 timeout (wallclock) [out] MAYBE 0.05/0.14 MAYBE 244.63/99.38 MAYBE 0.69/0.72
Beerendonk_07/13.xml 5161985 timeout (wallclock) [out] YES 6.75/2.90 timeout (wallclock) [out] MAYBE 0.05/0.15 MAYBE 244.61/99.38 MAYBE 0.67/0.70
Beerendonk_07/3.xml 5161986 timeout (wallclock) [out] YES 4.90/2.26 timeout (wallclock) [out] MAYBE 0.04/0.11 MAYBE 244.82/99.39 MAYBE 0.38/0.40
Beerendonk_07/20.xml 5161987 timeout (wallclock) [out] YES 4.02/3.15 timeout (wallclock) [out] MAYBE 0.05/0.34 MAYBE 244.85/99.39 MAYBE 6.02/6.62
Beerendonk_07/7.xml 5161988 timeout (wallclock) [out] YES 4.59/1.96 YES 0.05/0.07 YES 0.02/0.05 YES 4.19/1.38 MAYBE 0.45/0.46
Beerendonk_07/1.xml 5161989 timeout (wallclock) [out] YES 4.31/1.94 YES 0.05/0.07 YES 0.03/0.06 YES 3.47/1.18 MAYBE 0.32/0.35
Beerendonk_07/17.xml 5161990 timeout (wallclock) [out] YES 26.14/13.11 YES 287.81/288.98 MAYBE 0.09/0.40 MAYBE 245.65/99.39 MAYBE 4.31/4.33
Beerendonk_07/23.xml 5161991 timeout (wallclock) [out] YES 5.65/2.56 YES 0.14/0.15 YES 0.04/0.12 YES 7.41/2.22 MAYBE 0.70/0.74
Beerendonk_07/19.xml 5161992 timeout (wallclock) [out] YES 15.38/5.90 timeout (wallclock) [out] MAYBE 0.64/0.72 MAYBE 245.71/99.40 MAYBE 4.96/4.97
Beerendonk_07/16.xml 5161993 timeout (wallclock) [out] YES 22.37/11.84 YES 171.99/172.38 MAYBE 0.09/0.47 MAYBE 246.08/99.40 MAYBE 1.85/2.21
Beerendonk_07/5.xml 5161994 timeout (wallclock) [out] YES 5.14/3.32 YES 0.09/0.10 YES 0.03/0.08 YES 5.75/1.80 MAYBE 2.30/2.31
Beerendonk_07/11.xml 5161995 timeout (wallclock) [out] YES 7.16/3.20 timeout (wallclock) [out] MAYBE 0.06/0.17 MAYBE 244.95/99.40 MAYBE 0.97/0.97
Beerendonk_07/2.xml 5161996 timeout (wallclock) [out] YES 4.33/2.05 YES 0.06/0.08 YES 0.02/0.05 YES 4.35/1.43 MAYBE 0.45/0.46
Beerendonk_07/8.xml 5161997 timeout (wallclock) [out] YES 3.98/1.80 YES 0.08/0.10 YES 0.03/0.07 YES 4.84/1.56 MAYBE 7.38/7.39
Beerendonk_07/18.xml 5161998 timeout (wallclock) [out] YES 4.52/2.09 timeout (wallclock) [out] MAYBE 0.51/0.55 MAYBE 244.07/99.40 MAYBE 11.11/11.14
Beerendonk_07/6.xml 5161999 timeout (wallclock) [out] YES 4.23/1.87 YES 0.05/0.11 YES 0.02/0.05 YES 3.60/1.23 MAYBE 0.24/0.25
Beerendonk_07/21.xml 5162000 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.08/0.41 MAYBE 244.97/99.39 MAYBE 2.45/2.47
Beerendonk_07/9.xml 5162001 timeout (wallclock) [out] YES 4.91/2.23 YES 0.07/0.09 YES 0.03/0.08 YES 5.40/1.66 MAYBE 3.50/2.88
Beerendonk_07/4.xml 5162002 timeout (wallclock) [out] YES 4.47/2.03 MAYBE 202.53/202.66 MAYBE 0.03/0.08 MAYBE 244.56/99.42 MAYBE 0.25/0.27
Beerendonk_07/24.xml 5162003 timeout (wallclock) [out] YES 41.83/15.62 YES 241.36/243.07 MAYBE 1.25/1.23 MAYBE 244.08/99.39 MAYBE 5.57/5.60
Beerendonk_07/15.xml 5162004 timeout (wallclock) [out] YES 11.46/4.59 YES 171.97/173.19 MAYBE 0.07/0.35 MAYBE 245.18/99.39 MAYBE 3.20/3.24
Beerendonk_07/22.xml 5162005 timeout (wallclock) [out] YES 5.36/2.30 YES 0.15/0.17 YES 0.04/0.10 YES 7.40/2.21 MAYBE 0.89/0.90
EEG_IJCAR_12/emmes-nonloop-ex7_5.xml 5162006 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.76/1.86 MAYBE 246.5/99.39 MAYBE 11.23/11.24
EEG_IJCAR_12/enger-nonloop-swap_decr.xml 5162007 timeout (wallclock) [out] NO 33.51/12.02 timeout (wallclock) [out] MAYBE 0.03/0.12 MAYBE 244.11/99.39 MAYBE 0.39/0.40
EEG_IJCAR_12/emmes-nonloop-ex6_1.xml 5162008 timeout (wallclock) [out] NO 33.02/12.07 timeout (wallclock) [out] MAYBE 0.04/0.12 MAYBE 244.34/99.39 MAYBE 0.50/0.51
EEG_IJCAR_12/emmes-nonloop-ex4_1.xml 5162009 timeout (wallclock) [out] NO 23.30/13.07 timeout (wallclock) [out] MAYBE 0.04/0.12 MAYBE 244.35/99.38 MAYBE 0.71/0.74
EEG_IJCAR_12/enger-nonloop-isList-List.xml 5162010 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.02/0.07 MAYBE 244.36/99.43 MAYBE 0.20/0.21
EEG_IJCAR_12/enger-nonloop-isDNat.xml 5162011 timeout (wallclock) [out] NO 36.96/13.35 timeout (wallclock) [out] MAYBE 0.02/0.08 MAYBE 244.18/99.38 MAYBE 0.23/0.24
EEG_IJCAR_12/emmes-nonloop-ex2_4.xml 5162012 timeout (wallclock) [out] NO 62.15/22.10 timeout (wallclock) [out] MAYBE 0.05/0.16 MAYBE 244.79/99.39 MAYBE 0.72/0.72
EEG_IJCAR_12/emmes-nonloop-ex2_5.xml 5162013 timeout (wallclock) [out] NO 62.84/21.64 timeout (wallclock) [out] MAYBE 0.05/0.18 MAYBE 244.74/99.39 MAYBE 0.72/0.73
EEG_IJCAR_12/enger-nonloop-add.xml 5162014 timeout (wallclock) [out] NO 36.09/13.39 timeout (wallclock) [out] MAYBE 0.03/0.14 MAYBE 244.25/99.38 MAYBE 0.64/0.64
EEG_IJCAR_12/rybalchenko-nonloop-popl08.xml 5162015 timeout (wallclock) [out] NO 59.90/21.89 MAYBE 116.66/116.76 MAYBE 0.08/0.39 MAYBE 245.21/99.40 MAYBE 2.21/2.21
EEG_IJCAR_12/emmes-nonloop-ex7_2.xml 5162016 timeout (wallclock) [out] NO 94.17/27.94 timeout (wallclock) [out] MAYBE 0.08/0.54 MAYBE 244.27/99.39 MAYBE 9.33/9.34
EEG_IJCAR_12/enger-nonloop-toOne.xml 5162017 timeout (wallclock) [out] NO 36.65/12.06 timeout (wallclock) [out] MAYBE 0.04/0.36 MAYBE 244.05/99.39 MAYBE 1.30/1.66
EEG_IJCAR_12/emmes-nonloop-ex1_2.xml 5162018 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.04/0.17 MAYBE 244.09/99.38 MAYBE 0.67/0.67
EEG_IJCAR_12/emmes-nonloop-ex1_1.xml 5162019 timeout (wallclock) [out] NO 39.33/12.03 timeout (wallclock) [out] MAYBE 0.03/0.12 MAYBE 244.56/99.39 MAYBE 0.45/0.46
EEG_IJCAR_12/emmes-nonloop-ex3_4.xml 5162020 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.04/0.13 MAYBE 244.52/99.38 MAYBE 0.64/0.64
EEG_IJCAR_12/emmes-nonloop-ex1_5.xml 5162021 timeout (wallclock) [out] NO 37.86/12.09 timeout (wallclock) [out] MAYBE 0.05/0.15 MAYBE 244.80/99.38 MAYBE 0.67/0.67
EEG_IJCAR_12/emmes-nonloop-ex2_1.xml 5162022 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.04/0.14 MAYBE 244.71/99.39 MAYBE 0.51/0.52
EEG_IJCAR_12/enger-nonloop-isTrueList.xml 5162023 timeout (wallclock) [out] NO 29.43/11.72 timeout (wallclock) [out] MAYBE 0.02/0.08 MAYBE 244.14/99.37 MAYBE 0.23/0.23
EEG_IJCAR_12/emmes-nonloop-ex7_1.xml 5162024 timeout (wallclock) [out] NO 64.83/18.33 timeout (wallclock) [out] MAYBE 0.05/0.34 MAYBE 244.08/99.42 MAYBE 2.04/2.05
EEG_IJCAR_12/emmes-nonloop-ex2_2.xml 5162025 timeout (wallclock) [out] NO 33.55/12.56 timeout (wallclock) [out] MAYBE 0.03/0.14 MAYBE 244.46/99.38 MAYBE 0.45/0.47
EEG_IJCAR_12/emmes-nonloop-ex7_4.xml 5162026 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.08/0.48 MAYBE 246.32/99.39 MAYBE 10.15/10.16
EEG_IJCAR_12/emmes-nonloop-ex4_4.xml 5162027 timeout (wallclock) [out] NO 23.97/12.41 timeout (wallclock) [out] MAYBE 0.05/0.15 MAYBE 244.69/99.38 MAYBE 0.83/1.78
EEG_IJCAR_12/emmes-nonloop-ex7_6.xml 5162028 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.96/2.04 MAYBE 246.05/99.38 MAYBE 11.10/11.12
EEG_IJCAR_12/emmes-nonloop-ex4_2.xml 5162029 timeout (wallclock) [out] NO 24.89/13.41 timeout (wallclock) [out] MAYBE 0.04/0.15 MAYBE 243.79/99.38 MAYBE 0.87/0.87
EEG_IJCAR_12/enger-nonloop-isList.xml 5162030 timeout (wallclock) [out] NO 29.77/11.85 timeout (wallclock) [out] MAYBE 0.02/0.07 MAYBE 244.4/99.45 MAYBE 0.21/0.27
EEG_IJCAR_12/emmes-nonloop-ex7_3.xml 5162031 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.17/1.26 MAYBE 244.18/99.39 MAYBE 10.96/10.97
EEG_IJCAR_12/enger-nonloop-swapXY.xml 5162032 timeout (wallclock) [out] NO 38.07/11.79 timeout (wallclock) [out] MAYBE 0.03/0.09 MAYBE 244.69/99.44 MAYBE 0.34/0.37
EEG_IJCAR_12/emmes-nonloop-ex5_1.xml 5162033 timeout (wallclock) [out] NO 32.07/13.89 timeout (wallclock) [out] MAYBE 0.05/0.20 MAYBE 243.97/99.38 MAYBE 1.79/2.07
EEG_IJCAR_12/emmes-nonloop-ex3_1.xml 5162034 timeout (wallclock) [out] NO 25.61/12.23 timeout (wallclock) [out] MAYBE 0.03/0.10 MAYBE 243.98/99.38 MAYBE 0.46/0.47
EEG_IJCAR_12/enger-nonloop-addTrue.xml 5162035 timeout (wallclock) [out] NO 33.58/12.78 timeout (wallclock) [out] MAYBE 0.04/0.15 MAYBE 244.25/99.38 MAYBE 0.64/1.75
EEG_IJCAR_12/enger-nonloop-while-lt.xml 5162036 timeout (wallclock) [out] NO 37.80/11.92 timeout (wallclock) [out] MAYBE 0.03/0.09 MAYBE 244.85/99.39 MAYBE 0.33/0.35
EEG_IJCAR_12/emmes-nonloop-ex3_2.xml 5162037 timeout (wallclock) [out] NO 42.07/12.25 timeout (wallclock) [out] MAYBE 0.03/0.08 MAYBE 244.11/99.38 MAYBE 0.39/0.40
EEG_IJCAR_12/emmes-nonloop-ex7_9.xml 5162038 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.08/0.41 MAYBE 246.29/99.40 MAYBE 10.17/10.18
EEG_IJCAR_12/velroyen-nonloop-ConvLower_c.xml 5162039 timeout (wallclock) [out] NO 35.89/12.55 timeout (wallclock) [out] MAYBE 0.09/0.38 MAYBE 244.27/99.39 MAYBE 12.41/12.42
EEG_IJCAR_12/enger-nonloop-swapXY2.xml 5162040 timeout (wallclock) [out] NO 31.48/11.87 timeout (wallclock) [out] MAYBE 0.03/0.08 MAYBE 244.61/99.42 MAYBE 0.25/0.28
EEG_IJCAR_12/emmes-nonloop-ex7_7.xml 5162041 timeout (wallclock) [out] NO 96.97/26.87 timeout (wallclock) [out] MAYBE 0.06/0.43 MAYBE 244.55/99.39 MAYBE 9.41/9.42
EEG_IJCAR_12/emmes-nonloop-ex1_4.xml 5162042 timeout (wallclock) [out] NO 40.09/12.24 timeout (wallclock) [out] MAYBE 0.05/0.16 MAYBE 244.96/99.39 MAYBE 0.66/0.69
EEG_IJCAR_12/emmes-nonloop-ex5_3.xml 5162043 timeout (wallclock) [out] NO 30.51/13.91 timeout (wallclock) [out] MAYBE 0.05/0.17 MAYBE 245.00/99.38 MAYBE 1.04/1.05
EEG_IJCAR_12/emmes-nonloop-ex6_2.xml 5162044 timeout (wallclock) [out] NO 33.55/11.99 timeout (wallclock) [out] MAYBE 0.05/0.14 MAYBE 246.38/99.38 MAYBE 0.83/0.86
EEG_IJCAR_12/emmes-nonloop-ex5_2.xml 5162045 timeout (wallclock) [out] NO 27.57/12.45 timeout (wallclock) [out] MAYBE 0.05/0.22 MAYBE 244.06/99.39 MAYBE 1.58/1.59
EEG_IJCAR_12/enger-nonloop-ex_payet.xml 5162046 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.06/0.25 MAYBE 244.75/99.41 MAYBE 1.24/1.28
EEG_IJCAR_12/velroyen-nonloop-AlternatingIncr_c.xml 5162047 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.13/0.39 MAYBE 244.75/99.40 MAYBE 29.62/14.88
EEG_IJCAR_12/enger-nonloop-swapX.xml 5162048 timeout (wallclock) [out] NO 37.75/12.69 timeout (wallclock) [out] MAYBE 0.03/0.08 MAYBE 244.22/99.43 MAYBE 0.25/0.26
EEG_IJCAR_12/emmes-nonloop-ex4_3.xml 5162049 timeout (wallclock) [out] NO 28.89/13.69 timeout (wallclock) [out] MAYBE 0.05/0.16 MAYBE 243.72/99.38 MAYBE 0.90/0.90
EEG_IJCAR_12/emmes-nonloop-ex1_3.xml 5162050 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.04/0.17 MAYBE 244.50/99.38 MAYBE 0.73/0.76
EEG_IJCAR_12/emmes-nonloop-ex3_3.xml 5162051 timeout (wallclock) [out] NO 42.97/12.54 timeout (wallclock) [out] MAYBE 0.04/0.12 MAYBE 244.76/99.39 MAYBE 0.64/0.64
EEG_IJCAR_12/emmes-nonloop-ex7_8.xml 5162052 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.4/1.44 MAYBE 244.54/99.39 MAYBE 10.52/10.54
EEG_IJCAR_12/emmes-nonloop-ex2_3.xml 5162053 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.04/0.12 MAYBE 244.71/99.38 MAYBE 0.46/0.48
EEG_IJCAR_12/enger-nonloop-unbounded.xml 5162054 timeout (wallclock) [out] NO 35.91/11.85 timeout (wallclock) [out] MAYBE 0.03/0.10 MAYBE 244.64/99.41 MAYBE 0.41/0.42
Der95/03.xml 5161190 MAYBE 0.17/0.15 YES 3.45/1.60 YES 0.01/0.02 YES 0.01/0.01 YES 0.88/0.51 YES 0.02/0.02
Der95/01.xml 5161191 MAYBE 0.17/0.15 YES 3.43/1.73 YES 0.01/0.01 YES 0.01/0.02 YES 0.81/0.49 YES 0.03/0.03
Der95/12.xml 5161192 timeout (wallclock) [out] YES 3.51/1.67 YES 0.05/0.05 YES 0.01/0.03 YES 3.03/1.08 YES 0.39/0.41
Der95/27.xml 5161193 timeout (wallclock) [out] YES 3.34/1.73 YES 0.01/0.01 YES 0.01/0.02 YES 0.64/0.45 YES 0.02/0.02
Der95/06.xml 5161194 MAYBE 0.17/0.14 YES 3.34/1.51 YES 0.01/0.01 YES 0.01/0.02 YES 1.41/0.64 YES 0.04/0.04
Der95/02.xml 5161195 MAYBE 0.16/0.14 YES 3.55/1.67 YES 0.01/0.01 YES 0.01/0.01 YES 0.61/0.44 YES 0.02/0.02
Der95/13.xml 5161196 timeout (wallclock) [out] YES 28.42/16.30 YES 0.62/0.69 MAYBE 0.06/0.17 MAYBE 183.79/45.61 YES 0.34/0.35
Der95/20.xml 5161197 timeout (wallclock) [out] YES 3.32/1.65 YES 0.25/0.23 YES 0.01/0.03 YES 0.99/0.56 YES 0.25/0.25
Der95/04.xml 5161198 timeout (wallclock) [out] YES 5.10/2.11 YES 0.01/0.01 YES 0.01/0.01 YES 1.26/0.53 YES 0.02/0.02
Der95/17.xml 5161199 timeout (wallclock) [out] YES 3.41/1.77 YES 0.01/0.01 YES 0.01/0.02 YES 0.96/0.53 YES 0.07/0.10
Der95/08.xml 5161200 timeout (wallclock) [out] YES 3.57/1.69 YES 0.01/0.01 YES 0.02/0.10 YES 1.18/0.61 YES 0.20/0.20
Der95/28.xml 5161201 timeout (wallclock) [out] YES 3.46/1.65 YES 0.01/0.01 YES 0.01/0.02 YES 0.77/0.49 YES 0.08/0.08
Der95/09.xml 5161202 timeout (wallclock) [out] YES 3.38/1.56 YES 0.01/0.01 YES 0.01/0.01 YES 0.38/0.36 YES 0.02/0.02
Der95/33.xml 5161203 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.12/0.40 MAYBE 179.0/45.89 MAYBE 3.36/3.37
Der95/11.xml 5161204 timeout (wallclock) [out] YES 4.16/1.86 YES 0.02/0.02 YES 0.02/0.04 YES 2.49/1.08 YES 0.70/0.70
Der95/07.xml 5161205 timeout (wallclock) [out] YES 11.41/3.92 YES 0.01/0.01 YES 0.01/0.01 YES 1.13/0.58 YES 0.02/0.02
Der95/18.xml 5161206 timeout (wallclock) [out] YES 3.50/1.76 YES 0.01/0.01 YES 0.01/0.02 YES 0.68/0.45 YES 0.04/0.04
Der95/21.xml 5161207 timeout (wallclock) [out] YES 3.81/2.65 YES 0.05/0.05 YES 0.02/0.04 YES 2.45/0.93 MAYBE 0.29/0.53
Der95/31.xml 5161208 timeout (wallclock) [out] YES 3.66/1.77 YES 0.01/0.01 YES 0.01/0.02 YES 3.03/1.11 YES 0.10/0.10
Der95/30.xml 5161209 timeout (wallclock) [out] YES 3.53/1.68 MAYBE 202.68/203.09 YES 0.12/0.18 YES 0.39/0.37 YES 0.13/0.15
Der95/32.xml 5161210 timeout (wallclock) [out] YES 3.83/1.83 YES 0.02/0.02 YES 0.02/0.03 YES 1.13/0.61 YES 0.21/0.21
AProVE_08/log.xml 5161829 timeout (wallclock) [out] YES 7.67/3.03 MAYBE 222.19/222.66 MAYBE 0.04/0.09 MAYBE 392.05/99.39 MAYBE 3.72/3.74
AProVE_08/round_nonterm.xml 5161830 NO 0.19/0.15 NO 4.47/2.12 MAYBE 40.29/40.39 MAYBE 0.03/0.08 NO 1.78/0.91 MAYBE 0.19/0.20
AProVE_08/parting05_maxsort.xml 5161831 timeout (wallclock) [out] YES 19.03/8.09 timeout (wallclock) [out] MAYBE 0.08/0.23 MAYBE 280.01/99.40 MAYBE 2.31/2.32
AProVE_08/parting03_minsort.xml 5161832 timeout (wallclock) [out] YES 11.71/4.52 timeout (wallclock) [out] MAYBE 0.08/0.22 MAYBE 244.56/99.40 MAYBE 1.61/1.61
AProVE_08/parting04_maxsort_h.xml 5161833 timeout (wallclock) [out] YES 17.16/6.46 timeout (wallclock) [out] MAYBE 0.09/0.29 MAYBE 255.50/99.40 MAYBE 3.04/3.39
AProVE_08/thiemann40_modified.xml 5161834 timeout (wallclock) [out] YES 27.36/13.31 YES 1.17/1.21 YES 0.03/0.08 YES 4.76/1.52 MAYBE 0.40/0.40
AProVE_08/parting01_reverse.xml 5161835 timeout (wallclock) [out] YES 15.78/6.13 timeout (wallclock) [out] MAYBE 0.06/0.19 MAYBE 244.27/99.39 MAYBE 1.86/1.88
AProVE_08/round.xml 5161836 timeout (wallclock) [out] YES 4.64/2.12 MAYBE 40.31/40.33 MAYBE 0.03/0.08 MAYBE 244.53/99.38 MAYBE 0.18/0.19
AProVE_08/id_inc.xml 5161837 timeout (wallclock) [out] YES 5.54/2.77 YES 0.20/0.23 MAYBE 0.04/0.22 YES 9.66/3.04 MAYBE 0.50/0.50
AProVE_08/parting02_doublelist.xml 5161838 timeout (wallclock) [out] YES 20.43/7.25 timeout (wallclock) [out] MAYBE 0.06/0.18 MAYBE 243.90/99.39 MAYBE 1.62/1.64
AProVE_07/thiemann14.xml 5162085 timeout (wallclock) [out] YES 29.12/10.48 timeout (wallclock) [out] YES 0.05/0.17 YES 12.09/3.45 MAYBE 1.07/1.08
AProVE_07/otto06.xml 5162086 timeout (wallclock) [out] YES 9.10/3.49 timeout (wallclock) [out] MAYBE 0.10/0.31 MAYBE 247.70/99.39 MAYBE 1.81/1.81
AProVE_07/kabasci06.xml 5162087 timeout (wallclock) [out] YES 5.46/2.20 MAYBE 145.16/145.36 YES 0.04/0.09 YES 7.36/2.22 MAYBE 130.72/130.78
AProVE_07/thiemann01.xml 5162088 timeout (wallclock) [out] YES 4.77/2.09 timeout (wallclock) [out] MAYBE 0.06/0.20 MAYBE 244.75/99.38 MAYBE 1.11/1.12
AProVE_07/thiemann31.xml 5162089 timeout (wallclock) [out] YES 8.70/3.51 timeout (wallclock) [out] MAYBE 0.09/0.49 MAYBE 244.96/99.39 MAYBE 1.97/1.98
AProVE_07/thiemann21.xml 5162090 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.11/0.39 MAYBE 253.40/99.40 MAYBE 8.51/4.31
AProVE_07/thiemann25.xml 5162091 timeout (wallclock) [out] YES 5.90/2.50 timeout (wallclock) [out] MAYBE 0.06/0.20 MAYBE 244.67/99.39 MAYBE 0.70/0.71
AProVE_07/thiemann05.xml 5162092 timeout (wallclock) [out] YES 7.00/2.70 timeout (wallclock) [out] MAYBE 0.06/0.22 MAYBE 244.59/99.38 MAYBE 1.06/1.06
AProVE_07/thiemann03.xml 5162093 timeout (wallclock) [out] YES 16.86/3.25 YES 0.97/1.00 MAYBE 0.06/0.27 MAYBE 244.14/99.39 MAYBE 1.07/1.09
AProVE_07/thiemann39.xml 5162094 timeout (wallclock) [out] YES 5.39/2.21 timeout (wallclock) [out] YES 0.03/0.09 YES 7.28/2.27 MAYBE 247.46/247.69
AProVE_07/thiemann34.xml 5162095 timeout (wallclock) [out] YES 13.42/4.77 timeout (wallclock) [out] MAYBE 0.07/0.26 MAYBE 248.40/99.39 MAYBE 0.75/0.77
AProVE_07/thiemann26.xml 5162096 NO 8.49/2.31 NO 145.05/59.26 MAYBE 81.57/81.64 MAYBE 0.06/0.22 MAYBE 248.98/99.39 MAYBE 1.42/1.96
AProVE_07/wiehe03.xml 5162097 timeout (wallclock) [out] YES 7.50/2.82 timeout (wallclock) [out] YES 0.04/0.17 YES 24.22/6.64 MAYBE 11.68/11.71
AProVE_07/otto03.xml 5162098 timeout (wallclock) [out] YES 5.00/2.29 timeout (wallclock) [out] MAYBE 0.03/0.11 MAYBE 244.43/99.39 MAYBE 0.40/0.40
AProVE_07/thiemann10.xml 5162099 timeout (wallclock) [out] YES 5.25/2.20 YES 0.09/0.11 YES 0.03/0.08 YES 5.33/1.68 MAYBE 0.53/0.54
AProVE_07/thiemann30.xml 5162100 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.12/0.33 MAYBE 311.74/99.40 MAYBE 2.44/2.48
AProVE_07/otto04.xml 5162101 timeout (wallclock) [out] YES 7.23/2.92 timeout (wallclock) [out] MAYBE 0.09/0.27 MAYBE 245.74/99.39 MAYBE 3.81/3.82
AProVE_07/otto05.xml 5162102 timeout (wallclock) [out] YES 5.23/2.22 YES 0.09/0.12 YES 0.03/0.08 YES 5.21/1.64 MAYBE 0.61/0.61
AProVE_07/thiemann40.xml 5162103 timeout (wallclock) [out] YES 4.72/2.08 YES 0.07/0.12 YES 0.02/0.05 YES 3.26/1.15 MAYBE 0.33/0.33
AProVE_07/thiemann17.xml 5162104 timeout (wallclock) [out] YES 5.79/2.40 YES 0.59/0.60 YES 0.05/0.13 YES 11.41/3.27 MAYBE 1.58/2.12
AProVE_07/kabasci05.xml 5162105 timeout (wallclock) [out] YES 5.39/2.42 MAYBE 222.46/222.58 YES 0.03/0.08 YES 13.12/3.73 MAYBE 1.83/1.83
AProVE_07/otto08.xml 5162106 timeout (wallclock) [out] YES 8.47/3.61 timeout (wallclock) [out] MAYBE 0.07/0.22 MAYBE 245.22/99.39 MAYBE 1.10/1.11
AProVE_07/thiemann18.xml 5162107 timeout (wallclock) [out] YES 8.20/2.92 timeout (wallclock) [out] YES 0.08/0.24 YES 12.33/3.52 MAYBE 2.73/2.88
AProVE_07/wiehe01.xml 5162108 timeout (wallclock) [out] YES 6.66/2.75 timeout (wallclock) [out] YES 0.03/0.08 YES 10.70/3.13 MAYBE 10.13/10.62
AProVE_07/wiehe11.xml 5162109 timeout (wallclock) [out] YES 7.90/3.29 timeout (wallclock) [out] YES 0.06/0.21 YES 27.81/7.56 MAYBE 11.91/11.95
AProVE_07/kabasci02.xml 5162110 timeout (wallclock) [out] YES 6.46/2.50 YES 287.58/288.21 YES 0.05/0.13 YES 24.62/6.75 MAYBE 44.41/44.43
AProVE_07/thiemann36.xml 5162111 timeout (wallclock) [out] YES 10.68/4.48 timeout (wallclock) [out] MAYBE 0.72/0.80 MAYBE 244.49/99.38 MAYBE 2.77/2.77
AProVE_07/thiemann29.xml 5162112 timeout (wallclock) [out] YES 43.53/21.13 timeout (wallclock) [out] MAYBE 0.09/0.48 MAYBE 249.31/99.39 MAYBE 2.40/2.41
AProVE_07/thiemann37.xml 5162113 timeout (wallclock) [out] YES 16.34/6.23 timeout (wallclock) [out] MAYBE 0.54/0.52 MAYBE 267.81/99.40 timeout (wallclock) [out]
AProVE_07/wiehe08.xml 5162114 timeout (wallclock) [out] YES 6.76/2.62 timeout (wallclock) [out] YES 0.04/0.11 YES 11.30/3.33 MAYBE 10.32/10.35
AProVE_07/thiemann04.xml 5162115 timeout (wallclock) [out] YES 23.66/9.17 timeout (wallclock) [out] MAYBE 0.71/0.91 MAYBE 296.96/99.40 MAYBE 11.73/11.94
AProVE_07/otto02.xml 5162116 timeout (wallclock) [out] YES 6.48/2.63 timeout (wallclock) [out] MAYBE 0.07/0.22 MAYBE 246.28/99.40 MAYBE 1.74/1.75
AProVE_07/thiemann38.xml 5162117 timeout (wallclock) [out] YES 7.43/6.31 timeout (wallclock) [out] MAYBE 0.07/0.29 MAYBE 244.78/99.38 MAYBE 1.04/1.04
AProVE_07/thiemann41.xml 5162118 timeout (wallclock) [out] YES 5.17/2.45 timeout (wallclock) [out] MAYBE 0.05/0.16 MAYBE 246.80/99.38 MAYBE 0.66/0.68
AProVE_07/thiemann27.xml 5162119 timeout (wallclock) [out] YES 5.06/2.32 timeout (wallclock) [out] MAYBE 0.04/0.11 MAYBE 244.52/99.39 MAYBE 0.35/0.35
AProVE_07/otto07.xml 5162120 timeout (wallclock) [out] YES 4.97/2.19 timeout (wallclock) [out] MAYBE 0.03/0.11 MAYBE 244.46/99.38 MAYBE 0.33/0.34
AProVE_07/otto01.xml 5162121 timeout (wallclock) [out] YES 7.30/2.81 timeout (wallclock) [out] YES 0.03/0.09 YES 6.18/1.97 MAYBE 160.37/160.41
AProVE_07/kabasci03.xml 5162122 timeout (wallclock) [out] YES 6.81/2.64 timeout (wallclock) [out] YES 0.8/0.64 YES 15.23/4.26 MAYBE 8.50/8.54
AProVE_07/thiemann23.xml 5162123 timeout (wallclock) [out] YES 7.07/3.01 timeout (wallclock) [out] MAYBE 0.05/0.16 YES 61.29/15.90 MAYBE 1.59/1.61
AProVE_07/thiemann07.xml 5162124 timeout (wallclock) [out] YES 28.15/9.70 timeout (wallclock) [out] YES 0.06/0.18 MAYBE 248.42/99.39 MAYBE 2.24/2.24
AProVE_07/thiemann32.xml 5162125 timeout (wallclock) [out] YES 16.14/7.34 timeout (wallclock) [out] MAYBE 0.07/0.38 MAYBE 275.09/99.40 MAYBE 2.05/2.09
AProVE_07/thiemann19.xml 5162126 timeout (wallclock) [out] YES 10.06/4.02 timeout (wallclock) [out] MAYBE 0.04/0.20 YES 91.88/23.81 MAYBE 0.87/0.88
AProVE_07/otto12.xml 5162127 timeout (wallclock) [out] YES 8.01/3.09 timeout (wallclock) [out] MAYBE 0.08/0.27 MAYBE 244.77/99.39 MAYBE 0.96/1.88
AProVE_07/thiemann09.xml 5162128 timeout (wallclock) [out] YES 4.79/2.12 timeout (wallclock) [out] MAYBE 0.08/0.20 MAYBE 246.62/99.40 MAYBE 1.76/2.43
AProVE_07/wiehe06.xml 5162129 timeout (wallclock) [out] YES 6.75/2.57 timeout (wallclock) [out] YES 0.03/0.10 YES 16.39/4.37 MAYBE 10.67/10.69
AProVE_07/otto11.xml 5162130 timeout (wallclock) [out] YES 5.33/2.36 timeout (wallclock) [out] MAYBE 0.04/0.14 MAYBE 244.82/99.39 MAYBE 0.55/0.55
AProVE_07/kabasci01.xml 5162131 timeout (wallclock) [out] YES 12.14/4.19 timeout (wallclock) [out] YES 2.14/2.07 YES 66.06/21.82 MAYBE 3.44/3.45
AProVE_07/thiemann16.xml 5162132 timeout (wallclock) [out] YES 6.03/2.61 YES 3.42/3.64 YES 0.05/0.13 YES 15.90/4.43 MAYBE 2.82/2.84
AProVE_07/thiemann11.xml 5162133 timeout (wallclock) [out] YES 45.57/18.68 timeout (wallclock) [out] MAYBE 0.95/0.97 MAYBE 244.73/99.40 MAYBE 2.08/3.14
AProVE_07/wiehe02.xml 5162134 timeout (wallclock) [out] YES 7.41/3.24 timeout (wallclock) [out] YES 0.04/0.18 YES 24.27/6.87 MAYBE 11.08/11.10
AProVE_07/thiemann22.xml 5162135 timeout (wallclock) [out] YES 8.52/3.79 timeout (wallclock) [out] MAYBE 0.05/0.36 MAYBE 246.07/99.38 MAYBE 1.00/1.00
AProVE_07/thiemann35.xml 5162136 timeout (wallclock) [out] YES 6.74/2.54 timeout (wallclock) [out] YES 0.03/0.09 YES 7.81/2.38 timeout (wallclock) [out]
AProVE_07/thiemann20.xml 5162137 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.04/0.18 MAYBE 244.24/99.38 MAYBE 0.55/0.58
AProVE_07/thiemann15.xml 5162138 timeout (wallclock) [out] YES 5.31/2.22 YES 0.09/0.10 YES 0.03/0.08 YES 3.98/1.34 MAYBE 0.47/0.47
AProVE_07/wiehe09.xml 5162139 timeout (wallclock) [out] YES 6.86/2.70 timeout (wallclock) [out] YES 0.04/0.16 YES 11.48/3.33 MAYBE 10.35/10.35
AProVE_07/wiehe05.xml 5162140 timeout (wallclock) [out] YES 6.60/2.66 timeout (wallclock) [out] YES 0.04/0.12 YES 11.47/3.37 MAYBE 10.17/10.17
AProVE_07/wiehe12.xml 5162141 timeout (wallclock) [out] YES 8.05/2.94 timeout (wallclock) [out] YES 0.07/0.24 YES 26.59/7.33 timeout (wallclock) [out]
AProVE_07/thiemann28.xml 5162142 NO 3.48/1.04 NO 15.95/8.07 MAYBE 81.31/81.35 MAYBE 0.05/0.18 MAYBE 244.75/99.39 MAYBE 1.17/1.18
AProVE_07/kabasci04.xml 5162143 timeout (wallclock) [out] YES 4.56/1.96 YES 0.39/0.48 YES 0.03/0.06 YES 5.77/1.85 MAYBE 3.56/4.24
AProVE_07/thiemann13.xml 5162144 timeout (wallclock) [out] YES 20.90/8.06 timeout (wallclock) [out] MAYBE 0.6/0.63 MAYBE 245.52/99.39 MAYBE 3.40/3.40
AProVE_07/thiemann06.xml 5162145 timeout (wallclock) [out] YES 18.65/6.07 timeout (wallclock) [out] MAYBE 0.09/0.40 MAYBE 245.75/99.39 MAYBE 7.92/7.94
AProVE_07/otto10.xml 5162146 timeout (wallclock) [out] YES 6.97/2.75 timeout (wallclock) [out] MAYBE 0.11/0.42 MAYBE 181.67/48.15 MAYBE 5.04/5.06
AProVE_07/thiemann12.xml 5162147 timeout (wallclock) [out] YES 5.13/2.13 YES 0.11/0.13 YES 0.04/0.09 YES 5.33/1.69 MAYBE 0.71/0.74
AProVE_07/otto09.xml 5162148 timeout (wallclock) [out] YES 8.79/4.07 timeout (wallclock) [out] MAYBE 0.06/0.21 MAYBE 244.75/99.39 MAYBE 1.18/1.25
AProVE_07/otto13.xml 5162149 timeout (wallclock) [out] YES 19.21/10.26 timeout (wallclock) [out] MAYBE 0.09/0.26 MAYBE 245.25/99.40 MAYBE 2.68/2.70
AProVE_07/thiemann33.xml 5162150 timeout (wallclock) [out] YES 35.06/12.35 timeout (wallclock) [out] MAYBE 0.05/0.15 MAYBE 245.90/99.39 MAYBE 1.91/1.93
AProVE_07/wiehe07.xml 5162151 timeout (wallclock) [out] YES 55.43/19.28 timeout (wallclock) [out] MAYBE 0.21/0.55 MAYBE 206.3/56.98 MAYBE 7.41/7.47
AProVE_07/thiemann24.xml 5162152 timeout (wallclock) [out] YES 7.17/3.05 timeout (wallclock) [out] MAYBE 0.06/0.22 MAYBE 244.84/99.40 MAYBE 0.82/0.82
AProVE_07/thiemann02.xml 5162153 timeout (wallclock) [out] YES 14.14/7.26 timeout (wallclock) [out] MAYBE 0.79/0.77 MAYBE 325.61/103.69 MAYBE 8.22/9.39
AProVE_07/thiemann08.xml 5162154 timeout (wallclock) [out] YES 5.13/5.03 YES 0.09/0.09 YES 0.03/0.09 YES 6.05/1.89 MAYBE 0.50/0.57
AProVE_10/isNat.xml 5162055 timeout (wallclock) [out] NO 22.38/11.74 timeout (wallclock) [out] MAYBE 0.02/0.07 MAYBE 244.25/99.37 MAYBE 0.19/0.20
AProVE_10/ex3.xml 5162056 timeout (wallclock) [out] NO 34.94/11.86 timeout (wallclock) [out] MAYBE 0.03/0.11 MAYBE 244.23/99.38 MAYBE 0.33/0.34
AProVE_10/halfdouble.xml 5162057 timeout (wallclock) [out] NO 25.87/12.81 timeout (wallclock) [out] MAYBE 0.05/0.26 MAYBE 244.19/99.39 MAYBE 0.83/0.85
AProVE_10/isList.xml 5162058 NO 0.18/0.15 NO 5.49/2.48 MAYBE 60.25/60.33 NO 0.03/0.07 NO 1.21/0.64 MAYBE 0.15/0.16
AProVE_10/scnp.xml 5162059 timeout (wallclock) [out] YES 3.43/2.15 YES 0.06/0.13 YES 0.01/0.01 YES 0.64/0.45 YES 0.02/0.02
AProVE_10/downfrom.xml 5162060 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.03/0.14 MAYBE 243.72/99.41 MAYBE 0.65/1.08
AProVE_10/ex5.xml 5162061 MAYBE 0.17/0.15 YES 3.29/1.50 YES 0.01/0.01 YES 0.01/0.01 YES 0.57/0.43 YES 0.02/0.02
AProVE_10/andIsNat.xml 5162062 timeout (wallclock) [out] NO 39.96/17.16 timeout (wallclock) [out] MAYBE 0.04/0.17 MAYBE 245.24/99.39 MAYBE 0.52/0.56
AProVE_10/ex1.xml 5162063 timeout (wallclock) [out] NO 25.12/11.84 timeout (wallclock) [out] MAYBE 0.04/0.12 MAYBE 244.66/99.42 MAYBE 0.32/0.34
AProVE_10/challenge_fab.xml 5162064 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.05/0.46 MAYBE 244.48/99.39 MAYBE 0.64/0.65
AProVE_10/double.xml 5162065 timeout (wallclock) [out] NO 37.19/11.92 timeout (wallclock) [out] MAYBE 0.02/0.08 MAYBE 244.26/99.38 MAYBE 0.23/0.25
AProVE_10/Zantema06-03-modified.xml 5162066 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.11/0.42 MAYBE 301.90/99.38 MAYBE 1.13/1.13
AProVE_10/ex2.xml 5162067 timeout (wallclock) [out] NO 38.80/11.92 timeout (wallclock) [out] MAYBE 0.03/0.11 MAYBE 243.51/99.44 MAYBE 0.38/0.40
AProVE_10/ex4.xml 5162068 timeout (wallclock) [out] NO 37.35/13.76 timeout (wallclock) [out] MAYBE 0.04/0.15 MAYBE 244.28/99.38 MAYBE 0.68/0.70
AProVE_09_Inductive/zerolist.xml 5162200 timeout (wallclock) [out] YES 5.75/3.69 timeout (wallclock) [out] MAYBE 0.05/0.15 MAYBE 43.22/10.58 MAYBE 0.64/0.64
AProVE_09_Inductive/log.xml 5162201 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.04/0.19 MAYBE 388.10/99.39 MAYBE 0.79/0.81
AProVE_09_Inductive/maxsort.xml 5162202 timeout (wallclock) [out] YES 16.39/6.17 timeout (wallclock) [out] MAYBE 0.08/0.24 MAYBE 246.65/99.40 MAYBE 2.27/2.27
AProVE_09_Inductive/qsortlast.xml 5162203 timeout (wallclock) [out] YES 38.41/13.32 timeout (wallclock) [out] MAYBE 0.10/0.44 MAYBE 261.53/99.40 MAYBE 40.02/40.77
AProVE_09_Inductive/qsort.xml 5162204 timeout (wallclock) [out] YES 40.08/15.06 timeout (wallclock) [out] MAYBE 0.08/0.37 MAYBE 250.34/99.40 MAYBE 2.77/2.78
AProVE_09_Inductive/qsortmiddle.xml 5162205 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.66/0.65 MAYBE 260.50/109.48 timeout (wallclock) [out]
AProVE_09_Inductive/minsort.xml 5162206 timeout (wallclock) [out] YES 17.25/6.23 timeout (wallclock) [out] MAYBE 0.08/0.28 MAYBE 249.01/99.40 MAYBE 2.39/2.38
AProVE_09_Inductive/gcd2.xml 5162207 timeout (wallclock) [out] YES 77.54/26.95 timeout (wallclock) [out] MAYBE 0.09/0.55 MAYBE 244.60/99.39 MAYBE 1.34/1.37
AProVE_09_Inductive/maxsortcondition.xml 5162208 timeout (wallclock) [out] YES 11.17/4.08 timeout (wallclock) [out] MAYBE 0.09/0.26 MAYBE 246.58/99.40 MAYBE 1.20/1.38
AProVE_09_Inductive/div.xml 5162209 timeout (wallclock) [out] YES 38.70/16.24 timeout (wallclock) [out] MAYBE 0.07/0.35 MAYBE 245.12/99.39 MAYBE 0.86/0.89
AProVE_09_Inductive/mod.xml 5162210 timeout (wallclock) [out] YES 38.42/15.93 timeout (wallclock) [out] MAYBE 0.07/0.24 MAYBE 244.66/99.39 MAYBE 0.89/0.90
AProVE_09_Inductive/divhard.xml 5162211 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.07/0.26 MAYBE 246.27/99.39 MAYBE 0.86/0.86
AProVE_09_Inductive/gcd.xml 5162212 timeout (wallclock) [out] YES 37.66/13.19 timeout (wallclock) [out] MAYBE 0.08/0.28 MAYBE 245.17/99.39 MAYBE 0.88/0.89
AProVE_09_Inductive/gcdhard.xml 5162213 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.06/0.19 MAYBE 429.79/99.39 MAYBE 2.70/2.73
MNZ_10/0.xml 5160786 timeout (wallclock) [out] YES 84.98/27.17 YES 13.95/14.15 YES 0.02/0.04 YES 18.39/5.11 MAYBE 3.32/3.43
MNZ_10/3.xml 5160787 timeout (wallclock) [out] YES 70.50/20.56 timeout (wallclock) [out] YES 0.07/0.09 YES 25.69/7.00 MAYBE 4.82/4.82
MNZ_10/7.xml 5160788 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 0.67/0.69 YES 28.39/7.21 MAYBE 4.75/4.77
MNZ_10/1.xml 5160789 timeout (wallclock) [out] YES 38.51/13.10 timeout (wallclock) [out] YES 0.06/0.08 YES 22.26/6.11 MAYBE 2.69/2.71
MNZ_10/5.xml 5160790 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 0.56/0.58 YES 25.14/6.82 MAYBE 6.56/6.57
MNZ_10/nrvsq.xml 5160791 timeout (wallclock) [out] YES 85.18/28.31 timeout (wallclock) [out] MAYBE 1.34/1.28 MAYBE 248.99/99.41 MAYBE 4.82/4.87
MNZ_10/2.xml 5160792 timeout (wallclock) [out] YES 76.34/21.95 timeout (wallclock) [out] YES 0.06/0.08 YES 23.41/6.43 MAYBE 3.54/3.56
MNZ_10/8.xml 5160793 timeout (wallclock) [out] YES 261.66/93.89 timeout (wallclock) [out] YES 0.45/0.47 YES 26.90/7.34 MAYBE 4.27/4.77
MNZ_10/nvsr.xml 5160794 timeout (wallclock) [out] YES 244.87/118.76 timeout (wallclock) [out] MAYBE 1.27/1.26 YES 34.10/7.64 MAYBE 3.63/3.68
MNZ_10/labelled.xml 5160795 timeout (wallclock) [out] YES 17.75/10.33 YES 270.73/275.78 timeout (wallclock) [out] MAYBE 426.02/113.41 timeout (wallclock) [out]
MNZ_10/6.xml 5160796 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 6.46/6.48 YES 24.89/6.76 MAYBE 8.89/8.90
MNZ_10/9.xml 5160797 timeout (wallclock) [out] YES 437.58/235.44 timeout (wallclock) [out] YES 0.54/0.55 YES 26.54/7.17 MAYBE 5.32/5.34
MNZ_10/4.xml 5160798 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 8.12/8.14 YES 28.87/7.79 MAYBE 5.23/5.23
Mixed_TRS/while2.xml 5161013 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.17/0.30 MAYBE 244.93/99.38 MAYBE 1.41/1.42
Mixed_TRS/motivation.xml 5161014 timeout (wallclock) [out] YES 3.69/1.85 YES 0.03/0.04 YES 0.01/0.01 YES 0.95/0.55 YES 0.09/0.10
Mixed_TRS/jones1.xml 5161015 timeout (wallclock) [out] YES 3.46/1.59 YES 0.01/0.01 YES 0.01/0.01 YES 0.68/0.46 YES 0.03/0.03
Mixed_TRS/jones5.xml 5161016 timeout (wallclock) [out] YES 3.68/1.73 YES 0.03/0.04 YES 0.01/0.01 YES 0.65/0.45 YES 0.03/0.03
Mixed_TRS/beans.xml 5161017 timeout (wallclock) [out] YES 4.59/2.70 YES 3.01/3.48 YES 0.07/0.13 MAYBE 249.07/99.39 MAYBE 3.09/3.13
Mixed_TRS/3.xml 5161018 timeout (wallclock) [out] YES 4.38/2.07 YES 0.05/0.07 YES 0.02/0.05 YES 2.03/0.84 MAYBE 1.27/1.28
Mixed_TRS/7.xml 5161019 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 161.98/162.24 MAYBE 0.43/0.56 MAYBE 244.82/99.38 MAYBE 0.81/0.82
Mixed_TRS/1.xml 5161020 MAYBE 0.23/0.17 YES 4.25/2.01 YES 0.11/0.13 YES 0.03/0.11 YES 0.92/0.53 MAYBE 4.52/4.55
Mixed_TRS/hydra.xml 5161021 timeout (wallclock) [out] YES 3.55/1.72 YES 0.01/0.01 YES 0.01/0.03 YES 2.58/0.97 YES 0.10/0.10
Mixed_TRS/minsort.xml 5161022 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.08/0.18 MAYBE 245.36/99.39 MAYBE 1.86/1.87
Mixed_TRS/while.xml 5161023 timeout (wallclock) [out] YES 4.86/2.19 timeout (wallclock) [out] MAYBE 0.03/0.09 MAYBE 244.37/99.44 MAYBE 0.28/0.30
Mixed_TRS/jones4.xml 5161024 timeout (wallclock) [out] YES 3.49/1.71 YES 0.05/0.05 YES 0.01/0.01 YES 0.58/0.43 YES 0.02/0.02
Mixed_TRS/gcdMinMax.xml 5161025 timeout (wallclock) [out] YES 4.68/2.06 timeout (wallclock) [out] MAYBE 0.06/0.20 MAYBE 245.17/99.38 MAYBE 7.76/7.79
Mixed_TRS/Ex1_Luc04b_GM.xml 5161026 timeout (wallclock) [out] YES 6.36/2.39 YES 0.73/0.85 YES 0.02/0.12 YES 2.30/0.91 YES 0.80/0.80
Mixed_TRS/hydra-Zantema06.xml 5161027 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.11/0.26 MAYBE 244.40/99.38 MAYBE 2.90/2.90
Mixed_TRS/5.xml 5161028 MAYBE 0.19/0.14 YES 4.26/1.95 YES 0.05/0.06 YES 0.02/0.04 YES 1.23/0.65 MAYBE 0.22/0.41
Mixed_TRS/jones2.xml 5161029 timeout (wallclock) [out] YES 3.66/1.88 YES 0.01/0.01 YES 0.01/0.02 YES 0.72/0.46 YES 0.07/0.07
Mixed_TRS/2.xml 5161030 timeout (wallclock) [out] YES 4.69/2.08 YES 0.53/0.55 YES 0.01/0.03 YES 0.95/0.54 MAYBE 4.06/4.06
Mixed_TRS/div_hard.xml 5161031 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 80.61/80.65 MAYBE 0.05/0.13 YES 187.51/47.91 MAYBE 1.21/1.24
Mixed_TRS/jones6.xml 5161032 timeout (wallclock) [out] YES 3.70/1.69 YES 0.01/0.01 YES 0.01/0.03 YES 0.86/0.50 YES 0.05/0.05
Mixed_TRS/test1.xml 5161033 timeout (wallclock) [out] YES 4.03/1.87 YES 0.07/0.10 YES 0.01/0.02 YES 0.51/0.41 MAYBE 0.19/0.21
Mixed_TRS/6.xml 5161034 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.03/0.10 MAYBE 244.40/99.37 MAYBE 0.66/0.66
Mixed_TRS/fossacs.xml 5161035 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 40.80/40.82 MAYBE 0.04/0.15 MAYBE 244.14/99.38 MAYBE 0.52/0.52
Mixed_TRS/sigma.xml 5161036 timeout (wallclock) [out] YES 7.44/3.16 timeout (wallclock) [out] YES 0.04/0.09 YES 29.66/7.84 MAYBE 1.03/1.04
Mixed_TRS/gcd.xml 5161037 timeout (wallclock) [out] YES 4.66/1.96 YES 0.04/0.06 YES 0.02/0.05 YES 4.38/1.49 YES 0.22/0.23
Mixed_TRS/4.xml 5161038 timeout (wallclock) [out] YES 4.28/2.19 YES 0.12/0.16 YES 0.06/0.11 YES 1.61/0.76 MAYBE 3.23/3.25
Mixed_TRS/perfect.xml 5161039 timeout (wallclock) [out] YES 7.62/2.09 YES 0.02/0.03 YES 0.02/0.04 YES 1.36/0.67 YES 0.17/0.17
Mixed_TRS/gcd_triple.xml 5161040 timeout (wallclock) [out] YES 5.89/2.48 YES 0.18/0.21 MAYBE 0.14/0.37 YES 7.58/2.34 YES 0.38/0.39
Mixed_TRS/perfect2.xml 5161041 timeout (wallclock) [out] YES 4.38/1.95 YES 0.04/0.04 YES 0.03/0.05 YES 3.20/1.16 YES 0.26/0.27
Secret_05_TRS/teparla2.xml 5161727 timeout (wallclock) [out] YES 9.04/3.11 MAYBE 123.68/123.98 MAYBE 0.12/0.24 YES 50.76/13.56 MAYBE 9.36/9.36
Secret_05_TRS/tpa4.xml 5161728 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.04/0.15 MAYBE 244.79/99.39 MAYBE 2.03/2.03
Secret_05_TRS/tpa2.xml 5161729 timeout (wallclock) [out] YES 4.76/2.03 YES 0.12/0.13 YES 0.03/0.08 YES 4.31/1.42 MAYBE 0.89/0.89
Secret_05_TRS/cime1.xml 5161730 timeout (wallclock) [out] YES 38.01/16.45 timeout (wallclock) [out] YES 5.89/4.71 MAYBE 334.47/109.43 YES 96.02/96.04
Secret_05_TRS/aprove2.xml 5161731 timeout (wallclock) [out] YES 8.59/3.43 timeout (wallclock) [out] MAYBE 0.05/0.20 MAYBE 244.68/99.39 MAYBE 0.68/1.87
Secret_05_TRS/cime2.xml 5161732 timeout (wallclock) [out] YES 54.60/19.09 YES 3.58/4.40 YES 0.08/0.16 MAYBE 244.67/99.39 YES 1.46/1.78
Secret_05_TRS/matchbox1.xml 5161733 timeout (wallclock) [out] YES 5.03/2.11 YES 40.51/40.69 MAYBE 0.03/0.07 YES 4.24/1.41 MAYBE 0.19/0.20
Secret_05_TRS/aprove3.xml 5161734 timeout (wallclock) [out] YES 8.36/3.24 timeout (wallclock) [out] YES 0.05/0.14 MAYBE 244.66/99.39 MAYBE 3.73/3.74
Secret_05_TRS/aprove1.xml 5161735 timeout (wallclock) [out] YES 8.49/3.05 timeout (wallclock) [out] YES 0.04/0.12 YES 5.07/1.65 MAYBE 46.63/46.64
Secret_05_TRS/teparla1.xml 5161736 timeout (wallclock) [out] YES 3.89/1.84 YES 41.40/41.80 MAYBE 0.14/0.29 YES 2.18/0.92 MAYBE 10.50/11.17
Secret_05_TRS/tpa5.xml 5161737 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 103.01/103.15 MAYBE 0.10/0.28 MAYBE 247.28/99.39 MAYBE 1.12/1.13
Secret_05_TRS/tpa3.xml 5161738 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.04/0.13 MAYBE 245.63/99.39 MAYBE 2.96/2.97
Secret_05_TRS/cime5.xml 5161739 timeout (wallclock) [out] YES 16.55/5.42 YES 2.63/2.61 YES 6.62/5.08 YES 27.40/7.78 YES 12.10/12.12
Secret_05_TRS/ttt1.xml 5161740 NO 0.21/0.16 NO 4.97/2.87 MAYBE 40.43/40.52 MAYBE 0.03/0.06 NO 2.42/0.98 MAYBE 0.24/0.26
Secret_05_TRS/teparla3.xml 5161741 timeout (wallclock) [out] YES 14.78/6.01 MAYBE 123.35/123.70 MAYBE 0.10/0.21 YES 6.45/2.00 MAYBE 3.60/3.61
Secret_05_TRS/aprove4.xml 5161742 timeout (wallclock) [out] YES 6.05/2.54 MAYBE 221.71/221.69 MAYBE 0.04/0.14 MAYBE 244.51/99.39 MAYBE 0.44/0.44
Secret_05_TRS/tpa1.xml 5161743 timeout (wallclock) [out] YES 4.81/2.10 timeout (wallclock) [out] MAYBE 0.06/0.20 MAYBE 245.02/99.39 MAYBE 7.74/7.75
Secret_05_TRS/aprove5.xml 5161744 timeout (wallclock) [out] YES 5.50/3.22 timeout (wallclock) [out] YES 0.03/0.06 YES 11.65/3.40 MAYBE 1.27/1.27
Secret_05_TRS/ttt2.xml 5161745 NO 0.18/0.15 NO 5.04/2.30 NO 60.28/60.35 NO 0.02/0.07 NO 1.39/0.73 MAYBE 0.19/0.19
Secret_05_TRS/cime3.xml 5161746 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.08/0.38 YES 161.34/41.58 MAYBE 2.58/2.60
Secret_05_TRS/matchbox2.xml 5161747 MAYBE 0.22/0.17 YES 4.22/1.95 YES 0.15/0.16 YES 0.03/0.08 YES 1.53/0.74 MAYBE 0.35/0.38
Secret_05_TRS/cime4.xml 5161748 NO 0.26/0.19 NO 4.20/2.77 MAYBE 20.14/20.19 MAYBE 0.03/0.06 MAYBE 151.07/49.51 MAYBE 0.24/0.26
Kaliszyk_19/arith.xml 8322872 timeout (wallclock) [out] YES 5.68/2.22 YES 0.16/0.18 YES 10.31/10.40 YES 7.67/3.46 YES 9.54/9.54
Kaliszyk_19/shornodot.xml 8322874 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 423.60/119.64 timeout (wallclock) [out]
Kaliszyk_19/1long.xml 8322875 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.34/1.34 MAYBE 1.30/1.30 timeout (wallclock) [out] MAYBE 1.64/1.64
Kaliszyk_19/longhlnb.xml 8322876 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 491.24/177.87 timeout (wallclock) [out]
Kaliszyk_19/not_3258.xml 8322877 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] NO 64.91/64.90 timeout (wallclock) [out]
Kaliszyk_19/shor.xml 8322878 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 428.45/143.85 timeout (wallclock) [out]
Kaliszyk_19/1rwr.xml 8322879 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.80/0.80 MAYBE 0.80/0.80 timeout (wallclock) [out] MAYBE 1.12/1.12
Kaliszyk_19/longhl.xml 8322880 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 551.93/238.78 timeout (wallclock) [out]
Rubio_04/lindau.xml 5161839 timeout (wallclock) [out] YES 3.37/1.61 YES 0.07/0.08 YES 0.01/0.02 YES 0.81/0.50 YES 0.12/0.12
Rubio_04/division.xml 5161840 timeout (wallclock) [out] YES 4.33/1.99 YES 0.04/0.06 YES 0.02/0.05 YES 3.74/1.27 YES 0.23/0.23
Rubio_04/gmnp.xml 5161841 MAYBE 0.18/0.14 YES 3.35/1.58 YES 0.01/0.01 YES 0.02/0.03 YES 0.96/0.54 YES 0.08/0.08
Rubio_04/gm.xml 5161842 timeout (wallclock) [out] YES 3.82/1.78 YES 0.03/0.05 YES 0.01/0.03 YES 2.72/0.99 YES 0.12/0.12
Rubio_04/selsort.xml 5161843 timeout (wallclock) [out] YES 5.57/3.39 YES 0.13/0.12 YES 0.04/0.09 YES 12.59/3.64 YES 0.86/0.85
Rubio_04/enno.xml 5161844 timeout (wallclock) [out] YES 4.88/2.08 YES 0.09/0.12 YES 0.03/0.05 YES 4.25/1.44 YES 0.47/0.47
Rubio_04/bn129.xml 5161845 timeout (wallclock) [out] YES 3.54/1.64 YES 0.14/0.14 YES 0.01/0.02 YES 2.05/0.85 YES 0.20/0.21
Rubio_04/quotminus.xml 5161846 timeout (wallclock) [out] YES 3.96/1.85 YES 0.03/0.04 YES 0.02/0.03 YES 3.08/1.13 YES 0.17/0.23
Rubio_04/prov.xml 5161847 timeout (wallclock) [out] YES 3.75/1.79 YES 0.01/0.01 YES 0.01/0.03 YES 0.75/0.49 YES 0.08/0.08
Rubio_04/p266.xml 5161848 MAYBE 0.17/0.14 YES 3.77/1.77 YES 0.01/0.02 YES 0.01/0.02 YES 1.17/0.58 YES 0.08/0.07
Rubio_04/bintrees.xml 5161849 timeout (wallclock) [out] YES 3.50/1.71 YES 0.03/0.04 YES 0.01/0.02 YES 1.46/0.66 YES 0.06/0.06
Rubio_04/nestrec.xml 5161850 timeout (wallclock) [out] YES 4.06/1.77 YES 0.03/0.04 YES 0.01/0.02 YES 1.52/0.67 YES 0.09/0.10
Rubio_04/ma96.xml 5161851 timeout (wallclock) [out] YES 6.00/2.33 YES 0.22/0.22 YES 0.04/0.09 YES 12.10/3.50 YES 0.96/0.96
Rubio_04/logarquot.xml 5161852 timeout (wallclock) [out] YES 4.16/1.81 YES 0.05/0.05 YES 0.02/0.05 YES 4.85/1.57 YES 0.32/0.33
Rubio_04/test829.xml 5161853 timeout (wallclock) [out] YES 3.71/1.75 YES 0.03/0.19 YES 0.01/0.02 YES 0.81/0.49 YES 0.03/0.03
Rubio_04/elimdupl.xml 5161854 timeout (wallclock) [out] YES 4.32/1.83 YES 0.04/0.05 YES 0.02/0.04 YES 3.31/1.18 YES 0.27/0.27
Rubio_04/koen.xml 5161855 MAYBE 0.19/0.14 YES 3.54/1.62 YES 0.01/0.01 YES 0.01/0.01 YES 0.78/0.48 YES 0.03/0.03
Rubio_04/mfp90b.xml 5161856 MAYBE 0.20/0.16 YES 3.57/1.64 YES 0.03/0.03 YES 0.01/0.01 YES 0.61/0.44 YES 0.02/0.02
Rubio_04/polo2.xml 5161857 timeout (wallclock) [out] YES 4.39/1.89 YES 0.02/0.02 YES 0.02/0.05 YES 4.81/1.05 YES 0.59/0.59
Rubio_04/mfp95.xml 5161858 MAYBE 0.16/0.14 YES 3.40/1.55 YES 0.01/0.01 YES 0.01/0.01 YES 0.61/0.44 YES 0.02/0.02
Rubio_04/gcd.xml 5161859 timeout (wallclock) [out] YES 4.52/1.95 YES 0.04/0.06 YES 0.02/0.04 YES 2.89/1.08 YES 0.33/0.33
Rubio_04/test4.xml 5161860 MAYBE 0.20/0.16 YES 3.94/1.79 YES 0.06/0.08 YES 0.02/0.05 YES 0.93/0.53 YES 0.12/0.16
Rubio_04/lescanne.xml 5161861 timeout (wallclock) [out] YES 3.50/1.74 YES 0.04/0.09 YES 0.02/0.02 YES 0.76/0.48 YES 0.05/0.05
Rubio_04/aoto.xml 5161862 MAYBE 0.17/0.15 YES 3.34/1.59 YES 0.03/0.04 YES 0.01/0.02 YES 1.71/0.74 YES 0.09/0.10
Rubio_04/bn122.xml 5161863 timeout (wallclock) [out] YES 3.64/1.66 YES 0.03/0.04 YES 0.01/0.01 YES 0.65/0.45 YES 0.04/0.04
Rubio_04/revlist.xml 5161864 timeout (wallclock) [out] YES 4.44/2.03 YES 0.04/0.05 YES 0.02/0.05 YES 2.99/1.07 YES 0.29/0.29
Rubio_04/quick.xml 5161865 timeout (wallclock) [out] YES 5.60/2.29 YES 0.08/0.08 YES 0.03/0.06 YES 4.67/1.52 YES 0.46/0.47
Rubio_04/wst99.xml 5161866 timeout (wallclock) [out] YES 6.85/2.65 YES 0.33/0.33 YES 0.03/0.09 YES 5.68/2.02 YES 0.87/0.90
GTSSK07/cade01.xml 5162069 timeout (wallclock) [out] YES 4.97/2.27 timeout (wallclock) [out] MAYBE 0.04/0.12 MAYBE 244.53/99.39 MAYBE 0.34/0.38
GTSSK07/cade11.xml 5162070 timeout (wallclock) [out] YES 4.82/2.33 timeout (wallclock) [out] MAYBE 0.03/0.12 MAYBE 244.55/99.44 MAYBE 0.61/0.61
GTSSK07/cade14.xml 5162071 timeout (wallclock) [out] YES 10.63/4.26 timeout (wallclock) [out] MAYBE 0.06/0.22 MAYBE 244.85/99.39 MAYBE 0.71/0.71
GTSSK07/cade16.xml 5162072 timeout (wallclock) [out] YES 5.57/2.51 timeout (wallclock) [out] MAYBE 0.04/0.15 MAYBE 244.58/99.39 MAYBE 0.55/0.57
GTSSK07/cade12t.xml 5162073 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.07/0.29 MAYBE 244.70/99.39 MAYBE 28.59/28.60
GTSSK07/cade09.xml 5162074 timeout (wallclock) [out] YES 5.19/2.31 timeout (wallclock) [out] MAYBE 0.04/0.18 MAYBE 389.87/99.39 MAYBE 0.62/0.66
GTSSK07/cade10.xml 5162075 timeout (wallclock) [out] YES 5.08/2.33 timeout (wallclock) [out] MAYBE 0.04/0.14 MAYBE 243.87/99.39 MAYBE 0.58/0.58
GTSSK07/cade06.xml 5162076 timeout (wallclock) [out] YES 5.83/2.53 timeout (wallclock) [out] MAYBE 0.06/0.16 MAYBE 244.90/99.39 MAYBE 0.75/0.76
GTSSK07/cade03.xml 5162077 timeout (wallclock) [out] YES 5.21/2.30 timeout (wallclock) [out] MAYBE 0.03/0.11 MAYBE 244.42/99.38 MAYBE 0.37/0.37
GTSSK07/cade04t.xml 5162078 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.03/0.09 MAYBE 178.96/45.62 MAYBE 0.28/0.28
GTSSK07/cade13t.xml 5162079 timeout (wallclock) [out] YES 5.78/2.48 timeout (wallclock) [out] MAYBE 0.06/0.19 MAYBE 244.73/99.39 MAYBE 0.91/0.91
GTSSK07/cade05t.xml 5162080 timeout (wallclock) [out] YES 5.92/2.61 timeout (wallclock) [out] MAYBE 0.04/0.18 MAYBE 244.77/99.39 MAYBE 0.53/0.54
GTSSK07/cade17.xml 5162081 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.06/0.42 MAYBE 244.58/99.39 MAYBE 1.32/1.33
GTSSK07/cade08.xml 5162082 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.06/0.17 MAYBE 244.52/99.39 MAYBE 1.82/1.84
GTSSK07/cade07.xml 5162083 timeout (wallclock) [out] YES 7.52/3.12 timeout (wallclock) [out] MAYBE 0.06/0.21 MAYBE 244.57/99.40 MAYBE 0.67/1.48
GTSSK07/cade15.xml 5162084 timeout (wallclock) [out] YES 14.48/5.74 timeout (wallclock) [out] MAYBE 0.09/0.34 MAYBE 244.92/99.40 MAYBE 1.49/1.51
Endrullis_06/linear1.xml 5161178 timeout (wallclock) [out] YES 5.06/2.31 YES 3.38/3.38 YES 0.04/0.12 YES 8.44/2.50 MAYBE 1.55/1.57
Endrullis_06/linear2.xml 5161179 timeout (wallclock) [out] YES 11.87/3.93 timeout (wallclock) [out] MAYBE 1.57/1.21 YES 15.85/4.51 MAYBE 20.89/20.89
Endrullis_06/pair3hard.xml 5161180 timeout (wallclock) [out] YES 8.92/3.21 timeout (wallclock) [out] MAYBE 0.11/0.22 MAYBE 244.0/99.38 MAYBE 0.53/0.54
Endrullis_06/pair3rotate.xml 5161181 timeout (wallclock) [out] YES 4.91/2.15 YES 0.09/0.09 YES 0.01/0.03 YES 12.71/2.86 YES 2.09/2.76
Endrullis_06/pair2simple2.xml 5161182 timeout (wallclock) [out] YES 4.48/1.90 timeout (wallclock) [out] YES 0.04/0.08 MAYBE 244.23/99.38 YES 0.24/0.24
Endrullis_06/pair2hard.xml 5161183 timeout (wallclock) [out] YES 100.63/40.03 timeout (wallclock) [out] MAYBE 0.12/0.36 YES 11.82/3.38 MAYBE 1.19/1.20
Endrullis_06/direct.xml 5161184 timeout (wallclock) [out] YES 4.65/2.95 YES 0.08/0.11 YES 0.10/0.21 YES 0.95/0.53 MAYBE 1.92/2.17
Endrullis_06/pair2simple1.xml 5161185 timeout (wallclock) [out] YES 3.64/1.72 YES 1.54/1.57 YES 0.02/0.04 YES 2.16/0.89 YES 0.09/0.09
Endrullis_06/labeling.xml 5161186 timeout (wallclock) [out] YES 16.17/6.25 timeout (wallclock) [out] MAYBE 0.04/0.10 MAYBE 157.90/49.56 MAYBE 0.32/0.33
Endrullis_06/quadruple2.xml 5161187 timeout (wallclock) [out] YES 17.61/9.81 timeout (wallclock) [out] MAYBE 0.19/0.43 YES 1.21/0.61 MAYBE 6.23/6.24
Endrullis_06/pair3swap.xml 5161188 timeout (wallclock) [out] YES 5.19/2.24 YES 0.28/0.28 MAYBE 0.7/0.71 YES 13.51/3.81 MAYBE 4.35/4.35
Endrullis_06/quadruple1.xml 5161189 timeout (wallclock) [out] YES 4.81/2.21 timeout (wallclock) [out] YES 0.10/0.22 YES 2.78/1.05 MAYBE 8.09/8.43
Hydras/lepper_8.xml 5162155 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 171.72/158.50 MAYBE 417.06/110.14 timeout (wallclock) [out]
Hydras/worm_wrong.xml 5162156 timeout (wallclock) [out] YES 59.30/20.59 timeout (wallclock) [out] MAYBE 0.13/0.43 YES 17.20/4.76 MAYBE 3.08/3.10
Hydras/lepper_4.xml 5162157 NO 73.95/19.20 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 11.0/8.93 MAYBE 419.88/109.59 MAYBE 31.94/31.95
Hydras/lepper_2.xml 5162158 NO 4.93/1.38 NO 93.90/34.14 timeout (wallclock) [out] MAYBE 2.39/1.94 NO 81.86/21.31 MAYBE 6.02/6.04
Hydras/worm_fixed2.xml 5162159 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.13/0.33 YES 77.11/20.05 MAYBE 2.96/3.24
Hydras/hydra_touzet.xml 5162160 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.11/0.38 YES 110.30/28.46 MAYBE 1.31/1.30
Hydras/hydra_buchholz.xml 5162161 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.09/0.22 MAYBE 248.48/99.39 MAYBE 2.14/2.17
Hydras/lepper_0.xml 5162162 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.12/0.34 MAYBE 244.81/99.39 MAYBE 0.99/1.00
Hydras/lepper_5.xml 5162163 NO 186.69/49.20 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 26.42/22.97 MAYBE 420.2/109.65 MAYBE 88.72/88.73
Hydras/lepper_9.xml 5162164 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 428.16/110.38 timeout (wallclock) [out]
Hydras/worm_fixed.xml 5162165 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.12/0.29 YES 70.63/18.43 MAYBE 2.91/2.94
Hydras/worm_fixed3.xml 5162166 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.13/0.43 MAYBE 244.71/99.40 MAYBE 3.10/3.15
Hydras/lepper_6.xml 5162167 NO 690.63/180.28 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 52.16/46.38 MAYBE 420.03/109.79 MAYBE 277.17/277.40
Hydras/lepper_10.xml 5162168 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 421.66/110.73 timeout (wallclock) [out]
Hydras/goodstein.xml 5162169 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.81/0.78 YES 93.97/24.32 MAYBE 3.09/3.09
Hydras/lepper_3.xml 5162170 NO 10.62/2.81 NO 587.39/189.68 timeout (wallclock) [out] MAYBE 4.95/3.83 NO 315.07/81.63 MAYBE 13.60/13.60
Hydras/lepper_1.xml 5162171 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.84/0.88 MAYBE 256.76/99.41 MAYBE 2.50/2.52
HirokawaMiddeldorp_04/t005.xml 5161749 timeout (wallclock) [out] YES 7.53/2.90 YES 0.35/0.35 YES 0.05/0.13 YES 16.44/5.02 YES 2.00/2.02
HirokawaMiddeldorp_04/t003.xml 5161750 timeout (wallclock) [out] YES 4.06/1.88 YES 0.04/0.05 YES 0.03/0.05 YES 3.35/1.22 YES 0.26/0.27
HirokawaMiddeldorp_04/t011.xml 5161751 timeout (wallclock) [out] YES 3.60/1.68 YES 0.01/0.01 YES 0.01/0.02 YES 0.58/0.43 YES 0.03/0.03
HirokawaMiddeldorp_04/t008.xml 5161752 timeout (wallclock) [out] YES 7.05/2.64 YES 0.06/0.07 YES 0.01/0.04 YES 1.69/0.74 MAYBE 0.31/0.31
HirokawaMiddeldorp_04/n006.xml 5161753 NO 0.17/0.14 NO 3.17/1.55 NO 60.53/60.61 NO 0.02/0.04 NO 0.36/0.36 MAYBE 0.04/0.04
HirokawaMiddeldorp_04/n005.xml 5161754 NO 0.18/0.14 NO 3.15/1.53 NO 40.14/40.17 NO 0.01/0.05 NO 0.35/0.35 MAYBE 0.04/0.04
HirokawaMiddeldorp_04/t004.xml 5161755 timeout (wallclock) [out] YES 3.59/1.64 timeout (wallclock) [out] YES 0.01/0.03 YES 3.70/1.25 MAYBE 0.28/0.29
HirokawaMiddeldorp_04/n007.xml 5161756 NO 0.17/0.14 NO 3.87/1.93 NO 0.01/0.01 NO 0.02/0.05 NO 0.36/0.35 MAYBE 0.09/0.10
HirokawaMiddeldorp_04/t013.xml 5161757 timeout (wallclock) [out] YES 4.02/1.85 YES 0.06/0.06 YES 0.02/0.03 YES 1.51/0.69 YES 0.16/0.17
HirokawaMiddeldorp_04/t002.xml 5161758 timeout (wallclock) [out] YES 5.09/2.20 YES 20.18/20.24 MAYBE 0.04/0.09 YES 183.54/46.89 MAYBE 1.40/1.54
HirokawaMiddeldorp_04/n002.xml 5161759 NO 0.17/0.14 NO 3.12/1.55 NO 20.03/20.03 NO 0.01/0.01 NO 0.36/0.36 MAYBE 0.03/0.03
HirokawaMiddeldorp_04/t006.xml 5161760 timeout (wallclock) [out] YES 3.51/1.66 YES 0.01/0.01 YES 0.01/0.01 YES 0.62/0.45 YES 0.02/0.02
HirokawaMiddeldorp_04/t001.xml 5161761 timeout (wallclock) [out] YES 5.02/2.11 YES 0.11/0.12 YES 0.03/0.07 YES 7.38/2.27 MAYBE 5.10/5.68
HirokawaMiddeldorp_04/t010.xml 5161762 MAYBE 0.16/0.15 YES 3.92/1.74 YES 0.01/0.01 YES 0.01/0.01 YES 0.58/0.44 YES 0.02/0.02
HirokawaMiddeldorp_04/t007.xml 5161763 MAYBE 0.16/0.16 YES 4.33/1.82 YES 0.01/0.01 YES 0.01/0.02 YES 0.57/0.43 YES 0.04/0.05
HirokawaMiddeldorp_04/t014.xml 5161764 timeout (wallclock) [out] YES 4.10/1.83 YES 0.04/0.05 YES 0.02/0.03 YES 3.28/1.17 YES 0.18/0.18
HirokawaMiddeldorp_04/n003.xml 5161765 NO 0.18/0.14 NO 5.63/2.14 NO 40.13/40.18 NO 0.01/0.04 NO 0.35/0.35 MAYBE 0.03/0.04
HirokawaMiddeldorp_04/t012.xml 5161766 timeout (wallclock) [out] YES 3.91/1.72 YES 0.25/0.23 YES 0.02/0.03 YES 1.82/0.83 YES 0.29/0.29
HirokawaMiddeldorp_04/n004.xml 5161767 NO 0.17/0.14 NO 6.36/2.38 NO 20.03/20.03 NO 0.01/0.01 NO 0.35/0.35 MAYBE 0.05/0.05
HirokawaMiddeldorp_04/t009.xml 5161768 timeout (wallclock) [out] YES 15.46/7.63 timeout (wallclock) [out] YES 4.76/4.76 MAYBE 31.90/10.64 MAYBE 186.78/186.79
HirokawaMiddeldorp_04/n008.xml 5161769 NO 0.17/0.15 NO 9.27/3.18 NO 0.01/0.01 NO 0.01/0.01 NO 0.36/0.36 MAYBE 0.05/0.06
HirokawaMiddeldorp_04/t000.xml 5161770 timeout (wallclock) [out] YES 5.58/2.49 YES 0.29/0.28 YES 0.03/0.18 YES 5.99/1.98 YES 0.77/0.78
Strategy_removed_mixed_05/ex3.xml 5161942 NO 0.17/0.15 NO 6.53/2.42 NO 0.01/0.01 NO 0.01/0.05 NO 0.36/0.36 MAYBE 0.09/0.10
Strategy_removed_mixed_05/test9.xml 5161943 NO 0.20/0.17 NO 4.36/1.99 MAYBE 40.23/40.27 MAYBE 0.02/0.07 NO 1.06/0.61 MAYBE 0.17/0.18
Strategy_removed_mixed_05/gkg.xml 5161944 NO 0.18/0.15 NO 4.02/1.85 NO 20.12/20.13 NO 0.02/0.05 NO 1.47/0.71 MAYBE 0.08/0.09
Strategy_removed_mixed_05/toyama.xml 5161945 NO 0.19/0.17 NO 3.92/1.80 MAYBE 20.11/20.19 MAYBE 0.02/0.06 MAYBE 244.19/99.37 MAYBE 0.09/0.12
Strategy_removed_mixed_05/test10.xml 5161946 NO 0.18/0.15 NO 13.39/8.63 MAYBE 219.89/220.26 NO 0.03/0.10 NO 2.28/0.96 MAYBE 0.29/0.29
Strategy_removed_mixed_05/test77.xml 5161947 NO 13.24/3.51 NO 11.22/5.68 MAYBE 40.24/40.27 MAYBE 0.03/0.09 MAYBE 247.76/99.39 MAYBE 0.25/0.28
Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml 5161948 NO 0.20/0.16 NO 5.19/2.21 NO 0.01/0.10 NO 0.02/0.06 NO 0.36/0.36 MAYBE 0.51/0.51
Strategy_removed_mixed_05/n001.xml 5161949 NO 0.19/0.14 NO 3.26/1.62 NO 20.68/20.69 NO 0.02/0.05 NO 0.78/0.48 MAYBE 0.26/0.26
Strategy_removed_mixed_05/ex5.xml 5161950 NO 0.18/0.15 NO 8.43/2.97 NO 0.01/0.01 NO 0.02/0.05 NO 0.36/0.36 MAYBE 0.08/0.09
Strategy_removed_mixed_05/test75.xml 5161951 NO 0.21/0.16 NO 4.35/2.00 MAYBE 20.10/20.13 MAYBE 0.02/0.06 NO 1.29/0.65 MAYBE 0.12/0.12
Strategy_removed_mixed_05/ex6.xml 5161952 NO 0.20/0.15 NO 5.06/3.32 timeout (wallclock) [out] MAYBE 0.02/0.07 NO 2.08/0.91 MAYBE 0.11/0.13
Strategy_removed_mixed_05/ex1.xml 5161953 NO 0.18/0.15 NO 7.20/2.72 NO 0.01/0.01 NO 0.01/0.04 NO 0.36/0.36 MAYBE 0.09/0.10
Strategy_removed_mixed_05/muladd.xml 5161954 NO 0.18/0.15 NO 4.09/1.95 NO 20.25/20.33 NO 0.04/0.09 NO 1.67/0.76 MAYBE 1.38/1.38
Strategy_removed_mixed_05/test830.xml 5161955 timeout (wallclock) [out] YES 3.60/1.74 YES 0.03/0.05 YES 0.01/0.03 YES 0.96/0.53 YES 0.09/0.10
Strategy_removed_mixed_05/bn111.xml 5161956 timeout (wallclock) [out] YES 31.66/14.61 MAYBE 60.42/60.49 MAYBE 0.06/0.11 MAYBE 178.65/45.49 MAYBE 0.20/0.21
Strategy_removed_mixed_05/tricky1.xml 5161957 timeout (wallclock) [out] YES 3.47/1.68 YES 0.01/0.01 YES 0.01/0.02 YES 1.06/0.58 YES 0.16/0.16
Strategy_removed_mixed_05/ex2.xml 5161958 NO 0.17/0.14 NO 4.78/2.14 NO 0.01/0.01 NO 0.02/0.06 NO 0.36/0.36 MAYBE 0.08/0.09
Strategy_removed_mixed_05/test76.xml 5161959 NO 1.24/0.50 NO 6.53/3.07 MAYBE 40.26/40.31 MAYBE 0.03/0.08 MAYBE 244.18/99.37 MAYBE 0.23/0.23
Strategy_removed_mixed_05/ex4.xml 5161960 NO 0.18/0.14 NO 9.30/3.58 NO 20.14/20.20 NO 0.02/0.05 NO 1.58/0.74 MAYBE 0.14/0.16
Strategy_removed_CSR_05/Ex8_BLR02.xml 5161080 NO 0.18/0.14 NO 4.41/2.18 NO 60.34/60.35 NO 0.03/0.07 NO 0.36/0.36 MAYBE 0.38/0.38
Strategy_removed_CSR_05/Ex4_4_Luc96b.xml 5161081 NO 0.18/0.15 NO 4.04/1.85 timeout (wallclock) [out] NO 0.02/0.06 NO 0.36/0.36 MAYBE 0.14/0.15
Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 5161082 NO 0.17/0.15 NO 4.84/2.15 NO 39.98/20.04 NO 0.01/0.04 NO 0.35/0.35 MAYBE 0.06/0.06
Strategy_removed_CSR_05/Ex6_GM04.xml 5161083 NO 0.17/0.14 NO 7.30/2.75 NO 20.03/20.03 NO 0.01/0.05 NO 0.35/0.35 MAYBE 0.07/0.07
Strategy_removed_CSR_05/Ex6_9_Luc02c.xml 5161084 NO 0.18/0.16 NO 4.84/2.07 NO 60.51/60.58 NO 0.03/0.07 NO 0.35/0.35 MAYBE 0.14/0.14
Strategy_removed_CSR_05/Ex1_Zan97.xml 5161085 NO 0.18/0.15 NO 8.43/2.98 NO 80.43/80.61 NO 0.02/0.05 NO 1.30/0.66 MAYBE 0.12/0.12
Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml 5161086 NO 0.18/0.15 NO 4.98/2.24 NO 60.53/60.66 NO 0.02/0.05 NO 0.36/0.36 MAYBE 0.15/0.16
Strategy_removed_CSR_05/Ex1_GM03.xml 5161087 NO 0.19/0.15 NO 4.48/2.32 NO 34.02/34.05 NO 0.02/0.06 NO 0.36/0.36 MAYBE 0.33/0.35
Strategy_removed_CSR_05/Ex7_BLR02.xml 5161088 NO 0.18/0.17 NO 4.82/2.28 NO 100.76/100.85 NO 0.02/0.06 NO 0.36/0.36 MAYBE 0.30/0.32
Strategy_removed_CSR_05/Ex6_15_AEL02.xml 5161089 NO 0.22/0.15 NO 5.41/2.67 NO 0.02/0.05 NO 0.03/0.08 NO 0.38/0.38 MAYBE 1.03/1.03
Strategy_removed_CSR_05/ExIntrod_GM99.xml 5161090 NO 0.20/0.16 NO 5.75/2.39 NO 77.80/77.95 NO 0.04/0.09 NO 0.37/0.37 MAYBE 2.39/2.42
Strategy_removed_CSR_05/ExAppendixB_AEL03.xml 5161091 NO 0.22/0.16 NO 5.33/2.26 NO 100.74/100.90 NO 0.03/0.08 NO 0.37/0.37 MAYBE 0.95/0.95
Strategy_removed_CSR_05/Ex3_2_Luc97.xml 5161092 NO 0.20/0.15 NO 5.18/2.31 NO 100.76/100.90 NO 0.02/0.06 NO 0.36/0.36 MAYBE 0.38/0.40
Strategy_removed_CSR_05/Ex1_GM99.xml 5161093 NO 0.19/0.15 NO 3.92/1.90 MAYBE 20.11/20.13 MAYBE 0.02/0.05 NO 1.03/0.60 MAYBE 0.09/0.09
Strategy_removed_CSR_05/Ex15_Luc98.xml 5161094 NO 0.19/0.15 NO 5.08/2.13 NO 60.55/60.68 NO 0.03/0.06 NO 0.36/0.36 MAYBE 0.31/0.31
Strategy_removed_CSR_05/Ex4_Zan97.xml 5161095 NO 0.19/0.15 NO 4.44/2.04 NO 60.37/60.42 NO 0.02/0.06 NO 0.36/0.36 MAYBE 0.22/0.22
Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml 5161096 NO 0.19/0.17 NO 5.82/2.34 NO 80.55/80.64 NO 0.02/0.06 NO 0.36/0.36 MAYBE 0.63/0.64
Strategy_removed_CSR_05/Ex5_7_Luc97.xml 5161097 NO 0.21/0.15 NO 5.34/2.21 NO 0.02/0.02 NO 0.03/0.07 NO 0.37/0.37 MAYBE 0.64/0.65
Strategy_removed_CSR_05/Ex14_AEGL02.xml 5161098 NO 0.18/0.15 NO 4.89/2.28 NO 100.63/100.76 NO 0.02/0.05 NO 0.36/0.36 MAYBE 0.14/0.16
Strategy_removed_CSR_05/Ex49_GM04.xml 5161099 timeout (wallclock) [out] YES 3.70/1.78 YES 0.03/0.05 YES 0.02/0.03 YES 1.28/0.63 YES 0.15/0.16
Strategy_removed_CSR_05/Ex6_Luc98.xml 5161100 NO 0.18/0.14 NO 5.01/2.36 NO 60.51/60.62 NO 0.02/0.05 NO 0.36/0.36 MAYBE 0.19/0.20
Strategy_removed_CSR_05/ExConc_Zan97.xml 5161101 NO 0.18/0.14 NO 3.21/1.54 NO 20.03/20.03 NO 0.01/0.04 NO 0.35/0.35 MAYBE 0.07/0.09
Strategy_removed_CSR_05/ExIntrod_GM01.xml 5161102 NO 0.18/0.14 NO 5.36/2.24 NO 20.01/20.08 NO 0.02/0.07 NO 0.36/0.36 MAYBE 0.20/0.20
Strategy_removed_CSR_05/ExIntrod_GM04.xml 5161103 NO 0.18/0.15 NO 5.24/2.32 NO 20.03/20.05 NO 0.02/0.07 NO 0.36/0.36 MAYBE 0.18/0.18
Strategy_removed_CSR_05/Ex3_12_Luc96a.xml 5161104 NO 0.17/0.15 NO 4.83/2.13 NO 80.65/80.79 NO 0.02/0.05 NO 0.35/0.35 MAYBE 0.16/0.17
Strategy_removed_CSR_05/Ex2_Luc03b.xml 5161105 NO 0.19/0.15 NO 4.87/2.29 NO 100.75/100.77 NO 0.02/0.05 NO 0.36/0.36 MAYBE 0.30/0.33
Strategy_removed_CSR_05/Ex1_GL02a.xml 5161106 NO 0.19/0.16 NO 4.95/2.35 NO 0.01/0.01 NO 0.03/0.06 NO 0.36/0.36 MAYBE 0.33/0.34
Strategy_removed_CSR_05/Ex26_Luc03b.xml 5161107 NO 0.20/0.15 NO 5.11/2.20 NO 140.96/141.00 NO 0.02/0.06 NO 0.36/0.36 MAYBE 0.43/0.44
Strategy_removed_CSR_05/Ex9_BLR02.xml 5161108 NO 0.20/0.15 NO 5.37/2.32 NO 60.58/60.62 NO 0.02/0.06 NO 0.36/0.36 MAYBE 0.67/0.70
Strategy_removed_CSR_05/Ex24_GM04.xml 5161109 NO 0.19/0.15 NO 4.15/1.98 MAYBE 40.23/40.29 MAYBE 0.02/0.05 MAYBE 136.47/45.47 MAYBE 0.09/0.09
Strategy_removed_CSR_05/Ex5_Zan97.xml 5161110 NO 0.17/0.15 NO 10.58/2.26 NO 25.25/25.30 NO 0.02/0.05 NO 0.36/0.36 MAYBE 0.10/0.11
Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 5161111 NO 0.19/0.15 NO 5.96/2.57 NO 122.96/123.17 NO 0.02/0.07 NO 1.49/0.72 MAYBE 0.21/0.23
Strategy_removed_CSR_05/Ex1_Luc02b.xml 5161112 NO 0.18/0.15 NO 4.92/2.16 NO 80.64/80.75 NO 0.02/0.05 NO 0.36/0.36 MAYBE 0.26/0.26
Strategy_removed_CSR_05/Ex1_2_Luc02c.xml 5161113 NO 0.18/0.15 NO 4.74/2.18 NO 60.53/60.65 NO 0.02/0.05 NO 0.36/0.36 MAYBE 0.10/0.11
Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml 5161114 NO 0.20/0.15 NO 5.13/2.45 NO 121.63/121.77 NO 0.02/0.06 NO 0.36/0.36 MAYBE 0.56/1.45
Strategy_removed_CSR_05/ExIntrod_Zan97.xml 5161115 NO 0.20/0.15 NO 5.04/2.24 NO 60.32/60.31 NO 0.02/0.06 NO 0.37/0.36 MAYBE 0.37/0.37
Strategy_removed_CSR_05/Ex1_2_AEL03.xml 5161116 NO 0.20/0.17 NO 5.20/2.24 NO 100.73/100.80 NO 0.02/0.06 NO 0.37/0.37 MAYBE 0.77/0.78
Transformed_CSR_04/OvConsOS_complete_L.xml 5161211 NO 0.19/0.14 NO 3.17/1.56 NO 0.02/0.02 NO 0.01/0.01 NO 0.38/0.38 NO 0.01/0.01
Transformed_CSR_04/OvConsOS_nosorts_GM.xml 5161212 NO 0.23/0.14 NO 13.00/6.22 timeout (wallclock) [out] NO 0.07/0.25 NO 8.64/2.96 MAYBE 1.38/1.40
Transformed_CSR_04/MYNAT_nosorts_noand_C.xml 5161213 timeout (wallclock) [out] YES 3.95/2.36 YES 11.75/11.95 MAYBE 2.12/2.03 MAYBE 321.09/109.44 YES 8.02/8.03
Transformed_CSR_04/OvConsOS_complete-noand_Z.xml 5161214 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 53.23/52.88 MAYBE 418.23/109.55 MAYBE 52.69/52.73
Transformed_CSR_04/MYNAT_complete_GM.xml 5161215 timeout (wallclock) [out] YES 6.55/2.70 timeout (wallclock) [out] YES 2.35/2.29 MAYBE 326.75/104.32 YES 9.74/9.89
Transformed_CSR_04/ExIntrod_GM04_GM.xml 5161216 timeout (wallclock) [out] YES 5.31/2.15 YES 0.10/0.10 YES 0.02/0.03 YES 3.93/1.34 YES 0.70/0.71
Transformed_CSR_04/Ex25_Luc06_Z.xml 5161217 timeout (wallclock) [out] YES 3.74/2.51 YES 0.03/0.05 YES 0.01/0.02 YES 3.10/1.09 YES 0.06/0.06
Transformed_CSR_04/PALINDROME_complete_C.xml 5161218 timeout (wallclock) [out] YES 7.16/2.73 timeout (wallclock) [out] YES 5.13/4.90 YES 264.45/187.66 YES 29.19/29.23
Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml 5161219 timeout (wallclock) [out] YES 5.98/2.48 YES 0.27/0.52 YES 0.02/0.27 YES 5.86/1.84 YES 0.91/0.94
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 5161220 timeout (wallclock) [out] YES 4.22/1.87 YES 0.03/0.05 YES 0.02/0.06 YES 2.16/0.89 YES 0.24/1.14
Transformed_CSR_04/Ex1_Zan97_FR.xml 5161221 NO 0.21/0.15 NO 8.44/2.98 timeout (wallclock) [out] NO 0.02/0.07 NO 2.11/0.95 MAYBE 0.20/0.48
Transformed_CSR_04/MYNAT_complete_iGM.xml 5161222 timeout (wallclock) [out] YES 7.83/3.10 timeout (wallclock) [out] YES 3.35/2.90 MAYBE 398.51/109.55 YES 21.17/21.23
Transformed_CSR_04/PEANO_nokinds_FR.xml 5161223 timeout (wallclock) [out] YES 3.96/1.89 YES 0.54/0.65 YES 0.03/0.05 YES 24.16/6.58 YES 1.07/1.07
Transformed_CSR_04/ExConc_Zan97_C.xml 5161224 timeout (wallclock) [out] YES 3.96/1.73 YES 0.07/0.07 YES 0.02/0.12 YES 4.86/1.53 YES 0.14/0.13
Transformed_CSR_04/Ex9_Luc04_iGM.xml 5161225 timeout (wallclock) [out] NO 284.99/106.09 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 244.29/99.39 MAYBE 0.83/0.85
Transformed_CSR_04/Ex24_Luc06_C.xml 5161226 timeout (wallclock) [out] YES 3.65/1.68 timeout (wallclock) [out] YES 0.09/0.37 YES 5.35/1.95 MAYBE 1.12/1.14
Transformed_CSR_04/Ex9_Luc04_FR.xml 5161227 NO 0.20/0.16 NO 3.98/1.98 MAYBE 20.11/20.15 MAYBE 0.02/0.05 NO 1.05/0.61 MAYBE 0.10/0.11
Transformed_CSR_04/Ex2_Luc02a_Z.xml 5161228 timeout (wallclock) [out] YES 3.78/1.76 YES 0.02/0.02 YES 0.02/0.04 YES 1.60/0.76 YES 0.75/0.75
Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml 5161229 timeout (wallclock) [out] YES 10.88/3.72 YES 0.92/1.02 YES 0.03/0.07 YES 4.05/1.41 MAYBE 0.81/0.83
Transformed_CSR_04/Ex4_7_37_Bor03_C.xml 5161230 timeout (wallclock) [out] YES 5.24/2.65 timeout (wallclock) [out] MAYBE 3.14/3.07 MAYBE 317.85/109.45 MAYBE 4.51/4.52
Transformed_CSR_04/Ex24_Luc06_GM.xml 5161231 NO 0.20/0.15 NO 4.29/2.09 MAYBE 20.15/20.20 MAYBE 0.02/0.07 NO 1.98/0.86 MAYBE 0.22/0.27
Transformed_CSR_04/ExProp7_Luc06_iGM.xml 5161232 timeout (wallclock) [out] YES 11.78/4.10 YES 0.65/0.71 YES 0.06/0.17 YES 6.17/1.94 MAYBE 3.82/3.84
Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 5161233 MAYBE 0.18/0.15 YES 3.28/1.55 YES 0.03/0.03 YES 0.01/0.02 YES 0.73/0.48 YES 0.05/0.05
Transformed_CSR_04/Ex23_Luc06_FR.xml 5161234 timeout (wallclock) [out] YES 3.69/1.70 YES 0.01/0.01 YES 0.01/0.01 YES 0.94/0.53 YES 0.13/0.13
Transformed_CSR_04/MYNAT_nokinds_noand_C.xml 5161235 timeout (wallclock) [out] YES 4.50/2.03 timeout (wallclock) [out] MAYBE 4.66/4.35 MAYBE 362.97/109.48 MAYBE 6.96/7.01
Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml 5161236 timeout (wallclock) [out] YES 16.48/7.15 YES 107.26/110.33 YES 1.4/1.48 MAYBE 277.49/99.41 YES 29.45/29.51
Transformed_CSR_04/Ex7_BLR02_FR.xml 5161237 timeout (wallclock) [out] YES 4.44/1.97 YES 0.17/0.18 YES 0.02/0.05 YES 7.29/2.23 YES 0.35/0.36
Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml 5161238 timeout (wallclock) [out] YES 4.33/1.94 YES 0.20/0.19 YES 0.02/0.07 YES 2.28/0.91 YES 0.30/0.34
Transformed_CSR_04/ExProp7_Luc06_GM.xml 5161239 timeout (wallclock) [out] YES 4.46/2.03 YES 0.15/0.16 YES 0.02/0.05 YES 2.57/0.99 YES 0.26/0.28
Transformed_CSR_04/Ex14_Luc06_FR.xml 5161240 NO 0.19/0.16 NO 5.20/2.36 timeout (wallclock) [out] MAYBE 0.02/0.07 NO 1.95/0.81 MAYBE 0.28/0.30
Transformed_CSR_04/Ex9_Luc04_C.xml 5161241 timeout (wallclock) [out] YES 3.48/1.70 timeout (wallclock) [out] MAYBE 0.75/0.80 MAYBE 245.98/99.39 MAYBE 0.95/0.95
Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml 5161242 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.18/1.14 MAYBE 300.67/99.41 MAYBE 9.69/9.70
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml 5161243 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 3.41/3.24 MAYBE 326.84/99.45 MAYBE 8.29/8.84
Transformed_CSR_04/Ex23_Luc06_C.xml 5161244 timeout (wallclock) [out] YES 3.97/2.14 YES 0.08/0.07 YES 0.02/0.11 YES 4.19/1.41 YES 0.70/0.70
Transformed_CSR_04/Ex24_GM04_GM.xml 5161245 NO 24.53/7.60 NO 50.34/23.55 MAYBE 20.11/20.12 MAYBE 0.02/0.06 MAYBE 178.90/45.55 MAYBE 0.21/0.22
Transformed_CSR_04/PEANO_complete-noand_Z.xml 5161246 timeout (wallclock) [out] YES 27.01/4.56 YES 3.41/3.37 YES 0.04/0.12 YES 81.23/21.51 YES 5.43/5.44
Transformed_CSR_04/Ex1_Luc02b_GM.xml 5161247 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 0.05/0.16 MAYBE 244.26/99.39 MAYBE 1.28/1.29
Transformed_CSR_04/ExAppendixB_AEL03_Z.xml 5161248 timeout (wallclock) [out] YES 4.07/1.90 YES 0.02/0.02 YES 0.03/0.06 YES 1.92/0.83 YES 0.53/0.53
Transformed_CSR_04/PALINDROME_nokinds_C.xml 5161249 timeout (wallclock) [out] YES 4.07/1.88 YES 0.18/0.38 YES 0.98/1.06 YES 19.75/5.47 YES 2.51/2.51
Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml 5161250 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 1.86/1.61 MAYBE 366.64/109.46 MAYBE 6.66/6.67
Transformed_CSR_04/Ex1_GM99_iGM.xml 5161251 NO 8.16/2.19 NO 14.56/5.29 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 244.18/99.39 MAYBE 0.77/0.78
Transformed_CSR_04/Ex3_12_Luc96a_GM.xml 5161252 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 0.05/0.11 MAYBE 247.61/99.38 MAYBE 0.74/0.73
Transformed_CSR_04/Ex3_2_Luc97_Z.xml 5161253 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 0.12/0.29 MAYBE 244.43/99.40 MAYBE 5.29/5.31
Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 5161254 timeout (wallclock) [out] YES 3.41/1.62 YES 0.03/0.05 YES 0.01/0.02 YES 1.22/0.61 YES 0.04/0.04
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml 5161255 timeout (wallclock) [out] YES 77.37/24.39 YES 217.17/219.18 YES 0.86/0.85 YES 214.80/60.03 MAYBE 15.50/15.52
Transformed_CSR_04/Ex4_7_37_Bor03_L.xml 5161256 NO 0.17/0.14 NO 3.12/1.52 NO 0.01/0.01 NO 0.01/0.01 NO 0.36/0.36 NO 0.01/0.01
Transformed_CSR_04/Ex14_AEGL02_C.xml 5161257 timeout (wallclock) [out] YES 3.56/1.78 timeout (wallclock) [out] YES 0.9/0.95 YES 59.98/21.32 MAYBE 1.28/1.32
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 5161258 NO 0.23/0.17 NO 5.40/2.48 timeout (wallclock) [out] NO 0.03/0.10 NO 11.42/4.69 MAYBE 0.47/0.47
Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml 5161259 NO 0.16/0.13 NO 3.11/1.59 NO 0.01/0.03 NO 0.01/0.01 NO 0.36/0.36 NO 0.01/0.01
Transformed_CSR_04/OvConsOS_complete-noand_FR.xml 5161260 timeout (wallclock) [out] NO 347.29/89.77 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 418.6/109.49 MAYBE 49.00/49.06
Transformed_CSR_04/PALINDROME_complete-noand_L.xml 5161261 NO 0.34/0.19 NO 89.54/26.25 NO 0.02/0.02 NO 0.05/0.32 NO 0.38/0.38 MAYBE 3.64/3.64
Transformed_CSR_04/Ex9_Luc04_L.xml 5161262 NO 0.18/0.15 NO 3.79/1.79 MAYBE 20.11/20.16 NO 0.02/0.05 NO 0.47/0.41 MAYBE 0.07/0.07
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml 5161263 timeout (wallclock) [out] YES 440.82/171.46 timeout (wallclock) [out] YES 35.3/34.22 MAYBE 420.88/109.64 MAYBE 116.03/117.19
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml 5161264 NO 0.21/0.16 NO 3.18/1.65 NO 0.02/0.02 NO 0.01/0.00 NO 0.38/0.38 NO 0.01/0.01
Transformed_CSR_04/PEANO_complete_L.xml 5161265 NO 0.17/0.15 NO 3.11/1.48 NO 0.01/0.01 NO 0.01/0.01 NO 0.36/0.36 NO 0.01/0.01
Transformed_CSR_04/Ex15_Luc06_FR.xml 5161266 MAYBE 0.18/0.15 YES 3.56/1.66 YES 0.01/0.01 YES 0.01/0.03 YES 0.86/0.52 YES 0.15/0.23
Transformed_CSR_04/Ex3_2_Luc97_L.xml 5161267 NO 0.17/0.15 NO 3.15/1.57 NO 0.01/0.01 NO 0.01/0.01 NO 0.36/0.36 NO 0.01/0.01
Transformed_CSR_04/Ex6_9_Luc02c_FR.xml 5161268 timeout (wallclock) [out] YES 3.64/1.76 YES 0.01/0.01 YES 0.02/0.05 YES 1.22/0.65 YES 0.10/0.10
Transformed_CSR_04/OvConsOS_nokinds_C.xml 5161269 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 5.36/4.92 MAYBE 342.06/109.45 MAYBE 11.45/11.47
Transformed_CSR_04/MYNAT_complete_Z.xml 5161270 timeout (wallclock) [out] YES 4.66/2.15 timeout (wallclock) [out] YES 0.92/1.05 MAYBE 295.62/99.41 YES 3.39/3.39
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml 5161271 timeout (wallclock) [out] YES 6.53/2.92 YES 0.07/0.07 YES 0.09/0.17 YES 7.15/2.35 YES 2.58/2.59
Transformed_CSR_04/PALINDROME_complete_noand_iGM.xml 5161272 timeout (wallclock) [out] YES 16.66/6.11 YES 116.86/117.49 YES 4.8/4.28 MAYBE 411.57/109.68 YES 199.91/199.98
Transformed_CSR_04/Ex4_7_77_Bor03_L.xml 5161273 NO 0.16/0.15 NO 3.06/1.53 NO 0.01/0.01 NO 0.01/0.00 NO 0.35/0.35 NO 0.01/0.01
Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml 5161274 timeout (wallclock) [out] YES 3.70/1.73 YES 0.01/0.01 YES 0.01/0.01 YES 1.00/0.54 YES 0.03/0.03
Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml 5161275 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 9.48/8.07 MAYBE 409.96/109.59 MAYBE 34.88/34.89
Transformed_CSR_04/Ex9_BLR02_GM.xml 5161276 timeout (wallclock) [out] YES 6.03/2.51 YES 0.18/0.17 YES 0.02/0.06 YES 28.62/7.68 YES 1.43/1.45
Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml 5161277 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 182.58/176.08 MAYBE 423.09/110.28 timeout (wallclock) [out]
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml 5161278 timeout (wallclock) [out] NO 3.82/1.86 timeout (wallclock) [out] MAYBE 4.59/4.59 MAYBE 284.80/99.41 MAYBE 2.03/2.16
Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 5161279 timeout (wallclock) [out] YES 3.91/1.78 YES 0.03/0.04 YES 0.01/0.02 YES 0.83/0.53 YES 0.08/0.18
Transformed_CSR_04/PEANO_nosorts_FR.xml 5161280 MAYBE 0.17/0.14 YES 3.63/1.69 YES 0.01/0.01 YES 0.01/0.02 YES 0.65/0.45 YES 0.02/0.02
Transformed_CSR_04/OvConsOS_nosorts_L.xml 5161281 NO 0.16/0.14 NO 3.08/1.56 NO 0.01/0.01 NO 0.01/0.01 NO 0.35/0.35 NO 0.00/0.00
Transformed_CSR_04/Ex15_Luc98_Z.xml 5161282 timeout (wallclock) [out] YES 3.92/1.84 YES 0.06/0.06 YES 0.02/0.04 YES 3.03/1.10 YES 0.41/0.45
Transformed_CSR_04/Ex4_DLMMU04_C.xml 5161283 timeout (wallclock) [out] YES 6.83/2.54 timeout (wallclock) [out] MAYBE 5.31/4.88 MAYBE 350.14/109.45 MAYBE 10.08/10.11
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml 5161284 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 6.04/5.79 MAYBE 399.21/109.5 MAYBE 81.97/82.12
Transformed_CSR_04/Ex5_7_Luc97_L.xml 5161285 NO 0.17/0.14 NO 3.24/1.57 NO 0.01/0.01 NO 0.01/0.01 NO 0.37/0.37 NO 0.01/0.01
Transformed_CSR_04/PEANO_nokinds-noand_Z.xml 5161286 timeout (wallclock) [out] YES 7.03/2.64 YES 0.55/0.53 YES 0.02/0.05 YES 20.93/5.72 YES 0.85/0.87
Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml 5161287 timeout (wallclock) [out] YES 3.74/1.72 YES 0.12/0.13 YES 0.71/0.76 YES 8.44/2.51 YES 0.56/0.56
Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml 5161288 timeout (wallclock) [out] YES 4.20/1.87 YES 0.02/0.02 YES 0.03/0.05 YES 1.84/0.95 YES 0.45/0.45
Transformed_CSR_04/PALINDROME_complete_FR.xml 5161289 timeout (wallclock) [out] YES 5.22/2.19 YES 1.69/1.70 YES 0.10/0.34 YES 251.47/64.80 YES 4.40/4.40
Transformed_CSR_04/Ex15_Luc98_GM.xml 5161290 timeout (wallclock) [out] YES 4.35/1.89 YES 0.18/0.18 YES 0.02/0.03 YES 2.50/0.95 YES 0.31/0.30
Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml 5161291 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 1.3/1.21 MAYBE 303.04/99.42 MAYBE 10.08/10.15
Transformed_CSR_04/MYNAT_complete-noand_Z.xml 5161292 timeout (wallclock) [out] YES 42.15/12.19 timeout (wallclock) [out] YES 2.21/2.06 MAYBE 382.98/109.53 YES 69.48/69.51
Transformed_CSR_04/MYNAT_nosorts_FR.xml 5161293 MAYBE 0.18/0.15 YES 3.54/1.66 YES 0.01/0.02 YES 0.02/0.03 YES 0.77/0.49 YES 0.08/0.08
Transformed_CSR_04/Ex8_BLR02_GM.xml 5161294 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 0.11/0.36 MAYBE 244.64/99.39 MAYBE 3.58/3.59
Transformed_CSR_04/Ex23_Luc06_L.xml 5161295 MAYBE 0.16/0.14 YES 3.28/1.55 YES 0.01/0.01 YES 0.01/0.02 YES 0.46/0.40 YES 0.01/0.01
Transformed_CSR_04/Ex25_Luc06_iGM.xml 5161296 timeout (wallclock) [out] memout [out] YES 0.15/0.18 YES 0.02/0.09 YES 19.31/5.28 YES 0.38/0.39
Transformed_CSR_04/Ex1_2_Luc02c_Z.xml 5161297 MAYBE 0.17/0.15 YES 3.61/1.83 YES 0.01/0.01 YES 0.01/0.02 YES 0.89/0.52 YES 0.04/0.04
Transformed_CSR_04/Ex15_Luc98_iGM.xml 5161298 timeout (wallclock) [out] YES 12.47/4.25 YES 0.62/0.61 YES 0.06/0.15 YES 16.97/5.36 YES 2.16/2.18
Transformed_CSR_04/ExIntrod_GM01_L.xml 5161299 NO 0.16/0.14 NO 3.13/1.54 NO 0.01/0.01 NO 0.01/0.01 NO 0.36/0.36 NO 0.00/0.01
Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml 5161300 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 0.11/0.27 MAYBE 258.14/99.44 MAYBE 1.29/1.43
Transformed_CSR_04/Ex7_BLR02_Z.xml 5161301 timeout (wallclock) [out] YES 3.75/1.70 YES 0.02/0.01 YES 0.02/0.04 YES 1.43/0.73 YES 0.31/0.31
Transformed_CSR_04/Ex26_Luc03b_FR.xml 5161302 timeout (wallclock) [out] YES 13.44/4.37 YES 175.12/177.33 YES 0.06/0.14 MAYBE 245.04/99.39 MAYBE 2.58/2.65
Transformed_CSR_04/OvConsOS_nosorts_FR.xml 5161303 NO 0.21/0.15 NO 5.93/2.46 timeout (wallclock) [out] NO 0.05/0.15 NO 3.54/1.47 MAYBE 0.71/0.71
Transformed_CSR_04/ExAppendixB_AEL03_GM.xml 5161304 timeout (wallclock) [out] YES 162.08/43.37 timeout (wallclock) [out] YES 0.72/0.65 MAYBE 313.42/99.62 MAYBE 9.02/9.04
Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml 5161305 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 0.6/0.71 MAYBE 254.87/99.41 MAYBE 5.13/5.16
Transformed_CSR_04/Ex24_Luc06_L.xml 5161306 NO 0.17/0.14 NO 7.64/2.82 NO 20.04/20.24 NO 0.01/0.04 NO 0.35/0.35 MAYBE 0.05/0.06
Transformed_CSR_04/Ex1_GM03_Z.xml 5161307 NO 0.20/0.16 NO 4.43/2.07 NO 0.01/0.01 NO 0.03/0.07 NO 0.37/0.37 MAYBE 0.46/0.46
Transformed_CSR_04/ExConc_Zan97_Z.xml 5161308 NO 0.18/0.15 NO 3.16/1.53 NO 0.01/0.01 NO 0.02/0.05 NO 0.36/0.36 MAYBE 0.09/0.10
Transformed_CSR_04/Ex49_GM04_iGM.xml 5161309 timeout (wallclock) [out] YES 11.44/3.86 YES 0.41/0.42 YES 0.06/0.14 YES 16.25/5.06 YES 2.66/2.67
Transformed_CSR_04/OvConsOS_complete_noand_GM.xml 5161310 timeout (wallclock) [out] YES 37.98/12.76 YES 4.96/5.26 YES 52.83/52.29 MAYBE 408.49/109.60 YES 67.81/67.84
Transformed_CSR_04/Ex24_Luc06_iGM.xml 5161311 NO 1.22/0.44 NO 10.64/4.70 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 246.19/99.38 MAYBE 1.57/1.56
Transformed_CSR_04/Ex14_Luc06_iGM.xml 5161312 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.63/0.67 MAYBE 245.62/99.39 MAYBE 1.36/1.37
Transformed_CSR_04/Ex6_15_AEL02_L.xml 5161313 NO 0.18/0.28 NO 3.05/1.69 NO 0.01/0.03 NO 0.01/0.01 NO 0.37/0.37 NO 0.01/0.01
Transformed_CSR_04/Ex6_15_AEL02_FR.xml 5161314 NO 0.85/0.34 timeout (wallclock) [out] timeout (wallclock) [out] NO 0.10/0.30 MAYBE 390.25/99.88 MAYBE 2.71/2.72
Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 5161315 MAYBE 0.17/0.14 YES 3.39/1.62 YES 0.01/0.01 YES 0.01/0.02 YES 0.92/0.53 YES 0.03/0.03
Transformed_CSR_04/Ex1_Luc04b_C.xml 5161316 timeout (wallclock) [out] YES 3.92/1.82 YES 1.54/1.56 YES 0.04/0.27 YES 14.01/3.99 YES 1.26/1.28
Transformed_CSR_04/Ex14_Luc06_L.xml 5161317 NO 0.18/0.14 NO 10.38/3.52 NO 60.36/60.48 NO 0.02/0.06 NO 0.65/0.48 MAYBE 0.14/0.14
Transformed_CSR_04/Ex1_GM03_GM.xml 5161318 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.09/0.49 MAYBE 245.99/99.39 MAYBE 7.21/7.22
Transformed_CSR_04/Ex7_BLR02_C.xml 5161319 timeout (wallclock) [out] YES 3.83/1.77 timeout (wallclock) [out] YES 0.7/0.71 MAYBE 297.33/99.42 MAYBE 2.43/2.44
Transformed_CSR_04/Ex5_7_Luc97_FR.xml 5161320 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 0.19/0.44 MAYBE 390.56/99.79 MAYBE 5.28/5.30
Transformed_CSR_04/ExIntrod_GM99_FR.xml 5161321 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.96/0.95 MAYBE 251.66/99.40 MAYBE 4.83/4.98
Transformed_CSR_04/ExIntrod_GM99_C.xml 5161322 timeout (wallclock) [out] YES 4.14/1.90 timeout (wallclock) [out] MAYBE 3.61/3.20 MAYBE 320.70/109.46 MAYBE 24.53/24.54
Transformed_CSR_04/Ex1_GL02a_L.xml 5161323 NO 0.18/0.15 NO 5.09/2.31 NO 0.01/0.01 NO 0.01/0.00 NO 0.36/0.36 MAYBE 0.02/0.02
Transformed_CSR_04/Ex5_Zan97_C.xml 5161324 timeout (wallclock) [out] YES 3.51/1.63 YES 2.82/2.85 YES 0.07/0.19 YES 9.32/2.80 YES 0.65/0.67
Transformed_CSR_04/Ex5_Zan97_FR.xml 5161325 timeout (wallclock) [out] YES 3.79/2.06 YES 0.06/0.09 YES 0.01/0.02 YES 0.79/0.49 YES 0.07/0.07
Transformed_CSR_04/PALINDROME_nokinds_GM.xml 5161326 timeout (wallclock) [out] YES 3.69/1.69 YES 0.77/0.78 YES 0.02/0.13 YES 6.20/1.97 YES 1.00/1.01
Transformed_CSR_04/Ex24_Luc06_FR.xml 5161327 NO 0.20/0.15 NO 4.22/1.99 MAYBE 20.17/20.21 MAYBE 0.02/0.06 NO 1.39/0.70 MAYBE 0.19/0.19
Transformed_CSR_04/OvConsOS_complete_iGM.xml 5161328 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 26.79/25.02 MAYBE 408.31/109.60 timeout (wallclock) [out]
Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.xml 5161329 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 18.63/17.84 MAYBE 398.30/109.57 MAYBE 73.42/73.58
Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml 5161330 timeout (wallclock) [out] YES 181.73/58.55 timeout (wallclock) [out] YES 26.76/26.23 MAYBE 401.48/109.54 MAYBE 37.19/37.24
Transformed_CSR_04/PALINDROME_complete_Z.xml 5161331 timeout (wallclock) [out] YES 5.06/2.27 YES 0.74/0.73 YES 0.07/0.18 YES 41.61/11.30 YES 6.28/6.28
Transformed_CSR_04/Ex14_Luc06_C.xml 5161332 timeout (wallclock) [out] YES 4.79/2.06 timeout (wallclock) [out] MAYBE 5.67/5.75 MAYBE 266.34/99.40 MAYBE 1.09/1.77
Transformed_CSR_04/Ex1_GM99_FR.xml 5161333 NO 0.28/0.19 NO 4.06/2.00 MAYBE 20.11/20.13 MAYBE 0.02/0.06 NO 1.14/0.63 MAYBE 0.12/0.13
Transformed_CSR_04/Ex1_GL02a_iGM.xml 5161334 timeout (wallclock) [out] YES 9.48/3.90 YES 1.34/1.54 YES 0.04/0.09 YES 11.21/3.43 YES 0.67/0.68
Transformed_CSR_04/ExIntrod_Zan97_L.xml 5161335 NO 0.16/0.14 NO 3.18/1.53 NO 0.01/0.01 NO 0.01/0.00 NO 0.36/0.36 NO 0.01/0.01
Transformed_CSR_04/ExIntrod_Zan97_iGM.xml 5161336 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 0.82/0.92 MAYBE 268.43/99.42 MAYBE 5.78/5.78
Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml 5161337 timeout (wallclock) [out] YES 20.66/6.41 YES 68.10/69.43 YES 0.06/0.19 YES 28.98/7.93 MAYBE 1.28/1.35
Transformed_CSR_04/OvConsOS_nokinds_L.xml 5161338 NO 0.17/0.14 NO 3.15/1.52 NO 0.01/0.01 NO 0.01/0.01 NO 0.35/0.35 NO 0.01/0.01
Transformed_CSR_04/OvConsOS_nokinds_FR.xml 5161339 timeout (wallclock) [out] NO 357.24/93.14 timeout (wallclock) [out] MAYBE 2.25/2.14 MAYBE 293.08/99.41 MAYBE 32.97/16.51
Transformed_CSR_04/Ex6_9_Luc02c_GM.xml 5161340 timeout (wallclock) [out] YES 13.55/5.07 YES 35.42/37.86 YES 0.02/0.06 YES 11.34/3.28 MAYBE 0.73/0.74
Transformed_CSR_04/Ex3_12_Luc96a_Z.xml 5161341 timeout (wallclock) [out] YES 3.68/1.82 YES 0.01/0.02 YES 0.01/0.03 YES 0.88/0.53 YES 0.11/0.11
Transformed_CSR_04/Ex49_GM04_Z.xml 5161342 timeout (wallclock) [out] YES 4.43/1.97 YES 0.08/0.07 YES 0.02/0.04 YES 5.47/1.77 YES 0.38/0.38
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml 5161343 timeout (wallclock) [out] timeout (wallclock) [out] timeout (wallclock) [out] YES 16.36/14.68 MAYBE 416.46/109.72 MAYBE 55.63/55.65
Transformed_CSR_04/ExIntrod_GM99_L.xml 5161344 NO 0.16/0.15 NO 3.13/1.57 NO 0.01/0.01 NO 0.01/0.00 NO 0.35/0.35 NO 0.01/0.03
Transformed_CSR_04/Ex26_Luc03b_Z.xml 5161345 timeout (wallclock) [out] YES 9.46/3.38 YES 53.30/54.02 YES 0.05/0.12 YES 24.43/6.63 MAYBE 2.15/2.97
Transformed_CSR_04/PEANO_nosorts_C.xml 5161346 timeout (wallclock) [out] YES 3.64/1.74 YES 0.09/0.09 YES 0.02/0.30 YES 9.38/2.78 YES 0.67/0.67
Transformed_CSR_04/ExProp7_Luc06_FR.xml 5161347 timeout (wallclock) [out] YES 4.28/1.92 YES 0.05/0.07 YES 0.02/0.05 YES 1.69/0.76 YES 0.13/0.13
Transformed_CSR_04/PEANO_complete_noand_GM.xml 5161348 timeout (wallclock) [out] YES