TermComp 2020: Logic Programming 41498 Job info CSV Showing results.

benchmark NTI default AProVE standard
talp_apt/ordered.pl 11767296 is timeout (wallclock) YES 5.23/2.59
talp_apt/map1.pl 11767297 is timeout (wallclock) YES 3.95/1.76
talp_apt/append.pl 11767298 is timeout (wallclock) YES 3.80/1.69
talp_apt/map.pl 11767299 is timeout (wallclock) YES 4.27/1.99
talp_apt/list.pl 11767300 is timeout (wallclock) YES 4.14/1.94
talp_apt/quicksort-oi.pl 11767301 is NO 0.21/0.20 timeout (wallclock)
talp_apt/sum.pl 11767302 is timeout (wallclock) YES 3.93/1.78
talp_apt/lte.pl 11767303 is timeout (wallclock) YES 3.66/1.75
talp_apt/SS_map_t.pl 11767304 u timeout (wallclock) MAYBE 32.26/12.11
talp_apt/SS_map.pl 11767305 u timeout (wallclock) MAYBE 34.85/12.88
talp_apt/permutation.pl 11767306 is timeout (wallclock) YES 5.60/2.29
talp_apt/member.pl 11767307 is timeout (wallclock) YES 3.89/1.72
talp_apt/fold.pl 11767308 is timeout (wallclock) YES 3.51/1.63
talp_apt/quicksort.pl 11767309 is timeout (wallclock) YES 9.69/3.38
talp_apt/subset1.pl 11767310 u timeout (wallclock) MAYBE 8.49/2.95
talp_apt/mergesort.pl 11767311 is timeout (wallclock) YES 14.57/4.69
talp_apt/select.pl 11767312 is timeout (wallclock) YES 4.15/1.99
talp_apt/mergesort_ap.pl 11767313 is timeout (wallclock) YES 22.05/6.37
talp_apt/SS_map_out.pl 11767314 u timeout (wallclock) MAYBE 34.93/9.75
talp_apt/overlap.pl 11767315 is timeout (wallclock) YES 4.44/1.95
talp_apt/select1.pl 11767316 is timeout (wallclock) YES 4.13/1.85
talp_apt/naive_rev-oi.pl 11767317 is NO 0.18/0.19 MAYBE 6.90/2.61
talp_apt/naive_rev.pl 11767318 is timeout (wallclock) YES 4.00/1.87
talp_apt/subset.pl 11767319 is timeout (wallclock) YES 4.51/1.90
talp_dds/reverse-iio.pl 11767320 is timeout (wallclock) YES 4.18/1.77
talp_dds/dis_con-bis.pl 11767321 is timeout (wallclock) YES 4.49/1.84
talp_dds/permute.pl 11767322 is timeout (wallclock) YES 4.91/2.12
talp_dds/dis_con.pl 11767323 is timeout (wallclock) YES 4.19/1.76
talp_dds/sum-ioi.pl 11767324 is timeout (wallclock) YES 4.35/1.99
talp_dds/append.pl 11767325 is timeout (wallclock) YES 3.88/1.84
talp_dds/sum.pl 11767326 is timeout (wallclock) YES 3.92/1.81
talp_dds/reverse.pl 11767327 is timeout (wallclock) YES 3.79/1.83
talp_dds/merge.pl 11767328 is timeout (wallclock) YES 6.74/2.46
talp_dds/duplicate.pl 11767329 is timeout (wallclock) YES 3.80/1.78
talp_plumer/pl7.2.9.pl 11767207 is timeout (wallclock) YES 4.31/1.98
talp_plumer/pl3.1.1.pl 11767208 is NO 0.18/0.16 MAYBE 7.71/2.76
talp_plumer/pl8.4.1.pl 11767209 is timeout (wallclock) YES 3.83/1.75
talp_plumer/pl8.3.1a.pl 11767210 is timeout (wallclock) YES 8.65/3.04
talp_plumer/pl2.3.1.pl 11767211 is timeout (wallclock) YES 3.91/1.81
talp_plumer/pl8.2.1a.pl 11767212 is timeout (wallclock) YES 10.71/3.50
talp_plumer/pl8.4.2.pl 11767213 is timeout (wallclock) YES 5.51/2.23
talp_plumer/pl3.5.6.pl 11767214 is NO 0.19/0.21 MAYBE 6.41/2.50
talp_plumer/pl4.5.3b.pl 11767215 is NO 0.18/0.20 MAYBE 8.73/3.21
talp_plumer/pl1.2.pl 11767216 is timeout (wallclock) YES 5.58/2.45
talp_plumer/pl4.5.3c.pl 11767217 is NO 0.18/0.22 MAYBE 7.44/6.67
talp_plumer/pl4.5.3a.pl 11767218 is NO 0.18/0.16 MAYBE 5.98/2.33
talp_plumer/pl3.5.6a.pl 11767219 is timeout (wallclock) YES 3.45/1.59
talp_plumer/pl1.1.pl 11767220 is NO 0.18/0.16 MAYBE 5.72/2.24
talp_plumer/pl1.2_t.pl 11767221 is timeout (wallclock) YES 6.04/2.30
talp_plumer/pl4.5.2.pl 11767222 is NO 0.25/0.28 MAYBE 32.86/9.24
talp_plumer/pl6.1.1.pl 11767223 is timeout (wallclock) YES 8.00/2.92
talp_plumer/pl8.3.1.pl 11767224 u timeout (wallclock) timeout (wallclock)
talp_plumer/mergesort_t.pl 11767225 is timeout (wallclock) YES 27.79/10.61
talp_plumer/pl8.2.1.pl 11767226 is timeout (wallclock) YES 14.90/4.65
talp_plumer/pl7.6.2c.pl 11767227 is timeout (wallclock) YES 7.34/2.83
talp_plumer/pl7.6.2b.pl 11767228 u timeout (wallclock) MAYBE 162.65/42.65
talp_plumer/pl4.0.1.pl 11767229 is timeout (wallclock) YES 4.08/1.90
talp_plumer/pl5.2.2.pl 11767230 u timeout (wallclock) timeout (wallclock)
talp_plumer/pl4.0.1-oooi.pl 11767231 is NO 0.19/0.23 MAYBE 5.99/2.34
talp_plumer/pl7.6.2a.pl 11767232 u timeout (wallclock) MAYBE 18.59/5.54
talp_plumer/pl4.4.3.pl 11767233 is timeout (wallclock) YES 5.90/2.28
talp_plumer/pl4.4.6a.pl 11767234 is timeout (wallclock) YES 4.48/1.88
SGST06/intlist.pl 11767235 is timeout (wallclock) YES 4.10/1.77
SGST06/plus.pl 11767236 is timeout (wallclock) YES 3.99/1.81
SGST06/cnfequiv.pl 11767237 is timeout (wallclock) YES 82.91/22.86
SGST06/weight.pl 11767238 is timeout (wallclock) YES 6.52/2.42
SGST06/avg-bfb.pl 11767239 is timeout (wallclock) YES 4.28/1.86
SGST06/ag01.pl 11767240 is timeout (wallclock) YES 4.23/3.30
SGST06/btree.pl 11767241 is timeout (wallclock) YES 4.36/1.85
SGST06/pplus.pl 11767242 is timeout (wallclock) YES 3.85/1.72
SGST06/mapcolor.pl 11767243 u timeout (wallclock) MAYBE 32.82/9.09
SGST06/quot.pl 11767244 is timeout (wallclock) YES 4.23/1.80
SGST06/shuffle.pl 11767245 is timeout (wallclock) YES 5.29/2.11
SGST06/confdel.pl 11767246 is timeout (wallclock) YES 5.64/2.37
SGST06/baby91.pl 11767247 u timeout (wallclock) timeout (wallclock)
SGST06/btapplast.pl 11767248 is timeout (wallclock) YES 5.35/2.11
SGST06/avg.pl 11767249 is timeout (wallclock) YES 5.00/2.11
SGST06/blist.pl 11767250 is timeout (wallclock) YES 4.22/1.93
SGST06/factor.pl 11767251 is timeout (wallclock) YES 6.38/2.41
SGST06/pplus2.pl 11767252 is timeout (wallclock) YES 4.66/2.02
SGST06/p.pl 11767253 is timeout (wallclock) YES 9.38/3.27
SGST06/csnake.pl 11767254 u timeout (wallclock) timeout (wallclock)
SGST06/btappend.pl 11767255 is timeout (wallclock) YES 4.94/2.04
SGST06/incomplete_variant.pl 11767256 is timeout (wallclock) YES 3.45/1.65
SGST06/countstack.pl 11767257 is timeout (wallclock) YES 4.44/1.89
SGST06/incomplete.pl 11767258 is timeout (wallclock) YES 3.83/1.79
SGST06/parse.pl 11767259 is timeout (wallclock) YES 6.05/2.53
SGST06/giesl97.pl 11767260 is timeout (wallclock) YES 4.77/2.10
SGST06/d.pl 11767261 is MAYBE 0.16/0.19 YES 11.05/3.66
SGST06/transpose2.pl 11767262 is NO 0.20/0.24 MAYBE 6.92/2.74
SGST06/ackermann.pl 11767263 is timeout (wallclock) YES 4.02/1.94
SGST06/psk09-maxsort-bool-nocut.pl 11767264 is timeout (wallclock) YES 101.28/26.72
SGST06/psk09-append_variant.pl 11767265 u timeout (wallclock) MAYBE 6.04/2.44
SGST06/paper1.pl 11767266 is timeout (wallclock) YES 4.01/1.85
SGST06/applast.pl 11767267 is timeout (wallclock) YES 4.56/1.91
SGST06/flatten.pl 11767268 is timeout (wallclock) YES 4.63/1.92
SGST06/bappend.pl 11767269 is timeout (wallclock) YES 4.46/1.99
SGST06/times.pl 11767270 is timeout (wallclock) YES 4.07/1.82
SGST06/palindrome.pl 11767271 is timeout (wallclock) YES 5.64/2.19
SGST06/samefringe.pl 11767272 is timeout (wallclock) YES 5.39/2.19
SGST06/paper2.pl 11767273 is timeout (wallclock) YES 4.50/2.01
SGST06/gopher.pl 11767274 is timeout (wallclock) YES 4.35/1.96
SGST06/at.pl 11767275 is timeout (wallclock) YES 3.41/1.69
SGST06/rev.pl 11767276 is timeout (wallclock) YES 8.01/2.90
SGST06/perm.pl 11767277 is timeout (wallclock) YES 4.81/2.06
SGST06/preorder.pl 11767278 is MAYBE 0.16/0.15 YES 3.95/1.74
SGST06/lessleaves.pl 11767279 is timeout (wallclock) YES 5.68/2.95
SGST06/hbal_tree.pl 11767280 is timeout (wallclock) YES 5.69/2.17
SGST06/log.pl 11767281 is timeout (wallclock) YES 4.89/2.13
SGST06/ifdiv.pl 11767282 is NO 0.22/0.23 MAYBE 129.58/38.44
SGST06/p_nonlin.pl 11767283 is timeout (wallclock) YES 9.00/3.17
SGST06/flatten_phd.pl 11767284 is timeout (wallclock) YES 5.84/2.33
SGST06/convert.pl 11767285 is timeout (wallclock) YES 5.30/2.24
SGST06/times2.pl 11767286 is timeout (wallclock) YES 6.36/2.47
SGST06/toyama.pl 11767287 is timeout (wallclock) YES 3.44/1.59
SGST06/cconfdel.pl 11767288 is timeout (wallclock) YES 5.77/2.29
SGST06/doublehalfpred.pl 11767289 u timeout (wallclock) MAYBE 212.54/54.28
SGST06/incomplete2.pl 11767290 is timeout (wallclock) YES 3.74/1.76
SGST06/prime.pl 11767291 is timeout (wallclock) YES 10.20/3.37
SGST06/transpose-fb.pl 11767292 is timeout (wallclock) YES 6.59/2.42
SGST06/evenodd.pl 11767293 is timeout (wallclock) YES 3.91/1.71
SGST06/ifminus.pl 11767294 is timeout (wallclock) YES 5.65/2.21
SGST06/snake.pl 11767295 u MAYBE 0.15/0.15 timeout (wallclock)
terminweb_new/type-based_append.pl 11767174 is timeout (wallclock) YES 4.09/1.87
terminweb_new/som.pl 11767175 is MAYBE 0.16/0.21 YES 3.99/1.77
terminweb_new/ways.pl 11767176 is timeout (wallclock) YES 19.93/9.80
terminweb_new/preorder_dl.pl 11767177 is MAYBE 0.16/0.15 YES 4.18/1.87
terminweb_new/basic_append.pl 11767178 is timeout (wallclock) YES 3.71/1.68
terminweb_new/NJ1.pl 11767179 is timeout (wallclock) YES 4.50/2.94
terminweb_new/backwards_append.pl 11767180 is timeout (wallclock) YES 3.94/2.76
terminweb_new/NJ2.pl 11767181 is timeout (wallclock) YES 4.42/1.84
terminweb_new/append-ooi.pl 11767182 is timeout (wallclock) YES 3.79/3.14
terminweb_new/NJ3.pl 11767183 is timeout (wallclock) YES 4.31/1.90
terminweb_new/NJ6.pl 11767184 is timeout (wallclock) YES 4.07/1.82
terminweb_new/der.pl 11767185 is MAYBE 0.17/0.16 YES 8.83/3.02
terminweb_new/transpose.pl 11767186 is timeout (wallclock) YES 4.60/2.06
terminweb_new/NJ4.pl 11767187 is timeout (wallclock) YES 3.86/1.80
terminweb_new/NJ5.pl 11767188 is timeout (wallclock) YES 4.12/1.77
terminweb_old/rotate.pl 11767189 is timeout (wallclock) YES 4.55/1.91
terminweb_old/subset.pl 11767190 is timeout (wallclock) YES 4.55/2.09
terminweb_old/append3.pl 11767191 is timeout (wallclock) YES 3.89/1.74
terminweb_old/inorder.pl 11767192 is timeout (wallclock) YES 4.26/1.78
terminweb_old/ackerman.pl 11767193 is timeout (wallclock) YES 4.10/2.07
terminweb_old/sublist0.pl 11767194 is timeout (wallclock) YES 4.78/1.98
terminweb_old/sublist.pl 11767195 is timeout (wallclock) YES 3.96/1.72
terminweb_old/interleave.pl 11767196 is timeout (wallclock) YES 4.16/1.81
terminweb_old/reach.pl 11767197 is timeout (wallclock) YES 8.39/2.89
terminweb_old/sublist_bad.pl 11767198 is NO 0.21/0.19 MAYBE 7.10/2.72
terminweb_old/balance_tree.pl 11767199 is MAYBE 0.16/0.17 YES 4.50/1.93
terminweb_old/subset-no.pl 11767200 u timeout (wallclock) MAYBE 8.35/2.97
terminweb_old/untupled_bal_tree.pl 11767201 is MAYBE 0.16/0.20 YES 4.81/2.18
terminweb_old/append3-bis.pl 11767202 is timeout (wallclock) YES 3.81/1.79
terminweb_old/permutation2.pl 11767203 is timeout (wallclock) YES 4.74/1.93
terminweb_old/sameleaves.pl 11767204 is timeout (wallclock) YES 5.85/2.37
terminweb_old/permutation1.pl 11767205 is timeout (wallclock) YES 5.46/2.25
terminweb_old/balance_tree2.pl 11767206 u MAYBE 0.17/0.20 MAYBE 8.28/2.97
BCGGV05/palindrome.pl 11767069 is timeout (wallclock) YES 3.99/1.82
BCGGV05/flatlength-bfb.pl 11767070 is timeout (wallclock) YES 4.09/1.85
BCGGV05/insert-bfb.pl 11767071 is timeout (wallclock) YES 4.60/1.89
BCGGV05/less-fb.pl 11767072 is timeout (wallclock) YES 3.87/1.72
BCGGV05/reverse-fb.pl 11767073 is NO 0.18/0.16 MAYBE 6.89/2.53
BCGGV05/flat-bf.pl 11767074 is timeout (wallclock) YES 4.78/2.09
BCGGV05/search_tree.pl 11767075 is timeout (wallclock) YES 5.28/3.64
BCGGV05/minimum-bf.pl 11767076 is timeout (wallclock) YES 3.92/1.78
BCGGV05/numeral.pl 11767077 is timeout (wallclock) YES 3.97/1.75
BCGGV05/flatlength-ffb.pl 11767078 is NO 0.18/0.17 MAYBE 8.13/3.00
BCGGV05/naive_reverse-bf.pl 11767079 is timeout (wallclock) YES 3.92/3.18
BCGGV05/insert-ffb.pl 11767080 is timeout (wallclock) YES 5.80/2.32
BCGGV05/delete-bff.pl 11767081 is NO 0.21/0.22 MAYBE 35.77/9.96
BCGGV05/in-fb.pl 11767082 is timeout (wallclock) YES 5.54/2.14
BCGGV05/quicksort-fb.pl 11767083 is NO 0.21/0.21 MAYBE 57.98/19.66
BCGGV05/p.pl 11767084 is timeout (wallclock) YES 7.70/2.71
BCGGV05/der-fb.pl 11767085 u MAYBE 0.16/0.17 MAYBE 52.23/14.01
BCGGV05/frontier-bf.pl 11767086 is timeout (wallclock) YES 4.60/2.00
BCGGV05/slowsort-bf.pl 11767087 is timeout (wallclock) YES 6.85/2.61
BCGGV05/suffix-fb.pl 11767088 is timeout (wallclock) YES 3.94/6.72
BCGGV05/transpose-fb.pl 11767089 is timeout (wallclock) YES 6.65/2.58
BCGGV05/delmin-bff.pl 11767090 is timeout (wallclock) YES 4.14/1.98
BCGGV05/g.pl 11767091 is timeout (wallclock) YES 4.47/1.95
BCGGV05/mult.pl 11767092 is timeout (wallclock) YES 4.77/2.19
BCGGV05/length.pl 11767093 is timeout (wallclock) YES 3.81/1.75
BCGGV05/select-fbf.pl 11767094 is timeout (wallclock) YES 4.02/1.88
BCGGV05/p_nonlin.pl 11767095 is timeout (wallclock) YES 9.01/3.17
BCGGV05/inorder-fb.pl 11767096 is NO 0.18/0.17 MAYBE 8.42/3.02
BCGGV05/t.pl 11767097 is timeout (wallclock) YES 5.31/2.19
BCGGV05/maximum-fbf.pl 11767098 is timeout (wallclock) YES 4.14/1.88
BCGGV05/subset-fb.pl 11767099 u timeout (wallclock) MAYBE 8.71/3.08
BCGGV05/slowsort-bb.pl 11767100 is timeout (wallclock) YES 6.00/2.50
BCGGV05/delmin-ffb.pl 11767101 is timeout (wallclock) YES 4.01/1.89
BCGGV05/tree_member-bf.pl 11767102 is NO 0.18/0.24 MAYBE 6.02/2.47
BCGGV05/sum-ffb.pl 11767103 is timeout (wallclock) YES 4.00/1.80
BCGGV05/prefix-fb.pl 11767104 is timeout (wallclock) YES 3.92/1.81
BCGGV05/sublist-bf.pl 11767105 is NO 0.19/0.23 MAYBE 6.47/2.57
BCGGV05/map_color.pl 11767106 is timeout (wallclock) YES 3.73/1.80
BCGGV05/delete-bfb.pl 11767107 is timeout (wallclock) YES 4.51/1.97
BCGGV05/permutation-fb.pl 11767108 is NO 0.19/0.25 MAYBE 8.81/4.40
BCGGV05/member-bf.pl 11767109 is NO 0.18/0.22 MAYBE 6.68/2.55
BCGGV05/insert-bff.pl 11767110 is NO 0.20/0.22 MAYBE 35.70/9.88
BCGGV05/delete-ffb.pl 11767111 is timeout (wallclock) YES 5.68/3.84
BCGGV05/flatlength-bff.pl 11767112 is timeout (wallclock) YES 3.96/1.88
BCGGV05/append-ffb.pl 11767113 is timeout (wallclock) YES 3.93/1.84
BCGGV05/reverse-bf.pl 11767114 is timeout (wallclock) YES 3.96/1.80
BCGGV05/flat-fb.pl 11767115 is NO 0.18/0.21 MAYBE 7.87/2.92
BCGGV05/minimum-fb.pl 11767116 is NO 0.18/0.22 MAYBE 6.18/2.50
BCGGV05/insert-fbf.pl 11767117 is timeout (wallclock) YES 5.50/2.19
BCGGV05/naive_reverse-fb.pl 11767118 is NO 0.18/0.20 MAYBE 6.50/2.51
BCGGV05/flatlength-fbf.pl 11767119 is NO 0.19/0.19 MAYBE 8.51/3.06
BCGGV05/list.pl 11767120 is timeout (wallclock) YES 3.89/1.70
BCGGV05/factor.pl 11767121 is timeout (wallclock) YES 6.44/2.53
BCGGV05/less-bf.pl 11767122 is timeout (wallclock) YES 3.91/1.70
BCGGV05/insert-bbf.pl 11767123 is timeout (wallclock) YES 4.49/1.88
BCGGV05/flatlength-bbf.pl 11767124 is timeout (wallclock) YES 4.16/1.85
BCGGV05/permutation1-fb.pl 11767125 is timeout (wallclock) YES 4.95/2.14
BCGGV05/suffix-bf.pl 11767126 is NO 0.18/0.19 MAYBE 6.35/2.40
BCGGV05/transpose-bf.pl 11767127 is timeout (wallclock) YES 4.83/1.98
BCGGV05/mergesort.pl 11767128 is NO 0.21/0.21 MAYBE 18.98/5.80
BCGGV05/maximum-bff.pl 11767129 is timeout (wallclock) YES 4.07/1.87
BCGGV05/ackerman.pl 11767130 is timeout (wallclock) YES 4.34/1.88
BCGGV05/ordered.pl 11767131 is timeout (wallclock) YES 5.18/2.15
BCGGV05/select-bff.pl 11767132 is NO 0.18/0.21 MAYBE 5.95/2.39
BCGGV05/frontier-fb.pl 11767133 is NO 0.25/0.27 MAYBE 6.76/2.56
BCGGV05/der-bf.pl 11767134 is MAYBE 0.16/0.21 YES 8.91/3.20
BCGGV05/in-bf.pl 11767135 is NO 0.19/0.21 MAYBE 31.52/8.91
BCGGV05/quicksort-bf.pl 11767136 is timeout (wallclock) YES 8.21/3.01
BCGGV05/slowsort-fb.pl 11767137 is NO 0.20/0.23 MAYBE 10.68/3.62
BCGGV05/length1.pl 11767138 is timeout (wallclock) YES 3.84/1.93
BCGGV05/maximum-ffb.pl 11767139 is timeout (wallclock) YES 4.09/1.89
BCGGV05/inorder-bf.pl 11767140 is timeout (wallclock) YES 4.81/2.04
BCGGV05/sum-fbf.pl 11767141 is timeout (wallclock) YES 4.02/1.86
BCGGV05/prefix-bf.pl 11767142 is timeout (wallclock) YES 3.96/1.87
BCGGV05/subset-bf.pl 11767143 is NO 0.19/0.21 MAYBE 7.46/2.75
BCGGV05/tree_member-fb.pl 11767144 is timeout (wallclock) YES 4.02/1.87
BCGGV05/transpose-bb.pl 11767145 is timeout (wallclock) YES 4.54/6.87
BCGGV05/select-ffb.pl 11767146 is timeout (wallclock) YES 3.80/3.06
BCGGV05/member-fb.pl 11767147 is timeout (wallclock) YES 3.90/1.92
BCGGV05/append-bff.pl 11767148 is timeout (wallclock) YES 3.89/1.82
BCGGV05/delete-fbf.pl 11767149 is timeout (wallclock) YES 6.52/2.46
BCGGV05/tree.pl 11767150 is timeout (wallclock) YES 3.85/1.79
BCGGV05/parse.pl 11767151 is timeout (wallclock) YES 6.31/2.51
BCGGV05/sublist-fb.pl 11767152 is timeout (wallclock) YES 3.95/1.84
BCGGV05/permutation-bf.pl 11767153 is timeout (wallclock) YES 5.20/2.18
BCGGV05/delete-bbf.pl 11767154 is timeout (wallclock) YES 4.75/1.94
talp_mixed/qicksort.pl 11767155 is timeout (wallclock) YES 8.52/2.91
talp_mixed/p.pl 11767156 is timeout (wallclock) YES 4.02/1.88
talp_mixed/mergesort.pl 11767157 is timeout (wallclock) YES 15.08/4.72
talp_mixed/rotate.pl 11767158 is timeout (wallclock) YES 4.05/1.85
talp_mixed/flat-oi.pl 11767159 u timeout (wallclock) MAYBE 7.19/2.62
talp_mixed/sameleaves.pl 11767160 is timeout (wallclock) YES 5.33/2.11
talp_mixed/queens.pl 11767161 is timeout (wallclock) YES 7.63/2.77
talp_mixed/bad_sublist.pl 11767162 is NO 0.19/0.22 MAYBE 6.25/2.47
talp_mixed/flat.pl 11767163 is timeout (wallclock) YES 5.58/2.34
talp_mixed/hanoiapp.suc.pl 11767164 is timeout (wallclock) YES 7.45/2.80
talp_mixed/sublist.pl 11767165 is timeout (wallclock) YES 4.04/2.13
talp_mixed/perm.pl 11767166 is timeout (wallclock) YES 5.01/2.07
talp_mixed/permute1.pl 11767167 is timeout (wallclock) YES 5.47/2.28
talp_mixed/zebra.pl 11767168 is timeout (wallclock) YES 5.59/2.38
talp_mixed/fib_t.pl 11767169 is timeout (wallclock) YES 4.61/2.70
talp_mixed/sublist1.pl 11767170 is timeout (wallclock) YES 4.06/1.85
talp_mixed/sicstus1.pl 11767171 is timeout (wallclock) YES 4.15/1.91
talp_mixed/ack.pl 11767172 is timeout (wallclock) YES 4.50/2.85
talp_mixed/reverse.pl 11767173 is timeout (wallclock) YES 4.00/1.85
talp_talp/binary.pl 11767030 is timeout (wallclock) YES 6.63/2.53
talp_talp/binary3.pl 11767031 is timeout (wallclock) YES 6.78/2.53
talp_talp/binary2.pl 11767032 is timeout (wallclock) YES 7.06/2.55
talp_talp/perm.pl 11767033 is timeout (wallclock) YES 5.06/2.18
talp_talp/transitive_closure.pl 11767034 is timeout (wallclock) YES 3.80/1.85
talp_talp/simple.pl 11767035 is timeout (wallclock) YES 3.44/1.70
talp_talp/append.pl 11767036 is timeout (wallclock) YES 3.83/1.73
talp_talp/example4-2.pl 11767037 is NO 0.17/0.16 MAYBE 6.32/2.50
talp_talp/binary4.pl 11767038 is NO 0.22/0.20 MAYBE 14.18/4.52
talp_talp/vangelder.pl 11767039 is timeout (wallclock) YES 12.77/4.05
talp_talp/nat.pl 11767040 is timeout (wallclock) YES 4.72/2.09
talp_talp/permute.pl 11767041 is timeout (wallclock) YES 4.96/2.04
talp_talp/palindrome.pl 11767042 is timeout (wallclock) YES 4.19/1.97
talp_talp/evaluate.pl 11767043 is MAYBE 0.16/0.20 YES 5.73/2.36
talp_talp/reminder-ioi.pl 11767044 is timeout (wallclock) YES 7.40/2.77
talp_talp/normal.pl 11767045 is timeout (wallclock) YES 5.11/2.19
talp_talp/example1.pl 11767046 is timeout (wallclock) YES 3.56/2.26
talp_talp/slowsort-oi.pl 11767047 is NO 0.20/0.17 MAYBE 10.35/9.66
talp_talp/reminder.pl 11767048 is timeout (wallclock) YES 6.28/2.41
talp_talp/gcd.pl 11767049 is timeout (wallclock) YES 7.48/2.76
talp_talp/example4.pl 11767050 is timeout (wallclock) YES 4.12/1.80
talp_talp/div.pl 11767051 is timeout (wallclock) YES 6.09/2.35
talp_talp/slowsort.pl 11767052 is timeout (wallclock) YES 6.45/2.48
talp_talp/qsort.pl 11767053 is timeout (wallclock) YES 17.62/11.82
talp_talp/flat.pl 11767054 is timeout (wallclock) YES 4.66/2.08
lpexamples/lategen.pl 11767055 is timeout (wallclock) YES 3.70/1.78
lpexamples/ackermann.pl 11767056 is timeout (wallclock) YES 4.29/1.93
lpexamples/log2a-oi.pl 11767057 is NO 0.19/0.22 MAYBE 8.53/3.15
lpexamples/log2b-oi.pl 11767058 is NO 0.21/0.23 MAYBE 76.36/22.62
lpexamples/log2a.pl 11767059 is timeout (wallclock) YES 5.56/2.25
lpexamples/average-ioi.pl 11767060 is timeout (wallclock) YES 4.00/1.84
lpexamples/mergesort.pl 11767061 is timeout (wallclock) YES 11.28/6.50
lpexamples/log2b.pl 11767062 is timeout (wallclock) YES 5.42/2.23
lpexamples/ts08.pl 11767063 is timeout (wallclock) YES 3.98/1.85
lpexamples/average.pl 11767064 is timeout (wallclock) YES 4.72/2.01
lpexamples/mapcolor.pl 11767065 u timeout (wallclock) MAYBE 33.24/9.23
lpexamples/ackermann-ioi.pl 11767066 is NO 0.18/0.17 MAYBE 14.34/4.47
lpexamples/shapes.pl 11767067 is timeout (wallclock) YES 10.28/3.46
lpexamples/mergesort-oi.pl 11767068 is NO 0.19/0.23 MAYBE 19.42/5.92
42 238