Termination Competition 2019: TRS Standard Certified33116

Job info CSV
benchmark AProVE certified ttt2-1.19 ttt2_cert
CiME_04/filliatre2.xml 5161771 YES 4.18/2.66 (CERTIFIED 0.0) YES 7.68/2.24 (CERTIFIED 0.2)
CiME_04/tree.xml 5161772 YES 5.85/2.27 (CERTIFIED 0.2) YES 30.82/8.29 (CERTIFIED 0.2)
CiME_04/boolean_rings.xml 5161773 YES 3.62/1.77 (CERTIFIED 0.0) YES 2.50/0.94 (CERTIFIED 0.1)
CiME_04/intersect.xml 5161774 YES 4.02/1.92 (CERTIFIED 0.1) YES 7.06/2.14 (CERTIFIED 0.1)
CiME_04/append-hard.xml 5161775 YES 4.27/1.94 (CERTIFIED 0.0) YES 2.86/1.03 (CERTIFIED 0.0)
CiME_04/ack_prolog.xml 5161776 YES 3.74/2.06 (CERTIFIED 0.0) YES 3.18/1.15 (CERTIFIED 0.0)
CiME_04/ternary-hard.xml 5161777 YES 5.16/2.10 (CERTIFIED 0.2) YES 12.72/3.78 (CERTIFIED 0.2)
CiME_04/filliatre.xml 5161778 YES 5.09/2.22 (CERTIFIED 0.1) YES 6.63/1.97 (CERTIFIED 0.2)
CiME_04/append.xml 5161779 YES 3.45/1.78 (CERTIFIED 0.0) YES 2.23/0.85 (CERTIFIED 0.0)
CiME_04/fact-hard.xml 5161780 YES 5.82/2.49 (CERTIFIED 0.1) MAYBE 364.78/299.35
CiME_04/list-sum-prod-bin-assoc.xml 5161781 YES 4.13/1.90 (CERTIFIED 0.1) YES 11.97/3.50 (CERTIFIED 0.1)
CiME_04/list-sum-prod-assoc-append.xml 5161782 YES 3.79/1.82 (CERTIFIED 0.0) YES 8.80/2.79 (CERTIFIED 0.1)
CiME_04/dpqs.xml 5161783 YES 3.80/1.68 (CERTIFIED 0.0) YES 1.35/0.60 (CERTIFIED 0.0)
CiME_04/ternary.xml 5161784 YES 4.75/2.05 (CERTIFIED 0.1) YES 12.35/3.76 (CERTIFIED 0.1)
CiME_04/filliatre3.xml 5161785 YES 9.65/2.12 (CERTIFIED 0.1) YES 15.51/4.35 (CERTIFIED 0.1)
CiME_04/list-sum-prod.xml 5161786 YES 3.84/2.32 (CERTIFIED 0.0) YES 9.42/3.56 (CERTIFIED 0.0)
CiME_04/lse.xml 5161787 YES 4.66/1.99 (CERTIFIED 0.1) YES 11.66/3.44 (CERTIFIED 0.1)
CiME_04/mucrl1.xml 5161788 YES 7.80/3.38 (CERTIFIED 0.5) YES 28.22/8.11 (CERTIFIED 0.7)
CiME_04/maude2.xml 5161789 MAYBE 1111.84/295.03 MAYBE 51.60/18.60
CiME_04/log2.xml 5161790 YES 5.73/2.30 (CERTIFIED 0.2) YES 28.78/7.77 (CERTIFIED 0.4)
CiME_04/append-wrong.xml 5161791 NO 5.44/2.36 (CERTIFIED 0.0) NO 0.58/0.40 (CERTIFIED 0.0)
CiME_04/list-sum-prod-assoc.xml 5161792 YES 4.05/1.78 (CERTIFIED 0.0) YES 7.13/2.25 (CERTIFIED 0.1)
CiME_04/list-sum-prod-bin.xml 5161793 YES 4.10/1.89 (CERTIFIED 0.1) YES 10.53/3.05 (CERTIFIED 0.1)
CiME_04/big.xml 5161794 YES 5.73/2.47 (CERTIFIED 0.3) YES 29.51/9.01 (CERTIFIED 0.3)
CiME_04/list-sum-prod-bin-assoc-distr-app.xml 5161795 YES 4.42/1.99 (CERTIFIED 0.1) YES 15.62/4.57 (CERTIFIED 0.1)
Beerendonk_07/12.xml 5161982 YES 5.88/2.51 (CERTIFIED 0.3) MAYBE 21.03/7.33
Beerendonk_07/10.xml 5161983 YES 5.43/2.40 (CERTIFIED 0.1) YES 7.59/2.26 (CERTIFIED 0.1)
Beerendonk_07/14.xml 5161984 YES 5.82/2.48 (CERTIFIED 0.3) MAYBE 14.71/7.34
Beerendonk_07/13.xml 5161985 YES 6.19/2.63 (CERTIFIED 0.2) MAYBE 26.16/7.36
Beerendonk_07/3.xml 5161986 YES 4.57/2.03 (CERTIFIED 0.1) MAYBE 15.49/7.33
Beerendonk_07/20.xml 5161987 YES 4.54/2.15 (CERTIFIED 0.2) MAYBE 86.11/13.05
Beerendonk_07/7.xml 5161988 YES 4.27/1.97 (CERTIFIED 0.0) YES 3.17/1.11 (CERTIFIED 0.0)
Beerendonk_07/1.xml 5161989 YES 4.18/1.92 (CERTIFIED 0.0) YES 2.90/1.05 (CERTIFIED 0.0)
Beerendonk_07/17.xml 5161990 YES 24.79/13.24 (CERTIFIED 0.3) MAYBE 367.90/299.35
Beerendonk_07/23.xml 5161991 YES 5.51/2.31 (CERTIFIED 0.1) YES 4.63/1.46 (CERTIFIED 0.1)
Beerendonk_07/19.xml 5161992 YES 32.11/14.36 (CERTIFIED 0.8) MAYBE 377.28/299.35
Beerendonk_07/16.xml 5161993 YES 22.47/12.45 (CERTIFIED 0.2) MAYBE 61.29/18.77
Beerendonk_07/5.xml 5161994 YES 4.83/2.11 (CERTIFIED 0.1) YES 5.37/1.66 (CERTIFIED 0.1)
Beerendonk_07/11.xml 5161995 YES 6.72/2.78 (CERTIFIED 0.3) MAYBE 22.50/7.34
Beerendonk_07/2.xml 5161996 YES 4.09/1.98 (CERTIFIED 0.0) YES 3.05/1.08 (CERTIFIED 0.0)
Beerendonk_07/8.xml 5161997 YES 4.19/2.33 (CERTIFIED 0.1) YES 4.55/1.46 (CERTIFIED 0.1)
Beerendonk_07/18.xml 5161998 YES 4.88/2.16 (CERTIFIED 0.4) MAYBE 372.45/299.34
Beerendonk_07/6.xml 5161999 YES 4.21/2.72 (CERTIFIED 0.0) YES 2.55/0.95 (CERTIFIED 0.0)
Beerendonk_07/21.xml 5162000 MAYBE 619.20/291.60 MAYBE 51.63/15.40
Beerendonk_07/9.xml 5162001 YES 4.77/2.06 (CERTIFIED 0.1) YES 4.68/1.50 (CERTIFIED 0.1)
Beerendonk_07/4.xml 5162002 YES 4.36/2.01 (CERTIFIED 0.1) MAYBE 10.89/7.33
Beerendonk_07/24.xml 5162003 YES 27.45/11.84 (CERTIFIED 7.1) MAYBE 386.38/299.35
Beerendonk_07/15.xml 5162004 YES 10.20/4.24 (CERTIFIED 0.2) MAYBE 60.35/20.71
Beerendonk_07/22.xml 5162005 YES 5.35/2.25 (CERTIFIED 0.1) YES 4.78/1.54 (CERTIFIED 0.1)
EEG_IJCAR_12/emmes-nonloop-ex7_5.xml 5162006 MAYBE 656.51/292.04 MAYBE 387.94/299.35
EEG_IJCAR_12/enger-nonloop-swap_decr.xml 5162007 NO 34.67/12.13 (CERTIFIED 0.3) MAYBE 43.23/17.51
EEG_IJCAR_12/emmes-nonloop-ex6_1.xml 5162008 NO 31.52/11.97 (CERTIFIED 0.1) MAYBE 14.53/7.33
EEG_IJCAR_12/emmes-nonloop-ex4_1.xml 5162009 NO 23.53/12.46 (CERTIFIED 0.1) MAYBE 18.57/7.33
EEG_IJCAR_12/enger-nonloop-isList-List.xml 5162010 MAYBE 667.02/291.56 MAYBE 15.80/7.35
EEG_IJCAR_12/enger-nonloop-isDNat.xml 5162011 NO 36.30/12.18 (CERTIFIED 0.1) MAYBE 35.20/13.82
EEG_IJCAR_12/emmes-nonloop-ex2_4.xml 5162012 NO 66.65/23.01 (CERTIFIED 0.4) MAYBE 339.0/299.34
EEG_IJCAR_12/emmes-nonloop-ex2_5.xml 5162013 NO 69.94/23.98 (CERTIFIED 0.4) MAYBE 344.29/299.34
EEG_IJCAR_12/enger-nonloop-add.xml 5162014 NO 35.71/13.19 (CERTIFIED 0.3) MAYBE 59.47/22.65
EEG_IJCAR_12/rybalchenko-nonloop-popl08.xml 5162015 NO 59.88/22.01 (CERTIFIED 0.3) MAYBE 389.85/299.36
EEG_IJCAR_12/emmes-nonloop-ex7_2.xml 5162016 MAYBE 424.62/291.56 MAYBE 378.39/299.34
EEG_IJCAR_12/enger-nonloop-toOne.xml 5162017 NO 38.07/11.92 (CERTIFIED 0.1) MAYBE 386.24/299.33
EEG_IJCAR_12/emmes-nonloop-ex1_2.xml 5162018 MAYBE 645.69/291.50 MAYBE 355.93/299.34
EEG_IJCAR_12/emmes-nonloop-ex1_1.xml 5162019 NO 37.99/12.00 (CERTIFIED 0.2) MAYBE 60.80/23.88
EEG_IJCAR_12/emmes-nonloop-ex3_4.xml 5162020 MAYBE 629.70/291.57 MAYBE 33.84/12.30
EEG_IJCAR_12/emmes-nonloop-ex1_5.xml 5162021 NO 38.59/12.13 (CERTIFIED 0.2) MAYBE 17.84/7.33
EEG_IJCAR_12/emmes-nonloop-ex2_1.xml 5162022 MAYBE 684.28/291.47 MAYBE 64.27/25.93
EEG_IJCAR_12/enger-nonloop-isTrueList.xml 5162023 NO 30.20/11.78 (CERTIFIED 0.1) MAYBE 22.93/7.79
EEG_IJCAR_12/emmes-nonloop-ex7_1.xml 5162024 MAYBE 423.61/291.51 MAYBE 386.49/299.33
EEG_IJCAR_12/emmes-nonloop-ex2_2.xml 5162025 NO 36.15/13.12 (CERTIFIED 0.3) MAYBE 360.79/299.34
EEG_IJCAR_12/emmes-nonloop-ex7_4.xml 5162026 MAYBE 431.75/291.51 MAYBE 387.34/299.34
EEG_IJCAR_12/emmes-nonloop-ex4_4.xml 5162027 NO 23.44/12.99 (CERTIFIED 0.1) MAYBE 18.31/7.34
EEG_IJCAR_12/emmes-nonloop-ex7_6.xml 5162028 MAYBE 654.18/292.10 MAYBE 398.57/299.34
EEG_IJCAR_12/emmes-nonloop-ex4_2.xml 5162029 NO 29.46/13.40 (CERTIFIED 0.3) MAYBE 346.24/299.34
EEG_IJCAR_12/enger-nonloop-isList.xml 5162030 NO 29.44/11.76 (CERTIFIED 0.1) MAYBE 18.44/7.33
EEG_IJCAR_12/emmes-nonloop-ex7_3.xml 5162031 MAYBE 647.87/291.66 MAYBE 398.92/299.34
EEG_IJCAR_12/enger-nonloop-swapXY.xml 5162032 NO 37.26/12.04 (CERTIFIED 0.2) MAYBE 19.10/7.33
EEG_IJCAR_12/emmes-nonloop-ex5_1.xml 5162033 NO 34.10/14.74 (CERTIFIED 0.3) MAYBE 378.84/299.35
EEG_IJCAR_12/emmes-nonloop-ex3_1.xml 5162034 NO 35.98/12.09 (CERTIFIED 0.2) MAYBE 24.35/7.33
EEG_IJCAR_12/enger-nonloop-addTrue.xml 5162035 NO 34.56/12.90 (CERTIFIED 0.3) MAYBE 62.77/23.69
EEG_IJCAR_12/enger-nonloop-while-lt.xml 5162036 NO 36.05/11.73 (CERTIFIED 0.2) MAYBE 19.63/7.34
EEG_IJCAR_12/emmes-nonloop-ex3_2.xml 5162037 NO 32.50/12.02 (CERTIFIED 0.2) MAYBE 12.61/7.34
EEG_IJCAR_12/emmes-nonloop-ex7_9.xml 5162038 MAYBE 428.75/291.57 MAYBE 382.79/299.34
EEG_IJCAR_12/velroyen-nonloop-ConvLower_c.xml 5162039 NO 36.16/12.71 (CERTIFIED 0.2) MAYBE 389.91/299.35
EEG_IJCAR_12/enger-nonloop-swapXY2.xml 5162040 NO 29.86/11.87 (CERTIFIED 0.2) MAYBE 16.82/7.33
EEG_IJCAR_12/emmes-nonloop-ex7_7.xml 5162041 MAYBE 425.67/291.74 MAYBE 383.86/299.34
EEG_IJCAR_12/emmes-nonloop-ex1_4.xml 5162042 NO 39.54/12.30 (CERTIFIED 0.2) MAYBE 16.95/7.34
EEG_IJCAR_12/emmes-nonloop-ex5_3.xml 5162043 NO 37.86/15.94 (CERTIFIED 0.3) MAYBE 26.81/7.40
EEG_IJCAR_12/emmes-nonloop-ex6_2.xml 5162044 NO 33.81/12.76 (CERTIFIED 0.2) MAYBE 23.01/7.34
EEG_IJCAR_12/emmes-nonloop-ex5_2.xml 5162045 NO 31.20/13.58 (CERTIFIED 0.3) MAYBE 386.89/299.35
EEG_IJCAR_12/enger-nonloop-ex_payet.xml 5162046 MAYBE 337.94/291.61 MAYBE 28.39/8.55
EEG_IJCAR_12/velroyen-nonloop-AlternatingIncr_c.xml 5162047 MAYBE 925.72/291.58 MAYBE 388.36/299.35
EEG_IJCAR_12/enger-nonloop-swapX.xml 5162048 NO 37.08/12.09 (CERTIFIED 0.2) MAYBE 25.48/8.81
EEG_IJCAR_12/emmes-nonloop-ex4_3.xml 5162049 NO 36.26/15.27 (CERTIFIED 0.3) MAYBE 349.06/299.34
EEG_IJCAR_12/emmes-nonloop-ex1_3.xml 5162050 MAYBE 638.76/291.60 MAYBE 355.55/299.34
EEG_IJCAR_12/emmes-nonloop-ex3_3.xml 5162051 NO 34.68/12.49 (CERTIFIED 0.2) MAYBE 19.25/7.34
EEG_IJCAR_12/emmes-nonloop-ex7_8.xml 5162052 MAYBE 645.16/291.54 MAYBE 387.37/299.34
EEG_IJCAR_12/emmes-nonloop-ex2_3.xml 5162053 MAYBE 678.47/291.50 MAYBE 25.36/8.49
EEG_IJCAR_12/enger-nonloop-unbounded.xml 5162054 NO 35.75/11.81 (CERTIFIED 0.2) MAYBE 44.85/18.32
Der95/03.xml 5161190 YES 3.32/1.62 (CERTIFIED 0.0) YES 0.74/0.43 (CERTIFIED 0.0)
Der95/01.xml 5161191 YES 3.45/1.72 (CERTIFIED 0.0) YES 0.46/0.37 (CERTIFIED 0.0)
Der95/12.xml 5161192 YES 3.71/1.75 (CERTIFIED 0.0) YES 3.59/1.26 (CERTIFIED 0.0)
Der95/27.xml 5161193 YES 3.43/1.65 (CERTIFIED 0.0) YES 0.52/0.38 (CERTIFIED 0.0)
Der95/06.xml 5161194 YES 10.61/3.55 (CERTIFIED 0.0) YES 1.35/0.59 (CERTIFIED 0.0)
Der95/02.xml 5161195 YES 3.44/2.27 (CERTIFIED 0.0) YES 0.46/0.37 (CERTIFIED 0.0)
Der95/13.xml 5161196 YES 30.40/16.34 (CERTIFIED 0.0) MAYBE 27.72/8.50
Der95/20.xml 5161197 YES 3.14/1.61 (CERTIFIED 0.0) YES 0.54/0.38 (CERTIFIED 0.0)
Der95/04.xml 5161198 YES 3.95/1.74 (CERTIFIED 0.0) YES 0.71/0.42 (CERTIFIED 0.0)
Der95/17.xml 5161199 YES 3.49/1.68 (CERTIFIED 0.0) YES 0.53/0.39 (CERTIFIED 0.0)
Der95/08.xml 5161200 YES 3.82/1.73 (CERTIFIED 0.0) YES 17.10/5.44 (CERTIFIED 0.0)
Der95/28.xml 5161201 YES 3.56/1.76 (CERTIFIED 0.0) YES 1.93/0.77 (CERTIFIED 0.0)
Der95/09.xml 5161202 YES 3.26/1.59 (CERTIFIED 0.0) YES 0.46/0.36 (CERTIFIED 0.0)
Der95/33.xml 5161203 MAYBE 910.55/291.79 MAYBE 389.36/299.37
Der95/11.xml 5161204 YES 4.14/1.81 (CERTIFIED 0.0) YES 17.45/5.54 (CERTIFIED 0.1)
Der95/07.xml 5161205 YES 14.35/4.88 (CERTIFIED 0.0) YES 0.81/0.45 (CERTIFIED 0.0)
Der95/18.xml 5161206 YES 3.59/1.67 (CERTIFIED 0.0) YES 1.42/0.61 (CERTIFIED 0.0)
Der95/21.xml 5161207 YES 3.81/1.85 (CERTIFIED 0.0) YES 3.34/1.13 (CERTIFIED 0.0)
Der95/31.xml 5161208 YES 3.77/1.69 (CERTIFIED 0.0) YES 3.15/1.07 (CERTIFIED 0.0)
Der95/30.xml 5161209 timeout (wallclock) [out] YES 2.81/1.01 (CERTIFIED 0.0)
Der95/32.xml 5161210 YES 4.09/2.31 (CERTIFIED 0.0) YES 3.15/1.12 (CERTIFIED 0.0)
AProVE_08/log.xml 5161829 MAYBE 1066.53/291.57 MAYBE 459.73/299.34
AProVE_08/round_nonterm.xml 5161830 NO 4.31/2.00 (CERTIFIED 0.0) NO 0.49/0.38 (CERTIFIED 0.0)
AProVE_08/parting05_maxsort.xml 5161831 MAYBE 685.88/291.57 MAYBE 71.78/22.51
AProVE_08/parting03_minsort.xml 5161832 MAYBE 682.62/291.60 MAYBE 75.17/26.02
AProVE_08/parting04_maxsort_h.xml 5161833 MAYBE 922.61/292.00 MAYBE 390.36/299.34
AProVE_08/thiemann40_modified.xml 5161834 YES 26.58/13.29 (CERTIFIED 0.0) YES 4.46/1.54 (CERTIFIED 0.1)
AProVE_08/parting01_reverse.xml 5161835 MAYBE 652.93/291.63 MAYBE 58.56/19.22
AProVE_08/round.xml 5161836 MAYBE 306.86/291.53 MAYBE 16.08/7.34
AProVE_08/id_inc.xml 5161837 YES 5.21/2.14 (CERTIFIED 0.1) YES 24.57/6.51 (CERTIFIED 0.1)
AProVE_08/parting02_doublelist.xml 5161838 MAYBE 645.46/291.57 MAYBE 60.17/18.71
AProVE_07/thiemann14.xml 5162085 YES 23.01/8.67 (CERTIFIED 0.3) YES 11.02/3.35 (CERTIFIED 0.1)
AProVE_07/otto06.xml 5162086 YES 8.20/3.67 (CERTIFIED 0.4) MAYBE 67.16/28.26
AProVE_07/kabasci06.xml 5162087 YES 4.79/2.12 (CERTIFIED 0.1) MAYBE 386.01/299.37
AProVE_07/thiemann01.xml 5162088 YES 6.08/2.60 (CERTIFIED 0.1) MAYBE 38.71/7.34
AProVE_07/thiemann31.xml 5162089 YES 8.47/3.39 (CERTIFIED 0.4) MAYBE 346.11/299.34
AProVE_07/thiemann21.xml 5162090 MAYBE 675.40/291.58 MAYBE 373.12/299.37
AProVE_07/thiemann25.xml 5162091 YES 5.32/2.48 (CERTIFIED 0.2) MAYBE 36.30/13.80
AProVE_07/thiemann05.xml 5162092 YES 6.41/2.53 (CERTIFIED 0.1) MAYBE 25.37/7.71
AProVE_07/thiemann03.xml 5162093 YES 7.71/2.87 (CERTIFIED 0.1) MAYBE 373.68/299.34
AProVE_07/thiemann39.xml 5162094 YES 5.62/2.25 (CERTIFIED 0.1) MAYBE 362.66/299.38
AProVE_07/thiemann34.xml 5162095 YES 8.33/3.16 (CERTIFIED 0.3) MAYBE 339.21/299.35
AProVE_07/thiemann26.xml 5162096 NO 133.05/55.55 (CERTIFIED 0.1) MAYBE 342.02/299.34
AProVE_07/wiehe03.xml 5162097 YES 7.93/2.84 (CERTIFIED 0.1) YES 33.15/7.02 (CERTIFIED 0.2)
AProVE_07/otto03.xml 5162098 YES 4.68/2.32 (CERTIFIED 0.1) MAYBE 24.20/8.34
AProVE_07/thiemann10.xml 5162099 YES 5.25/2.12 (CERTIFIED 0.1) YES 5.58/1.75 (CERTIFIED 0.1)
AProVE_07/thiemann30.xml 5162100 MAYBE 396.37/291.60 MAYBE 22.97/7.35
AProVE_07/otto04.xml 5162101 YES 6.40/2.73 (CERTIFIED 0.4) MAYBE 36.41/13.22
AProVE_07/otto05.xml 5162102 YES 4.93/2.35 (CERTIFIED 0.1) YES 4.40/1.41 (CERTIFIED 0.1)
AProVE_07/thiemann40.xml 5162103 YES 4.28/1.94 (CERTIFIED 0.1) YES 2.36/0.86 (CERTIFIED 0.0)
AProVE_07/thiemann17.xml 5162104 YES 6.12/2.77 (CERTIFIED 0.1) YES 8.93/2.67 (CERTIFIED 0.1)
AProVE_07/kabasci05.xml 5162105 YES 5.24/2.31 (CERTIFIED 0.1) YES 16.71/5.60 (CERTIFIED 0.1)
AProVE_07/otto08.xml 5162106 YES 7.55/3.38 (CERTIFIED 0.2) MAYBE 18.03/7.34
AProVE_07/thiemann18.xml 5162107 YES 7.89/2.81 (CERTIFIED 0.2) YES 13.70/3.99 (CERTIFIED 0.1)
AProVE_07/wiehe01.xml 5162108 YES 6.65/2.64 (CERTIFIED 0.1) YES 10.83/3.19 (CERTIFIED 0.1)
AProVE_07/wiehe11.xml 5162109 YES 7.44/2.80 (CERTIFIED 0.1) YES 27.24/8.39 (CERTIFIED 0.2)
AProVE_07/kabasci02.xml 5162110 YES 8.36/3.20 (CERTIFIED 0.2) YES 21.67/6.09 (CERTIFIED 0.2)
AProVE_07/thiemann36.xml 5162111 YES 10.18/4.93 (CERTIFIED 0.4) MAYBE 345.78/299.33
AProVE_07/thiemann29.xml 5162112 YES 37.32/16.82 (CERTIFIED 0.4) MAYBE 375.33/299.34
AProVE_07/thiemann37.xml 5162113 YES 14.94/5.97 (CERTIFIED 1.7) MAYBE 340.70/299.35
AProVE_07/wiehe08.xml 5162114 YES 6.50/2.55 (CERTIFIED 0.1) YES 18.66/6.72 (CERTIFIED 0.1)
AProVE_07/thiemann04.xml 5162115 YES 77.01/21.68 (CERTIFIED 1.4) MAYBE 349.93/299.36
AProVE_07/otto02.xml 5162116 YES 6.21/2.46 (CERTIFIED 0.2) MAYBE 29.36/10.46
AProVE_07/thiemann38.xml 5162117 YES 7.07/2.65 (CERTIFIED 0.3) MAYBE 339.67/299.34
AProVE_07/thiemann41.xml 5162118 YES 5.00/2.39 (CERTIFIED 0.1) MAYBE 27.63/9.74
AProVE_07/thiemann27.xml 5162119 YES 4.67/2.14 (CERTIFIED 0.1) MAYBE 23.76/8.06
AProVE_07/otto07.xml 5162120 YES 4.69/2.15 (CERTIFIED 0.1) MAYBE 24.41/8.34
AProVE_07/otto01.xml 5162121 YES 6.54/2.62 (CERTIFIED 0.4) MAYBE 346.48/299.34
AProVE_07/kabasci03.xml 5162122 YES 6.96/2.70 (CERTIFIED 0.1) YES 15.89/4.50 (CERTIFIED 0.1)
AProVE_07/thiemann23.xml 5162123 YES 6.91/3.99 (CERTIFIED 0.1) MAYBE 34.05/12.79
AProVE_07/thiemann07.xml 5162124 YES 27.86/9.16 (CERTIFIED 0.3) MAYBE 372.98/299.35
AProVE_07/thiemann32.xml 5162125 YES 14.38/6.80 (CERTIFIED 0.4) MAYBE 387.96/299.34
AProVE_07/thiemann19.xml 5162126 YES 8.70/3.55 (CERTIFIED 0.2) MAYBE 340.22/299.33
AProVE_07/otto12.xml 5162127 YES 7.43/2.81 (CERTIFIED 0.2) MAYBE 50.48/19.88
AProVE_07/thiemann09.xml 5162128 YES 4.82/2.09 (CERTIFIED 0.1) MAYBE 38.62/13.26
AProVE_07/wiehe06.xml 5162129 YES 6.79/2.61 (CERTIFIED 0.1) YES 14.11/4.02 (CERTIFIED 0.1)
AProVE_07/otto11.xml 5162130 YES 5.18/2.23 (CERTIFIED 0.1) MAYBE 25.68/8.89
AProVE_07/kabasci01.xml 5162131 YES 19.76/9.84 (CERTIFIED 0.4) YES 45.95/12.39 (CERTIFIED 0.3)
AProVE_07/thiemann16.xml 5162132 YES 6.03/2.45 (CERTIFIED 0.1) YES 13.35/3.81 (CERTIFIED 0.1)
AProVE_07/thiemann11.xml 5162133 YES 39.79/15.10 (CERTIFIED 0.3) MAYBE 387.40/299.34
AProVE_07/wiehe02.xml 5162134 YES 7.14/2.70 (CERTIFIED 0.1) YES 19.11/5.28 (CERTIFIED 0.1)
AProVE_07/thiemann22.xml 5162135 YES 7.91/3.74 (CERTIFIED 0.2) MAYBE 387.01/299.34
AProVE_07/thiemann35.xml 5162136 YES 6.13/2.53 (CERTIFIED 0.1) MAYBE 351.94/299.37
AProVE_07/thiemann20.xml 5162137 MAYBE 803.49/291.59 MAYBE 373.54/299.34
AProVE_07/thiemann15.xml 5162138 YES 5.04/2.11 (CERTIFIED 0.1) YES 4.58/1.46 (CERTIFIED 0.1)
AProVE_07/wiehe09.xml 5162139 YES 7.06/3.06 (CERTIFIED 0.1) YES 14.20/4.19 (CERTIFIED 0.1)
AProVE_07/wiehe05.xml 5162140 YES 6.44/2.57 (CERTIFIED 0.1) YES 13.57/4.18 (CERTIFIED 0.1)
AProVE_07/wiehe12.xml 5162141 YES 8.07/2.96 (CERTIFIED 0.2) YES 30.23/8.16 (CERTIFIED 0.2)
AProVE_07/thiemann28.xml 5162142 NO 15.35/8.05 (CERTIFIED 0.0) MAYBE 33.45/10.68
AProVE_07/kabasci04.xml 5162143 YES 4.42/2.15 (CERTIFIED 0.1) YES 8.73/2.66 (CERTIFIED 0.1)
AProVE_07/thiemann13.xml 5162144 YES 21.92/7.88 (CERTIFIED 0.2) MAYBE 387.66/299.36
AProVE_07/thiemann06.xml 5162145 YES 19.15/6.73 (CERTIFIED 0.5) MAYBE 375.98/299.35
AProVE_07/otto10.xml 5162146 YES 6.75/2.63 (CERTIFIED 0.2) MAYBE 49.68/19.51
AProVE_07/thiemann12.xml 5162147 YES 6.00/2.99 (CERTIFIED 0.1) YES 6.07/1.96 (CERTIFIED 0.1)
AProVE_07/otto09.xml 5162148 YES 7.90/3.71 (CERTIFIED 0.2) MAYBE 18.19/7.34
AProVE_07/otto13.xml 5162149 YES 6.81/2.81 (CERTIFIED 1.4) MAYBE 339.86/299.34
AProVE_07/thiemann33.xml 5162150 YES 10.23/4.60 (CERTIFIED 0.8) MAYBE 32.72/11.56
AProVE_07/wiehe07.xml 5162151 timeout (wallclock) [out] MAYBE 30.09/8.75
AProVE_07/thiemann24.xml 5162152 YES 5.65/2.40 (CERTIFIED 0.1) MAYBE 44.38/17.40
AProVE_07/thiemann02.xml 5162153 YES 12.24/4.64 (CERTIFIED 0.3) MAYBE 365.33/299.36
AProVE_07/thiemann08.xml 5162154 YES 4.82/2.18 (CERTIFIED 0.1) YES 5.09/1.64 (CERTIFIED 0.1)
AProVE_10/isNat.xml 5162055 NO 21.96/12.28 (CERTIFIED 0.1) MAYBE 13.91/7.33
AProVE_10/ex3.xml 5162056 NO 34.11/12.05 (CERTIFIED 0.2) MAYBE 337.00/299.34
AProVE_10/halfdouble.xml 5162057 NO 26.74/12.67 (CERTIFIED 0.4) MAYBE 386.88/299.33
AProVE_10/isList.xml 5162058 NO 4.46/2.09 (CERTIFIED 0.0) NO 0.40/0.36 (CERTIFIED 0.0)
AProVE_10/scnp.xml 5162059 YES 3.38/1.74 (CERTIFIED 0.0) YES 0.74/0.44 (CERTIFIED 0.0)
AProVE_10/downfrom.xml 5162060 MAYBE 387.08/291.55 MAYBE 367.13/299.34
AProVE_10/ex5.xml 5162061 YES 3.39/1.68 (CERTIFIED 0.0) YES 0.51/0.38 (CERTIFIED 0.0)
AProVE_10/andIsNat.xml 5162062 NO 46.18/18.42 (CERTIFIED 0.4) MAYBE 368.79/299.33
AProVE_10/ex1.xml 5162063 NO 24.80/12.04 (CERTIFIED 0.2) MAYBE 24.64/8.50
AProVE_10/challenge_fab.xml 5162064 MAYBE 614.32/291.58 MAYBE 386.90/299.33
AProVE_10/double.xml 5162065 NO 36.86/11.89 (CERTIFIED 0.1) MAYBE 15.66/7.33
AProVE_10/Zantema06-03-modified.xml 5162066 timeout (wallclock) [out] MAYBE 397.83/299.34
AProVE_10/ex2.xml 5162067 NO 37.72/11.92 (CERTIFIED 0.2) MAYBE 345.80/299.34
AProVE_10/ex4.xml 5162068 NO 37.00/13.55 (CERTIFIED 0.3) MAYBE 59.19/22.44
AProVE_09_Inductive/zerolist.xml 5162200 MAYBE 381.61/291.54 MAYBE 13.94/7.33
AProVE_09_Inductive/log.xml 5162201 MAYBE 639.93/291.68 MAYBE 369.48/299.33
AProVE_09_Inductive/maxsort.xml 5162202 MAYBE 686.88/291.64 MAYBE 66.65/21.30
AProVE_09_Inductive/qsortlast.xml 5162203 MAYBE 748.53/292.19 MAYBE 386.59/299.35
AProVE_09_Inductive/qsort.xml 5162204 MAYBE 678.87/291.76 MAYBE 359.77/299.36
AProVE_09_Inductive/qsortmiddle.xml 5162205 MAYBE 756.48/292.34 MAYBE 393.91/299.37
AProVE_09_Inductive/minsort.xml 5162206 MAYBE 727.43/291.66 MAYBE 351.36/299.38
AProVE_09_Inductive/gcd2.xml 5162207 MAYBE 666.95/291.68 MAYBE 57.22/22.43
AProVE_09_Inductive/maxsortcondition.xml 5162208 MAYBE 706.02/291.60 MAYBE 59.52/22.75
AProVE_09_Inductive/div.xml 5162209 MAYBE 660.59/291.55 MAYBE 28.94/9.34
AProVE_09_Inductive/mod.xml 5162210 MAYBE 654.77/291.55 MAYBE 34.52/10.97
AProVE_09_Inductive/divhard.xml 5162211 MAYBE 654.25/291.62 MAYBE 31.80/10.45
AProVE_09_Inductive/gcd.xml 5162212 MAYBE 660.63/291.65 MAYBE 25.95/7.69
AProVE_09_Inductive/gcdhard.xml 5162213 MAYBE 660.54/291.63 MAYBE 46.15/13.94
MNZ_10/0.xml 5160786 YES 86.58/27.01 (CERTIFIED 0.5) YES 99.20/25.65 (CERTIFIED 0.3)
MNZ_10/3.xml 5160787 YES 77.40/22.14 (CERTIFIED 0.6) YES 34.80/9.30 (CERTIFIED 0.3)
MNZ_10/7.xml 5160788 MAYBE 474.61/291.6 MAYBE 392.07/299.35
MNZ_10/1.xml 5160789 YES 44.98/15.25 (CERTIFIED 0.3) YES 24.15/6.56 (CERTIFIED 0.2)
MNZ_10/5.xml 5160790 timeout (wallclock) [out] MAYBE 387.95/299.34
MNZ_10/nrvsq.xml 5160791 YES 96.67/32.41 (CERTIFIED 0.3) MAYBE 390.08/299.8
MNZ_10/2.xml 5160792 YES 76.91/22.01 (CERTIFIED 0.5) YES 28.01/7.59 (CERTIFIED 0.2)
MNZ_10/8.xml 5160793 YES 93.76/29.70 (CERTIFIED 0.8) YES 29.04/7.79 (CERTIFIED 0.2)
MNZ_10/nvsr.xml 5160794 YES 408.78/206.21 (CERTIFIED 0.7) MAYBE 387.59/299.34
MNZ_10/labelled.xml 5160795 YES 42.06/36.44 (CERTIFIED 21.8) timeout (wallclock) [out]
MNZ_10/6.xml 5160796 timeout (wallclock) [out] MAYBE 387.22/299.35
MNZ_10/9.xml 5160797 YES 451.11/243.26 (CERTIFIED 1.3) MAYBE 387.13/299.34
MNZ_10/4.xml 5160798 MAYBE 568.71/291.68 MAYBE 387.52/299.35
Mixed_TRS/while2.xml 5161013 timeout (wallclock) [out] MAYBE 381.52/299.33
Mixed_TRS/motivation.xml 5161014 YES 3.81/1.74 (CERTIFIED 0.0) YES 2.26/0.84 (CERTIFIED 0.1)
Mixed_TRS/jones1.xml 5161015 YES 3.64/1.76 (CERTIFIED 0.0) YES 0.54/0.39 (CERTIFIED 0.0)
Mixed_TRS/jones5.xml 5161016 YES 3.52/1.72 (CERTIFIED 0.0) YES 0.73/0.43 (CERTIFIED 0.0)
Mixed_TRS/beans.xml 5161017 YES 4.99/2.18 (CERTIFIED 0.1) MAYBE 400.05/299.34
Mixed_TRS/3.xml 5161018 YES 3.99/1.95 (CERTIFIED 0.0) YES 1.57/0.67 (CERTIFIED 0.0)
Mixed_TRS/7.xml 5161019 YES 67.33/31.28 (CERTIFIED 0.3) MAYBE 340.25/299.33
Mixed_TRS/1.xml 5161020 YES 4.13/1.97 (CERTIFIED 0.0) YES 1.57/0.76 (CERTIFIED 0.0)
Mixed_TRS/hydra.xml 5161021 YES 3.51/1.82 (CERTIFIED 0.0) YES 2.34/0.87 (CERTIFIED 0.0)
Mixed_TRS/minsort.xml 5161022 MAYBE 654.88/291.60 MAYBE 53.14/19.09
Mixed_TRS/while.xml 5161023 YES 4.45/2.01 (CERTIFIED 0.1) MAYBE 17.77/7.35
Mixed_TRS/jones4.xml 5161024 YES 3.21/1.53 (CERTIFIED 0.0) YES 0.54/0.39 (CERTIFIED 0.0)
Mixed_TRS/gcdMinMax.xml 5161025 YES 4.80/2.21 (CERTIFIED 0.1) MAYBE 80.79/24.54
Mixed_TRS/Ex1_Luc04b_GM.xml 5161026 YES 6.19/2.42 (CERTIFIED 0.2) YES 17.69/4.87 (CERTIFIED 0.5)
Mixed_TRS/hydra-Zantema06.xml 5161027 MAYBE 667.55/291.55 MAYBE 390.09/299.34
Mixed_TRS/5.xml 5161028 YES 3.93/1.95 (CERTIFIED 0.0) YES 0.93/0.52 (CERTIFIED 0.0)
Mixed_TRS/jones2.xml 5161029 YES 3.82/1.73 (CERTIFIED 0.0) YES 1.11/0.52 (CERTIFIED 0.0)
Mixed_TRS/2.xml 5161030 YES 4.39/1.94 (CERTIFIED 0.0) YES 2.83/1.06 (CERTIFIED 0.0)
Mixed_TRS/div_hard.xml 5161031 timeout (wallclock) [out] MAYBE 20.76/7.34
Mixed_TRS/jones6.xml 5161032 YES 3.66/1.73 (CERTIFIED 0.0) YES 1.52/0.65 (CERTIFIED 0.1)
Mixed_TRS/test1.xml 5161033 YES 4.00/2.05 (CERTIFIED 0.0) YES 1.20/0.56 (CERTIFIED 0.0)
Mixed_TRS/6.xml 5161034 MAYBE 341.54/291.57 MAYBE 21.55/7.33
Mixed_TRS/fossacs.xml 5161035 timeout (wallclock) [out] MAYBE 386.95/299.33
Mixed_TRS/sigma.xml 5161036 timeout (wallclock) [out] MAYBE 31.36/10.01
Mixed_TRS/gcd.xml 5161037 YES 4.44/2.09 (CERTIFIED 0.1) YES 6.88/2.12 (CERTIFIED 0.1)
Mixed_TRS/4.xml 5161038 YES 4.14/2.06 (CERTIFIED 0.0) YES 1.21/0.64 (CERTIFIED 0.0)
Mixed_TRS/perfect.xml 5161039 YES 3.83/1.86 (CERTIFIED 0.0) YES 3.74/1.27 (CERTIFIED 0.0)
Mixed_TRS/gcd_triple.xml 5161040 YES 5.82/2.42 (CERTIFIED 0.1) YES 11.44/3.43 (CERTIFIED 0.1)
Mixed_TRS/perfect2.xml 5161041 YES 4.42/1.99 (CERTIFIED 0.1) YES 6.08/1.93 (CERTIFIED 0.1)
Secret_05_TRS/teparla2.xml 5161727 YES 8.60/3.08 (CERTIFIED 0.2) MAYBE 351.83/299.34
Secret_05_TRS/tpa4.xml 5161728 MAYBE 416.35/291.54 MAYBE 347.06/299.33
Secret_05_TRS/tpa2.xml 5161729 YES 4.56/2.12 (CERTIFIED 0.0) YES 5.24/1.72 (CERTIFIED 0.1)
Secret_05_TRS/cime1.xml 5161730 timeout (wallclock) [out] MAYBE 396.61/299.36
Secret_05_TRS/aprove2.xml 5161731 YES 8.66/5.59 (CERTIFIED 0.1) MAYBE 341.32/299.34
Secret_05_TRS/cime2.xml 5161732 YES 29.69/14.01 (CERTIFIED 0.1) MAYBE 38.37/12.50
Secret_05_TRS/matchbox1.xml 5161733 YES 4.90/2.56 (CERTIFIED 0.0) MAYBE 4.04/1.67
Secret_05_TRS/aprove3.xml 5161734 YES 7.67/3.70 (CERTIFIED 0.1) MAYBE 28.74/9.78
Secret_05_TRS/aprove1.xml 5161735 YES 6.03/2.45 (CERTIFIED 0.2) MAYBE 384.51/299.35
Secret_05_TRS/teparla1.xml 5161736 YES 3.70/1.86 (CERTIFIED 0.0) MAYBE 376.26/299.34
Secret_05_TRS/tpa5.xml 5161737 MAYBE 642.54/291.74 MAYBE 388.56/299.36
Secret_05_TRS/tpa3.xml 5161738 MAYBE 392.05/292.56 MAYBE 346.77/299.49
Secret_05_TRS/cime5.xml 5161739 YES 16.16/5.38 (CERTIFIED 0.3) YES 34.10/9.17 (CERTIFIED 0.2)
Secret_05_TRS/ttt1.xml 5161740 NO 4.62/2.04 (CERTIFIED 0.0) NO 0.99/0.50 (CERTIFIED 0.0)
Secret_05_TRS/teparla3.xml 5161741 MAYBE 303.91/291.66 MAYBE 51.06/20.03
Secret_05_TRS/aprove4.xml 5161742 YES 5.39/2.34 (CERTIFIED 0.1) MAYBE 30.74/10.90
Secret_05_TRS/tpa1.xml 5161743 YES 4.25/1.98 (CERTIFIED 0.1) MAYBE 80.17/24.73
Secret_05_TRS/aprove5.xml 5161744 YES 5.35/2.26 (CERTIFIED 0.1) MAYBE 26.63/7.65
Secret_05_TRS/ttt2.xml 5161745 NO 4.12/2.00 (CERTIFIED 0.0) NO 0.47/0.38 (CERTIFIED 0.0)
Secret_05_TRS/cime3.xml 5161746 MAYBE 932.42/292.83 MAYBE 90.83/29.69
Secret_05_TRS/matchbox2.xml 5161747 YES 4.06/2.07 (CERTIFIED 0.0) YES 1.43/0.74 (CERTIFIED 0.0)
Secret_05_TRS/cime4.xml 5161748 NO 4.03/1.90 (CERTIFIED 0.0) MAYBE 1.89/0.83
Kaliszyk_19/arith.xml 8322872 YES 5.54/2.33 (CERTIFIED 0.2) YES 32.69/10.24 (CERTIFIED 0.4)
Kaliszyk_19/shornodot.xml 8322874 MAYBE 319.40/292.44 timeout (wallclock) [out]
Kaliszyk_19/1long.xml 8322875 timeout (wallclock) [out] timeout (wallclock) [out]
Kaliszyk_19/longhlnb.xml 8322876 MAYBE 312.71/294.38 timeout (wallclock) [out]
Kaliszyk_19/not_3258.xml 8322877 MAYBE 311.82/293.68 NO 68.24/68.23 (CERTIFIED 49.6)
Kaliszyk_19/shor.xml 8322878 MAYBE 341.82/293.11 timeout (wallclock) [out]
Kaliszyk_19/1rwr.xml 8322879 timeout (wallclock) [out] timeout (wallclock) [out]
Kaliszyk_19/longhl.xml 8322880 MAYBE 306.74/295.03 timeout (wallclock) [out]
Rubio_04/lindau.xml 5161839 YES 3.61/1.70 (CERTIFIED 0.0) YES 1.28/0.58 (CERTIFIED 0.0)
Rubio_04/division.xml 5161840 YES 4.24/3.25 (CERTIFIED 0.1) YES 4.63/1.49 (CERTIFIED 0.1)
Rubio_04/gmnp.xml 5161841 YES 4.11/1.84 (CERTIFIED 0.0) YES 1.22/0.58 (CERTIFIED 0.1)
Rubio_04/gm.xml 5161842 YES 4.08/1.96 (CERTIFIED 0.0) YES 3.09/1.13 (CERTIFIED 0.0)
Rubio_04/selsort.xml 5161843 YES 5.91/2.38 (CERTIFIED 0.1) YES 12.59/3.79 (CERTIFIED 0.1)
Rubio_04/enno.xml 5161844 YES 5.03/2.09 (CERTIFIED 0.1) YES 6.28/1.96 (CERTIFIED 0.1)
Rubio_04/bn129.xml 5161845 YES 3.65/1.74 (CERTIFIED 0.0) YES 0.57/0.40 (CERTIFIED 0.0)
Rubio_04/quotminus.xml 5161846 YES 3.88/1.85 (CERTIFIED 0.0) YES 3.91/1.31 (CERTIFIED 0.0)
Rubio_04/prov.xml 5161847 YES 3.57/1.75 (CERTIFIED 0.0) YES 1.35/0.62 (CERTIFIED 0.0)
Rubio_04/p266.xml 5161848 YES 3.71/1.70 (CERTIFIED 0.0) YES 3.51/1.15 (CERTIFIED 0.1)
Rubio_04/bintrees.xml 5161849 YES 3.64/1.73 (CERTIFIED 0.0) YES 0.57/0.39 (CERTIFIED 0.0)
Rubio_04/nestrec.xml 5161850 YES 6.58/2.65 (CERTIFIED 0.0) YES 2.22/0.82 (CERTIFIED 0.0)
Rubio_04/ma96.xml 5161851 YES 5.67/2.33 (CERTIFIED 0.1) YES 15.98/4.78 (CERTIFIED 0.1)
Rubio_04/logarquot.xml 5161852 YES 4.13/1.94 (CERTIFIED 0.0) YES 4.46/1.48 (CERTIFIED 0.0)
Rubio_04/test829.xml 5161853 YES 3.73/1.73 (CERTIFIED 0.0) YES 1.33/0.59 (CERTIFIED 0.0)
Rubio_04/elimdupl.xml 5161854 YES 4.32/2.02 (CERTIFIED 0.1) YES 4.42/1.46 (CERTIFIED 0.1)
Rubio_04/koen.xml 5161855 YES 3.35/1.56 (CERTIFIED 0.0) YES 0.43/0.36 (CERTIFIED 0.0)
Rubio_04/mfp90b.xml 5161856 YES 3.47/1.62 (CERTIFIED 0.0) YES 0.43/0.36 (CERTIFIED 0.0)
Rubio_04/polo2.xml 5161857 YES 4.38/2.68 (CERTIFIED 0.0) YES 17.01/5.55 (CERTIFIED 0.1)
Rubio_04/mfp95.xml 5161858 YES 3.57/1.81 (CERTIFIED 0.0) YES 0.72/0.43 (CERTIFIED 0.0)
Rubio_04/gcd.xml 5161859 YES 4.49/1.97 (CERTIFIED 0.1) YES 4.06/1.36 (CERTIFIED 0.1)
Rubio_04/test4.xml 5161860 YES 4.01/1.84 (CERTIFIED 0.0) YES 0.89/0.49 (CERTIFIED 0.1)
Rubio_04/lescanne.xml 5161861 YES 3.34/1.65 (CERTIFIED 0.0) YES 0.45/0.37 (CERTIFIED 0.0)
Rubio_04/aoto.xml 5161862 YES 4.16/1.77 (CERTIFIED 0.0) YES 2.47/0.88 (CERTIFIED 0.0)
Rubio_04/bn122.xml 5161863 YES 3.70/1.71 (CERTIFIED 0.0) YES 1.56/0.65 (CERTIFIED 0.0)
Rubio_04/revlist.xml 5161864 YES 4.81/2.03 (CERTIFIED 0.0) YES 4.03/1.33 (CERTIFIED 0.0)
Rubio_04/quick.xml 5161865 YES 5.72/2.33 (CERTIFIED 0.1) YES 9.47/2.81 (CERTIFIED 0.1)
Rubio_04/wst99.xml 5161866 YES 8.27/3.53 (CERTIFIED 0.1) YES 19.85/5.61 (CERTIFIED 0.1)
GTSSK07/cade01.xml 5162069 YES 4.75/2.11 (CERTIFIED 0.1) MAYBE 25.63/8.94
GTSSK07/cade11.xml 5162070 YES 4.57/2.07 (CERTIFIED 0.1) MAYBE 337.63/299.35
GTSSK07/cade14.xml 5162071 YES 10.03/4.31 (CERTIFIED 1.2) MAYBE 338.58/299.34
GTSSK07/cade16.xml 5162072 YES 5.11/2.32 (CERTIFIED 0.2) MAYBE 338.17/299.34
GTSSK07/cade12t.xml 5162073 timeout (wallclock) [out] MAYBE 387.34/299.34
GTSSK07/cade09.xml 5162074 YES 4.82/2.16 (CERTIFIED 0.1) MAYBE 386.37/299.34
GTSSK07/cade10.xml 5162075 YES 4.94/2.22 (CERTIFIED 0.1) MAYBE 397.62/299.34
GTSSK07/cade06.xml 5162076 MAYBE 656.01/291.55 MAYBE 33.42/12.10
GTSSK07/cade03.xml 5162077 YES 4.89/2.14 (CERTIFIED 0.2) MAYBE 24.40/8.36
GTSSK07/cade04t.xml 5162078 MAYBE 349.89/291.66 MAYBE 12.73/7.33
GTSSK07/cade13t.xml 5162079 YES 5.42/2.34 (CERTIFIED 0.1) MAYBE 18.63/7.33
GTSSK07/cade05t.xml 5162080 YES 5.50/2.39 (CERTIFIED 0.4) MAYBE 357.64/299.33
GTSSK07/cade17.xml 5162081 timeout (wallclock) [out] MAYBE 388.40/299.33
GTSSK07/cade08.xml 5162082 MAYBE 661.88/291.51 MAYBE 47.37/19.13
GTSSK07/cade07.xml 5162083 MAYBE 326.30/239.97 MAYBE 32.15/11.20
GTSSK07/cade15.xml 5162084 YES 12.15/6.15 (CERTIFIED 0.8) MAYBE 349.22/299.34
Endrullis_06/linear1.xml 5161178 YES 4.55/2.24 (CERTIFIED 0.0) YES 3.31/1.10 (CERTIFIED 0.0)
Endrullis_06/linear2.xml 5161179 YES 12.68/4.04 (CERTIFIED 0.1) YES 32.17/8.65 (CERTIFIED 0.1)
Endrullis_06/pair3hard.xml 5161180 YES 8.42/3.15 (CERTIFIED 0.2) MAYBE 358.55/299.38
Endrullis_06/pair3rotate.xml 5161181 YES 5.00/2.22 (CERTIFIED 0.0) YES 24.46/6.49 (CERTIFIED 0.0)
Endrullis_06/pair2simple2.xml 5161182 YES 4.46/1.92 (CERTIFIED 0.0) MAYBE 63.81/21.70
Endrullis_06/pair2hard.xml 5161183 YES 91.45/40.13 (CERTIFIED 0.1) YES 23.26/7.20 (CERTIFIED 0.1)
Endrullis_06/direct.xml 5161184 YES 4.39/2.08 (CERTIFIED 0.0) YES 1.98/0.76 (CERTIFIED 0.1)
Endrullis_06/pair2simple1.xml 5161185 YES 3.65/2.57 (CERTIFIED 0.0) YES 7.29/2.17 (CERTIFIED 0.0)
Endrullis_06/labeling.xml 5161186 YES 15.71/5.30 (CERTIFIED 1.2) MAYBE 5.50/2.10
Endrullis_06/quadruple2.xml 5161187 YES 17.66/9.65 (CERTIFIED 0.4) YES 1.19/0.55 (CERTIFIED 0.0)
Endrullis_06/pair3swap.xml 5161188 YES 5.35/2.16 (CERTIFIED 0.0) YES 23.25/6.83 (CERTIFIED 0.1)
Endrullis_06/quadruple1.xml 5161189 YES 4.91/2.28 (CERTIFIED 0.0) YES 20.44/5.45 (CERTIFIED 0.0)
Hydras/lepper_8.xml 5162155 MAYBE 1068.32/294.58 timeout (wallclock) [out]
Hydras/worm_wrong.xml 5162156 YES 58.05/20.56 (CERTIFIED 0.2) YES 26.07/8.39 (CERTIFIED 0.1)
Hydras/lepper_4.xml 5162157 timeout (wallclock) [out] MAYBE 394.78/299.54
Hydras/lepper_2.xml 5162158 NO 156.99/53.48 (CERTIFIED 0.3) MAYBE 378.29/299.4
Hydras/worm_fixed2.xml 5162159 timeout (wallclock) [out] MAYBE 393.79/299.34
Hydras/hydra_touzet.xml 5162160 MAYBE 652.24/291.55 MAYBE 357.03/299.34
Hydras/hydra_buchholz.xml 5162161 timeout (wallclock) [out] MAYBE 40.70/13.39
Hydras/lepper_0.xml 5162162 timeout (wallclock) [out] MAYBE 366.21/299.34
Hydras/lepper_5.xml 5162163 timeout (wallclock) [out] MAYBE 402.33/299.66
Hydras/lepper_9.xml 5162164 timeout (wallclock) [out] timeout (wallclock) [out]
Hydras/worm_fixed.xml 5162165 MAYBE 884.41/291.51 MAYBE 349.81/299.36
Hydras/worm_fixed3.xml 5162166 timeout (wallclock) [out] MAYBE 392.77/299.37
Hydras/lepper_6.xml 5162167 timeout (wallclock) [out] MAYBE 404.75/299.81
Hydras/lepper_10.xml 5162168 timeout (wallclock) [out] timeout (wallclock) [out]
Hydras/goodstein.xml 5162169 timeout (wallclock) [out] MAYBE 372.45/299.36
Hydras/lepper_3.xml 5162170 NO 413.36/139.28 (CERTIFIED 0.4) MAYBE 387.32/299.48
Hydras/lepper_1.xml 5162171 timeout (wallclock) [out] MAYBE 370.75/299.37
HirokawaMiddeldorp_04/t005.xml 5161749 YES 8.08/2.93 (CERTIFIED 0.6) YES 17.94/5.56 (CERTIFIED 0.5)
HirokawaMiddeldorp_04/t003.xml 5161750 YES 4.43/2.02 (CERTIFIED 0.1) YES 6.03/1.90 (CERTIFIED 0.1)
HirokawaMiddeldorp_04/t011.xml 5161751 YES 3.55/1.81 (CERTIFIED 0.0) YES 0.88/0.48 (CERTIFIED 0.0)
HirokawaMiddeldorp_04/t008.xml 5161752 YES 5.89/2.25 (CERTIFIED 0.0) YES 2.55/0.91 (CERTIFIED 0.1)
HirokawaMiddeldorp_04/n006.xml 5161753 NO 3.14/1.61 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
HirokawaMiddeldorp_04/n005.xml 5161754 NO 3.21/1.57 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
HirokawaMiddeldorp_04/t004.xml 5161755 YES 7.31/2.78 (CERTIFIED 0.2) YES 9.09/1.75 (CERTIFIED 0.0)
HirokawaMiddeldorp_04/n007.xml 5161756 NO 3.72/1.81 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
HirokawaMiddeldorp_04/t013.xml 5161757 YES 4.18/2.38 (CERTIFIED 0.0) YES 4.79/1.58 (CERTIFIED 0.1)
HirokawaMiddeldorp_04/t002.xml 5161758 YES 4.50/2.76 (CERTIFIED 0.0) MAYBE 13.49/7.34
HirokawaMiddeldorp_04/n002.xml 5161759 NO 3.01/2.12 (CERTIFIED 0.0) NO 0.32/0.31 (CERTIFIED 0.0)
HirokawaMiddeldorp_04/t006.xml 5161760 YES 3.22/1.60 (CERTIFIED 0.0) YES 0.41/0.36 (CERTIFIED 0.0)
HirokawaMiddeldorp_04/t001.xml 5161761 YES 4.96/2.12 (CERTIFIED 0.1) YES 8.15/2.47 (CERTIFIED 0.1)
HirokawaMiddeldorp_04/t010.xml 5161762 YES 4.18/1.78 (CERTIFIED 0.0) YES 0.57/0.41 (CERTIFIED 0.0)
HirokawaMiddeldorp_04/t007.xml 5161763 YES 4.65/1.95 (CERTIFIED 0.0) YES 0.58/0.41 (CERTIFIED 0.0)
HirokawaMiddeldorp_04/t014.xml 5161764 YES 3.94/2.88 (CERTIFIED 0.0) YES 4.34/1.41 (CERTIFIED 0.0)
HirokawaMiddeldorp_04/n003.xml 5161765 NO 6.33/2.39 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
HirokawaMiddeldorp_04/t012.xml 5161766 YES 4.15/1.85 (CERTIFIED 0.1) YES 2.89/0.99 (CERTIFIED 0.0)
HirokawaMiddeldorp_04/n004.xml 5161767 NO 5.60/2.29 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
HirokawaMiddeldorp_04/t009.xml 5161768 YES 16.94/7.83 (CERTIFIED 1.0) MAYBE 398.45/299.43
HirokawaMiddeldorp_04/n008.xml 5161769 NO 6.83/2.55 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
HirokawaMiddeldorp_04/t000.xml 5161770 YES 4.32/2.01 (CERTIFIED 0.1) YES 1.79/0.76 (CERTIFIED 0.1)
Strategy_removed_mixed_05/ex3.xml 5161942 NO 9.91/3.42 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
Strategy_removed_mixed_05/test9.xml 5161943 NO 4.47/2.98 (CERTIFIED 0.0) NO 0.49/0.38 (CERTIFIED 0.0)
Strategy_removed_mixed_05/gkg.xml 5161944 NO 3.98/1.92 (CERTIFIED 0.0) NO 0.47/0.37 (CERTIFIED 0.0)
Strategy_removed_mixed_05/toyama.xml 5161945 NO 3.94/2.03 (CERTIFIED 0.0) MAYBE 7.91/7.33
Strategy_removed_mixed_05/test10.xml 5161946 NO 13.18/8.78 (CERTIFIED 0.0) NO 0.39/0.36 (CERTIFIED 0.0)
Strategy_removed_mixed_05/test77.xml 5161947 NO 11.90/5.52 (CERTIFIED 0.0) MAYBE 11.24/7.33
Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml 5161948 NO 6.53/2.64 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Strategy_removed_mixed_05/n001.xml 5161949 NO 3.10/2.03 (CERTIFIED 0.0) NO 1.94/0.75 (CERTIFIED 0.0)
Strategy_removed_mixed_05/ex5.xml 5161950 NO 7.45/2.98 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Strategy_removed_mixed_05/test75.xml 5161951 NO 4.03/1.82 (CERTIFIED 0.0) NO 0.45/0.37 (CERTIFIED 0.0)
Strategy_removed_mixed_05/ex6.xml 5161952 NO 9.16/2.97 (CERTIFIED 0.0) NO 0.40/0.36 (CERTIFIED 0.0)
Strategy_removed_mixed_05/ex1.xml 5161953 NO 10.35/3.45 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
Strategy_removed_mixed_05/muladd.xml 5161954 NO 3.96/1.92 (CERTIFIED 0.0) NO 0.44/0.37 (CERTIFIED 0.0)
Strategy_removed_mixed_05/test830.xml 5161955 YES 4.02/1.89 (CERTIFIED 0.0) YES 1.61/0.66 (CERTIFIED 0.1)
Strategy_removed_mixed_05/bn111.xml 5161956 YES 28.38/13.71 (CERTIFIED 0.0) MAYBE 11.90/7.33
Strategy_removed_mixed_05/tricky1.xml 5161957 YES 3.68/1.80 (CERTIFIED 0.0) YES 2.26/0.87 (CERTIFIED 0.0)
Strategy_removed_mixed_05/ex2.xml 5161958 NO 6.27/2.63 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
Strategy_removed_mixed_05/test76.xml 5161959 NO 6.31/2.61 (CERTIFIED 0.0) MAYBE 11.29/7.33
Strategy_removed_mixed_05/ex4.xml 5161960 NO 10.97/3.69 (CERTIFIED 0.0) NO 0.41/0.36 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex8_BLR02.xml 5161080 NO 3.93/2.00 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex4_4_Luc96b.xml 5161081 NO 4.14/1.93 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 5161082 NO 4.79/2.18 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex6_GM04.xml 5161083 NO 6.95/2.58 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex6_9_Luc02c.xml 5161084 NO 6.43/2.81 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex1_Zan97.xml 5161085 NO 11.72/3.78 (CERTIFIED 0.0) NO 0.45/0.37 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml 5161086 NO 6.60/2.70 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex1_GM03.xml 5161087 NO 3.91/2.10 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex7_BLR02.xml 5161088 NO 6.51/2.79 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex6_15_AEL02.xml 5161089 NO 6.82/2.82 (CERTIFIED 0.1) NO 0.33/0.33 (CERTIFIED 0.0)
Strategy_removed_CSR_05/ExIntrod_GM99.xml 5161090 NO 7.08/2.87 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Strategy_removed_CSR_05/ExAppendixB_AEL03.xml 5161091 NO 6.77/2.74 (CERTIFIED 0.1) NO 0.32/0.32 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex3_2_Luc97.xml 5161092 NO 6.61/2.65 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex1_GM99.xml 5161093 NO 3.81/1.91 (CERTIFIED 0.0) NO 0.40/0.35 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex15_Luc98.xml 5161094 NO 6.72/2.69 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex4_Zan97.xml 5161095 NO 5.33/2.25 (CERTIFIED 0.0) NO 0.32/0.31 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml 5161096 NO 6.40/2.57 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex5_7_Luc97.xml 5161097 NO 6.48/2.77 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex14_AEGL02.xml 5161098 NO 6.63/4.79 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex49_GM04.xml 5161099 YES 3.69/1.78 (CERTIFIED 0.0) YES 3.60/1.21 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex6_Luc98.xml 5161100 NO 6.43/2.76 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Strategy_removed_CSR_05/ExConc_Zan97.xml 5161101 NO 3.14/1.58 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
Strategy_removed_CSR_05/ExIntrod_GM01.xml 5161102 NO 6.22/3.33 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Strategy_removed_CSR_05/ExIntrod_GM04.xml 5161103 NO 5.25/2.31 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex3_12_Luc96a.xml 5161104 NO 6.29/2.66 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex2_Luc03b.xml 5161105 NO 6.30/2.66 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex1_GL02a.xml 5161106 NO 6.26/3.44 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex26_Luc03b.xml 5161107 NO 6.40/2.68 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex9_BLR02.xml 5161108 NO 6.60/2.68 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex24_GM04.xml 5161109 NO 3.99/1.94 (CERTIFIED 0.0) MAYBE 0.99/0.53
Strategy_removed_CSR_05/Ex5_Zan97.xml 5161110 NO 6.08/3.39 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 5161111 NO 6.49/2.89 (CERTIFIED 0.0) NO 0.45/0.37 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex1_Luc02b.xml 5161112 NO 6.50/2.90 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex1_2_Luc02c.xml 5161113 NO 6.36/3.30 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml 5161114 NO 6.49/3.32 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Strategy_removed_CSR_05/ExIntrod_Zan97.xml 5161115 NO 6.13/3.24 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Strategy_removed_CSR_05/Ex1_2_AEL03.xml 5161116 NO 6.68/3.83 (CERTIFIED 0.0) NO 0.32/0.33 (CERTIFIED 0.0)
Transformed_CSR_04/OvConsOS_complete_L.xml 5161211 NO 3.12/1.55 (CERTIFIED 0.0) NO 0.34/0.34 (CERTIFIED 0.1)
Transformed_CSR_04/OvConsOS_nosorts_GM.xml 5161212 NO 13.01/6.15 (CERTIFIED 0.1) NO 0.47/0.38 (CERTIFIED 0.0)
Transformed_CSR_04/MYNAT_nosorts_noand_C.xml 5161213 YES 7.27/2.81 (CERTIFIED 0.2) MAYBE 400.95/299.38
Transformed_CSR_04/OvConsOS_complete-noand_Z.xml 5161214 timeout (wallclock) [out] MAYBE 402.61/299.43
Transformed_CSR_04/MYNAT_complete_GM.xml 5161215 YES 6.13/2.55 (CERTIFIED 0.1) MAYBE 399.99/299.40
Transformed_CSR_04/ExIntrod_GM04_GM.xml 5161216 YES 5.84/2.29 (CERTIFIED 0.1) YES 13.72/3.84 (CERTIFIED 0.4)
Transformed_CSR_04/Ex25_Luc06_Z.xml 5161217 YES 4.50/1.85 (CERTIFIED 0.0) YES 0.85/0.48 (CERTIFIED 0.0)
Transformed_CSR_04/PALINDROME_complete_C.xml 5161218 YES 13.35/4.64 (CERTIFIED 0.8) YES 47.38/13.62 (CERTIFIED 0.9)
Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml 5161219 YES 6.15/2.35 (CERTIFIED 0.2) YES 23.35/6.35 (CERTIFIED 0.4)
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 5161220 YES 4.55/1.98 (CERTIFIED 0.1) YES 3.43/1.15 (CERTIFIED 0.1)
Transformed_CSR_04/Ex1_Zan97_FR.xml 5161221 NO 11.03/3.64 (CERTIFIED 0.0) NO 0.49/0.37 (CERTIFIED 0.0)
Transformed_CSR_04/MYNAT_complete_iGM.xml 5161222 YES 8.97/3.08 (CERTIFIED 0.3) MAYBE 402.55/299.48
Transformed_CSR_04/PEANO_nokinds_FR.xml 5161223 YES 4.01/1.79 (CERTIFIED 0.0) YES 20.54/5.73 (CERTIFIED 0.2)
Transformed_CSR_04/ExConc_Zan97_C.xml 5161224 YES 15.18/4.80 (CERTIFIED 0.1) YES 0.82/0.46 (CERTIFIED 0.0)
Transformed_CSR_04/Ex9_Luc04_iGM.xml 5161225 NO 265.24/104.62 (CERTIFIED 0.2) MAYBE 366.92/299.34
Transformed_CSR_04/Ex24_Luc06_C.xml 5161226 YES 75.11/28.29 (CERTIFIED 0.4) YES 28.88/7.63 (CERTIFIED 0.1)
Transformed_CSR_04/Ex9_Luc04_FR.xml 5161227 NO 3.98/1.84 (CERTIFIED 0.0) NO 0.40/0.36 (CERTIFIED 0.0)
Transformed_CSR_04/Ex2_Luc02a_Z.xml 5161228 YES 3.87/1.75 (CERTIFIED 0.0) YES 6.44/2.01 (CERTIFIED 0.1)
Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml 5161229 YES 11.19/3.80 (CERTIFIED 0.2) YES 11.52/3.24 (CERTIFIED 0.2)
Transformed_CSR_04/Ex4_7_37_Bor03_C.xml 5161230 timeout (wallclock) [out] MAYBE 401.04/299.41
Transformed_CSR_04/Ex24_Luc06_GM.xml 5161231 NO 4.27/2.02 (CERTIFIED 0.0) NO 0.43/0.36 (CERTIFIED 0.0)
Transformed_CSR_04/ExProp7_Luc06_iGM.xml 5161232 YES 11.95/4.12 (CERTIFIED 0.2) YES 22.29/6.06 (CERTIFIED 0.3)
Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 5161233 YES 3.45/1.62 (CERTIFIED 0.0) YES 0.75/0.47 (CERTIFIED 0.1)
Transformed_CSR_04/Ex23_Luc06_FR.xml 5161234 YES 7.15/2.70 (CERTIFIED 0.0) YES 0.56/0.39 (CERTIFIED 0.0)
Transformed_CSR_04/MYNAT_nokinds_noand_C.xml 5161235 timeout (wallclock) [out] MAYBE 402.85/299.44
Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml 5161236 YES 13.01/4.32 (CERTIFIED 0.2) MAYBE 394.55/299.38
Transformed_CSR_04/Ex7_BLR02_FR.xml 5161237 YES 4.42/2.00 (CERTIFIED 0.1) YES 11.37/3.63 (CERTIFIED 0.1)
Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml 5161238 YES 4.32/2.00 (CERTIFIED 0.1) YES 8.74/2.51 (CERTIFIED 0.2)
Transformed_CSR_04/ExProp7_Luc06_GM.xml 5161239 YES 4.74/1.97 (CERTIFIED 0.1) YES 4.58/1.46 (CERTIFIED 0.2)
Transformed_CSR_04/Ex14_Luc06_FR.xml 5161240 NO 5.01/2.29 (CERTIFIED 0.0) NO 0.43/0.36 (CERTIFIED 0.0)
Transformed_CSR_04/Ex9_Luc04_C.xml 5161241 MAYBE 867.29/291.66 MAYBE 400.25/299.34
Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml 5161242 timeout (wallclock) [out] MAYBE 397.94/299.38
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml 5161243 MAYBE 930.52/292.10 MAYBE 401.01/299.43
Transformed_CSR_04/Ex23_Luc06_C.xml 5161244 YES 10.42/3.55 (CERTIFIED 0.2) YES 2.98/1.02 (CERTIFIED 0.1)
Transformed_CSR_04/Ex24_GM04_GM.xml 5161245 NO 34.92/23.17 (CERTIFIED 0.0) MAYBE 8.76/7.33
Transformed_CSR_04/PEANO_complete-noand_Z.xml 5161246 YES 16.00/4.98 (CERTIFIED 0.3) YES 66.78/17.90 (CERTIFIED 0.6)
Transformed_CSR_04/Ex1_Luc02b_GM.xml 5161247 MAYBE 868.75/291.59 MAYBE 389.69/299.34
Transformed_CSR_04/ExAppendixB_AEL03_Z.xml 5161248 YES 4.43/2.63 (CERTIFIED 0.1) YES 14.12/5.71 (CERTIFIED 0.1)
Transformed_CSR_04/PALINDROME_nokinds_C.xml 5161249 YES 8.15/3.05 (CERTIFIED 0.4) YES 28.26/7.92 (CERTIFIED 0.4)
Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml 5161250 MAYBE 746.44/291.83 MAYBE 401.01/299.44
Transformed_CSR_04/Ex1_GM99_iGM.xml 5161251 NO 13.84/5.01 (CERTIFIED 0.1) MAYBE 368.11/299.34
Transformed_CSR_04/Ex3_12_Luc96a_GM.xml 5161252 MAYBE 846.04/291.55 MAYBE 387.90/299.35
Transformed_CSR_04/Ex3_2_Luc97_Z.xml 5161253 MAYBE 561.6/291.66 MAYBE 419.29/299.38
Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 5161254 YES 3.70/1.70 (CERTIFIED 0.0) YES 0.54/0.39 (CERTIFIED 0.0)
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml 5161255 YES 74.71/22.83 (CERTIFIED 1.6) MAYBE 400.06/299.43
Transformed_CSR_04/Ex4_7_37_Bor03_L.xml 5161256 NO 2.98/1.48 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex14_AEGL02_C.xml 5161257 YES 220.86/81.18 (CERTIFIED 0.3) YES 48.60/12.78 (CERTIFIED 0.2)
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 5161258 NO 5.30/2.45 (CERTIFIED 0.1) NO 0.41/0.36 (CERTIFIED 0.0)
Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml 5161259 NO 3.08/1.51 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/OvConsOS_complete-noand_FR.xml 5161260 NO 353.07/91.28 (CERTIFIED 1.6) MAYBE 403.17/299.48
Transformed_CSR_04/PALINDROME_complete-noand_L.xml 5161261 NO 77.43/22.73 (CERTIFIED 0.2) NO 0.34/0.34 (CERTIFIED 0.1)
Transformed_CSR_04/Ex9_Luc04_L.xml 5161262 NO 3.57/2.07 (CERTIFIED 0.0) NO 0.45/0.37 (CERTIFIED 0.0)
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml 5161263 YES 417.54/167.53 (CERTIFIED 7.9) MAYBE 401.50/299.63
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml 5161264 NO 3.24/1.57 (CERTIFIED 0.0) NO 0.34/0.34 (CERTIFIED 0.1)
Transformed_CSR_04/PEANO_complete_L.xml 5161265 NO 2.79/2.39 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex15_Luc06_FR.xml 5161266 YES 6.68/2.54 (CERTIFIED 0.0) YES 1.19/0.57 (CERTIFIED 0.1)
Transformed_CSR_04/Ex3_2_Luc97_L.xml 5161267 NO 3.03/1.67 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex6_9_Luc02c_FR.xml 5161268 YES 3.92/1.77 (CERTIFIED 0.0) YES 4.76/1.70 (CERTIFIED 0.0)
Transformed_CSR_04/OvConsOS_nokinds_C.xml 5161269 timeout (wallclock) [out] MAYBE 401.40/299.41
Transformed_CSR_04/MYNAT_complete_Z.xml 5161270 YES 5.27/2.08 (CERTIFIED 0.1) MAYBE 397.51/299.37
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml 5161271 YES 5.64/2.29 (CERTIFIED 0.2) YES 19.95/6.15 (CERTIFIED 0.2)
Transformed_CSR_04/PALINDROME_complete_noand_iGM.xml 5161272 YES 22.71/8.12 (CERTIFIED 0.8) MAYBE 400.86/299.67
Transformed_CSR_04/Ex4_7_77_Bor03_L.xml 5161273 NO 3.05/1.48 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml 5161274 YES 3.54/1.67 (CERTIFIED 0.0) YES 0.46/0.37 (CERTIFIED 0.0)
Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml 5161275 MAYBE 695.67/293.38 MAYBE 412.64/299.55
Transformed_CSR_04/Ex9_BLR02_GM.xml 5161276 YES 6.20/2.35 (CERTIFIED 0.1) YES 21.31/5.97 (CERTIFIED 0.2)
Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml 5161277 timeout (wallclock) [out] timeout (wallclock) [out]
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml 5161278 MAYBE 947.47/299.15 MAYBE 400.23/299.39
Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 5161279 YES 3.92/2.44 (CERTIFIED 0.0) YES 1.29/0.63 (CERTIFIED 0.1)
Transformed_CSR_04/PEANO_nosorts_FR.xml 5161280 YES 3.28/1.70 (CERTIFIED 0.0) YES 0.48/0.37 (CERTIFIED 0.0)
Transformed_CSR_04/OvConsOS_nosorts_L.xml 5161281 NO 3.02/1.57 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex15_Luc98_Z.xml 5161282 YES 3.96/1.83 (CERTIFIED 0.1) YES 15.33/5.59 (CERTIFIED 0.1)
Transformed_CSR_04/Ex4_DLMMU04_C.xml 5161283 timeout (wallclock) [out] MAYBE 401.86/299.41
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml 5161284 MAYBE 845.12/292.04 MAYBE 403.32/299.44
Transformed_CSR_04/Ex5_7_Luc97_L.xml 5161285 NO 3.03/1.53 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/PEANO_nokinds-noand_Z.xml 5161286 YES 6.52/2.60 (CERTIFIED 0.1) YES 16.02/4.58 (CERTIFIED 0.2)
Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml 5161287 YES 7.10/2.72 (CERTIFIED 0.2) YES 25.14/6.79 (CERTIFIED 0.4)
Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml 5161288 YES 3.98/1.97 (CERTIFIED 0.0) YES 19.79/5.66 (CERTIFIED 0.1)
Transformed_CSR_04/PALINDROME_complete_FR.xml 5161289 YES 5.49/2.40 (CERTIFIED 0.1) MAYBE 399.13/299.48
Transformed_CSR_04/Ex15_Luc98_GM.xml 5161290 YES 4.29/1.89 (CERTIFIED 0.1) YES 6.40/1.90 (CERTIFIED 0.1)
Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml 5161291 timeout (wallclock) [out] MAYBE 400.22/299.38
Transformed_CSR_04/MYNAT_complete-noand_Z.xml 5161292 YES 41.67/12.16 (CERTIFIED 0.3) MAYBE 401.29/299.40
Transformed_CSR_04/MYNAT_nosorts_FR.xml 5161293 YES 3.48/1.70 (CERTIFIED 0.0) YES 2.13/0.85 (CERTIFIED 0.0)
Transformed_CSR_04/Ex8_BLR02_GM.xml 5161294 MAYBE 1121.31/291.66 MAYBE 389.15/299.34
Transformed_CSR_04/Ex23_Luc06_L.xml 5161295 YES 3.13/1.49 (CERTIFIED 0.0) YES 0.42/0.36 (CERTIFIED 0.0)
Transformed_CSR_04/Ex25_Luc06_iGM.xml 5161296 YES 32.78/9.35 (CERTIFIED 0.1) YES 17.01/4.59 (CERTIFIED 0.1)
Transformed_CSR_04/Ex1_2_Luc02c_Z.xml 5161297 YES 3.70/1.77 (CERTIFIED 0.0) YES 1.70/0.69 (CERTIFIED 0.0)
Transformed_CSR_04/Ex15_Luc98_iGM.xml 5161298 YES 12.52/4.10 (CERTIFIED 0.3) YES 24.65/6.73 (CERTIFIED 0.4)
Transformed_CSR_04/ExIntrod_GM01_L.xml 5161299 NO 3.04/1.50 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml 5161300 MAYBE 827.08/291.67 MAYBE 404.83/299.35
Transformed_CSR_04/Ex7_BLR02_Z.xml 5161301 YES 3.81/1.73 (CERTIFIED 0.0) YES 17.24/5.66 (CERTIFIED 0.0)
Transformed_CSR_04/Ex26_Luc03b_FR.xml 5161302 YES 13.35/4.29 (CERTIFIED 0.2) MAYBE 397.32/299.36
Transformed_CSR_04/OvConsOS_nosorts_FR.xml 5161303 NO 5.55/2.48 (CERTIFIED 0.1) NO 0.53/0.39 (CERTIFIED 0.0)
Transformed_CSR_04/ExAppendixB_AEL03_GM.xml 5161304 YES 168.10/45.43 (CERTIFIED 1.3) MAYBE 396.09/299.38
Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml 5161305 timeout (wallclock) [out] MAYBE 392.19/299.36
Transformed_CSR_04/Ex24_Luc06_L.xml 5161306 NO 6.18/2.38 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
Transformed_CSR_04/Ex1_GM03_Z.xml 5161307 NO 4.30/1.97 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/ExConc_Zan97_Z.xml 5161308 NO 3.17/1.64 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
Transformed_CSR_04/Ex49_GM04_iGM.xml 5161309 YES 11.78/4.09 (CERTIFIED 0.3) YES 25.92/7.06 (CERTIFIED 0.2)
Transformed_CSR_04/OvConsOS_complete_noand_GM.xml 5161310 YES 35.74/11.78 (CERTIFIED 1.1) MAYBE 403.24/299.53
Transformed_CSR_04/Ex24_Luc06_iGM.xml 5161311 NO 9.11/4.52 (CERTIFIED 0.1) MAYBE 400.17/299.34
Transformed_CSR_04/Ex14_Luc06_iGM.xml 5161312 timeout (wallclock) [out] MAYBE 400.22/299.35
Transformed_CSR_04/Ex6_15_AEL02_L.xml 5161313 NO 2.95/1.56 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex6_15_AEL02_FR.xml 5161314 timeout (wallclock) [out] MAYBE 380.98/299.38
Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 5161315 YES 3.71/1.86 (CERTIFIED 0.0) YES 0.44/0.37 (CERTIFIED 0.0)
Transformed_CSR_04/Ex1_Luc04b_C.xml 5161316 YES 15.58/2.81 (CERTIFIED 0.3) YES 26.53/7.28 (CERTIFIED 0.4)
Transformed_CSR_04/Ex14_Luc06_L.xml 5161317 NO 6.57/2.44 (CERTIFIED 0.0) NO 0.44/0.36 (CERTIFIED 0.0)
Transformed_CSR_04/Ex1_GM03_GM.xml 5161318 timeout (wallclock) [out] MAYBE 389.38/299.35
Transformed_CSR_04/Ex7_BLR02_C.xml 5161319 timeout (wallclock) [out] MAYBE 400.86/299.40
Transformed_CSR_04/Ex5_7_Luc97_FR.xml 5161320 timeout (wallclock) [out] MAYBE 380.90/299.37
Transformed_CSR_04/ExIntrod_GM99_FR.xml 5161321 MAYBE 863.60/292.04 MAYBE 400.05/299.35
Transformed_CSR_04/ExIntrod_GM99_C.xml 5161322 timeout (wallclock) [out] MAYBE 401.25/299.39
Transformed_CSR_04/Ex1_GL02a_L.xml 5161323 NO 4.70/2.20 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
Transformed_CSR_04/Ex5_Zan97_C.xml 5161324 YES 5.93/2.48 (CERTIFIED 0.2) YES 17.47/4.74 (CERTIFIED 0.3)
Transformed_CSR_04/Ex5_Zan97_FR.xml 5161325 YES 4.06/2.34 (CERTIFIED 0.0) YES 1.99/0.80 (CERTIFIED 0.2)
Transformed_CSR_04/PALINDROME_nokinds_GM.xml 5161326 YES 3.94/1.76 (CERTIFIED 0.1) YES 1.48/0.64 (CERTIFIED 0.1)
Transformed_CSR_04/Ex24_Luc06_FR.xml 5161327 NO 4.30/2.12 (CERTIFIED 0.0) NO 0.47/0.37 (CERTIFIED 0.0)
Transformed_CSR_04/OvConsOS_complete_iGM.xml 5161328 MAYBE 883.16/293.75 MAYBE 402.34/299.54
Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.xml 5161329 MAYBE 828.20/291.86 MAYBE 402.61/299.50
Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml 5161330 YES 181.25/60.28 (CERTIFIED 2.6) MAYBE 402.77/299.51
Transformed_CSR_04/PALINDROME_complete_Z.xml 5161331 YES 5.28/2.18 (CERTIFIED 0.1) YES 57.07/15.29 (CERTIFIED 0.6)
Transformed_CSR_04/Ex14_Luc06_C.xml 5161332 timeout (wallclock) [out] MAYBE 400.20/299.37
Transformed_CSR_04/Ex1_GM99_FR.xml 5161333 NO 4.13/1.95 (CERTIFIED 0.0) NO 0.52/0.39 (CERTIFIED 0.0)
Transformed_CSR_04/Ex1_GL02a_iGM.xml 5161334 YES 10.03/3.44 (CERTIFIED 0.2) YES 23.96/6.50 (CERTIFIED 0.4)
Transformed_CSR_04/ExIntrod_Zan97_L.xml 5161335 NO 2.92/1.50 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/ExIntrod_Zan97_iGM.xml 5161336 MAYBE 848.64/291.68 MAYBE 399.16/299.37
Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml 5161337 YES 18.55/5.83 (CERTIFIED 0.3) YES 25.90/7.00 (CERTIFIED 0.2)
Transformed_CSR_04/OvConsOS_nokinds_L.xml 5161338 NO 3.10/1.50 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/OvConsOS_nokinds_FR.xml 5161339 NO 352.87/90.61 (CERTIFIED 0.9) MAYBE 398.37/299.37
Transformed_CSR_04/Ex6_9_Luc02c_GM.xml 5161340 YES 8.31/4.25 (CERTIFIED 0.1) YES 16.96/4.96 (CERTIFIED 0.2)
Transformed_CSR_04/Ex3_12_Luc96a_Z.xml 5161341 YES 3.88/1.78 (CERTIFIED 0.0) YES 15.51/5.49 (CERTIFIED 0.0)
Transformed_CSR_04/Ex49_GM04_Z.xml 5161342 YES 4.50/1.99 (CERTIFIED 0.1) YES 5.77/1.79 (CERTIFIED 0.1)
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml 5161343 MAYBE 698.05/292.01 MAYBE 400.91/299.72
Transformed_CSR_04/ExIntrod_GM99_L.xml 5161344 NO 3.00/1.53 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex26_Luc03b_Z.xml 5161345 YES 8.40/3.01 (CERTIFIED 0.1) YES 29.45/8.80 (CERTIFIED 0.2)
Transformed_CSR_04/PEANO_nosorts_C.xml 5161346 YES 5.51/2.32 (CERTIFIED 0.1) YES 24.67/6.64 (CERTIFIED 0.3)
Transformed_CSR_04/ExProp7_Luc06_FR.xml 5161347 YES 4.07/1.95 (CERTIFIED 0.0) YES 1.58/0.66 (CERTIFIED 0.1)
Transformed_CSR_04/PEANO_complete_noand_GM.xml 5161348 YES 10.27/3.79 (CERTIFIED 0.4) YES 91.50/25.48 (CERTIFIED 1.1)
Transformed_CSR_04/Ex15_Luc06_L.xml 5161349 NO 5.09/2.03 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml 5161350 NO 2.91/1.85 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
Transformed_CSR_04/LISTUTILITIES_complete_FR.xml 5161351 MAYBE 966.72/292.73 MAYBE 403.51/299.5
Transformed_CSR_04/Ex2_Luc02a_L.xml 5161352 YES 3.66/1.78 (CERTIFIED 0.0) YES 4.47/1.47 (CERTIFIED 0.0)
Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml 5161353 timeout (wallclock) [out] MAYBE 400.47/299.37
Transformed_CSR_04/Ex1_GM03_FR.xml 5161354 MAYBE 683.37/291.59 MAYBE 388.64/299.34
Transformed_CSR_04/Ex23_Luc06_Z.xml 5161355 YES 3.69/1.76 (CERTIFIED 0.0) YES 0.45/0.36 (CERTIFIED 0.0)
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml 5161356 YES 5.96/2.47 (CERTIFIED 0.1) YES 60.48/15.87 (CERTIFIED 0.6)
Transformed_CSR_04/PEANO_complete-noand_L.xml 5161357 NO 3.08/1.58 (CERTIFIED 0.0) NO 0.33/0.33 (CERTIFIED 0.0)
Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml 5161358 MAYBE 805.79/292.19 MAYBE 403.27/299.58
Transformed_CSR_04/Ex5_7_Luc97_GM.xml 5161359 MAYBE 1140.25/291.83 MAYBE 395.65/299.36
Transformed_CSR_04/Ex5_DLMMU04_C.xml 5161360 YES 12.84/4.40 (CERTIFIED 0.7) MAYBE 401.17/299.39
Transformed_CSR_04/ExIntrod_GM04_Z.xml 5161361 NO 22.86/9.50 (CERTIFIED 0.1) NO 2.34/0.84 (CERTIFIED 0.0)
Transformed_CSR_04/Ex24_GM04_Z.xml 5161362 NO 24.42/13.08 (CERTIFIED 0.1) NO 2.73/0.98 (CERTIFIED 0.0)
Transformed_CSR_04/PALINDROME_nosorts_iGM.xml 5161363 YES 5.20/2.06 (CERTIFIED 0.1) YES 21.93/5.94 (CERTIFIED 0.3)
Transformed_CSR_04/PEANO_nokinds_noand_C.xml 5161364 timeout (wallclock) [out] MAYBE 400.98/299.41
Transformed_CSR_04/OvConsOS_nokinds_Z.xml 5161365 NO 339.40/87.20 (CERTIFIED 0.7) MAYBE 398.63/299.37
Transformed_CSR_04/Ex5_Zan97_L.xml 5161366 NO 2.95/1.56 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex6_Luc98_L.xml 5161367 YES 3.41/1.60 (CERTIFIED 0.0) YES 0.43/0.36 (CERTIFIED 0.0)
Transformed_CSR_04/OvConsOS_nokinds_GM.xml 5161368 MAYBE 806.65/291.69 MAYBE 414.33/299.36
Transformed_CSR_04/Ex1_Luc04b_L.xml 5161369 NO 3.10/1.48 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml 5161370 MAYBE 659.95/291.88 MAYBE 400.88/299.81
Transformed_CSR_04/Ex3_12_Luc96a_FR.xml 5161371 YES 3.33/1.66 (CERTIFIED 0.0) YES 4.15/1.51 (CERTIFIED 0.0)
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml 5161372 MAYBE 918.54/291.71 MAYBE 400.72/299.37
Transformed_CSR_04/PALINDROME_complete-noand_FR.xml 5161373 YES 5.77/2.53 (CERTIFIED 0.1) YES 87.96/22.96 (CERTIFIED 0.7)
Transformed_CSR_04/Ex1_GL02a_GM.xml 5161374 YES 4.15/1.92 (CERTIFIED 0.0) YES 7.69/2.50 (CERTIFIED 0.1)
Transformed_CSR_04/PALINDROME_nosorts_GM.xml 5161375 YES 3.45/1.71 (CERTIFIED 0.0) YES 0.67/0.43 (CERTIFIED 0.0)
Transformed_CSR_04/ExIntrod_Zan97_FR.xml 5161376 timeout (wallclock) [out] MAYBE 387.53/299.34
Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml 5161377 YES 10.68/3.55 (CERTIFIED 0.1) MAYBE 390.89/299.36
Transformed_CSR_04/Ex14_AEGL02_L.xml 5161378 NO 7.17/2.62 (CERTIFIED 0.0) NO 0.43/0.36 (CERTIFIED 0.0)
Transformed_CSR_04/ExIntrod_GM01_Z.xml 5161379 NO 16.16/8.80 (CERTIFIED 0.1) NO 0.66/0.43 (CERTIFIED 0.0)
Transformed_CSR_04/Ex2_Luc02a_C.xml 5161380 YES 9.57/3.39 (CERTIFIED 0.4) YES 28.86/7.84 (CERTIFIED 0.3)
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml 5161381 timeout (wallclock) [out] MAYBE 402.55/299.42
Transformed_CSR_04/Ex4_7_77_Bor03_C.xml 5161382 YES 5.26/2.16 (CERTIFIED 0.1) YES 16.87/4.62 (CERTIFIED 0.3)
Transformed_CSR_04/Ex1_GL02a_Z.xml 5161383 NO 46.24/15.32 (CERTIFIED 0.4) MAYBE 396.18/299.38
Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml 5161384 YES 14.77/4.74 (CERTIFIED 0.2) YES 15.80/4.42 (CERTIFIED 0.2)
Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml 5161385 YES 15.07/5.01 (CERTIFIED 0.3) YES 31.08/8.47 (CERTIFIED 0.2)
Transformed_CSR_04/Ex6_15_AEL02_Z.xml 5161386 NO 25.94/9.62 (CERTIFIED 0.3) MAYBE 376.55/299.37
Transformed_CSR_04/Ex2_Luc02a_GM.xml 5161387 YES 7.06/2.67 (CERTIFIED 0.1) MAYBE 391.85/299.35
Transformed_CSR_04/Ex4_4_Luc96b_L.xml 5161388 YES 3.48/1.63 (CERTIFIED 0.0) YES 0.75/0.45 (CERTIFIED 0.0)
Transformed_CSR_04/Ex6_9_Luc02c_L.xml 5161389 NO 3.01/1.50 (CERTIFIED 0.0) NO 0.30/0.30 (CERTIFIED 0.0)
Transformed_CSR_04/Ex5_DLMMU04_iGM.xml 5161390 YES 17.39/5.85 (CERTIFIED 0.7) YES 117.50/30.05 (CERTIFIED 1.0)
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml 5161391 YES 6.63/2.59 (CERTIFIED 0.2) YES 18.95/5.66 (CERTIFIED 0.2)
Transformed_CSR_04/PEANO_complete-noand_FR.xml 5161392 YES 15.90/4.95 (CERTIFIED 0.4) YES 67.7/18.09 (CERTIFIED 0.5)
Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 5161393 YES 3.64/1.72 (CERTIFIED 0.0) YES 0.49/0.37 (CERTIFIED 0.0)
Transformed_CSR_04/MYNAT_nokinds_GM.xml 5161394 YES 5.05/2.26 (CERTIFIED 0.1) MAYBE 392.19/299.37
Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml 5161395 MAYBE 1089.77/292.29 MAYBE 400.76/299.38
Transformed_CSR_04/Ex1_GM99_GM.xml 5161396 NO 5.73/2.47 (CERTIFIED 0.1) MAYBE 25.42/7.71
Transformed_CSR_04/PEANO_nokinds-noand_L.xml 5161397 NO 3.20/1.58 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/MYNAT_nosorts-noand_L.xml 5161398 NO 3.10/1.56 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml 5161399 YES 4.70/1.99 (CERTIFIED 0.1) MAYBE 389.15/299.35
Transformed_CSR_04/Ex1_2_AEL03_iGM.xml 5161400 YES 88.19/24.43 (CERTIFIED 0.9) MAYBE 405.21/299.44
Transformed_CSR_04/Ex2_Luc03b_C.xml 5161401 YES 8.42/3.07 (CERTIFIED 0.4) YES 26.62/7.49 (CERTIFIED 0.3)
Transformed_CSR_04/Ex1_GL02a_C.xml 5161402 YES 12.18/4.13 (CERTIFIED 0.4) YES 56.47/14.93 (CERTIFIED 0.3)
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml 5161403 MAYBE 595.04/292.02 MAYBE 403.22/299.52
Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml 5161404 YES 8.28/2.95 (CERTIFIED 0.1) MAYBE 396.15/299.36
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml 5161405 NO 69.99/20.95 (CERTIFIED 0.6) MAYBE 400.13/299.35
Transformed_CSR_04/Ex2_Luc02a_iGM.xml 5161406 YES 14.75/4.98 (CERTIFIED 0.3) YES 27.46/7.83 (CERTIFIED 0.3)
Transformed_CSR_04/Ex1_Luc02b_L.xml 5161407 NO 3.07/1.48 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml 5161408 timeout (wallclock) [out] MAYBE 397.32/299.37
Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml 5161409 YES 4.40/1.97 (CERTIFIED 0.0) YES 3.70/1.25 (CERTIFIED 0.2)
Transformed_CSR_04/MYNAT_nokinds_FR.xml 5161410 YES 4.42/1.99 (CERTIFIED 0.1) MAYBE 389.45/299.36
Transformed_CSR_04/Ex1_Luc04b_GM.xml 5161411 YES 6.46/2.67 (CERTIFIED 0.2) YES 12.67/3.57 (CERTIFIED 0.4)
Transformed_CSR_04/Ex4_4_Luc96b_C.xml 5161412 YES 4.02/1.85 (CERTIFIED 0.0) YES 10.37/2.93 (CERTIFIED 0.2)
Transformed_CSR_04/MYNAT_complete-noand_L.xml 5161413 NO 3.16/1.63 (CERTIFIED 0.0) NO 0.34/0.34 (CERTIFIED 0.1)
Transformed_CSR_04/Ex3_2_Luc97_GM.xml 5161414 MAYBE 966.30/292.44 MAYBE 396.22/299.34
Transformed_CSR_04/Ex25_Luc06_L.xml 5161415 YES 3.29/1.59 (CERTIFIED 0.0) YES 0.43/0.36 (CERTIFIED 0.0)
Transformed_CSR_04/Ex16_Luc06_FR.xml 5161416 YES 3.68/2.07 (CERTIFIED 0.0) YES 0.61/0.42 (CERTIFIED 0.0)
Transformed_CSR_04/Ex1_GM03_iGM.xml 5161417 MAYBE 807.69/291.94 MAYBE 398.31/299.37
Transformed_CSR_04/Ex4_4_Luc96b_GM.xml 5161418 YES 4.88/2.21 (CERTIFIED 0.0) YES 13.62/5.51 (CERTIFIED 0.0)
Transformed_CSR_04/Ex4_4_Luc96b_Z.xml 5161419 NO 4.67/2.70 (CERTIFIED 0.0) NO 0.57/0.39 (CERTIFIED 0.0)
Transformed_CSR_04/Ex6_Luc98_iGM.xml 5161420 YES 6.63/2.70 (CERTIFIED 0.2) YES 20.63/5.58 (CERTIFIED 0.3)
Transformed_CSR_04/Ex23_Luc06_iGM.xml 5161421 YES 8.09/2.92 (CERTIFIED 0.1) YES 5.90/1.79 (CERTIFIED 0.2)
Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml 5161422 MAYBE 309.18/291.87 timeout (wallclock) [out]
Transformed_CSR_04/Ex24_GM04_C.xml 5161423 timeout (wallclock) [out] MAYBE 400.14/299.34
Transformed_CSR_04/PEANO_nosorts-noand_L.xml 5161424 NO 3.01/1.48 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
Transformed_CSR_04/PEANO_nosorts_L.xml 5161425 NO 2.94/1.57 (CERTIFIED 0.0) NO 0.32/0.31 (CERTIFIED 0.0)
Transformed_CSR_04/Ex2_Luc03b_GM.xml 5161426 YES 8.03/2.85 (CERTIFIED 0.1) YES 20.62/5.70 (CERTIFIED 0.2)
Transformed_CSR_04/Ex1_2_AEL03_FR.xml 5161427 YES 4.08/1.89 (CERTIFIED 0.0) YES 7.36/2.22 (CERTIFIED 0.1)
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml 5161428 NO 4.70/2.15 (CERTIFIED 0.0) NO 0.48/0.38 (CERTIFIED 0.0)
Transformed_CSR_04/Ex9_BLR02_C.xml 5161429 YES 9.01/3.69 (CERTIFIED 0.4) YES 27.96/7.88 (CERTIFIED 0.3)
Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml 5161430 NO 3.12/1.50 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex1_GM03_C.xml 5161431 MAYBE 825.14/291.58 MAYBE 400.46/299.36
Transformed_CSR_04/Ex9_Luc06_GM.xml 5161432 YES 4.00/1.80 (CERTIFIED 0.0) YES 1.09/0.53 (CERTIFIED 0.0)
Transformed_CSR_04/MYNAT_nosorts_C.xml 5161433 YES 5.36/2.18 (CERTIFIED 0.1) YES 25.28/6.76 (CERTIFIED 0.2)
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml 5161434 NO 2.94/1.54 (CERTIFIED 0.0) NO 0.33/0.33 (CERTIFIED 0.0)
Transformed_CSR_04/ExAppendixB_AEL03_FR.xml 5161435 YES 4.35/1.95 (CERTIFIED 0.1) YES 8.28/2.68 (CERTIFIED 0.1)
Transformed_CSR_04/ExSec11_1_Luc02a_L.xml 5161436 YES 3.96/1.81 (CERTIFIED 0.0) YES 5.71/1.81 (CERTIFIED 0.0)
Transformed_CSR_04/PEANO_complete_iGM.xml 5161437 YES 6.85/2.58 (CERTIFIED 0.2) MAYBE 400.41/299.44
Transformed_CSR_04/Ex1_Luc04b_Z.xml 5161438 NO 5.93/2.56 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex16_Luc06_GM.xml 5161439 YES 8.01/1.78 (CERTIFIED 0.0) YES 1.87/0.76 (CERTIFIED 0.1)
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml 5161440 timeout (wallclock) [out] MAYBE 403.39/299.60
Transformed_CSR_04/Ex3_12_Luc96a_C.xml 5161441 timeout (wallclock) [out] MAYBE 400.23/299.37
Transformed_CSR_04/Ex9_BLR02_L.xml 5161442 YES 3.28/1.57 (CERTIFIED 0.0) YES 0.46/0.37 (CERTIFIED 0.0)
Transformed_CSR_04/PALINDROME_nosorts_L.xml 5161443 NO 3.06/1.48 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex1_2_Luc02c_FR.xml 5161444 YES 3.44/1.76 (CERTIFIED 0.0) YES 5.47/1.69 (CERTIFIED 0.0)
Transformed_CSR_04/LISTUTILITIES_complete_C.xml 5161445 MAYBE 801.10/292.15 MAYBE 403.49/299.83
Transformed_CSR_04/Ex15_Luc06_GM.xml 5161446 YES 9.66/3.30 (CERTIFIED 0.0) YES 1.15/0.55 (CERTIFIED 0.1)
Transformed_CSR_04/Ex1_Luc02b_C.xml 5161447 timeout (wallclock) [out] MAYBE 400.53/299.38
Transformed_CSR_04/PEANO_nokinds_L.xml 5161448 NO 3.07/1.48 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex15_Luc06_Z.xml 5161449 YES 4.58/1.99 (CERTIFIED 0.1) YES 0.84/0.47 (CERTIFIED 0.0)
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml 5161450 timeout (wallclock) [out] MAYBE 403.09/299.72
Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml 5161451 YES 4.29/1.91 (CERTIFIED 0.1) YES 13.86/5.75 (CERTIFIED 0.1)
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml 5161452 NO 911.09/291.75 (CERTIFIED 1.0) MAYBE 401.40/299.40
Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml 5161453 timeout (wallclock) [out] MAYBE 401.25/299.40
Transformed_CSR_04/Ex9_BLR02_Z.xml 5161454 YES 5.33/2.18 (CERTIFIED 0.1) YES 18.01/5.82 (CERTIFIED 0.1)
Transformed_CSR_04/ExIntrod_GM04_iGM.xml 5161455 YES 9.88/3.57 (CERTIFIED 0.4) YES 23.01/6.25 (CERTIFIED 0.4)
Transformed_CSR_04/PALINDROME_complete_noand_GM.xml 5161456 YES 11.87/4.19 (CERTIFIED 0.5) MAYBE 405.91/299.50
Transformed_CSR_04/Ex3_2_Luc97_C.xml 5161457 MAYBE 950.97/291.63 MAYBE 400.85/299.39
Transformed_CSR_04/Ex14_AEGL02_GM.xml 5161458 YES 6.13/2.36 (CERTIFIED 0.1) YES 5.78/1.91 (CERTIFIED 0.1)
Transformed_CSR_04/Ex6_GM04_C.xml 5161459 YES 12.04/3.91 (CERTIFIED 0.1) YES 4.49/1.42 (CERTIFIED 0.1)
Transformed_CSR_04/Ex49_GM04_FR.xml 5161460 YES 11.55/3.96 (CERTIFIED 0.2) YES 39.72/11.02 (CERTIFIED 0.3)
Transformed_CSR_04/PEANO_nokinds_Z.xml 5161461 YES 3.97/1.84 (CERTIFIED 0.0) YES 31.21/8.37 (CERTIFIED 0.3)
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml 5161462 NO 40.94/13.92 (CERTIFIED 0.4) MAYBE 399.00/299.36
Transformed_CSR_04/ExIntrod_GM04_C.xml 5161463 YES 8.07/2.93 (CERTIFIED 0.3) YES 26.74/7.33 (CERTIFIED 0.4)
Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml 5161464 YES 23.88/7.41 (CERTIFIED 0.6) YES 114.70/30.51 (CERTIFIED 0.9)
Transformed_CSR_04/Ex1_2_AEL03_C.xml 5161465 MAYBE 1042.75/295.91 MAYBE 402.40/299.50
Transformed_CSR_04/Ex6_9_Luc02c_Z.xml 5161466 YES 3.43/1.68 (CERTIFIED 0.0) YES 5.51/1.68 (CERTIFIED 0.1)
Transformed_CSR_04/Ex16_Luc06_L.xml 5161467 NO 6.83/2.53 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml 5161468 YES 4.18/1.85 (CERTIFIED 0.0) YES 4.20/1.38 (CERTIFIED 0.1)
Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml 5161469 NO 5.55/2.34 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex18_Luc06_L.xml 5161470 YES 3.24/1.56 (CERTIFIED 0.0) YES 0.39/0.35 (CERTIFIED 0.0)
Transformed_CSR_04/Ex1_Luc02b_Z.xml 5161471 YES 3.76/1.78 (CERTIFIED 0.0) YES 17.23/5.67 (CERTIFIED 0.0)
Transformed_CSR_04/ExProp7_Luc06_Z.xml 5161472 YES 4.08/2.00 (CERTIFIED 0.0) YES 0.96/0.51 (CERTIFIED 0.1)
Transformed_CSR_04/OvConsOS_complete_C.xml 5161473 timeout (wallclock) [out] MAYBE 403.38/299.54
Transformed_CSR_04/ExAppendixB_AEL03_L.xml 5161474 NO 3.15/1.56 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex8_BLR02_L.xml 5161475 NO 3.10/1.53 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml 5161476 YES 77.91/22.11 (CERTIFIED 1.1) MAYBE 401.15/299.44
Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml 5161477 NO 23.62/9.31 (CERTIFIED 0.3) MAYBE 400.12/299.38
Transformed_CSR_04/OvConsOS_complete_FR.xml 5161478 MAYBE 1148.82/292.59 MAYBE 401.46/299.42
Transformed_CSR_04/PEANO_nosorts_noand_C.xml 5161479 YES 6.53/2.46 (CERTIFIED 0.2) YES 25.91/7.10 (CERTIFIED 0.3)
Transformed_CSR_04/Ex1_Zan97_GM.xml 5161480 YES 4.08/2.14 (CERTIFIED 0.0) YES 0.51/0.38 (CERTIFIED 0.0)
Transformed_CSR_04/Ex5_DLMMU04_GM.xml 5161481 YES 8.82/3.13 (CERTIFIED 0.4) YES 50.46/13.32 (CERTIFIED 0.8)
Transformed_CSR_04/Ex6_GM04_iGM.xml 5161482 YES 6.15/2.34 (CERTIFIED 0.0) YES 2.35/0.86 (CERTIFIED 0.1)
Transformed_CSR_04/Ex9_Luc06_iGM.xml 5161483 YES 4.93/2.20 (CERTIFIED 0.1) YES 5.05/1.57 (CERTIFIED 0.1)
Transformed_CSR_04/OvConsOS_nosorts_C.xml 5161484 timeout (wallclock) [out] MAYBE 400.60/299.37
Transformed_CSR_04/Ex24_GM04_L.xml 5161485 NO 7.94/2.79 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml 5161486 YES 9.83/3.29 (CERTIFIED 0.1) MAYBE 391.53/299.36
Transformed_CSR_04/Ex25_Luc06_FR.xml 5161487 YES 24.23/7.08 (CERTIFIED 0.1) YES 5.82/1.74 (CERTIFIED 0.1)
Transformed_CSR_04/OvConsOS_complete_noand_iGM.xml 5161488 MAYBE 741.75/292.27 MAYBE 401.21/299.80
Transformed_CSR_04/PEANO_nokinds_iGM.xml 5161489 YES 5.54/2.30 (CERTIFIED 0.1) YES 68.55/18.60 (CERTIFIED 0.6)
Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml 5161490 YES 3.10/1.51 (CERTIFIED 0.0) YES 0.50/0.38 (CERTIFIED 0.0)
Transformed_CSR_04/Ex1_GL02a_FR.xml 5161491 NO 313.47/102.96 (CERTIFIED 0.4) MAYBE 389.69/299.34
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml 5161492 MAYBE 993.80/295.88 MAYBE 403.44/299.59
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml 5161493 NO 11.44/4.07 (CERTIFIED 0.1) MAYBE 74.48/26.31
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml 5161494 MAYBE 821.89/291.87 MAYBE 402.98/299.44
Transformed_CSR_04/PALINDROME_nokinds_FR.xml 5161495 YES 3.82/1.75 (CERTIFIED 0.1) YES 1.66/0.69 (CERTIFIED 0.1)
Transformed_CSR_04/ExIntrod_GM01_FR.xml 5161496 NO 24.10/9.23 (CERTIFIED 0.1) NO 2.41/0.87 (CERTIFIED 0.0)
Transformed_CSR_04/ExConc_Zan97_L.xml 5161497 YES 3.16/1.62 (CERTIFIED 0.0) YES 0.36/0.33 (CERTIFIED 0.0)
Transformed_CSR_04/MYNAT_nokinds_iGM.xml 5161498 YES 7.19/2.68 (CERTIFIED 0.2) MAYBE 405.52/299.39
Transformed_CSR_04/MYNAT_complete-noand_FR.xml 5161499 YES 49.22/14.70 (CERTIFIED 0.4) MAYBE 401.44/299.42
Transformed_CSR_04/ExIntrod_GM99_iGM.xml 5161500 MAYBE 815.25/298.36 MAYBE 400.64/299.40
Transformed_CSR_04/PEANO_nosorts_GM.xml 5161501 YES 3.26/1.58 (CERTIFIED 0.0) YES 0.49/0.38 (CERTIFIED 0.0)
Transformed_CSR_04/Ex15_Luc98_FR.xml 5161502 YES 6.57/2.69 (CERTIFIED 0.1) YES 31.07/9.47 (CERTIFIED 0.2)
Transformed_CSR_04/Ex6_Luc98_C.xml 5161503 YES 6.54/3.41 (CERTIFIED 0.2) YES 23.20/6.24 (CERTIFIED 0.3)
Transformed_CSR_04/Ex9_Luc06_C.xml 5161504 YES 90.49/18.55 (CERTIFIED 0.1) YES 7.89/2.03 (CERTIFIED 0.2)
Transformed_CSR_04/Ex15_Luc98_L.xml 5161505 NO 3.07/1.53 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex1_2_AEL03_Z.xml 5161506 YES 4.07/1.85 (CERTIFIED 0.0) YES 6.42/2.00 (CERTIFIED 0.1)
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml 5161507 YES 4.27/1.92 (CERTIFIED 0.1) YES 13.33/4.70 (CERTIFIED 0.1)
Transformed_CSR_04/OvConsOS_complete_noand_C.xml 5161508 MAYBE 770.65/293.57 MAYBE 402.62/299.74
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml 5161509 NO 5.61/2.37 (CERTIFIED 0.0) NO 0.57/0.40 (CERTIFIED 0.0)
Transformed_CSR_04/MYNAT_nosorts_GM.xml 5161510 YES 3.94/1.84 (CERTIFIED 0.0) MAYBE 387.25/299.34
Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml 5161511 NO 406.30/120.75 (CERTIFIED 0.1) NO 0.33/0.33 (CERTIFIED 0.0)
Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml 5161512 YES 126.72/40.00 (CERTIFIED 1.2) MAYBE 400.43/299.41
Transformed_CSR_04/PALINDROME_complete_L.xml 5161513 NO 3.02/1.57 (CERTIFIED 0.0) NO 0.33/0.33 (CERTIFIED 0.0)
Transformed_CSR_04/ExIntrod_GM01_GM.xml 5161514 YES 7.17/2.66 (CERTIFIED 0.2) YES 27.02/7.27 (CERTIFIED 0.6)
Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml 5161515 YES 174.41/64.87 (CERTIFIED 1.3) MAYBE 400.85/299.38
Transformed_CSR_04/Ex18_Luc06_iGM.xml 5161516 YES 9.18/3.25 (CERTIFIED 0.1) YES 3.66/1.20 (CERTIFIED 0.1)
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml 5161517 MAYBE 671.34/291.88 MAYBE 402.67/299.43
Transformed_CSR_04/Ex1_Luc02b_FR.xml 5161518 YES 4.52/3.01 (CERTIFIED 0.1) YES 17.85/6.63 (CERTIFIED 0.1)
Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml 5161519 YES 8.48/2.15 (CERTIFIED 0.1) YES 4.27/1.36 (CERTIFIED 0.1)
Transformed_CSR_04/Ex4_DLMMU04_L.xml 5161520 NO 2.94/1.54 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml 5161521 timeout (wallclock) [out] MAYBE 401.32/299.39
Transformed_CSR_04/Ex16_Luc06_iGM.xml 5161522 YES 6.50/2.71 (CERTIFIED 0.1) MAYBE 32.47/10.12
Transformed_CSR_04/Ex2_Luc02a_FR.xml 5161523 YES 4.99/3.03 (CERTIFIED 0.1) YES 14.09/4.19 (CERTIFIED 0.1)
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml 5161524 timeout (wallclock) [out] MAYBE 405.73/299.59
Transformed_CSR_04/Ex3_3_25_Bor03_C.xml 5161525 YES 8.85/3.16 (CERTIFIED 0.4) YES 28.84/8.21 (CERTIFIED 0.2)
Transformed_CSR_04/ExConc_Zan97_GM.xml 5161526 YES 10.26/3.50 (CERTIFIED 0.0) YES 4.19/1.33 (CERTIFIED 0.1)
Transformed_CSR_04/Ex2_Luc03b_iGM.xml 5161527 YES 8.25/3.74 (CERTIFIED 0.2) YES 24.03/6.61 (CERTIFIED 0.3)
Transformed_CSR_04/PEANO_complete_noand_C.xml 5161528 timeout (wallclock) [out] MAYBE 403.64/299.60
Transformed_CSR_04/PEANO_nokinds_C.xml 5161529 YES 5.72/2.36 (CERTIFIED 0.1) MAYBE 400.88/299.37
Transformed_CSR_04/PEANO_nosorts_noand_GM.xml 5161530 YES 3.46/1.63 (CERTIFIED 0.0) YES 0.81/0.46 (CERTIFIED 0.0)
Transformed_CSR_04/ExSec11_1_Luc02a_C.xml 5161531 YES 11.68/4.06 (CERTIFIED 0.6) YES 31.01/8.50 (CERTIFIED 0.3)
Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml 5161532 timeout (wallclock) [out] MAYBE 403.35/299.49
Transformed_CSR_04/ExIntrod_Zan97_GM.xml 5161533 MAYBE 772.25/291.72 MAYBE 388.90/299.35
Transformed_CSR_04/Ex8_BLR02_FR.xml 5161534 YES 3.78/1.77 (CERTIFIED 0.0) YES 9.05/3.47 (CERTIFIED 0.1)
Transformed_CSR_04/Ex23_Luc06_GM.xml 5161535 YES 8.14/2.87 (CERTIFIED 0.0) YES 2.11/0.80 (CERTIFIED 0.1)
Transformed_CSR_04/MYNAT_complete_noand_C.xml 5161536 MAYBE 781.27/293.14 MAYBE 403.39/299.66
Transformed_CSR_04/OvConsOS_complete_GM.xml 5161537 timeout (wallclock) [out] MAYBE 402.85/299.43
Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml 5161538 YES 6.18/2.47 (CERTIFIED 0.1) YES 27.17/7.48 (CERTIFIED 0.3)
Transformed_CSR_04/Ex49_GM04_C.xml 5161539 YES 8.73/4.44 (CERTIFIED 0.3) YES 27.01/7.37 (CERTIFIED 0.2)
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml 5161540 MAYBE 1015.15/297.73 MAYBE 403.51/299.59
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml 5161541 timeout (wallclock) [out] MAYBE 396.77/299.80
Transformed_CSR_04/PALINDROME_nokinds_L.xml 5161542 NO 3.08/2.21 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex14_AEGL02_Z.xml 5161543 NO 7.53/3.17 (CERTIFIED 0.1) NO 1.74/0.74 (CERTIFIED 0.0)
Transformed_CSR_04/OvConsOS_complete-noand_L.xml 5161544 NO 3.17/1.55 (CERTIFIED 0.1) NO 0.35/0.35 (CERTIFIED 0.1)
Transformed_CSR_04/Ex1_GM99_C.xml 5161545 YES 105.86/40.48 (CERTIFIED 0.5) MAYBE 400.00/299.35
Transformed_CSR_04/ExIntrod_GM99_GM.xml 5161546 YES 85.80/22.91 (CERTIFIED 0.7) YES 45.92/12.50 (CERTIFIED 0.4)
Transformed_CSR_04/PALINDROME_complete_noand_C.xml 5161547 YES 24.39/8.16 (CERTIFIED 2.0) YES 70.80/22.02 (CERTIFIED 1.8)
Transformed_CSR_04/ExConc_Zan97_iGM.xml 5161548 YES 26.81/10.96 (CERTIFIED 0.1) YES 12.65/3.49 (CERTIFIED 0.1)
Transformed_CSR_04/PEANO_nokinds_GM.xml 5161549 YES 4.71/3.58 (CERTIFIED 0.1) YES 27.61/7.62 (CERTIFIED 0.3)
Transformed_CSR_04/Ex4_Zan97_L.xml 5161550 NO 2.96/1.58 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex7_BLR02_L.xml 5161551 NO 3.18/1.56 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex5_7_Luc97_Z.xml 5161552 MAYBE 1150.11/291.87 MAYBE 383.65/299.4
Transformed_CSR_04/Ex1_GM99_L.xml 5161553 NO 6.85/2.72 (CERTIFIED 0.0) NO 0.32/0.31 (CERTIFIED 0.0)
Transformed_CSR_04/Ex4_Zan97_FR.xml 5161554 YES 3.65/1.74 (CERTIFIED 0.0) YES 5.33/1.92 (CERTIFIED 0.0)
Transformed_CSR_04/Ex9_Luc06_FR.xml 5161555 NO 4.13/1.87 (CERTIFIED 0.1) NO 0.51/0.38 (CERTIFIED 0.0)
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml 5161556 YES 13.39/4.57 (CERTIFIED 0.5) MAYBE 400.80/299.40
Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml 5161557 YES 4.76/2.14 (CERTIFIED 0.1) YES 11.45/3.67 (CERTIFIED 0.1)
Transformed_CSR_04/PALINDROME_nokinds_Z.xml 5161558 YES 3.52/1.68 (CERTIFIED 0.1) YES 1.01/0.52 (CERTIFIED 0.1)
Transformed_CSR_04/Ex3_2_Luc97_FR.xml 5161559 MAYBE 481.07/291.70 MAYBE 393.22/299.36
Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml 5161560 YES 4.93/2.57 (CERTIFIED 0.1) YES 13.41/3.80 (CERTIFIED 0.1)
Transformed_CSR_04/Ex6_GM04_GM.xml 5161561 YES 3.93/1.69 (CERTIFIED 0.0) YES 0.49/0.38 (CERTIFIED 0.0)
Transformed_CSR_04/Ex16_Luc06_C.xml 5161562 YES 82.13/27.28 (CERTIFIED 0.8) MAYBE 404.72/299.37
Transformed_CSR_04/Ex6_Luc98_GM.xml 5161563 YES 5.25/2.21 (CERTIFIED 0.0) YES 11.70/3.51 (CERTIFIED 0.1)
Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml 5161564 YES 15.39/4.81 (CERTIFIED 0.8) YES 47.45/18.35 (CERTIFIED 0.8)
Transformed_CSR_04/Ex15_Luc06_C.xml 5161565 YES 14.64/5.23 (CERTIFIED 0.1) YES 1.63/0.67 (CERTIFIED 0.1)
Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml 5161566 YES 6.92/2.78 (CERTIFIED 0.2) YES 21.03/5.73 (CERTIFIED 0.4)
Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml 5161567 MAYBE 813.17/292.03 MAYBE 409.55/299.43
Transformed_CSR_04/Ex1_2_Luc02c_L.xml 5161568 NO 3.07/1.56 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
Transformed_CSR_04/Ex14_Luc06_GM.xml 5161569 timeout (wallclock) [out] MAYBE 12.65/7.33
Transformed_CSR_04/LISTUTILITIES_complete_GM.xml 5161570 MAYBE 604.62/291.90 MAYBE 403.18/299.58
Transformed_CSR_04/Ex1_2_Luc02c_GM.xml 5161571 YES 6.30/2.44 (CERTIFIED 0.1) YES 7.44/2.34 (CERTIFIED 0.1)
Transformed_CSR_04/ExProp7_Luc06_C.xml 5161572 YES 161.70/46.27 (CERTIFIED 0.2) YES 24.01/6.50 (CERTIFIED 0.2)
Transformed_CSR_04/Ex4_Zan97_C.xml 5161573 timeout (wallclock) [out] MAYBE 412.69/299.36
Transformed_CSR_04/Ex26_Luc03b_GM.xml 5161574 YES 8.21/2.90 (CERTIFIED 0.1) YES 33.36/10.36 (CERTIFIED 0.3)
Transformed_CSR_04/Ex6_Luc98_Z.xml 5161575 YES 3.97/1.86 (CERTIFIED 0.0) YES 3.95/1.27 (CERTIFIED 0.1)
Transformed_CSR_04/Ex3_2_Luc97_iGM.xml 5161576 MAYBE 707.03/291.68 MAYBE 400.02/299.39
Transformed_CSR_04/Ex1_Zan97_C.xml 5161577 YES 13.42/4.39 (CERTIFIED 0.1) YES 2.20/0.82 (CERTIFIED 0.1)
Transformed_CSR_04/ExIntrod_GM01_iGM.xml 5161578 YES 11.30/4.64 (CERTIFIED 0.4) YES 25.18/6.89 (CERTIFIED 0.4)
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml 5161579 YES 3.60/1.66 (CERTIFIED 0.0) YES 0.65/0.42 (CERTIFIED 0.0)
Transformed_CSR_04/Ex4_7_15_Bor03_C.xml 5161580 YES 363.46/104.61 (CERTIFIED 0.2) YES 23.90/6.49 (CERTIFIED 0.4)
Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml 5161581 YES 4.93/1.99 (CERTIFIED 0.1) YES 3.07/1.05 (CERTIFIED 0.1)
Transformed_CSR_04/Ex2_Luc03b_FR.xml 5161582 YES 6.30/2.54 (CERTIFIED 0.1) YES 24.09/6.83 (CERTIFIED 0.2)
Transformed_CSR_04/Ex9_Luc04_GM.xml 5161583 NO 6.38/2.57 (CERTIFIED 0.1) MAYBE 38.35/11.79
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml 5161584 NO 75.24/22.13 (CERTIFIED 0.6) MAYBE 400.28/299.36
Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml 5161585 NO 2.96/1.60 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex1_Zan97_iGM.xml 5161586 YES 6.55/2.53 (CERTIFIED 0.1) YES 2.60/0.94 (CERTIFIED 0.1)
Transformed_CSR_04/PEANO_nokinds_noand_GM.xml 5161587 YES 6.64/2.59 (CERTIFIED 0.2) YES 50.22/14.93 (CERTIFIED 0.4)
Transformed_CSR_04/Ex4_DLMMU04_iGM.xml 5161588 YES 90.80/25.39 (CERTIFIED 1.0) MAYBE 402.23/299.40
Transformed_CSR_04/ExIntrod_GM01_C.xml 5161589 YES 8.44/3.08 (CERTIFIED 0.4) YES 27.21/7.55 (CERTIFIED 0.4)
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml 5161590 NO 9.46/3.49 (CERTIFIED 0.1) NO 6.53/1.93 (CERTIFIED 0.0)
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml 5161591 MAYBE 846.58/291.93 MAYBE 398.50/299.37
Transformed_CSR_04/ExProp7_Luc06_L.xml 5161592 YES 3.70/1.79 (CERTIFIED 0.0) YES 0.95/0.52 (CERTIFIED 0.1)
Transformed_CSR_04/Ex26_Luc03b_C.xml 5161593 YES 9.73/3.45 (CERTIFIED 0.5) YES 31.05/9.41 (CERTIFIED 0.3)
Transformed_CSR_04/Ex1_Luc04b_iGM.xml 5161594 YES 12.33/4.18 (CERTIFIED 0.3) YES 25.75/7.00 (CERTIFIED 0.4)
Transformed_CSR_04/PALINDROME_complete_GM.xml 5161595 YES 8.43/3.15 (CERTIFIED 0.3) YES 100.45/29.01 (CERTIFIED 1.1)
Transformed_CSR_04/LISTUTILITIES_complete_Z.xml 5161596 MAYBE 916.82/291.98 MAYBE 412.63/299.49
Transformed_CSR_04/Ex18_Luc06_FR.xml 5161597 YES 5.62/2.19 (CERTIFIED 0.0) YES 0.49/0.37 (CERTIFIED 0.0)
Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml 5161598 YES 11.53/3.79 (CERTIFIED 0.9) YES 58.83/30.99 (CERTIFIED 0.6)
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml 5161599 YES 4.02/1.87 (CERTIFIED 0.0) YES 17.38/5.53 (CERTIFIED 0.1)
Transformed_CSR_04/PEANO_complete_noand_iGM.xml 5161600 YES 195.72/71.82 (CERTIFIED 3.8) MAYBE 402.90/299.53
Transformed_CSR_04/Ex1_2_AEL03_GM.xml 5161601 YES 161.93/44.00 (CERTIFIED 1.3) MAYBE 393.57/299.36
Transformed_CSR_04/Ex1_Zan97_L.xml 5161602 NO 7.72/2.83 (CERTIFIED 0.0) NO 0.40/0.35 (CERTIFIED 0.0)
Transformed_CSR_04/PEANO_complete_GM.xml 5161603 YES 5.03/2.44 (CERTIFIED 0.1) YES 48.48/13.79 (CERTIFIED 0.5)
Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml 5161604 YES 12.33/4.19 (CERTIFIED 0.3) YES 29.22/8.60 (CERTIFIED 0.3)
Transformed_CSR_04/Ex4_Zan97_iGM.xml 5161605 MAYBE 727.73/291.67 MAYBE 400.23/299.36
Transformed_CSR_04/PALINDROME_nosorts_C.xml 5161606 YES 5.65/2.31 (CERTIFIED 0.1) YES 22.94/6.22 (CERTIFIED 0.3)
Transformed_CSR_04/OvConsOS_complete_Z.xml 5161607 timeout (wallclock) [out] MAYBE 400.01/299.40
Transformed_CSR_04/Ex24_GM04_FR.xml 5161608 MAYBE 173.35/134.09 MAYBE 10.82/7.33
Transformed_CSR_04/Ex5_Zan97_iGM.xml 5161609 YES 5.80/2.37 (CERTIFIED 0.1) YES 14.64/4.03 (CERTIFIED 0.3)
Transformed_CSR_04/Ex5_Zan97_Z.xml 5161610 YES 3.57/1.69 (CERTIFIED 0.0) YES 0.50/0.38 (CERTIFIED 0.0)
Transformed_CSR_04/Ex4_7_56_Bor03_C.xml 5161611 timeout (wallclock) [out] MAYBE 400.34/299.35
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml 5161612 YES 9.16/3.27 (CERTIFIED 0.6) YES 35.53/9.46 (CERTIFIED 0.9)
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml 5161613 NO 2.98/1.85 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml 5161614 MAYBE 653.07/291.95 MAYBE 415.97/299.59
Transformed_CSR_04/Ex5_7_Luc97_iGM.xml 5161615 MAYBE 749.19/292.11 MAYBE 399.98/299.40
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml 5161616 NO 273.13/74.41 (CERTIFIED 0.6) MAYBE 399.80/299.36
Transformed_CSR_04/MYNAT_complete_L.xml 5161617 NO 2.87/1.48 (CERTIFIED 0.0) NO 0.33/0.33 (CERTIFIED 0.0)
Transformed_CSR_04/OvConsOS_nosorts_Z.xml 5161618 NO 5.82/2.40 (CERTIFIED 0.1) NO 0.42/0.36 (CERTIFIED 0.0)
Transformed_CSR_04/Ex6_GM04_FR.xml 5161619 NO 8.03/3.06 (CERTIFIED 0.0) NO 0.43/0.36 (CERTIFIED 0.0)
Transformed_CSR_04/Ex18_Luc06_GM.xml 5161620 YES 5.45/2.77 (CERTIFIED 0.0) YES 0.98/0.50 (CERTIFIED 0.0)
Transformed_CSR_04/LISTUTILITIES_complete_L.xml 5161621 NO 3.09/1.57 (CERTIFIED 0.1) NO 0.36/0.36 (CERTIFIED 0.1)
Transformed_CSR_04/Ex4_Zan97_Z.xml 5161622 YES 3.52/1.82 (CERTIFIED 0.0) YES 16.80/5.59 (CERTIFIED 0.0)
Transformed_CSR_04/Ex49_GM04_GM.xml 5161623 YES 5.92/2.43 (CERTIFIED 0.1) YES 29.59/8.61 (CERTIFIED 0.2)
Transformed_CSR_04/Ex3_12_Luc96a_L.xml 5161624 NO 3.00/1.63 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
Transformed_CSR_04/Ex25_Luc06_C.xml 5161625 YES 34.51/10.70 (CERTIFIED 0.1) YES 1.06/0.54 (CERTIFIED 0.1)
Transformed_CSR_04/Ex1_Luc04b_FR.xml 5161626 NO 11.29/3.96 (CERTIFIED 0.1) NO 0.55/0.40 (CERTIFIED 0.0)
Transformed_CSR_04/Ex8_BLR02_iGM.xml 5161627 MAYBE 760.21/291.80 MAYBE 400.17/299.38
Transformed_CSR_04/Ex8_BLR02_Z.xml 5161628 YES 3.86/1.75 (CERTIFIED 0.0) YES 7.87/2.75 (CERTIFIED 0.0)
Transformed_CSR_04/PEANO_complete_Z.xml 5161629 YES 4.70/2.01 (CERTIFIED 0.1) YES 53.79/15.32 (CERTIFIED 0.4)
Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml 5161630 YES 3.64/1.65 (CERTIFIED 0.0) YES 0.56/0.39 (CERTIFIED 0.0)
Transformed_CSR_04/Ex1_2_Luc02c_C.xml 5161631 YES 4.94/2.12 (CERTIFIED 0.1) YES 7.26/2.12 (CERTIFIED 0.1)
Transformed_CSR_04/Ex14_AEGL02_iGM.xml 5161632 YES 8.26/3.01 (CERTIFIED 0.2) YES 20.28/5.50 (CERTIFIED 0.4)
Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml 5161633 MAYBE 746.73/291.74 MAYBE 400.93/299.38
Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml 5161634 YES 5.17/2.19 (CERTIFIED 0.1) YES 22.75/6.16 (CERTIFIED 0.3)
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml 5161635 timeout (wallclock) [out] MAYBE 400.25/299.35
Transformed_CSR_04/Ex1_GM03_L.xml 5161636 NO 3.16/1.55 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
Transformed_CSR_04/Ex18_Luc06_C.xml 5161637 YES 11.15/3.64 (CERTIFIED 0.1) YES 2.57/0.92 (CERTIFIED 0.1)
Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml 5161638 YES 3.79/1.96 (CERTIFIED 0.0) YES 7.71/2.45 (CERTIFIED 0.1)
Transformed_CSR_04/Ex5_DLMMU04_L.xml 5161639 NO 2.83/1.56 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex4_DLMMU04_Z.xml 5161640 NO 51.11/14.06 (CERTIFIED 0.4) NO 5.32/1.62 (CERTIFIED 0.1)
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml 5161641 YES 26.54/11.76 (CERTIFIED 0.6) MAYBE 402.63/299.46
Transformed_CSR_04/Ex4_7_56_Bor03_L.xml 5161642 NO 2.94/1.61 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex5_DLMMU04_Z.xml 5161643 NO 7.83/2.94 (CERTIFIED 0.1) NO 0.42/0.37 (CERTIFIED 0.0)
Transformed_CSR_04/PALINDROME_nosorts_FR.xml 5161644 YES 3.25/1.62 (CERTIFIED 0.0) YES 0.52/0.38 (CERTIFIED 0.0)
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml 5161645 MAYBE 809.11/292.30 MAYBE 400.25/299.36
Transformed_CSR_04/Ex4_4_Luc96b_FR.xml 5161646 NO 7.79/3.35 (CERTIFIED 0.0) NO 0.53/0.40 (CERTIFIED 0.0)
Transformed_CSR_04/Ex5_Zan97_GM.xml 5161647 YES 4.40/1.99 (CERTIFIED 0.1) YES 3.06/1.05 (CERTIFIED 0.1)
Transformed_CSR_04/Ex6_GM04_L.xml 5161648 YES 3.19/1.98 (CERTIFIED 0.0) YES 0.40/0.35 (CERTIFIED 0.0)
Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml 5161649 NO 3.15/1.56 (CERTIFIED 0.1) NO 0.40/0.40 (CERTIFIED 0.2)
Transformed_CSR_04/ExIntrod_GM99_Z.xml 5161650 NO 16.52/5.82 (CERTIFIED 0.1) NO 0.56/0.41 (CERTIFIED 0.0)
Transformed_CSR_04/Ex7_BLR02_iGM.xml 5161651 MAYBE 699.72/291.66 MAYBE 400.11/299.38
Transformed_CSR_04/MYNAT_nokinds-noand_L.xml 5161652 NO 3.11/1.59 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex25_Luc06_GM.xml 5161653 YES 13.75/4.40 (CERTIFIED 0.0) YES 8.41/2.41 (CERTIFIED 0.1)
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml 5161654 YES 20.00/6.31 (CERTIFIED 0.5) YES 124.61/33.55 (CERTIFIED 0.7)
Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml 5161655 YES 8.81/3.19 (CERTIFIED 0.2) YES 26.00/7.15 (CERTIFIED 0.2)
Transformed_CSR_04/ExIntrod_Zan97_Z.xml 5161656 NO 6.61/2.82 (CERTIFIED 0.0) NO 0.33/0.33 (CERTIFIED 0.0)
Transformed_CSR_04/PEANO_nosorts_iGM.xml 5161657 YES 5.09/2.41 (CERTIFIED 0.1) YES 12.88/3.57 (CERTIFIED 0.2)
Transformed_CSR_04/MYNAT_nokinds_Z.xml 5161658 YES 4.57/1.98 (CERTIFIED 0.1) MAYBE 389.44/299.35
Transformed_CSR_04/Ex15_Luc98_C.xml 5161659 YES 8.47/3.08 (CERTIFIED 0.4) YES 26.55/7.17 (CERTIFIED 0.3)
Transformed_CSR_04/Ex8_BLR02_C.xml 5161660 MAYBE 924.10/291.62 MAYBE 400.63/299.39
Transformed_CSR_04/MYNAT_complete_noand_iGM.xml 5161661 YES 777.46/278.91 (CERTIFIED 7.6) MAYBE 402.84/299.67
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml 5161662 YES 4.57/1.99 (CERTIFIED 0.1) YES 3.00/1.04 (CERTIFIED 0.1)
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml 5161663 NO 3.08/1.57 (CERTIFIED 0.1) NO 0.35/0.35 (CERTIFIED 0.1)
Transformed_CSR_04/MYNAT_nosorts_iGM.xml 5161664 YES 5.04/2.11 (CERTIFIED 0.1) YES 18.17/6.03 (CERTIFIED 0.1)
Transformed_CSR_04/Ex6_15_AEL02_C.xml 5161665 MAYBE 1032.62/297.60 MAYBE 402.86/299.45
Transformed_CSR_04/Ex14_AEGL02_FR.xml 5161666 NO 22.71/9.34 (CERTIFIED 0.1) MAYBE 77.49/29.26
Transformed_CSR_04/MYNAT_nokinds_C.xml 5161667 YES 6.82/2.69 (CERTIFIED 0.2) MAYBE 400.94/299.40
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml 5161668 YES 6.97/2.52 (CERTIFIED 0.3) YES 5.53/1.69 (CERTIFIED 0.1)
Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml 5161669 timeout (wallclock) [out] MAYBE 410.71/299.50
Transformed_CSR_04/ExIntrod_Zan97_C.xml 5161670 timeout (wallclock) [out] MAYBE 400.81/299.39
Transformed_CSR_04/MYNAT_nosorts_L.xml 5161671 NO 3.21/1.60 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml 5161672 NO 3.17/1.61 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex49_GM04_L.xml 5161673 NO 3.00/1.53 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/Ex7_BLR02_GM.xml 5161674 MAYBE 792.81/291.69 MAYBE 390.56/299.35
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml 5161675 MAYBE 809.83/292.10 MAYBE 403.16/299.44
Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml 5161676 YES 4.94/2.74 (CERTIFIED 0.1) YES 13.63/4.45 (CERTIFIED 0.1)
Transformed_CSR_04/Ex2_Luc03b_L.xml 5161677 YES 3.47/1.62 (CERTIFIED 0.0) YES 0.48/0.38 (CERTIFIED 0.0)
Transformed_CSR_04/Ex4_DLMMU04_FR.xml 5161678 NO 49.47/13.73 (CERTIFIED 0.4) NO 4.03/1.30 (CERTIFIED 0.1)
Transformed_CSR_04/Ex2_Luc03b_Z.xml 5161679 YES 4.52/2.03 (CERTIFIED 0.1) YES 4.12/1.32 (CERTIFIED 0.1)
Transformed_CSR_04/Ex6_Luc98_FR.xml 5161680 YES 5.18/2.95 (CERTIFIED 0.0) YES 12.27/3.74 (CERTIFIED 0.1)
Transformed_CSR_04/OvConsOS_nokinds_iGM.xml 5161681 timeout (wallclock) [out] MAYBE 401.67/299.44
Transformed_CSR_04/PALINDROME_nokinds_iGM.xml 5161682 YES 7.14/2.64 (CERTIFIED 0.2) YES 26.37/7.25 (CERTIFIED 0.5)
Transformed_CSR_04/Ex9_BLR02_FR.xml 5161683 YES 13.02/4.38 (CERTIFIED 0.2) YES 20.31/7.06 (CERTIFIED 0.1)
Transformed_CSR_04/MYNAT_complete_noand_GM.xml 5161684 YES 36.67/11.99 (CERTIFIED 0.6) MAYBE 402.79/299.47
Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml 5161685 NO 3.16/1.96 (CERTIFIED 0.0) NO 0.33/0.33 (CERTIFIED 0.0)
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml 5161686 NO 3.23/1.54 (CERTIFIED 0.0) NO 0.33/0.33 (CERTIFIED 0.0)
Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml 5161687 timeout (wallclock) [out] MAYBE 402.66/299.42
Transformed_CSR_04/ExAppendixB_AEL03_C.xml 5161688 MAYBE 1045.07/300.05 MAYBE 402.08/299.43
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml 5161689 NO 83.16/23.78 (CERTIFIED 0.5) MAYBE 399.76/299.36
Transformed_CSR_04/PALINDROME_complete_iGM.xml 5161690 YES 9.80/3.55 (CERTIFIED 0.4) YES 106.55/29.52 (CERTIFIED 2.5)
Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml 5161691 YES 3.50/1.83 (CERTIFIED 0.0) YES 3.96/1.35 (CERTIFIED 0.0)
Transformed_CSR_04/Ex6_9_Luc02c_C.xml 5161692 YES 4.71/2.03 (CERTIFIED 0.1) YES 16.36/4.46 (CERTIFIED 0.3)
Transformed_CSR_04/PEANO_complete_C.xml 5161693 YES 9.23/3.93 (CERTIFIED 0.4) MAYBE 402.10/299.42
Transformed_CSR_04/Ex6_15_AEL02_GM.xml 5161694 MAYBE 1162.86/295.52 MAYBE 398.77/299.40
Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml 5161695 NO 3.16/1.54 (CERTIFIED 0.0) NO 0.33/0.33 (CERTIFIED 0.1)
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml 5161696 NO 14.19/5.37 (CERTIFIED 0.1) MAYBE 70.43/21.02
Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml 5161697 timeout (wallclock) [out] MAYBE 403.03/299.47
Transformed_CSR_04/ExConc_Zan97_FR.xml 5161698 YES 8.25/2.97 (CERTIFIED 0.0) YES 2.61/0.92 (CERTIFIED 0.0)
Transformed_CSR_04/ExIntrod_GM04_L.xml 5161699 NO 3.08/1.65 (CERTIFIED 0.0) NO 0.31/0.31 (CERTIFIED 0.0)
Transformed_CSR_04/Ex9_BLR02_iGM.xml 5161700 YES 10.62/3.84 (CERTIFIED 0.3) YES 30.13/8.23 (CERTIFIED 0.3)
Transformed_CSR_04/Ex4_DLMMU04_GM.xml 5161701 YES 40.96/11.47 (CERTIFIED 0.4) YES 112.53/29.17 (CERTIFIED 0.8)
Transformed_CSR_04/PEANO_complete_FR.xml 5161702 YES 4.85/2.00 (CERTIFIED 0.1) YES 69.06/18.27 (CERTIFIED 0.6)
Transformed_CSR_04/Ex5_DLMMU04_FR.xml 5161703 NO 28.82/13.12 (CERTIFIED 0.3) MAYBE 399.74/299.36
Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml 5161704 YES 3.53/2.85 (CERTIFIED 0.0) YES 16.16/5.48 (CERTIFIED 0.0)
Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml 5161705 NO 3.09/1.58 (CERTIFIED 0.0) NO 0.33/0.33 (CERTIFIED 0.0)
Transformed_CSR_04/Ex18_Luc06_Z.xml 5161706 YES 3.55/1.72 (CERTIFIED 0.0) YES 0.50/0.37 (CERTIFIED 0.0)
Transformed_CSR_04/ExIntrod_GM04_FR.xml 5161707 NO 36.34/14.97 (CERTIFIED 0.2) MAYBE 399.90/299.35
Transformed_CSR_04/Ex4_Zan97_GM.xml 5161708 MAYBE 1125.1/291.67 MAYBE 388.67/299.34
Transformed_CSR_04/Ex24_GM04_iGM.xml 5161709 timeout (wallclock) [out] MAYBE 36.41/12.23
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml 5161710 YES 6.54/2.58 (CERTIFIED 0.2) YES 21.33/5.79 (CERTIFIED 0.6)
Transformed_CSR_04/Ex5_7_Luc97_C.xml 5161711 MAYBE 1030.72/297.95 MAYBE 401.53/299.41
Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml 5161712 NO 58.06/20.95 (CERTIFIED 0.9) MAYBE 394.06/299.35
Transformed_CSR_04/Ex26_Luc03b_L.xml 5161713 YES 3.35/1.56 (CERTIFIED 0.0) YES 0.48/0.37 (CERTIFIED 0.0)
Transformed_CSR_04/Ex1_Luc02b_iGM.xml 5161714 MAYBE 653.45/291.63 MAYBE 399.98/299.37
Transformed_CSR_04/MYNAT_complete_C.xml 5161715 YES 13.97/5.19 (CERTIFIED 0.8) MAYBE 403.28/299.49
Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml 5161716 MAYBE 1122.36/292.60 MAYBE 401.24/299.43
Transformed_CSR_04/PEANO_nokinds-noand_FR.xml 5161717 YES 6.22/3.31 (CERTIFIED 0.1) YES 33.64/9.23 (CERTIFIED 0.4)
Transformed_CSR_04/Ex15_Luc06_iGM.xml 5161718 YES 9.97/3.32 (CERTIFIED 0.1) YES 3.65/1.21 (CERTIFIED 0.1)
Transformed_CSR_04/Ex1_2_AEL03_L.xml 5161719 NO 2.96/1.57 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml 5161720 timeout (wallclock) [out] MAYBE 402.39/299.42
Transformed_CSR_04/OvConsOS_nosorts_iGM.xml 5161721 NO 60.34/18.32 (CERTIFIED 0.6) MAYBE 400.11/299.35
Transformed_CSR_04/Ex6_15_AEL02_iGM.xml 5161722 MAYBE 724.93/291.79 MAYBE 400.64/299.44
Transformed_CSR_04/Ex26_Luc03b_iGM.xml 5161723 YES 14.87/5.31 (CERTIFIED 0.3) YES 27.67/7.78 (CERTIFIED 0.3)
Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml 5161724 YES 7.53/2.96 (CERTIFIED 0.3) MAYBE 399.26/299.38
Transformed_CSR_04/MYNAT_nokinds_L.xml 5161725 NO 2.99/1.56 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
Transformed_CSR_04/MYNAT_complete_FR.xml 5161726 YES 4.87/2.14 (CERTIFIED 0.1) MAYBE 400.25/299.40
TCT_12/recursion-10.xml 5161117 YES 4.24/1.91 (CERTIFIED 0.0) YES 10.53/3.25 (CERTIFIED 0.1)
TCT_12/polycounter-10.xml 5161118 YES 5.20/2.52 (CERTIFIED 0.0) YES 2.25/0.85 (CERTIFIED 0.1)
TCT_12/recursion-5.xml 5161119 YES 3.96/1.88 (CERTIFIED 0.0) YES 5.74/1.98 (CERTIFIED 0.1)
TCT_12/polycounter-5.xml 5161120 YES 3.66/1.76 (CERTIFIED 0.0) YES 0.95/0.49 (CERTIFIED 0.0)
TCT_12/sat.xml 5161121 YES 4.18/2.00 (CERTIFIED 0.0) YES 6.71/2.07 (CERTIFIED 0.1)
Secret_07_TRS/aprove07.xml 5161961 timeout (wallclock) [out] MAYBE 27.29/9.32
Secret_07_TRS/secret3.xml 5161962 YES 3.46/1.78 (CERTIFIED 0.0) YES 4.84/1.56 (CERTIFIED 0.1)
Secret_07_TRS/aprove04.xml 5161963 MAYBE 980.51/291.96 MAYBE 62.82/22.21
Secret_07_TRS/3.xml 5161964 YES 49.12/17.74 (CERTIFIED 0.3) MAYBE 399.09/299.37
Secret_07_TRS/7.xml 5161965 NO 345.60/118.67 (CERTIFIED 0.1) MAYBE 381.33/299.33
Secret_07_TRS/aprove02.xml 5161966 MAYBE 930.15/296.95 MAYBE 61.95/24.47
Secret_07_TRS/1.xml 5161967 MAYBE 365.60/291.65 MAYBE 44.83/14.71
Secret_07_TRS/aprove10.xml 5161968 MAYBE 684.05/291.62 MAYBE 379.76/299.34
Secret_07_TRS/aprove08.xml 5161969 MAYBE 402.44/291.69 MAYBE 35.79/12.04
Secret_07_TRS/secret2.xml 5161970 YES 3.58/1.77 (CERTIFIED 0.0) YES 6.15/1.94 (CERTIFIED 0.1)
Secret_07_TRS/aprove09.xml 5161971 MAYBE 1115.16/295.05 MAYBE 54.42/21.03
Secret_07_TRS/aprove01.xml 5161972 MAYBE 1157.18/295.43 MAYBE 379.66/299.34
Secret_07_TRS/5.xml 5161973 YES 47.20/17.43 (CERTIFIED 0.2) MAYBE 400.43/299.35
Secret_07_TRS/aprove06.xml 5161974 MAYBE 993.31/291.61 MAYBE 389.58/299.36
Secret_07_TRS/aprove03.xml 5161975 timeout (wallclock) [out] MAYBE 385.66/299.37
Secret_07_TRS/2.xml 5161976 MAYBE 753.24/291.52 MAYBE 362.64/299.34
Secret_07_TRS/secret5.xml 5161977 YES 4.61/2.02 (CERTIFIED 0.1) YES 22.55/7.35 (CERTIFIED 0.1)
Secret_07_TRS/secret4.xml 5161978 YES 4.24/2.74 (CERTIFIED 0.0) YES 7.91/2.43 (CERTIFIED 0.1)
Secret_07_TRS/4.xml 5161979 MAYBE 345.66/291.58 MAYBE 88.11/32.92
Secret_07_TRS/aprove05.xml 5161980 timeout (wallclock) [out] MAYBE 41.52/15.90
Secret_07_TRS/secret1.xml 5161981 YES 3.92/1.99 (CERTIFIED 0.0) YES 18.89/5.79 (CERTIFIED 0.1)
Secret_06_TRS/gen-25.xml 5160815 YES 31.44/14.54 (CERTIFIED 0.1) YES 17.15/4.80 (CERTIFIED 0.1)
Secret_06_TRS/10.xml 5160816 YES 11.82/4.18 (CERTIFIED 0.1) YES 7.19/3.12 (CERTIFIED 0.1)
Secret_06_TRS/division.xml 5160817 YES 8.25/3.56 (CERTIFIED 0.1) MAYBE 25.11/7.36
Secret_06_TRS/gen-28.xml 5160818 YES 28.62/14.05 (CERTIFIED 0.1) YES 3.64/1.31 (CERTIFIED 0.0)
Secret_06_TRS/cime1.xml 5160819 MAYBE 796.47/291.61 MAYBE 50.63/18.84
Secret_06_TRS/tpa10.xml 5160820 YES 5.08/2.21 (CERTIFIED 0.1) MAYBE 349.66/299.35
Secret_06_TRS/3.xml 5160821 MAYBE 769.93/292.08 MAYBE 387.81/299.39
Secret_06_TRS/7.xml 5160822 YES 6.77/2.63 (CERTIFIED 0.0) YES 3.35/1.12 (CERTIFIED 0.0)
Secret_06_TRS/tpa07.xml 5160823 MAYBE 438.77/291.56 MAYBE 343.21/299.34
Secret_06_TRS/gen-9.xml 5160824 YES 5.05/2.45 (CERTIFIED 0.0) YES 6.22/1.86 (CERTIFIED 0.1)
Secret_06_TRS/tpa02.xml 5160825 MAYBE 15.25/5.69 MAYBE 12.06/7.33
Secret_06_TRS/tpa04.xml 5160826 MAYBE 688.50/291.61 MAYBE 389.88/299.33
Secret_06_TRS/tpa09.xml 5160827 MAYBE 536.75/291.66 MAYBE 73.82/28.54
Secret_06_TRS/gen-17.xml 5160828 YES 3.80/1.77 (CERTIFIED 0.0) YES 21.19/5.62 (CERTIFIED 0.0)
Secret_06_TRS/toList.xml 5160829 YES 14.12/5.69 (CERTIFIED 0.4) MAYBE 371.33/299.34
Secret_06_TRS/reverse.xml 5160830 YES 6.21/2.59 (CERTIFIED 0.1) YES 9.16/2.94 (CERTIFIED 0.1)
Secret_06_TRS/gen-18.xml 5160831 YES 26.88/13.22 (CERTIFIED 0.1) YES 13.74/5.12 (CERTIFIED 0.1)
Secret_06_TRS/5.xml 5160832 YES 4.60/2.08 (CERTIFIED 0.0) YES 24.61/7.11 (CERTIFIED 0.1)
Secret_06_TRS/tpa06.xml 5160833 MAYBE 903.92/291.57 MAYBE 391.70/299.36
Secret_06_TRS/times.xml 5160834 timeout (wallclock) [out] MAYBE 36.74/12.20
Secret_06_TRS/logarithm.xml 5160835 MAYBE 644.89/291.57 MAYBE 387.77/299.38
Secret_06_TRS/tpa01.xml 5160836 MAYBE 6.34/2.66 MAYBE 5.60/2.22
Secret_06_TRS/2.xml 5160837 YES 34.28/12.24 (CERTIFIED 0.1) YES 4.82/1.48 (CERTIFIED 0.0)
Secret_06_TRS/double.xml 5160838 YES 5.76/2.44 (CERTIFIED 0.1) MAYBE 28.44/8.44
Secret_06_TRS/gen-22.xml 5160839 YES 5.97/2.40 (CERTIFIED 0.1) YES 12.96/3.58 (CERTIFIED 0.1)
Secret_06_TRS/nrOfNodes.xml 5160840 YES 8.67/4.15 (CERTIFIED 0.2) MAYBE 56.59/19.42
Secret_06_TRS/8.xml 5160841 YES 4.28/1.96 (CERTIFIED 0.1) YES 1.59/0.67 (CERTIFIED 0.1)
Secret_06_TRS/divExp.xml 5160842 YES 4.81/2.16 (CERTIFIED 0.1) MAYBE 10.70/7.33
Secret_06_TRS/gen-10.xml 5160843 YES 5.47/2.27 (CERTIFIED 0.0) YES 3.09/1.19 (CERTIFIED 0.0)
Secret_06_TRS/tpa03.xml 5160844 MAYBE 17.02/7.54 MAYBE 12.28/7.33
Secret_06_TRS/tpa05.xml 5160845 timeout (wallclock) [out] MAYBE 344.86/299.35
Secret_06_TRS/gen-15.xml 5160846 YES 4.68/2.07 (CERTIFIED 0.0) YES 8.75/2.59 (CERTIFIED 0.1)
Secret_06_TRS/6.xml 5160847 YES 6.92/2.83 (CERTIFIED 0.0) YES 1.80/0.72 (CERTIFIED 0.0)
Secret_06_TRS/9.xml 5160848 YES 5.85/2.35 (CERTIFIED 0.0) YES 1.94/0.76 (CERTIFIED 0.1)
Secret_06_TRS/4.xml 5160849 YES 5.56/2.34 (CERTIFIED 0.0) YES 1.81/0.72 (CERTIFIED 0.0)
Secret_06_TRS/sumList.xml 5160850 YES 8.01/4.30 (CERTIFIED 0.2) YES 23.17/6.33 (CERTIFIED 0.1)
Secret_06_TRS/tpa08.xml 5160851 MAYBE 478.22/298.21 MAYBE 345.95/299.34
Secret_06_TRS/addList.xml 5160852 YES 9.26/4.20 (CERTIFIED 0.3) YES 36.02/9.68 (CERTIFIED 0.1)
Secret_06_TRS/gen-1.xml 5160853 YES 6.15/2.41 (CERTIFIED 0.0) YES 2.26/0.84 (CERTIFIED 0.1)
Secret_06_TRS/gen-14.xml 5160854 YES 4.78/2.15 (CERTIFIED 0.0) YES 9.15/2.66 (CERTIFIED 0.0)
Strategy_removed_AG01/#4.4.xml 5161796 NO 3.85/1.83 (CERTIFIED 0.0) NO 0.40/0.35 (CERTIFIED 0.0)
Strategy_removed_AG01/#4.19.xml 5161797 timeout (wallclock) [out] MAYBE 20.79/7.34
Strategy_removed_AG01/#4.18.xml 5161798 NO 3.21/1.58 (CERTIFIED 0.0) NO 1.22/0.56 (CERTIFIED 0.0)
Strategy_removed_AG01/#4.13.xml 5161799 NO 5.51/2.92 (CERTIFIED 0.0) MAYBE 7.95/7.52
Strategy_removed_AG01/#4.27.xml 5161800 YES 3.91/1.85 (CERTIFIED 0.0) YES 4.56/1.49 (CERTIFIED 0.1)
Strategy_removed_AG01/#4.17.xml 5161801 NO 4.62/2.21 (CERTIFIED 0.0) NO 0.43/0.36 (CERTIFIED 0.0)
Strategy_removed_AG01/#4.22.xml 5161802 YES 3.64/1.78 (CERTIFIED 0.0) YES 1.80/0.75 (CERTIFIED 0.0)
Strategy_removed_AG01/#4.36.xml 5161803 YES 5.58/2.25 (CERTIFIED 0.1) YES 9.68/2.94 (CERTIFIED 0.1)
Strategy_removed_AG01/#4.37.xml 5161804 YES 3.84/1.81 (CERTIFIED 0.0) YES 1.23/0.57 (CERTIFIED 0.0)
Strategy_removed_AG01/#4.20a.xml 5161805 YES 4.12/1.84 (CERTIFIED 0.0) YES 0.89/0.48 (CERTIFIED 0.1)
Strategy_removed_AG01/#4.30b.xml 5161806 YES 9.41/5.26 (CERTIFIED 0.1) MAYBE 31.85/9.10
Strategy_removed_AG01/#4.33.xml 5161807 YES 4.02/1.81 (CERTIFIED 0.0) YES 6.12/1.83 (CERTIFIED 0.1)
Strategy_removed_AG01/#4.26.xml 5161808 YES 4.67/2.06 (CERTIFIED 0.0) YES 3.50/1.21 (CERTIFIED 0.0)
Strategy_removed_AG01/#4.35.xml 5161809 YES 6.05/2.37 (CERTIFIED 0.1) YES 13.78/3.90 (CERTIFIED 0.1)
Strategy_removed_AG01/#4.16.xml 5161810 NO 4.30/1.95 (CERTIFIED 0.0) NO 0.38/0.35 (CERTIFIED 0.0)
Strategy_removed_AG01/#4.15.xml 5161811 NO 8.23/1.96 (CERTIFIED 0.0) NO 0.46/0.37 (CERTIFIED 0.0)
Strategy_removed_AG01/#4.14.xml 5161812 NO 4.22/2.02 (CERTIFIED 0.0) NO 0.49/0.37 (CERTIFIED 0.0)
Strategy_removed_AG01/#4.23.xml 5161813 YES 4.01/1.83 (CERTIFIED 0.0) YES 3.60/1.22 (CERTIFIED 0.0)
Strategy_removed_AG01/#4.32.xml 5161814 YES 3.71/1.78 (CERTIFIED 0.0) YES 1.40/0.61 (CERTIFIED 0.0)
Strategy_removed_AG01/#4.28.xml 5161815 YES 7.64/2.80 (CERTIFIED 0.0) YES 3.01/1.03 (CERTIFIED 0.1)
Strategy_removed_AG01/#4.25.xml 5161816 YES 3.49/1.76 (CERTIFIED 0.0) MAYBE 1.06/0.56
Strategy_removed_AG01/#4.21.xml 5161817 YES 5.03/1.96 (CERTIFIED 0.0) YES 1.20/0.56 (CERTIFIED 0.1)
Strategy_removed_AG01/#4.30a.xml 5161818 YES 4.26/2.78 (CERTIFIED 0.0) MAYBE 12.42/7.33
Strategy_removed_AG01/#4.3.xml 5161819 NO 3.89/1.81 (CERTIFIED 0.0) MAYBE 8.07/7.33
Strategy_removed_AG01/#4.20.xml 5161820 YES 4.37/1.93 (CERTIFIED 0.0) YES 0.58/0.40 (CERTIFIED 0.0)
Strategy_removed_AG01/#4.30.xml 5161821 YES 6.62/3.13 (CERTIFIED 0.1) MAYBE 21.16/7.33
Strategy_removed_AG01/#4.29.xml 5161822 YES 5.03/2.20 (CERTIFIED 0.1) YES 7.75/2.34 (CERTIFIED 0.1)
Strategy_removed_AG01/#4.34.xml 5161823 YES 3.80/1.85 (CERTIFIED 0.0) YES 6.13/1.85 (CERTIFIED 0.2)
Strategy_removed_AG01/#4.37a.xml 5161824 YES 4.02/1.89 (CERTIFIED 0.0) YES 2.18/0.81 (CERTIFIED 0.1)
Strategy_removed_AG01/#4.30c.xml 5161825 YES 11.88/6.78 (CERTIFIED 0.5) MAYBE 61.73/22.20
Strategy_removed_AG01/#4.2.xml 5161826 NO 4.58/2.13 (CERTIFIED 0.0) NO 0.40/0.36 (CERTIFIED 0.0)
Strategy_removed_AG01/#4.12a.xml 5161827 NO 4.02/1.88 (CERTIFIED 0.0) NO 0.45/0.37 (CERTIFIED 0.0)
Strategy_removed_AG01/#4.7.xml 5161828 NO 4.38/2.02 (CERTIFIED 0.0) NO 0.48/0.37 (CERTIFIED 0.0)
SK90/2.49.xml 5160855 YES 4.75/1.98 (CERTIFIED 0.1) YES 0.92/0.48 (CERTIFIED 0.0)
SK90/4.03.xml 5160856 YES 3.75/1.78 (CERTIFIED 0.0) YES 3.12/1.13 (CERTIFIED 0.0)
SK90/2.60.xml 5160857 YES 3.57/1.57 (CERTIFIED 0.0) YES 0.61/0.40 (CERTIFIED 0.1)
SK90/4.12.xml 5160858 YES 3.59/1.73 (CERTIFIED 0.0) YES 1.35/0.59 (CERTIFIED 0.0)
SK90/2.45.xml 5160859 YES 3.90/1.89 (CERTIFIED 0.0) YES 14.90/5.42 (CERTIFIED 0.0)
SK90/2.15.xml 5160860 YES 3.57/1.69 (CERTIFIED 0.0) YES 1.32/0.60 (CERTIFIED 0.0)
SK90/4.44.xml 5160861 YES 3.30/1.62 (CERTIFIED 0.0) YES 1.20/0.56 (CERTIFIED 0.1)
SK90/4.39.xml 5160862 YES 3.59/1.73 (CERTIFIED 0.0) YES 0.78/0.44 (CERTIFIED 0.0)
SK90/2.40.xml 5160863 YES 3.69/1.77 (CERTIFIED 0.0) YES 2.05/0.82 (CERTIFIED 0.0)
SK90/4.41.xml 5160864 YES 3.72/1.72 (CERTIFIED 0.0) YES 1.00/0.52 (CERTIFIED 0.0)
SK90/2.47.xml 5160865 YES 7.07/2.58 (CERTIFIED 0.0) YES 0.78/0.45 (CERTIFIED 0.0)
SK90/4.37.xml 5160866 YES 3.77/1.85 (CERTIFIED 0.0) YES 0.71/0.42 (CERTIFIED 0.0)
SK90/4.50.xml 5160867 YES 3.54/1.72 (CERTIFIED 0.0) YES 0.49/0.37 (CERTIFIED 0.0)
SK90/4.19.xml 5160868 YES 3.24/1.64 (CERTIFIED 0.0) YES 0.50/0.38 (CERTIFIED 0.0)
SK90/2.22.xml 5160869 YES 3.55/1.74 (CERTIFIED 0.0) YES 2.80/1.04 (CERTIFIED 0.0)
SK90/2.08.xml 5160870 YES 3.78/1.78 (CERTIFIED 0.0) YES 3.31/1.16 (CERTIFIED 0.0)
SK90/4.10.xml 5160871 YES 3.70/1.74 (CERTIFIED 0.0) YES 3.07/1.06 (CERTIFIED 0.0)
SK90/4.26.xml 5160872 YES 3.91/1.81 (CERTIFIED 0.0) YES 4.78/1.53 (CERTIFIED 0.1)
SK90/2.59.xml 5160873 YES 3.44/1.77 (CERTIFIED 0.0) YES 2.03/0.85 (CERTIFIED 0.0)
SK90/2.27.xml 5160874 YES 3.89/1.99 (CERTIFIED 0.0) YES 3.93/1.27 (CERTIFIED 0.1)
SK90/4.57.xml 5160875 YES 4.04/1.84 (CERTIFIED 0.0) YES 2.54/0.96 (CERTIFIED 0.0)
SK90/2.57.xml 5160876 YES 3.68/1.76 (CERTIFIED 0.0) YES 0.95/0.49 (CERTIFIED 0.0)
SK90/4.60.xml 5160877 YES 4.23/2.01 (CERTIFIED 0.0) YES 6.35/2.12 (CERTIFIED 0.0)
SK90/2.31.xml 5160878 YES 3.61/2.32 (CERTIFIED 0.0) YES 0.46/0.37 (CERTIFIED 0.0)
SK90/2.46.xml 5160879 YES 11.19/3.74 (CERTIFIED 0.0) YES 0.76/0.44 (CERTIFIED 0.0)
SK90/4.28.xml 5160880 YES 4.26/1.99 (CERTIFIED 0.0) YES 9.20/3.15 (CERTIFIED 0.0)
SK90/4.46.xml 5160881 YES 3.11/1.56 (CERTIFIED 0.0) YES 0.45/0.37 (CERTIFIED 0.0)
SK90/2.52.xml 5160882 YES 3.87/1.88 (CERTIFIED 0.0) YES 4.93/1.62 (CERTIFIED 0.1)
SK90/2.03.xml 5160883 YES 6.70/1.61 (CERTIFIED 0.0) YES 0.49/0.38 (CERTIFIED 0.0)
SK90/2.33.xml 5160884 YES 3.44/1.57 (CERTIFIED 0.0) YES 0.47/0.37 (CERTIFIED 0.0)
SK90/4.14.xml 5160885 YES 3.84/1.77 (CERTIFIED 0.0) YES 4.26/1.42 (CERTIFIED 0.1)
SK90/4.20.xml 5160886 YES 3.61/1.79 (CERTIFIED 0.0) YES 2.33/0.87 (CERTIFIED 0.0)
SK90/4.13.xml 5160887 YES 3.72/1.88 (CERTIFIED 0.0) YES 3.54/1.21 (CERTIFIED 0.0)
SK90/4.11.xml 5160888 YES 3.57/1.78 (CERTIFIED 0.0) YES 0.49/0.38 (CERTIFIED 0.0)
SK90/4.53.xml 5160889 YES 3.69/1.76 (CERTIFIED 0.0) YES 17.20/5.52 (CERTIFIED 0.0)
SK90/2.38.xml 5160890 YES 3.28/1.67 (CERTIFIED 0.0) YES 0.52/0.38 (CERTIFIED 0.0)
SK90/4.06.xml 5160891 NO 4.90/2.18 (CERTIFIED 0.0) NO 0.44/0.37 (CERTIFIED 0.0)
SK90/2.25.xml 5160892 YES 3.67/1.74 (CERTIFIED 0.0) YES 3.06/1.12 (CERTIFIED 0.0)
SK90/2.12.xml 5160893 YES 3.91/1.80 (CERTIFIED 0.0) YES 3.75/1.30 (CERTIFIED 0.0)
SK90/4.54.xml 5160894 NO 6.75/2.89 (CERTIFIED 0.0) NO 0.42/0.37 (CERTIFIED 0.0)
SK90/2.50.xml 5160895 YES 8.46/3.01 (CERTIFIED 0.0) YES 1.16/0.54 (CERTIFIED 0.0)
SK90/4.34.xml 5160896 NO 3.12/1.55 (CERTIFIED 0.0) NO 1.61/0.66 (CERTIFIED 0.0)
SK90/4.47.xml 5160897 YES 4.96/2.19 (CERTIFIED 0.0) YES 1.42/0.64 (CERTIFIED 0.2)
SK90/4.52.xml 5160898 YES 3.29/1.62 (CERTIFIED 0.0) YES 0.50/0.38 (CERTIFIED 0.0)
SK90/2.07.xml 5160899 YES 3.54/1.68 (CERTIFIED 0.0) YES 2.78/1.01 (CERTIFIED 0.0)
SK90/2.42.xml 5160900 YES 4.04/1.89 (CERTIFIED 0.0) YES 1.71/0.69 (CERTIFIED 0.0)
SK90/2.09.xml 5160901 YES 3.61/2.09 (CERTIFIED 0.0) YES 0.47/0.37 (CERTIFIED 0.0)
SK90/4.48.xml 5160902 YES 3.31/1.62 (CERTIFIED 0.0) YES 0.47/0.37 (CERTIFIED 0.0)
SK90/2.17.xml 5160903 YES 3.71/1.70 (CERTIFIED 0.0) YES 1.07/0.53 (CERTIFIED 0.0)
SK90/2.06.xml 5160904 YES 3.46/1.68 (CERTIFIED 0.0) YES 2.11/0.80 (CERTIFIED 0.1)
SK90/4.30.xml 5160905 YES 4.53/2.00 (CERTIFIED 0.0) YES 6.12/1.83 (CERTIFIED 0.1)
SK90/2.39.xml 5160906 YES 4.08/2.39 (CERTIFIED 0.0) YES 2.52/0.91 (CERTIFIED 0.1)
SK90/2.35.xml 5160907 YES 3.78/1.84 (CERTIFIED 0.0) YES 1.55/0.66 (CERTIFIED 0.1)
SK90/4.01.xml 5160908 YES 3.57/1.69 (CERTIFIED 0.0) YES 0.46/0.37 (CERTIFIED 0.0)
SK90/2.29.xml 5160909 YES 3.68/1.78 (CERTIFIED 0.0) YES 3.85/1.33 (CERTIFIED 0.0)
SK90/4.02.xml 5160910 YES 3.86/1.78 (CERTIFIED 0.0) MAYBE 344.56/299.36
SK90/4.27.xml 5160911 YES 3.86/1.96 (CERTIFIED 0.0) YES 4.19/1.34 (CERTIFIED 0.1)
SK90/4.61.xml 5160912 YES 4.91/2.10 (CERTIFIED 0.1) YES 13.35/3.99 (CERTIFIED 0.1)
SK90/4.49.xml 5160913 NO 4.34/1.94 (CERTIFIED 0.0) NO 0.32/0.32 (CERTIFIED 0.0)
SK90/4.09.xml 5160914 YES 3.68/2.15 (CERTIFIED 0.0) YES 3.63/1.24 (CERTIFIED 0.0)
SK90/4.29.xml 5160915 YES 3.71/1.70 (CERTIFIED 0.0) YES 0.53/0.39 (CERTIFIED 0.0)
SK90/2.37.xml 5160916 YES 3.39/1.69 (CERTIFIED 0.0) YES 0.71/0.42 (CERTIFIED 0.0)
SK90/4.07.xml 5160917 YES 3.65/1.83 (CERTIFIED 0.0) YES 0.58/0.40 (CERTIFIED 0.0)
SK90/4.45.xml 5160918 YES 3.25/1.53 (CERTIFIED 0.0) YES 0.53/0.38 (CERTIFIED 0.0)
SK90/2.54.xml 5160919 YES 3.52/1.67 (CERTIFIED 0.0) YES 0.62/0.41 (CERTIFIED 0.0)
SK90/2.32.xml 5160920 YES 3.57/1.79 (CERTIFIED 0.0) YES 1.65/0.68 (CERTIFIED 0.1)
SK90/4.16.xml 5160921 YES 3.66/1.69 (CERTIFIED 0.0) YES 2.64/0.95 (CERTIFIED 0.2)
SK90/4.55.xml 5160922 YES 3.45/1.70 (CERTIFIED 0.0) YES 0.76/0.46 (CERTIFIED 0.0)
SK90/4.31.xml 5160923 YES 3.80/1.77 (CERTIFIED 0.0) YES 3.46/1.16 (CERTIFIED 0.0)
SK90/4.08.xml 5160924 YES 3.53/1.62 (CERTIFIED 0.0) YES 1.18/0.56 (CERTIFIED 0.0)
SK90/2.13.xml 5160925 YES 3.82/1.80 (CERTIFIED 0.0) YES 2.82/0.98 (CERTIFIED 0.1)
SK90/4.18.xml 5160926 YES 3.69/1.69 (CERTIFIED 0.0) YES 2.30/0.85 (CERTIFIED 0.0)
SK90/2.20.xml 5160927 YES 3.66/1.67 (CERTIFIED 0.0) YES 1.45/0.63 (CERTIFIED 0.0)
SK90/2.55.xml 5160928 YES 3.56/2.18 (CERTIFIED 0.0) YES 1.08/0.53 (CERTIFIED 0.0)
SK90/4.05.xml 5160929 YES 3.59/1.81 (CERTIFIED 0.0) YES 2.30/0.87 (CERTIFIED 0.0)
SK90/2.05.xml 5160930 NO 6.29/2.46 (CERTIFIED 0.0) NO 0.44/0.37 (CERTIFIED 0.0)
SK90/4.21.xml 5160931 YES 3.70/1.76 (CERTIFIED 0.0) YES 3.23/1.13 (CERTIFIED 0.0)
SK90/4.36.xml 5160932 YES 3.40/1.60 (CERTIFIED 0.0) YES 1.18/0.54 (CERTIFIED 0.0)
SK90/4.22.xml 5160933 YES 3.71/2.96 (CERTIFIED 0.0) YES 2.97/1.03 (CERTIFIED 0.0)
SK90/2.56.xml 5160934 YES 3.57/1.63 (CERTIFIED 0.0) YES 0.43/0.36 (CERTIFIED 0.0)
SK90/4.43.xml 5160935 YES 3.92/1.76 (CERTIFIED 0.0) YES 6.36/1.89 (CERTIFIED 0.1)
SK90/4.32.xml 5160936 YES 19.08/5.69 (CERTIFIED 0.1) YES 10.59/2.96 (CERTIFIED 0.1)
SK90/2.44.xml 5160937 YES 4.11/1.98 (CERTIFIED 0.0) YES 4.96/1.58 (CERTIFIED 0.1)
SK90/4.25.xml 5160938 YES 3.23/1.62 (CERTIFIED 0.0) YES 0.59/0.40 (CERTIFIED 0.0)
SK90/2.43.xml 5160939 YES 3.61/1.76 (CERTIFIED 0.0) YES 5.18/1.74 (CERTIFIED 0.0)
SK90/2.58.xml 5160940 YES 3.77/1.82 (CERTIFIED 0.0) YES 1.03/0.52 (CERTIFIED 0.1)
SK90/2.48.xml 5160941 YES 4.33/2.73 (CERTIFIED 0.0) YES 0.74/0.44 (CERTIFIED 0.0)
SK90/4.17.xml 5160942 YES 4.99/2.19 (CERTIFIED 0.0) YES 1.57/0.65 (CERTIFIED 0.0)
SK90/2.24.xml 5160943 YES 3.61/1.67 (CERTIFIED 0.0) YES 1.17/0.55 (CERTIFIED 0.0)
SK90/2.16.xml 5160944 YES 3.35/1.71 (CERTIFIED 0.0) YES 3.21/1.17 (CERTIFIED 0.0)
SK90/4.15.xml 5160945 YES 3.25/1.61 (CERTIFIED 0.0) YES 0.45/0.36 (CERTIFIED 0.0)
SK90/2.41.xml 5160946 YES 3.36/1.76 (CERTIFIED 0.0) YES 0.54/0.39 (CERTIFIED 0.0)
SK90/2.51.xml 5160947 YES 3.56/1.76 (CERTIFIED 0.0) YES 1.80/0.76 (CERTIFIED 0.0)
SK90/4.24.xml 5160948 YES 4.73/2.39 (CERTIFIED 0.0) YES 3.53/1.18 (CERTIFIED 0.0)
SK90/4.04.xml 5160949 YES 3.31/1.68 (CERTIFIED 0.0) YES 0.56/0.40 (CERTIFIED 0.0)
SK90/2.28.xml 5160950 YES 3.53/2.21 (CERTIFIED 0.0) YES 0.69/0.42 (CERTIFIED 0.0)
SK90/2.01.xml 5160951 YES 3.64/1.68 (CERTIFIED 0.0) YES 2.03/0.77 (CERTIFIED 0.1)
SK90/2.23.xml 5160952 YES 3.52/1.78 (CERTIFIED 0.0) YES 3.91/1.34 (CERTIFIED 0.0)
SK90/4.38.xml 5160953 YES 3.39/1.54 (CERTIFIED 0.0) YES 0.47/0.37 (CERTIFIED 0.0)
SK90/4.42.xml 5160954 YES 3.58/1.71 (CERTIFIED 0.0) YES 2.39/0.90 (CERTIFIED 0.0)
SK90/2.53.xml 5160955 YES 3.26/1.61 (CERTIFIED 0.0) YES 0.55/0.39 (CERTIFIED 0.0)
SK90/2.21.xml 5160956 YES 3.68/1.71 (CERTIFIED 0.0) YES 1.81/0.73 (CERTIFIED 0.0)
SK90/4.40.xml 5160957 NO 9.31/3.43 (CERTIFIED 0.1) NO 0.50/0.38 (CERTIFIED 0.0)
SK90/2.61.xml 5160958 YES 3.61/1.69 (CERTIFIED 0.0) YES 0.72/0.43 (CERTIFIED 0.0)
SK90/2.19.xml 5160959 YES 3.46/1.74 (CERTIFIED 0.0) YES 3.23/1.11 (CERTIFIED 0.0)
SK90/2.11.xml 5160960 YES 3.62/3.16 (CERTIFIED 0.0) YES 0.55/0.39 (CERTIFIED 0.0)
SK90/2.10.xml 5160961 YES 3.73/1.84 (CERTIFIED 0.0) YES 2.70/0.94 (CERTIFIED 0.1)
SK90/4.23.xml 5160962 YES 3.64/1.73 (CERTIFIED 0.0) YES 2.47/0.93 (CERTIFIED 0.0)
SK90/4.51.xml 5160963 YES 3.85/1.85 (CERTIFIED 0.0) YES 1.45/0.65 (CERTIFIED 0.1)
SK90/2.26.xml 5160964 YES 3.67/1.79 (CERTIFIED 0.0) YES 5.64/1.86 (CERTIFIED 0.1)
SK90/4.33.xml 5160965 YES 3.40/1.57 (CERTIFIED 0.0) YES 0.74/0.44 (CERTIFIED 0.0)
SK90/4.56.xml 5160966 YES 3.28/1.62 (CERTIFIED 0.0) YES 0.48/0.37 (CERTIFIED 0.0)
SK90/2.30.xml 5160967 YES 3.86/1.77 (CERTIFIED 0.0) YES 1.53/0.65 (CERTIFIED 0.0)
SK90/2.04.xml 5160968 YES 3.56/1.66 (CERTIFIED 0.0) YES 1.15/0.55 (CERTIFIED 0.0)
SK90/2.14.xml 5160969 YES 3.53/1.70 (CERTIFIED 0.0) YES 1.33/0.65 (CERTIFIED 0.1)
SK90/2.36.xml 5160970 YES 3.52/1.61 (CERTIFIED 0.0) YES 0.47/0.37 (CERTIFIED 0.0)
SK90/2.02.xml 5160971 YES 3.36/1.74 (CERTIFIED 0.0) YES 0.60/0.40 (CERTIFIED 0.0)
SK90/2.18.xml 5160972 YES 3.59/1.66 (CERTIFIED 0.0) YES 2.14/0.96 (CERTIFIED 0.0)
SK90/4.35.xml 5160973 YES 3.04/1.61 (CERTIFIED 0.0) YES 1.07/0.52 (CERTIFIED 0.0)
SK90/2.34.xml 5160974 YES 3.94/1.79 (CERTIFIED 0.0) YES 1.47/0.64 (CERTIFIED 0.0)
SK90/4.59.xml 5160975 YES 3.93/1.78 (CERTIFIED 0.0) YES 5.90/1.90 (CERTIFIED 0.0)
Waldmann_06/jwtpa2.xml 5162214 YES 5.23/2.25 (CERTIFIED 0.0) YES 5.47/1.71 (CERTIFIED 0.1)
Waldmann_06/jwno4.xml 5162215 NO 5.33/2.36 (CERTIFIED 0.0) NO 0.50/0.38 (CERTIFIED 0.0)
Waldmann_06/jwno2.xml 5162216 MAYBE 428.33/291.67 MAYBE 21.87/7.33
Waldmann_06/jwteparla2.xml 5162217 YES 10.01/6.87 (CERTIFIED 0.1) MAYBE 23.77/7.33
Waldmann_06/jwmatchb2.xml 5162218 YES 28.01/13.71 (CERTIFIED 0.0) YES 2.92/1.08 (CERTIFIED 0.0)
Waldmann_06/jwaprove1.xml 5162219 YES 14.33/4.82 (CERTIFIED 0.3) MAYBE 389.66/299.33
Waldmann_06/jwtpa1.xml 5162220 YES 13.10/4.41 (CERTIFIED 0.2) YES 1.83/0.75 (CERTIFIED 0.0)
Waldmann_06/jwno6.xml 5162221 NO 5.13/2.30 (CERTIFIED 0.0) NO 0.47/0.38 (CERTIFIED 0.0)
Waldmann_06/jwno9.xml 5162222 NO 12.36/2.49 (CERTIFIED 0.0) NO 0.61/0.41 (CERTIFIED 0.0)
Waldmann_06/jwno7.xml 5162223 MAYBE 387.11/291.58 MAYBE 25.08/7.33
Waldmann_06/jwcime2.xml 5162224 YES 4.99/2.25 (CERTIFIED 0.1) YES 2.16/0.89 (CERTIFIED 0.0)
Waldmann_06/jwno5.xml 5162225 MAYBE 383.77/291.56 MAYBE 20.59/7.33
Waldmann_06/jwno3.xml 5162226 MAYBE 381.38/291.71 MAYBE 27.14/7.80
Waldmann_06/jwaprove2.xml 5162227 YES 12.38/4.21 (CERTIFIED 0.3) MAYBE 388.57/299.33
Waldmann_06/jwmatchb1.xml 5162228 YES 27.61/13.62 (CERTIFIED 0.0) YES 3.57/1.29 (CERTIFIED 0.0)
Waldmann_06/jwcime1.xml 5162229 YES 9.27/3.51 (CERTIFIED 0.2) MAYBE 37.79/11.39
Waldmann_06/jwttt.xml 5162230 YES 5.04/2.21 (CERTIFIED 0.0) YES 6.34/1.91 (CERTIFIED 0.1)
Waldmann_06/jwno8.xml 5162231 MAYBE 606.73/291.67 MAYBE 24.72/7.55
Waldmann_06/jwteparla1.xml 5162232 YES 4.83/3.21 (CERTIFIED 0.0) MAYBE 18.54/7.33
Waldmann_06/jwno1.xml 5162233 NO 5.95/2.54 (CERTIFIED 0.0) NO 0.47/0.38 (CERTIFIED 0.0)
Various_04/05.xml 5160990 MAYBE 629.13/291.57 MAYBE 10.81/7.34
Various_04/03.xml 5160991 YES 3.69/1.74 (CERTIFIED 0.0) YES 0.77/0.47 (CERTIFIED 0.0)
Various_04/12.xml 5160992 YES 3.91/1.85 (CERTIFIED 0.1) YES 9.05/2.71 (CERTIFIED 0.1)
Various_04/10.xml 5160993 YES 5.01/2.15 (CERTIFIED 0.1) <