Termination Competition 2020: Logic Programming41218

Job info CSV
benchmark NTI Default 200 AProVE standard
talp_apt/append.pl 11767298 timeout (wallclock) [out] YES 3.91/1.80
talp_apt/fold.pl 11767308 timeout (wallclock) [out] YES 3.78/1.73
talp_apt/list.pl 11767300 timeout (wallclock) [out] YES 3.67/1.67
talp_apt/lte.pl 11767303 timeout (wallclock) [out] YES 3.85/1.75
talp_apt/map.pl 11767299 timeout (wallclock) [out] YES 3.78/1.70
talp_apt/map1.pl 11767297 timeout (wallclock) [out] YES 3.86/1.91
talp_apt/member.pl 11767307 timeout (wallclock) [out] YES 3.71/1.77
talp_apt/mergesort.pl 11767311 timeout (wallclock) [out] YES 16.50/5.02
talp_apt/mergesort_ap.pl 11767313 timeout (wallclock) [out] YES 20.21/6.11
talp_apt/naive_rev-oi.pl 11767317 NO 0.18/0.16 MAYBE 6.88/2.57
talp_apt/naive_rev.pl 11767318 timeout (wallclock) [out] YES 4.56/1.94
talp_apt/ordered.pl 11767296 timeout (wallclock) [out] YES 4.81/2.07
talp_apt/overlap.pl 11767315 timeout (wallclock) [out] YES 3.96/1.88
talp_apt/permutation.pl 11767306 timeout (wallclock) [out] YES 5.77/2.30
talp_apt/quicksort-oi.pl 11767301 NO 0.21/0.18 timeout (wallclock) [out]
talp_apt/quicksort.pl 11767309 timeout (wallclock) [out] YES 8.53/2.97
talp_apt/select.pl 11767312 timeout (wallclock) [out] YES 3.79/2.59
talp_apt/select1.pl 11767316 timeout (wallclock) [out] YES 4.09/2.86
talp_apt/SS_map.pl 11767305 timeout (wallclock) [out] MAYBE 32.64/9.14
talp_apt/SS_map_out.pl 11767314 timeout (wallclock) [out] MAYBE 32.52/9.20
talp_apt/SS_map_t.pl 11767304 timeout (wallclock) [out] MAYBE 33.07/9.21
talp_apt/subset.pl 11767319 timeout (wallclock) [out] YES 4.41/2.00
talp_apt/subset1.pl 11767310 timeout (wallclock) [out] MAYBE 7.98/2.82
talp_apt/sum.pl 11767302 timeout (wallclock) [out] YES 3.86/1.72
talp_dds/append.pl 11767325 timeout (wallclock) [out] YES 3.92/1.72
talp_dds/dis_con-bis.pl 11767321 timeout (wallclock) [out] YES 4.20/1.86
talp_dds/dis_con.pl 11767323 timeout (wallclock) [out] YES 4.13/1.82
talp_dds/duplicate.pl 11767329 timeout (wallclock) [out] YES 4.03/2.48
talp_dds/merge.pl 11767328 timeout (wallclock) [out] YES 6.64/2.67
talp_dds/permute.pl 11767322 timeout (wallclock) [out] YES 5.17/2.08
talp_dds/reverse-iio.pl 11767320 timeout (wallclock) [out] YES 3.74/2.60
talp_dds/reverse.pl 11767327 timeout (wallclock) [out] YES 4.31/2.04
talp_dds/sum-ioi.pl 11767324 timeout (wallclock) [out] YES 4.34/1.84
talp_dds/sum.pl 11767326 timeout (wallclock) [out] YES 4.04/1.74
talp_plumer/mergesort_t.pl 11767225 timeout (wallclock) [out] YES 14.33/4.44
talp_plumer/pl1.1.pl 11767220 NO 0.18/0.17 MAYBE 6.27/2.39
talp_plumer/pl1.2.pl 11767216 timeout (wallclock) [out] YES 5.11/2.13
talp_plumer/pl1.2_t.pl 11767221 timeout (wallclock) [out] YES 5.61/2.16
talp_plumer/pl2.3.1.pl 11767211 timeout (wallclock) [out] YES 3.88/1.69
talp_plumer/pl3.1.1.pl 11767208 NO 0.18/0.16 MAYBE 9.17/3.37
talp_plumer/pl3.5.6.pl 11767214 NO 0.18/0.16 MAYBE 6.30/2.37
talp_plumer/pl3.5.6a.pl 11767219 timeout (wallclock) [out] YES 3.52/2.60
talp_plumer/pl4.0.1-oooi.pl 11767231 NO 0.19/0.16 MAYBE 6.38/2.40
talp_plumer/pl4.0.1.pl 11767229 timeout (wallclock) [out] YES 3.89/1.75
talp_plumer/pl4.4.3.pl 11767233 timeout (wallclock) [out] YES 6.24/2.36
talp_plumer/pl4.4.6a.pl 11767234 timeout (wallclock) [out] YES 4.26/1.84
talp_plumer/pl4.5.2.pl 11767222 NO 0.18/0.15 MAYBE 32.9/9.29
talp_plumer/pl4.5.3a.pl 11767218 NO 0.18/0.17 MAYBE 6.06/2.39
talp_plumer/pl4.5.3b.pl 11767215 NO 0.17/0.15 MAYBE 9.34/3.21
talp_plumer/pl4.5.3c.pl 11767217 NO 0.18/0.17 MAYBE 6.93/2.54
talp_plumer/pl5.2.2.pl 11767230 timeout (wallclock) [out] timeout (wallclock) [out]
talp_plumer/pl6.1.1.pl 11767223 timeout (wallclock) [out] YES 8.15/2.97
talp_plumer/pl7.2.9.pl 11767207 timeout (wallclock) [out] YES 4.46/1.91
talp_plumer/pl7.6.2a.pl 11767232 timeout (wallclock) [out] MAYBE 15.96/4.83
talp_plumer/pl7.6.2b.pl 11767228 timeout (wallclock) [out] MAYBE 168.29/43.72
talp_plumer/pl7.6.2c.pl 11767227 timeout (wallclock) [out] YES 7.80/2.80
talp_plumer/pl8.2.1.pl 11767226 timeout (wallclock) [out] YES 15.50/4.79
talp_plumer/pl8.2.1a.pl 11767212 timeout (wallclock) [out] YES 11.76/3.76
talp_plumer/pl8.3.1.pl 11767224 timeout (wallclock) [out] timeout (wallclock) [out]
talp_plumer/pl8.3.1a.pl 11767210 timeout (wallclock) [out] YES 7.92/2.77
talp_plumer/pl8.4.1.pl 11767209 timeout (wallclock) [out] YES 3.68/1.65
talp_plumer/pl8.4.2.pl 11767213 timeout (wallclock) [out] YES 5.84/2.31
SGST06/ackermann.pl 11767263 timeout (wallclock) [out] YES 4.47/1.89
SGST06/ag01.pl 11767240 timeout (wallclock) [out] YES 4.21/1.94
SGST06/applast.pl 11767267 timeout (wallclock) [out] YES 4.41/1.87
SGST06/at.pl 11767275 timeout (wallclock) [out] YES 3.41/1.61
SGST06/avg-bfb.pl 11767239 timeout (wallclock) [out] YES 4.25/1.82
SGST06/avg.pl 11767249 timeout (wallclock) [out] YES 4.80/2.10
SGST06/baby91.pl 11767247 timeout (wallclock) [out] timeout (wallclock) [out]
SGST06/bappend.pl 11767269 timeout (wallclock) [out] YES 3.87/1.76
SGST06/blist.pl 11767250 timeout (wallclock) [out] YES 4.50/1.99
SGST06/btappend.pl 11767255 timeout (wallclock) [out] YES 4.66/2.00
SGST06/btapplast.pl 11767248 timeout (wallclock) [out] YES 5.21/2.24
SGST06/btree.pl 11767241 timeout (wallclock) [out] YES 4.60/1.93
SGST06/cconfdel.pl 11767288 timeout (wallclock) [out] YES 6.22/3.24
SGST06/cnfequiv.pl 11767237 timeout (wallclock) [out] YES 9.28/3.35
SGST06/confdel.pl 11767246 timeout (wallclock) [out] YES 5.69/2.18
SGST06/convert.pl 11767285 timeout (wallclock) [out] YES 5.39/2.10
SGST06/countstack.pl 11767257 timeout (wallclock) [out] YES 4.80/2.02
SGST06/csnake.pl 11767254 timeout (wallclock) [out] timeout (wallclock) [out]
SGST06/d.pl 11767261 ERROR 0.16/0.15 YES 10.01/3.36
SGST06/doublehalfpred.pl 11767289 timeout (wallclock) [out] MAYBE 213.51/53.17
SGST06/evenodd.pl 11767293 timeout (wallclock) [out] YES 4.17/1.80
SGST06/factor.pl 11767251 timeout (wallclock) [out] YES 6.04/2.29
SGST06/flatten.pl 11767268 timeout (wallclock) [out] YES 4.60/1.99
SGST06/flatten_phd.pl 11767284 timeout (wallclock) [out] YES 5.71/2.22
SGST06/giesl97.pl 11767260 timeout (wallclock) [out] YES 4.89/2.04
SGST06/gopher.pl 11767274 timeout (wallclock) [out] YES 4.33/1.89
SGST06/hbal_tree.pl 11767280 timeout (wallclock) [out] YES 5.72/2.23
SGST06/ifdiv.pl 11767282 NO 0.31/0.25 MAYBE 128.54/38.81
SGST06/ifminus.pl 11767294 timeout (wallclock) [out] YES 5.20/2.07
SGST06/incomplete.pl 11767258 timeout (wallclock) [out] YES 3.82/1.75
SGST06/incomplete2.pl 11767290 timeout (wallclock) [out] YES 4.45/1.88
SGST06/incomplete_variant.pl 11767256 timeout (wallclock) [out] YES 3.40/1.71
SGST06/intlist.pl 11767235 timeout (wallclock) [out] YES 4.49/1.90
SGST06/lessleaves.pl 11767279 timeout (wallclock) [out] YES 5.86/3.30
SGST06/log.pl 11767281 timeout (wallclock) [out] YES 5.02/2.02
SGST06/mapcolor.pl 11767243 timeout (wallclock) [out] MAYBE 35.54/9.98
SGST06/p.pl 11767253 timeout (wallclock) [out] YES 9.62/3.27
SGST06/palindrome.pl 11767271 timeout (wallclock) [out] YES 5.60/2.19
SGST06/paper1.pl 11767266 timeout (wallclock) [out] YES 4.25/1.88
SGST06/paper2.pl 11767273 timeout (wallclock) [out] YES 4.32/1.87
SGST06/parse.pl 11767259 timeout (wallclock) [out] YES 6.27/2.35
SGST06/perm.pl 11767277 timeout (wallclock) [out] YES 5.03/2.06
SGST06/plus.pl 11767236 timeout (wallclock) [out] YES 3.89/1.78
SGST06/pplus.pl 11767242 timeout (wallclock) [out] YES 3.92/1.83
SGST06/pplus2.pl 11767252 timeout (wallclock) [out] YES 4.63/2.00
SGST06/preorder.pl 11767278 ERROR 0.16/0.16 YES 4.02/1.86
SGST06/prime.pl 11767291 timeout (wallclock) [out] YES 9.75/3.30
SGST06/psk09-append_variant.pl 11767265 timeout (wallclock) [out] MAYBE 6.08/2.37
SGST06/psk09-maxsort-bool-nocut.pl 11767264 timeout (wallclock) [out] YES 70.43/18.71
SGST06/p_nonlin.pl 11767283 timeout (wallclock) [out] YES 8.23/2.93
SGST06/quot.pl 11767244 timeout (wallclock) [out] YES 4.04/1.80
SGST06/rev.pl 11767276 timeout (wallclock) [out] YES 7.32/2.74
SGST06/samefringe.pl 11767272 timeout (wallclock) [out] YES 5.96/2.35
SGST06/shuffle.pl 11767245 timeout (wallclock) [out] YES 5.92/3.15
SGST06/snake.pl 11767295 ERROR 0.15/0.13 timeout (wallclock) [out]
SGST06/times.pl 11767270 timeout (wallclock) [out] YES 4.09/2.14
SGST06/times2.pl 11767286 timeout (wallclock) [out] YES 7.26/2.63
SGST06/toyama.pl 11767287 timeout (wallclock) [out] YES 3.30/1.56
SGST06/transpose-fb.pl 11767292 timeout (wallclock) [out] YES 6.45/2.43
SGST06/transpose2.pl 11767262 NO 0.19/0.17 MAYBE 7.08/2.66
SGST06/weight.pl 11767238 timeout (wallclock) [out] YES 6.48/2.44
terminweb_new/append-ooi.pl 11767182 timeout (wallclock) [out] YES 3.95/1.74
terminweb_new/backwards_append.pl 11767180 timeout (wallclock) [out] YES 3.94/2.06
terminweb_new/basic_append.pl 11767178 timeout (wallclock) [out] YES 4.13/1.85
terminweb_new/der.pl 11767185 ERROR 0.16/0.16 YES 8.58/2.99
terminweb_new/NJ1.pl 11767179 timeout (wallclock) [out] YES 4.16/1.83
terminweb_new/NJ2.pl 11767181 timeout (wallclock) [out] YES 4.33/1.93
terminweb_new/NJ3.pl 11767183 timeout (wallclock) [out] YES 4.37/1.91
terminweb_new/NJ4.pl 11767187 timeout (wallclock) [out] YES 4.38/1.92
terminweb_new/NJ5.pl 11767188 timeout (wallclock) [out] YES 3.94/1.73
terminweb_new/NJ6.pl 11767184 timeout (wallclock) [out] YES 4.22/1.87
terminweb_new/preorder_dl.pl 11767177 ERROR 0.16/0.15 YES 3.99/1.98
terminweb_new/som.pl 11767175 ERROR 0.16/0.15 YES 3.96/1.83
terminweb_new/transpose.pl 11767186 timeout (wallclock) [out] YES 4.23/1.92
terminweb_new/type-based_append.pl 11767174 timeout (wallclock) [out] YES 4.26/1.84
terminweb_new/ways.pl 11767176 timeout (wallclock) [out] YES 16.61/5.06
terminweb_old/ackerman.pl 11767193 timeout (wallclock) [out] YES 3.90/1.87
terminweb_old/append3-bis.pl 11767202 timeout (wallclock) [out] YES 4.55/1.92
terminweb_old/append3.pl 11767191 timeout (wallclock) [out] YES 4.16/1.86
terminweb_old/balance_tree.pl 11767199 ERROR 0.23/0.21 YES 4.20/1.87
terminweb_old/balance_tree2.pl 11767206 ERROR 0.16/0.15 MAYBE 7.84/2.76
terminweb_old/inorder.pl 11767192 timeout (wallclock) [out] YES 4.56/1.95
terminweb_old/interleave.pl 11767196 timeout (wallclock) [out] YES 3.95/1.70
terminweb_old/permutation1.pl 11767205 timeout (wallclock) [out] YES 5.34/2.10
terminweb_old/permutation2.pl 11767203 timeout (wallclock) [out] YES 4.84/2.13
terminweb_old/reach.pl 11767197 timeout (wallclock) [out] YES 7.75/2.73
terminweb_old/rotate.pl 11767189 timeout (wallclock) [out] YES 4.66/1.99
terminweb_old/sameleaves.pl 11767204 timeout (wallclock) [out] YES 6.05/3.04
terminweb_old/sublist.pl 11767195 timeout (wallclock) [out] YES 3.95/2.17
terminweb_old/sublist0.pl 11767194 timeout (wallclock) [out] YES 4.41/1.86
terminweb_old/sublist_bad.pl 11767198 NO 0.19/0.16 MAYBE 6.04/2.60
terminweb_old/subset-no.pl 11767200 timeout (wallclock) [out] MAYBE 7.83/2.82
terminweb_old/subset.pl 11767190 timeout (wallclock) [out] YES 3.89/1.79
terminweb_old/untupled_bal_tree.pl 11767201 ERROR 0.16/0.16 YES 4.74/2.42
BCGGV05/ackerman.pl 11767130 timeout (wallclock) [out] YES 4.46/1.92
BCGGV05/append-bff.pl 11767148 timeout (wallclock) [out] YES 4.20/1.78
BCGGV05/append-ffb.pl 11767113 timeout (wallclock) [out] YES 4.00/1.74
BCGGV05/delete-bbf.pl 11767154 timeout (wallclock) [out] YES 4.93/2.00
BCGGV05/delete-bfb.pl 11767107 timeout (wallclock) [out] YES 4.70/1.98
BCGGV05/delete-bff.pl 11767081 NO 0.21/0.17 MAYBE 33.68/9.48
BCGGV05/delete-fbf.pl 11767149 timeout (wallclock) [out] YES 5.84/2.48
BCGGV05/delete-ffb.pl 11767111 timeout (wallclock) [out] YES 5.87/2.25
BCGGV05/delmin-bff.pl 11767090 timeout (wallclock) [out] YES 4.19/1.81
BCGGV05/delmin-ffb.pl 11767101 timeout (wallclock) [out] YES 3.98/1.88
BCGGV05/der-bf.pl 11767134 ERROR 0.22/0.21 YES 8.60/3.12
BCGGV05/der-fb.pl 11767085 ERROR 0.16/0.17 MAYBE 67.95/19.08
BCGGV05/factor.pl 11767121 timeout (wallclock) [out] YES 6.53/2.45
BCGGV05/flat-bf.pl 11767074 timeout (wallclock) [out] YES 5.15/3.24
BCGGV05/flat-fb.pl 11767115 NO 0.18/0.15 MAYBE 7.75/2.91
BCGGV05/flatlength-bbf.pl 11767124 timeout (wallclock) [out] YES 4.21/1.82
BCGGV05/flatlength-bfb.pl 11767070 timeout (wallclock) [out] YES 4.02/1.82
BCGGV05/flatlength-bff.pl 11767112 timeout (wallclock) [out] YES 4.09/1.86
BCGGV05/flatlength-fbf.pl 11767119 NO 0.19/0.16 MAYBE 8.06/2.91
BCGGV05/flatlength-ffb.pl 11767078 NO 0.19/0.16 MAYBE 8.34/3.03
BCGGV05/frontier-bf.pl 11767086 timeout (wallclock) [out] YES 4.75/2.03
BCGGV05/frontier-fb.pl 11767133 NO 0.18/0.16 MAYBE 8.76/3.08
BCGGV05/g.pl 11767091 timeout (wallclock) [out] YES 4.38/2.00
BCGGV05/in-bf.pl 11767135 NO 0.19/0.17 MAYBE 32.97/9.42
BCGGV05/in-fb.pl 11767082 timeout (wallclock) [out] YES 6.14/2.37
BCGGV05/inorder-bf.pl 11767140 timeout (wallclock) [out] YES 4.82/1.96
BCGGV05/inorder-fb.pl 11767096 NO 0.18/0.16 MAYBE 7.18/2.75
BCGGV05/insert-bbf.pl 11767123 timeout (wallclock) [out] YES 4.98/2.05
BCGGV05/insert-bfb.pl 11767071 timeout (wallclock) [out] YES 4.35/1.86
BCGGV05/insert-bff.pl 11767110 NO 0.20/0.20 MAYBE 32.06/9.10
BCGGV05/insert-fbf.pl 11767117 timeout (wallclock) [out] YES 5.67/2.23
BCGGV05/insert-ffb.pl 11767080 timeout (wallclock) [out] YES 5.58/2.25
BCGGV05/length.pl 11767093 timeout (wallclock) [out] YES 3.92/1.77
BCGGV05/length1.pl 11767138 timeout (wallclock) [out] YES 4.01/1.75
BCGGV05/less-bf.pl 11767122 timeout (wallclock) [out] YES 3.90/2.42
BCGGV05/less-fb.pl 11767072 timeout (wallclock) [out] YES 3.89/1.72
BCGGV05/list.pl 11767120 timeout (wallclock) [out] YES 3.86/1.69
BCGGV05/map_color.pl 11767106 timeout (wallclock) [out] YES 3.65/1.77
BCGGV05/maximum-bff.pl 11767129 timeout (wallclock) [out] YES 4.57/1.90
BCGGV05/maximum-fbf.pl 11767098 timeout (wallclock) [out] YES 4.38/1.86
BCGGV05/maximum-ffb.pl 11767139 timeout (wallclock) [out] YES 3.84/1.74
BCGGV05/member-bf.pl 11767109 NO 0.18/0.16 MAYBE 6.07/2.33
BCGGV05/member-fb.pl 11767147 timeout (wallclock) [out] YES 4.03/1.83
BCGGV05/mergesort.pl 11767128 NO 0.20/0.17 MAYBE 34.63/12.25
BCGGV05/minimum-bf.pl 11767076 timeout (wallclock) [out] YES 3.68/1.66
BCGGV05/minimum-fb.pl 11767116 NO 0.25/0.23 MAYBE 5.94/2.29
BCGGV05/mult.pl 11767092 timeout (wallclock) [out] YES 4.31/1.92
BCGGV05/naive_reverse-bf.pl 11767079 timeout (wallclock) [out] YES 4.45/1.92
BCGGV05/naive_reverse-fb.pl 11767118 NO 0.18/0.16 MAYBE 6.80/2.63
BCGGV05/numeral.pl 11767077 timeout (wallclock) [out] YES 3.81/1.72
BCGGV05/ordered.pl 11767131 timeout (wallclock) [out] YES 5.16/2.18
BCGGV05/p.pl 11767084 timeout (wallclock) [out] YES 8.95/3.08
BCGGV05/palindrome.pl 11767069 timeout (wallclock) [out] YES 3.91/1.78
BCGGV05/parse.pl 11767151 timeout (wallclock) [out] YES 6.34/2.47
BCGGV05/permutation-bf.pl 11767153 timeout (wallclock) [out] YES 5.31/2.11
BCGGV05/permutation-fb.pl 11767108 NO 0.19/0.16 MAYBE 8.78/3.27
BCGGV05/permutation1-fb.pl 11767125 timeout (wallclock) [out] YES 4.96/2.16
BCGGV05/prefix-bf.pl 11767142 timeout (wallclock) [out] YES 3.89/1.85
BCGGV05/prefix-fb.pl 11767104 timeout (wallclock) [out] YES 3.95/2.02
BCGGV05/p_nonlin.pl 11767095 timeout (wallclock) [out] YES 8.90/3.18
BCGGV05/quicksort-bf.pl 11767136 timeout (wallclock) [out] YES 8.64/3.00
BCGGV05/quicksort-fb.pl 11767083 NO 0.21/0.17 MAYBE 59.46/16.13
BCGGV05/reverse-bf.pl 11767114 timeout (wallclock) [out] YES 4.24/1.81
BCGGV05/reverse-fb.pl 11767073 NO 0.18/0.16 MAYBE 7.00/2.55
BCGGV05/search_tree.pl 11767075 timeout (wallclock) [out] YES 5.21/2.16
BCGGV05/select-bff.pl 11767132 NO 0.18/0.16 MAYBE 11.68/2.30
BCGGV05/select-fbf.pl 11767094 timeout (wallclock) [out] YES 4.02/1.80
BCGGV05/select-ffb.pl 11767146 timeout (wallclock) [out] YES 3.91/1.76
BCGGV05/slowsort-bb.pl 11767100 timeout (wallclock) [out] YES 6.48/2.53
BCGGV05/slowsort-bf.pl 11767087 timeout (wallclock) [out] YES 7.04/2.60
BCGGV05/slowsort-fb.pl 11767137 NO 0.20/0.17 MAYBE 11.29/3.63
BCGGV05/sublist-bf.pl 11767105 NO 0.27/0.24 MAYBE 6.45/2.65
BCGGV05/sublist-fb.pl 11767152 timeout (wallclock) [out] YES 4.03/1.85
BCGGV05/subset-bf.pl 11767143 NO 0.18/0.16 MAYBE 8.05/3.00
BCGGV05/subset-fb.pl 11767099 timeout (wallclock) [out] MAYBE 8.28/2.88
BCGGV05/suffix-bf.pl 11767126 NO 0.18/0.16 MAYBE 6.06/2.35
BCGGV05/suffix-fb.pl 11767088 timeout (wallclock) [out] YES 3.82/1.73
BCGGV05/sum-fbf.pl 11767141 timeout (wallclock) [out] YES 3.79/1.69
BCGGV05/sum-ffb.pl 11767103 timeout (wallclock) [out] YES 3.74/3.12
BCGGV05/t.pl 11767097 timeout (wallclock) [out] YES 5.43/2.17
BCGGV05/transpose-bb.pl 11767145 timeout (wallclock) [out] YES 4.58/1.93
BCGGV05/transpose-bf.pl 11767127 timeout (wallclock) [out] YES 4.48/1.96
BCGGV05/transpose-fb.pl 11767089 timeout (wallclock) [out] YES 6.62/2.67
BCGGV05/tree.pl 11767150 timeout (wallclock) [out] YES 4.20/1.87
BCGGV05/tree_member-bf.pl 11767102 NO 0.18/0.17 MAYBE 6.38/2.57
BCGGV05/tree_member-fb.pl 11767144 timeout (wallclock) [out] YES 3.98/1.90
talp_mixed/ack.pl 11767172 timeout (wallclock) [out] YES 4.01/1.77
talp_mixed/bad_sublist.pl 11767162 NO 0.19/0.16 MAYBE 6.24/2.41
talp_mixed/fib_t.pl 11767169 timeout (wallclock) [out] YES 4.65/1.90
talp_mixed/flat-oi.pl 11767159 timeout (wallclock) [out] MAYBE 7.46/2.76
talp_mixed/flat.pl 11767163 timeout (wallclock) [out] YES 5.25/2.14
talp_mixed/hanoiapp.suc.pl 11767164 timeout (wallclock) [out] YES 6.85/2.60
talp_mixed/mergesort.pl 11767157 timeout (wallclock) [out] YES 16.78/5.12
talp_mixed/p.pl 11767156 timeout (wallclock) [out] YES 4.04/1.74
talp_mixed/perm.pl 11767166 timeout (wallclock) [out] YES 5.29/2.12
talp_mixed/permute1.pl 11767167 timeout (wallclock) [out] YES 5.76/2.26
talp_mixed/qicksort.pl 11767155 timeout (wallclock) [out] YES 8.37/2.91
talp_mixed/queens.pl 11767161 timeout (wallclock) [out] YES 7.42/2.62
talp_mixed/reverse.pl 11767173 timeout (wallclock) [out] YES 4.15/1.87
talp_mixed/rotate.pl 11767158 timeout (wallclock) [out] YES 3.99/1.71
talp_mixed/sameleaves.pl 11767160 timeout (wallclock) [out] YES 5.41/2.30
talp_mixed/sicstus1.pl 11767171 timeout (wallclock) [out] YES 4.11/1.79
talp_mixed/sublist.pl 11767165 timeout (wallclock) [out] YES 4.17/2.30
talp_mixed/sublist1.pl 11767170 timeout (wallclock) [out] YES 4.08/1.74
talp_mixed/zebra.pl 11767168 timeout (wallclock) [out] YES 5.37/2.09
talp_talp/append.pl 11767036 timeout (wallclock) [out] YES 3.85/1.68
talp_talp/binary.pl 11767030 timeout (wallclock) [out] YES 6.10/2.35
talp_talp/binary2.pl 11767032 timeout (wallclock) [out] YES 6.60/2.42
talp_talp/binary3.pl 11767031 timeout (wallclock) [out] YES 7.08/2.72
talp_talp/binary4.pl 11767038 NO 0.21/0.17 MAYBE 14.83/4.78
talp_talp/div.pl 11767051 timeout (wallclock) [out] YES 6.08/2.50
talp_talp/evaluate.pl 11767043 ERROR 0.16/0.16 YES 6.52/2.60
talp_talp/example1.pl 11767046 timeout (wallclock) [out] YES 3.40/1.72
talp_talp/example4-2.pl 11767037 NO 0.17/0.15 MAYBE 6.55/2.45
talp_talp/example4.pl 11767050 timeout (wallclock) [out] YES 3.83/1.84
talp_talp/flat.pl 11767054 timeout (wallclock) [out] YES 4.55/1.92
talp_talp/gcd.pl 11767049 timeout (wallclock) [out] YES 7.62/2.75
talp_talp/nat.pl 11767040 timeout (wallclock) [out] YES 4.91/2.07
talp_talp/normal.pl 11767045 timeout (wallclock) [out] YES 5.01/2.60
talp_talp/palindrome.pl 11767042 timeout (wallclock) [out] YES 4.16/1.90
talp_talp/perm.pl 11767033 timeout (wallclock) [out] YES 5.10/2.14
talp_talp/permute.pl 11767041 timeout (wallclock) [out] YES 4.94/1.99
talp_talp/qsort.pl 11767053 timeout (wallclock) [out] YES 9.21/3.16
talp_talp/reminder-ioi.pl 11767044 timeout (wallclock) [out] YES 8.71/3.06
talp_talp/reminder.pl 11767048 timeout (wallclock) [out] YES 6.56/2.47
talp_talp/simple.pl 11767035 timeout (wallclock) [out] YES 3.65/1.71
talp_talp/slowsort-oi.pl 11767047 NO 0.29/0.24 MAYBE 9.71/3.32
talp_talp/slowsort.pl 11767052 timeout (wallclock) [out] YES 6.29/2.40
talp_talp/transitive_closure.pl 11767034 timeout (wallclock) [out] YES 3.91/1.88
talp_talp/vangelder.pl 11767039 timeout (wallclock) [out] YES 11.22/3.66
lpexamples/ackermann-ioi.pl 11767066 NO 0.18/0.16 MAYBE 14.27/4.43
lpexamples/ackermann.pl 11767056 timeout (wallclock) [out] YES 4.57/1.89
lpexamples/average-ioi.pl 11767060 timeout (wallclock) [out] YES 4.08/1.80
lpexamples/average.pl 11767064 timeout (wallclock) [out] YES 4.55/1.86
lpexamples/lategen.pl 11767055 timeout (wallclock) [out] YES 3.51/1.66
lpexamples/log2a-oi.pl 11767057 NO 0.19/0.17 MAYBE 7.93/2.88
lpexamples/log2a.pl 11767059 timeout (wallclock) [out] YES 5.74/2.25
lpexamples/log2b-oi.pl 11767058 NO 0.20/0.18 MAYBE 65.39/19.58
lpexamples/log2b.pl 11767062 timeout (wallclock) [out] YES 5.16/2.00
lpexamples/mapcolor.pl 11767065 timeout (wallclock) [out] MAYBE 68.40/9.48
lpexamples/mergesort-oi.pl 11767068 NO 0.19/0.17 MAYBE 18.84/6.36
lpexamples/mergesort.pl 11767061 timeout (wallclock) [out] YES 12.14/3.86
lpexamples/shapes.pl 11767067 timeout (wallclock) [out] YES 9.71/3.26
lpexamples/ts08.pl 11767063 timeout (wallclock) [out] YES 4.02/1.86
42 238