TermComp 2020: Derivational_Complexity: TRS Innermost Certified 41528 Job info CSV Showing results.

tct-trs_v3.2.0_2020-06-28
benchmark UPLOWTIME
AG01/#3.1.xml 11758490 u +0 1 +0 14.57/6.33
AG01/#3.10.xml 11758474 u +0 1 +0 926.94/296.13
AG01/#3.12.xml 11758500 u +0 1 +0 625.34/221.82
AG01/#3.13.xml 11758484 u +0 1 +0 1008.40/296.04
AG01/#3.15.xml 11758502 s n2 +1 1 +0 4.91/1.26
AG01/#3.16.xml 11758470 u +0 1 +0 11.84/5.12
AG01/#3.17.xml 11758476 u +0 1 +0 647.42/296.76
AG01/#3.17a.xml 11758477 u +0 1 +0 196.14/53.58
AG01/#3.18.xml 11758468 u +0 1 +0 21.50/8.79
AG01/#3.19.xml 11758478 u +0 1 +0 23.20/7.87
AG01/#3.2.xml 11758480 u +0 1 +0 16.66/7.45
AG01/#3.21.xml 11758491 u +0 1 +0 10.35/3.98
AG01/#3.22.xml 11758481 u +0 1 +0 10.12/4.59
AG01/#3.23.xml 11758465 u +0 1 +0 6.87/2.93
AG01/#3.24.xml 11758464 s n1 +1 1 +0 0.09/0.04
AG01/#3.26.xml 11758489 u +0 1 +0 1056.21/296.20
AG01/#3.29.xml 11758498 u +0 1 +0 6.53/2.97
AG01/#3.31.xml 11758506 u +0 1 +0 14.77/5.56
AG01/#3.33.xml 11758472 s n1 +1 1 +0 0.21/0.08
AG01/#3.35.xml 11758461 s n2 +1 1 +0 2.92/0.76
AG01/#3.36.xml 11758505 u +0 1 +0 15.94/6.43
AG01/#3.37.xml 11758492 s n1 +1 1 +0 0.31/0.11
AG01/#3.38.xml 11758503 u +0 1 +0 19.02/7.66
AG01/#3.39.xml 11758493 u +0 1 +0 23.68/8.14
AG01/#3.4.xml 11758463 u +0 1 +0 21.70/9.33
AG01/#3.40.xml 11758459 u +0 1 +0 35.45/12.43
AG01/#3.41.xml 11758473 u +0 1 +0 12.70/5.61
AG01/#3.42.xml 11758494 u +0 1 +0 31.65/14.74
AG01/#3.47.xml 11758457 u +0 1 +0 12.68/6.10
AG01/#3.48.xml 11758471 u +0 1 +0 25.21/9.07
AG01/#3.49.xml 11758460 u +0 1 +0 1029.02/296.19
AG01/#3.5.xml 11758482 u +0 1 +0 22.75/8.95
AG01/#3.51.xml 11758466 s n1 +1 1 +0 0.29/0.10
AG01/#3.52.xml 11758499 u +0 1 +0 8.00/3.31
AG01/#3.53.xml 11758486 u +0 1 +0 227.99/90.22
AG01/#3.53a.xml 11758504 u +0 1 +0 7.74/3.78
AG01/#3.53b.xml 11758458 u +0 1 +0 8.51/3.45
AG01/#3.54.xml 11758487 u +0 1 +0 19.20/11.05
AG01/#3.55.xml 11758497 u +0 1 +0 926.26/296.13
AG01/#3.56.xml 11758467 s n2 +1 1 +0 4.73/1.22
AG01/#3.57.xml 11758479 u +0 1 +0 53.14/20.11
AG01/#3.5a.xml 11758483 u +0 1 +0 27.34/11.27
AG01/#3.5b.xml 11758475 u +0 1 +0 174.30/103.50
AG01/#3.6.xml 11758488 u +0 1 +0 28.70/11.93
AG01/#3.6a.xml 11758462 u +0 1 +0 23.94/9.68
AG01/#3.6b.xml 11758496 u +0 1 +0 41.28/17.12
AG01/#3.7.xml 11758495 s n2 +1 1 +0 9.59/2.43
AG01/#3.8a.xml 11758501 u +0 1 +0 27.58/10.05
AG01/#3.8b.xml 11758469 u +0 1 +0 35.50/12.38
AG01/#4.30c.xml 11758485 u +0 1 +0 25.05/10.02
Waldmann_06/jwaprove1.xml 11758523 u +0 1 +0 1105.63/296.21
Waldmann_06/jwaprove2.xml 11758514 u +0 1 +0 1131.94/296.15
Waldmann_06/jwcime1.xml 11758521 u +0 1 +0 545.32/296.18
Waldmann_06/jwcime2.xml 11758513 s n1 +1 1 +0 0.28/0.09
Waldmann_06/jwmatchb1.xml 11758520 u +0 1 +0 711.87/296.20
Waldmann_06/jwmatchb2.xml 11758511 u +0 1 +0 718.15/296.13
Waldmann_06/jwno1.xml 11758516 u +0 1 +0 627.96/296.12
Waldmann_06/jwno2.xml 11758519 u +0 1 +0 848.23/296.22
Waldmann_06/jwno3.xml 11758524 u +0 1 +0 827.09/296.18
Waldmann_06/jwno4.xml 11758525 u +0 1 +0 631.07/296.15
Waldmann_06/jwno5.xml 11758518 u +0 1 +0 843.97/296.22
Waldmann_06/jwno6.xml 11758517 u +0 1 +0 611.34/296.15
Waldmann_06/jwno7.xml 11758508 u +0 1 +0 810.47/296.16
Waldmann_06/jwno8.xml 11758515 u +0 1 +0 828.89/296.14
Waldmann_06/jwno9.xml 11758509 u +0 1 +0 832.30/296.10
Waldmann_06/jwteparla1.xml 11758522 u +0 1 +0 7.37/2.73
Waldmann_06/jwteparla2.xml 11758512 u +0 1 +0 7.48/2.77
Waldmann_06/jwtpa1.xml 11758507 s n1 +1 1 +0 0.33/0.11
Waldmann_06/jwtpa2.xml 11758526 u +0 1 +0 835.79/296.30
Waldmann_06/jwttt.xml 11758510 u +0 1 +0 818.67/296.27
Waldmann_07_size12/size-12-alpha-2-num-1.xml 11758362 u +0 1 +0 478.73/296.18
Waldmann_07_size12/size-12-alpha-2-num-10.xml 11758361 u +0 1 +0 856.53/296.14
Waldmann_07_size12/size-12-alpha-2-num-11.xml 11758302 u +0 1 +0 750.68/296.14
Waldmann_07_size12/size-12-alpha-2-num-12.xml 11758259 u +0 1 +0 1064.45/296.19
Waldmann_07_size12/size-12-alpha-2-num-13.xml 11758122 s n1 +1 1 +0 0.12/0.05
Waldmann_07_size12/size-12-alpha-2-num-14.xml 11758137 u +0 1 +0 508.55/296.26
Waldmann_07_size12/size-12-alpha-2-num-15.xml 11758254 s n1 +1 1 +0 0.20/0.16
Waldmann_07_size12/size-12-alpha-2-num-16.xml 11758308 s n1 +1 1 +0 0.05/0.05
Waldmann_07_size12/size-12-alpha-2-num-17.xml 11758356 s n1 +1 1 +0 0.05/0.03
Waldmann_07_size12/size-12-alpha-2-num-18.xml 11758292 s n1 +1 1 +0 0.07/0.04
Waldmann_07_size12/size-12-alpha-2-num-19.xml 11758376 s n1 +1 1 +0 0.12/0.05
Waldmann_07_size12/size-12-alpha-2-num-2.xml 11758123 u +0 1 +0 490.49/296.15
Waldmann_07_size12/size-12-alpha-2-num-20.xml 11758228 s n1 +1 1 +0 0.02/0.05
Waldmann_07_size12/size-12-alpha-2-num-21.xml 11758167 s n1 +1 1 +0 0.20/0.07
Waldmann_07_size12/size-12-alpha-2-num-22.xml 11758393 s n1 +1 1 +0 0.05/0.04
Waldmann_07_size12/size-12-alpha-2-num-3.xml 11758258 u +0 1 +0 514.69/296.23
Waldmann_07_size12/size-12-alpha-2-num-4.xml 11758255 u +0 1 +0 649.92/296.21
Waldmann_07_size12/size-12-alpha-2-num-5.xml 11758136 u +0 1 +0 854.30/296.29
Waldmann_07_size12/size-12-alpha-2-num-6.xml 11758355 u +0 1 +0 630.08/296.26
Waldmann_07_size12/size-12-alpha-2-num-7.xml 11758309 u +0 1 +0 941.39/296.15
Waldmann_07_size12/size-12-alpha-2-num-8.xml 11758375 u +0 1 +0 621.65/296.27
Waldmann_07_size12/size-12-alpha-3-num-1.xml 11758370 s n1 +1 1 +0 0.14/0.06
Waldmann_07_size12/size-12-alpha-3-num-10.xml 11758140 s n1 +1 1 +0 0.10/0.09
Waldmann_07_size12/size-12-alpha-3-num-100.xml 11758131 s n1 +1 1 +0 0.09/0.07
Waldmann_07_size12/size-12-alpha-3-num-101.xml 11758250 s n1 +1 1 +0 0.08/0.04
Waldmann_07_size12/size-12-alpha-3-num-104.xml 11758364 s n1 +1 1 +0 0.10/0.09
Waldmann_07_size12/size-12-alpha-3-num-105.xml 11758305 s n1 +1 1 +0 0.13/0.05
Waldmann_07_size12/size-12-alpha-3-num-106.xml 11758262 s n1 +1 1 +0 0.13/0.05
Waldmann_07_size12/size-12-alpha-3-num-107.xml 11758125 s n1 +1 1 +0 0.20/0.10
Waldmann_07_size12/size-12-alpha-3-num-108.xml 11758240 s n1 +1 1 +0 0.05/0.07
Waldmann_07_size12/size-12-alpha-3-num-109.xml 11758143 s n1 +1 1 +0 0.03/0.03
Waldmann_07_size12/size-12-alpha-3-num-11.xml 11758249 s n1 +1 1 +0 0.04/0.03
Waldmann_07_size12/size-12-alpha-3-num-110.xml 11758180 s n1 +1 1 +0 0.05/0.03
Waldmann_07_size12/size-12-alpha-3-num-111.xml 11758113 s n1 +1 1 +0 0.05/0.03
Waldmann_07_size12/size-12-alpha-3-num-112.xml 11758429 s n1 +1 1 +0 0.06/0.07
Waldmann_07_size12/size-12-alpha-3-num-113.xml 11758311 s n1 +1 1 +0 0.07/0.07
Waldmann_07_size12/size-12-alpha-3-num-114.xml 11758321 s n1 +1 1 +0 0.02/0.02
Waldmann_07_size12/size-12-alpha-3-num-120.xml 11758403 s n1 +1 1 +0 0.10/0.11
Waldmann_07_size12/size-12-alpha-3-num-121.xml 11758342 s n1 +1 1 +0 0.07/0.04
Waldmann_07_size12/size-12-alpha-3-num-122.xml 11758217 s n1 +1 1 +0 0.02/0.10
Waldmann_07_size12/size-12-alpha-3-num-123.xml 11758090 s n1 +1 1 +0 0.10/0.05
Waldmann_07_size12/size-12-alpha-3-num-124.xml 11758092 s n1 +1 1 +0 0.13/0.09
Waldmann_07_size12/size-12-alpha-3-num-125.xml 11758206 s n1 +1 1 +0 0.24/0.08
Waldmann_07_size12/size-12-alpha-3-num-126.xml 11758346 s n1 +1 1 +0 0.12/0.07
Waldmann_07_size12/size-12-alpha-3-num-127.xml 11758397 s n1 +1 1 +0 0.09/0.06
Waldmann_07_size12/size-12-alpha-3-num-128.xml 11758330 s n1 +1 1 +0 0.15/0.06
Waldmann_07_size12/size-12-alpha-3-num-129.xml 11758414 u +0 1 +0 436.37/296.13
Waldmann_07_size12/size-12-alpha-3-num-13.xml 11758372 u +0 1 +0 421.68/296.09
Waldmann_07_size12/size-12-alpha-3-num-131.xml 11758389 u +0 1 +0 356.38/296.09
Waldmann_07_size12/size-12-alpha-3-num-132.xml 11758174 u +0 1 +0 533.34/296.17
Waldmann_07_size12/size-12-alpha-3-num-133.xml 11758224 u +0 1 +0 524.18/296.11
Waldmann_07_size12/size-12-alpha-3-num-134.xml 11758226 s n1 +1 1 +0 0.07/0.07
Waldmann_07_size12/size-12-alpha-3-num-135.xml 11758162 s n1 +1 1 +0 0.20/0.13
Waldmann_07_size12/size-12-alpha-3-num-14.xml 11758369 u +0 1 +0 491.90/296.25
Waldmann_07_size12/size-12-alpha-3-num-140.xml 11758151 s n1 +1 1 +0 0.05/0.03
Waldmann_07_size12/size-12-alpha-3-num-146.xml 11758231 s n1 +1 1 +0 0.08/0.07
Waldmann_07_size12/size-12-alpha-3-num-149.xml 11758164 s n1 +1 1 +0 0.11/0.05
Waldmann_07_size12/size-12-alpha-3-num-15.xml 11758297 s n1 +1 1 +0 0.10/0.05
Waldmann_07_size12/size-12-alpha-3-num-152.xml 11758406 s n1 +1 1 +0 0.10/0.05
Waldmann_07_size12/size-12-alpha-3-num-158.xml 11758095 u +0 1 +0 423.33/296.14
Waldmann_07_size12/size-12-alpha-3-num-159.xml 11758210 s n1 +1 1 +0 0.10/0.06
Waldmann_07_size12/size-12-alpha-3-num-16.xml 11758244 s n1 +1 1 +0 0.11/0.05
Waldmann_07_size12/size-12-alpha-3-num-160.xml 11758420 s n1 +1 1 +0 0.05/0.03
Waldmann_07_size12/size-12-alpha-3-num-163.xml 11758110 s n1 +1 1 +0 0.25/0.09
Waldmann_07_size12/size-12-alpha-3-num-164.xml 11758106 s n1 +1 1 +0 0.64/0.18
Waldmann_07_size12/size-12-alpha-3-num-165.xml 11758190 u +0 1 +0 490.27/296.14
Waldmann_07_size12/size-12-alpha-3-num-168.xml 11758319 s n1 +1 1 +0 0.24/0.12
Waldmann_07_size12/size-12-alpha-3-num-17.xml 11758146 s n1 +1 1 +0 0.13/0.06
Waldmann_07_size12/size-12-alpha-3-num-170.xml 11758289 u +0 1 +0 422.17/296.04
Waldmann_07_size12/size-12-alpha-3-num-174.xml 11758237 u +0 1 +0 428.37/296.05
Waldmann_07_size12/size-12-alpha-3-num-176.xml 11758366 s n1 +1 1 +0 0.08/0.04
Waldmann_07_size12/size-12-alpha-3-num-177.xml 11758293 s n1 +1 1 +0 0.05/0.03
Waldmann_07_size12/size-12-alpha-3-num-178.xml 11758357 s n1 +1 1 +0 0.06/0.04
Waldmann_07_size12/size-12-alpha-3-num-179.xml 11758299 u +0 1 +0 400.68/296.10
Waldmann_07_size12/size-12-alpha-3-num-180.xml 11758102 s n1 +1 1 +0 0.14/0.11
Waldmann_07_size12/size-12-alpha-3-num-181.xml 11758194 s n1 +1 1 +0 0.14/0.11
Waldmann_07_size12/size-12-alpha-3-num-186.xml 11758205 s n1 +1 1 +0 0.23/0.12
Waldmann_07_size12/size-12-alpha-3-num-19.xml 11758130 s n1 +1 1 +0 0.07/0.09
Waldmann_07_size12/size-12-alpha-3-num-190.xml 11758233 s n1 +1 1 +0 0.08/0.08
Waldmann_07_size12/size-12-alpha-3-num-191.xml 11758148 s n1 +1 1 +0 0.06/0.09
Waldmann_07_size12/size-12-alpha-3-num-194.xml 11758283 u +0 1 +0 423.01/296.14
Waldmann_07_size12/size-12-alpha-3-num-195.xml 11758380 s n1 +1 1 +0 0.12/0.07
Waldmann_07_size12/size-12-alpha-3-num-198.xml 11758163 s n1 +1 1 +0 0.45/0.14
Waldmann_07_size12/size-12-alpha-3-num-199.xml 11758227 u +0 1 +0 465.80/296.25
Waldmann_07_size12/size-12-alpha-3-num-20.xml 11758279 s n1 +1 1 +0 0.07/0.07
Waldmann_07_size12/size-12-alpha-3-num-200.xml 11758177 s n1 +1 1 +0 0.03/0.03
Waldmann_07_size12/size-12-alpha-3-num-201.xml 11758120 s n1 +1 1 +0 0.18/0.07
Waldmann_07_size12/size-12-alpha-3-num-202.xml 11758428 s n1 +1 1 +0 0.10/0.05
Waldmann_07_size12/size-12-alpha-3-num-203.xml 11758320 u +0 1 +0 429.59/296.16
Waldmann_07_size12/size-12-alpha-3-num-204.xml 11758310 u +0 1 +0 422.23/296.14
Waldmann_07_size12/size-12-alpha-3-num-206.xml 11758112 s n1 +1 1 +0 0.04/0.03
Waldmann_07_size12/size-12-alpha-3-num-207.xml 11758179 s n1 +1 1 +0 0.04/0.03
Waldmann_07_size12/size-12-alpha-3-num-209.xml 11758186 s n1 +1 1 +0 0.06/0.04
Waldmann_07_size12/size-12-alpha-3-num-21.xml 11758385 u +0 1 +0 436.82/296.14
Waldmann_07_size12/size-12-alpha-3-num-210.xml 11758127 s n1 +1 1 +0 0.23/0.08
Waldmann_07_size12/size-12-alpha-3-num-211.xml 11758263 u +0 1 +0 450.21/296.18
Waldmann_07_size12/size-12-alpha-3-num-213.xml 11758365 s n1 +1 1 +0 0.16/0.06
Waldmann_07_size12/size-12-alpha-3-num-215.xml 11758307 s n1 +1 1 +0 0.09/0.04
Waldmann_07_size12/size-12-alpha-3-num-217.xml 11758133 s n1 +1 1 +0 0.12/0.11
Waldmann_07_size12/size-12-alpha-3-num-219.xml 11758138 s n1 +1 1 +0 0.06/0.10
Waldmann_07_size12/size-12-alpha-3-num-22.xml 11758153 u +0 1 +0 548.80/296.17
Waldmann_07_size12/size-12-alpha-3-num-220.xml 11758264 s n1 +1 1 +0 0.07/0.04
Waldmann_07_size12/size-12-alpha-3-num-221.xml 11758392 u +0 1 +0 390.41/296.05
Waldmann_07_size12/size-12-alpha-3-num-222.xml 11758161 u +0 1 +0 463.60/296.17
Waldmann_07_size12/size-12-alpha-3-num-223.xml 11758225 s n1 +1 1 +0 0.10/0.21
Waldmann_07_size12/size-12-alpha-3-num-224.xml 11758222 u +0 1 +0 393.57/296.14
Waldmann_07_size12/size-12-alpha-3-num-225.xml 11758172 s n1 +1 1 +0 0.07/0.04
Waldmann_07_size12/size-12-alpha-3-num-226.xml 11758388 s n2 +1 1 +0 1.23/0.34
Waldmann_07_size12/size-12-alpha-3-num-227.xml 11758274 u +0 1 +0 411.98/296.13
Waldmann_07_size12/size-12-alpha-3-num-23.xml 11758236 s n1 +1 1 +0 0.12/0.06
Waldmann_07_size12/size-12-alpha-3-num-231.xml 11758348 u +0 1 +0 558.47/296.27
Waldmann_07_size12/size-12-alpha-3-num-232.xml 11758207 u +0 1 +0 364.90/296.12
Waldmann_07_size12/size-12-alpha-3-num-233.xml 11758093 s n1 +1 1 +0 0.15/0.06
Waldmann_07_size12/size-12-alpha-3-num-236.xml 11758344 u +0 1 +0 448.19/296.14
Waldmann_07_size12/size-12-alpha-3-num-237.xml 11758405 s n1 +1 1 +0 0.17/0.07
Waldmann_07_size12/size-12-alpha-3-num-238.xml 11758339 u +0 1 +0 488.72/296.14
Waldmann_07_size12/size-12-alpha-3-num-239.xml 11758411 s n1 +1 1 +0 0.07/0.04
Waldmann_07_size12/size-12-alpha-3-num-241.xml 11758099 u +0 1 +0 419.95/296.13
Waldmann_07_size12/size-12-alpha-3-num-243.xml 11758334 u +0 1 +0 418.87/296.16
Waldmann_07_size12/size-12-alpha-3-num-247.xml 11758195 u +0 1 +0 407.67/296.08
Waldmann_07_size12/size-12-alpha-3-num-248.xml 11758089 u +0 1 +0 467.74/296.46
Waldmann_07_size12/size-12-alpha-3-num-249.xml 11758215 u +0 1 +0 448.22/296.12
Waldmann_07_size12/size-12-alpha-3-num-255.xml 11758277 s n1 +1 1 +0 0.17/0.11
Waldmann_07_size12/size-12-alpha-3-num-257.xml 11758149 s n1 +1 1 +0 0.14/0.09
Waldmann_07_size12/size-12-alpha-3-num-260.xml 11758294 u +0 1 +0 471.41/296.11
Waldmann_07_size12/size-12-alpha-3-num-263.xml 11758238 u +0 1 +0 531.03/296.25
Waldmann_07_size12/size-12-alpha-3-num-265.xml 11758142 s n1 +1 1 +0 1.38/0.37
Waldmann_07_size12/size-12-alpha-3-num-267.xml 11758290 u +0 1 +0 395.92/296.09
Waldmann_07_size12/size-12-alpha-3-num-270.xml 11758422 u +0 1 +0 418.05/296.08
Waldmann_07_size12/size-12-alpha-3-num-271.xml 11758322 u +0 1 +0 428.73/296.03
Waldmann_07_size12/size-12-alpha-3-num-272.xml 11758189 u +0 1 +0 441.10/296.17
Waldmann_07_size12/size-12-alpha-3-num-273.xml 11758105 s n1 +1 1 +0 0.10/0.05
Waldmann_07_size12/size-12-alpha-3-num-274.xml 11758109 u +0 1 +0 461.70/296.13
Waldmann_07_size12/size-12-alpha-3-num-275.xml 11758187 u +0 1 +0 615.17/296.17
Waldmann_07_size12/size-12-alpha-3-num-279.xml 11758431 s n1 +1 1 +0 0.97/0.27
Waldmann_07_size12/size-12-alpha-3-num-281.xml 11758158 s n1 +1 1 +0 0.46/0.14
Waldmann_07_size12/size-12-alpha-3-num-282.xml 11758381 s n1 +1 1 +0 0.07/0.04
Waldmann_07_size12/size-12-alpha-3-num-283.xml 11758284 s n1 +1 1 +0 0.13/0.05
Waldmann_07_size12/size-12-alpha-3-num-284.xml 11758278 s n1 +1 1 +0 0.07/0.08
Waldmann_07_size12/size-12-alpha-3-num-285.xml 11758382 u +0 1 +0 381.09/296.12
Waldmann_07_size12/size-12-alpha-3-num-286.xml 11758150 u +0 1 +0 445.59/296.14
Waldmann_07_size12/size-12-alpha-3-num-287.xml 11758234 s n1 +1 1 +0 0.19/0.09
Waldmann_07_size12/size-12-alpha-3-num-288.xml 11758169 s n1 +1 1 +0 0.18/0.07
Waldmann_07_size12/size-12-alpha-3-num-289.xml 11758218 u +0 1 +0 407.26/296.14
Waldmann_07_size12/size-12-alpha-3-num-291.xml 11758204 s n1 +1 1 +0 0.18/0.07
Waldmann_07_size12/size-12-alpha-3-num-292.xml 11758333 s n1 +1 1 +0 0.10/0.05
Waldmann_07_size12/size-12-alpha-3-num-293.xml 11758416 u +0 1 +0 465.76/296.15
Waldmann_07_size12/size-12-alpha-3-num-294.xml 11758407 u +0 1 +0 419.29/296.14
Waldmann_07_size12/size-12-alpha-3-num-296.xml 11758193 u +0 1 +0 469.43/296.23
Waldmann_07_size12/size-12-alpha-3-num-297.xml 11758101 u +0 1 +0 468.86/296.23
Waldmann_07_size12/size-12-alpha-3-num-298.xml 11758214 u +0 1 +0 459.76/296.19
Waldmann_07_size12/size-12-alpha-3-num-299.xml 11758088 u +0 1 +0 470.67/296.15
Waldmann_07_size12/size-12-alpha-3-num-3.xml 11758245 s n1 +1 1 +0 0.09/0.05
Waldmann_07_size12/size-12-alpha-3-num-30.xml 11758409 u +0 1 +0 438.40/296.05
Waldmann_07_size12/size-12-alpha-3-num-300.xml 11758221 u +0 1 +0 468.14/296.19
Waldmann_07_size12/size-12-alpha-3-num-301.xml 11758171 u +0 1 +0 483.38/296.10
Waldmann_07_size12/size-12-alpha-3-num-303.xml 11758272 u +0 1 +0 481.46/296.18
Waldmann_07_size12/size-12-alpha-3-num-304.xml 11758268 u +0 1 +0 464.41/296.17
Waldmann_07_size12/size-12-alpha-3-num-309.xml 11758232 s n1 +1 1 +0 0.13/0.09
Waldmann_07_size12/size-12-alpha-3-num-31.xml 11758338 s n1 +1 1 +0 0.03/0.02
Waldmann_07_size12/size-12-alpha-3-num-32.xml 11758197 u +0 1 +0 487.71/296.20
Waldmann_07_size12/size-12-alpha-3-num-327.xml 11758318 u +0 1 +0 492.99/296.16
Waldmann_07_size12/size-12-alpha-3-num-328.xml 11758421 s n1 +1 1 +0 0.08/0.08
Waldmann_07_size12/size-12-alpha-3-num-330.xml 11758351 u +0 1 +0 655.11/296.14
Waldmann_07_size12/size-12-alpha-3-num-335.xml 11758256 s n1 +1 1 +0 0.15/0.06
Waldmann_07_size12/size-12-alpha-3-num-337.xml 11758358 s n1 +1 1 +0 0.03/0.03
Waldmann_07_size12/size-12-alpha-3-num-338.xml 11758295 s n1 +1 1 +0 0.02/0.02
Waldmann_07_size12/size-12-alpha-3-num-339.xml 11758367 s n1 +1 1 +0 0.02/0.02
Waldmann_07_size12/size-12-alpha-3-num-340.xml 11758246 s n1 +1 1 +0 0.07/0.04
Waldmann_07_size12/size-12-alpha-3-num-341.xml 11758139 s n1 +1 1 +0 0.03/0.10
Waldmann_07_size12/size-12-alpha-3-num-343.xml 11758285 s n1 +1 1 +0 0.02/0.09
Waldmann_07_size12/size-12-alpha-3-num-345.xml 11758368 u +0 1 +0 559.98/296.20
Waldmann_07_size12/size-12-alpha-3-num-346.xml 11758145 s n1 +1 1 +0 0.08/0.08
Waldmann_07_size12/size-12-alpha-3-num-347.xml 11758241 u +0 1 +0 595.90/296.17
Waldmann_07_size12/size-12-alpha-3-num-348.xml 11758128 u +0 1 +0 561.67/296.18
Waldmann_07_size12/size-12-alpha-3-num-35.xml 11758199 s n1 +1 1 +0 0.03/0.06
Waldmann_07_size12/size-12-alpha-3-num-350.xml 11758108 u +0 1 +0 539.29/296.13
Waldmann_07_size12/size-12-alpha-3-num-351.xml 11758185 s n1 +1 1 +0 0.11/0.05
Waldmann_07_size12/size-12-alpha-3-num-352.xml 11758327 u +0 1 +0 505.29/296.14
Waldmann_07_size12/size-12-alpha-3-num-353.xml 11758418 u +0 1 +0 456.29/296.05
Waldmann_07_size12/size-12-alpha-3-num-354.xml 11758425 u +0 1 +0 830.93/296.19
Waldmann_07_size12/size-12-alpha-3-num-355.xml 11758325 s n1 +1 1 +0 0.04/0.03
Waldmann_07_size12/size-12-alpha-3-num-356.xml 11758191 s n1 +1 1 +0 0.02/0.08
Waldmann_07_size12/size-12-alpha-3-num-359.xml 11758119 u +0 1 +0 620.77/296.29
Waldmann_07_size12/size-12-alpha-3-num-360.xml 11758336 u +0 1 +0 746.03/296.21
Waldmann_07_size12/size-12-alpha-3-num-361.xml 11758408 u +0 1 +0 1011.26/296.16
Waldmann_07_size12/size-12-alpha-3-num-362.xml 11758103 u +0 1 +0 1117.80/296.34
Waldmann_07_size12/size-12-alpha-3-num-363.xml 11758196 u +0 1 +0 863.32/296.10
Waldmann_07_size12/size-12-alpha-3-num-366.xml 11758412 s n1 +1 1 +0 0.09/0.05
Waldmann_07_size12/size-12-alpha-3-num-367.xml 11758329 u +0 1 +0 666.31/296.14
Waldmann_07_size12/size-12-alpha-3-num-368.xml 11758396 u +0 1 +0 1145.72/296.16
Waldmann_07_size12/size-12-alpha-3-num-369.xml 11758345 u +0 1 +0 928.64/296.14
Waldmann_07_size12/size-12-alpha-3-num-373.xml 11758154 u +0 1 +0 505.89/296.23
Waldmann_07_size12/size-12-alpha-3-num-374.xml 11758156 u +0 1 +0 1021.26/296.26
Waldmann_07_size12/size-12-alpha-3-num-375.xml 11758230 u +0 1 +0 360.92/296.12
Waldmann_07_size12/size-12-alpha-3-num-376.xml 11758282 u +0 1 +0 455.82/296.07
Waldmann_07_size12/size-12-alpha-3-num-377.xml 11758379 u +0 1 +0 614.30/296.20
Waldmann_07_size12/size-12-alpha-3-num-378.xml 11758266 u +0 1 +0 477.85/296.16
Waldmann_07_size12/size-12-alpha-3-num-382.xml 11758417 s n1 +1 1 +0 0.09/0.04
Waldmann_07_size12/size-12-alpha-3-num-383.xml 11758326 s n1 +1 1 +0 0.06/0.04
Waldmann_07_size12/size-12-alpha-3-num-384.xml 11758324 s n1 +1 1 +0 0.01/0.01
Waldmann_07_size12/size-12-alpha-3-num-385.xml 11758424 s n1 +1 1 +0 0.10/0.04
Waldmann_07_size12/size-12-alpha-3-num-386.xml 11758107 s n1 +1 1 +0 0.04/0.03
Waldmann_07_size12/size-12-alpha-3-num-389.xml 11758176 s n1 +1 1 +0 0.15/0.06
Waldmann_07_size12/size-12-alpha-3-num-391.xml 11758247 s n1 +1 1 +0 0.15/0.06
Waldmann_07_size12/size-12-alpha-3-num-392.xml 11758286 s n1 +1 1 +0 0.06/0.07
Waldmann_07_size12/size-12-alpha-3-num-395.xml 11758298 u +0 1 +0 646.28/296.16
Waldmann_07_size12/size-12-alpha-3-num-396.xml 11758243 u +0 1 +0 552.31/296.17
Waldmann_07_size12/size-12-alpha-3-num-399.xml 11758129 s n1 +1 1 +0 0.09/0.04
Waldmann_07_size12/size-12-alpha-3-num-4.xml 11758239 u +0 1 +0 498.26/296.11
Waldmann_07_size12/size-12-alpha-3-num-40.xml 11758212 s n1 +1 1 +0 0.08/0.08
Waldmann_07_size12/size-12-alpha-3-num-400.xml 11758281 s n1 +1 1 +0 0.02/0.02
Waldmann_07_size12/size-12-alpha-3-num-401.xml 11758378 s n1 +1 1 +0 0.02/0.02
Waldmann_07_size12/size-12-alpha-3-num-402.xml 11758155 s n1 +1 1 +0 0.02/0.05
Waldmann_07_size12/size-12-alpha-3-num-403.xml 11758229 s n1 +1 1 +0 0.09/0.08
Waldmann_07_size12/size-12-alpha-3-num-406.xml 11758384 u +0 1 +0 1034.45/296.17
Waldmann_07_size12/size-12-alpha-3-num-408.xml 11758391 u +0 1 +0 1044.67/296.20
Waldmann_07_size12/size-12-alpha-3-num-409.xml 11758276 u +0 1 +0 981.01/296.13
Waldmann_07_size12/size-12-alpha-3-num-41.xml 11758087 s n1 +1 1 +0 0.17/0.06
Waldmann_07_size12/size-12-alpha-3-num-410.xml 11758413 u +0 1 +0 1000.49/296.03
Waldmann_07_size12/size-12-alpha-3-num-412.xml 11758200 u +0 1 +0 549.60/296.17
Waldmann_07_size12/size-12-alpha-3-num-413.xml 11758096 u +0 1 +0 531.84/296.05
Waldmann_07_size12/size-12-alpha-3-num-414.xml 11758104 u +0 1 +0 541.68/296.19
Waldmann_07_size12/size-12-alpha-3-num-415.xml 11758198 u +0 1 +0 607.20/296.22
Waldmann_07_size12/size-12-alpha-3-num-416.xml 11758337 u +0 1 +0 540.60/296.24
Waldmann_07_size12/size-12-alpha-3-num-417.xml 11758410 u +0 1 +0 562.94/296.16
Waldmann_07_size12/size-12-alpha-3-num-418.xml 11758341 u +0 1 +0 516.96/296.16
Waldmann_07_size12/size-12-alpha-3-num-427.xml 11758184 u +0 1 +0 731.70/296.10
Waldmann_07_size12/size-12-alpha-3-num-429.xml 11758178 u +0 1 +0 430.01/296.06
Waldmann_07_size12/size-12-alpha-3-num-430.xml 11758147 u +0 1 +0 465.83/296.21
Waldmann_07_size12/size-12-alpha-3-num-431.xml 11758242 s n1 +1 1 +0 0.14/0.06
Waldmann_07_size12/size-12-alpha-3-num-434.xml 11758371 s n1 +1 1 +0 1.38/0.39
Waldmann_07_size12/size-12-alpha-3-num-435.xml 11758287 s n1 +1 1 +0 0.10/0.05
Waldmann_07_size12/size-12-alpha-3-num-436.xml 11758248 u +0 1 +0 525.04/296.08
Waldmann_07_size12/size-12-alpha-3-num-437.xml 11758141 u +0 1 +0 541.89/296.23
Waldmann_07_size12/size-12-alpha-3-num-438.xml 11758252 u +0 1 +0 435.37/296.18
Waldmann_07_size12/size-12-alpha-3-num-439.xml 11758134 u +0 1 +0 1078.99/296.17
Waldmann_07_size12/size-12-alpha-3-num-44.xml 11758350 u +0 1 +0 484.76/296.20
Waldmann_07_size12/size-12-alpha-3-num-441.xml 11758359 u +0 1 +0 506.92/296.19
Waldmann_07_size12/size-12-alpha-3-num-443.xml 11758260 u +0 1 +0 1031.41/296.23
Waldmann_07_size12/size-12-alpha-3-num-446.xml 11758353 u +0 1 +0 1071.91/296.05
Waldmann_07_size12/size-12-alpha-3-num-448.xml 11758374 u +0 1 +0 505.90/296.34
Waldmann_07_size12/size-12-alpha-3-num-45.xml 11758400 u +0 1 +0 501.34/296.24
Waldmann_07_size12/size-12-alpha-3-num-450.xml 11758426 u +0 1 +0 524.32/296.15
Waldmann_07_size12/size-12-alpha-3-num-451.xml 11758315 u +0 1 +0 539.87/296.04
Waldmann_07_size12/size-12-alpha-3-num-452.xml 11758175 s n1 +1 1 +0 0.24/0.08
Waldmann_07_size12/size-12-alpha-3-num-453.xml 11758116 s n1 +1 1 +0 0.16/0.10
Waldmann_07_size12/size-12-alpha-3-num-454.xml 11758114 s n1 +1 1 +0 0.09/0.06
Waldmann_07_size12/size-12-alpha-3-num-455.xml 11758182 s n1 +1 1 +0 0.02/0.03
Waldmann_07_size12/size-12-alpha-3-num-456.xml 11758312 u +0 1 +0 593.37/296.18
Waldmann_07_size12/size-12-alpha-3-num-460.xml 11758209 u +0 1 +0 574.82/296.19
Waldmann_07_size12/size-12-alpha-3-num-461.xml 11758094 u +0 1 +0 630.83/296.17
Waldmann_07_size12/size-12-alpha-3-num-462.xml 11758401 u +0 1 +0 631.77/296.32
Waldmann_07_size12/size-12-alpha-3-num-465.xml 11758402 u +0 1 +0 452.31/296.17
Waldmann_07_size12/size-12-alpha-3-num-467.xml 11758213 u +0 1 +0 609.38/296.15
Waldmann_07_size12/size-12-alpha-3-num-468.xml 11758100 u +0 1 +0 502.31/296.19
Waldmann_07_size12/size-12-alpha-3-num-469.xml 11758192 u +0 1 +0 384.50/296.16
Waldmann_07_size12/size-12-alpha-3-num-47.xml 11758208 u +0 1 +0 543.62/296.22
Waldmann_07_size12/size-12-alpha-3-num-470.xml 11758166 u +0 1 +0 737.03/296.15
Waldmann_07_size12/size-12-alpha-3-num-472.xml 11758267 u +0 1 +0 776.19/296.20
Waldmann_07_size12/size-12-alpha-3-num-473.xml 11758394 u +0 1 +0 1071.01/296.15
Waldmann_07_size12/size-12-alpha-3-num-474.xml 11758386 u +0 1 +0 1099.93/296.11
Waldmann_07_size12/size-12-alpha-3-num-475.xml 11758271 u +0 1 +0 1113.03/296.14
Waldmann_07_size12/size-12-alpha-3-num-476.xml 11758219 u +0 1 +0 436.94/296.14
Waldmann_07_size12/size-12-alpha-3-num-477.xml 11758170 u +0 1 +0 418.41/296.12
Waldmann_07_size12/size-12-alpha-3-num-478.xml 11758235 u +0 1 +0 430.80/296.15
Waldmann_07_size12/size-12-alpha-3-num-479.xml 11758152 u +0 1 +0 455.58/296.18
Waldmann_07_size12/size-12-alpha-3-num-48.xml 11758098 u +0 1 +0 524.43/296.22
Waldmann_07_size12/size-12-alpha-3-num-480.xml 11758317 u +0 1 +0 488.61/296.06
Waldmann_07_size12/size-12-alpha-3-num-482.xml 11758118 u +0 1 +0 437.44/296.17
Waldmann_07_size12/size-12-alpha-3-num-484.xml 11758183 u +0 1 +0 455.10/296.05
Waldmann_07_size12/size-12-alpha-3-num-485.xml 11758115 u +0 1 +0 448.25/296.15
Waldmann_07_size12/size-12-alpha-3-num-487.xml 11758314 u +0 1 +0 980.67/296.09
Waldmann_07_size12/size-12-alpha-3-num-488.xml 11758419 u +0 1 +0 1018.67/296.16
Waldmann_07_size12/size-12-alpha-3-num-489.xml 11758328 u +0 1 +0 830.38/296.18
Waldmann_07_size12/size-12-alpha-3-num-49.xml 11758202 u +0 1 +0 508.83/296.20
Waldmann_07_size12/size-12-alpha-3-num-491.xml 11758300 u +0 1 +0 1012.30/296.14
Waldmann_07_size12/size-12-alpha-3-num-492.xml 11758257 u +0 1 +0 840.30/296.13
Waldmann_07_size12/size-12-alpha-3-num-493.xml 11758121 u +0 1 +0 872.25/296.12
Waldmann_07_size12/size-12-alpha-3-num-494.xml 11758135 u +0 1 +0 582.07/296.25
Waldmann_07_size12/size-12-alpha-3-num-495.xml 11758253 u +0 1 +0 684.51/296.13
Waldmann_07_size12/size-12-alpha-3-num-497.xml 11758352 u +0 1 +0 585.51/296.05
Waldmann_07_size12/size-12-alpha-3-num-498.xml 11758291 u +0 1 +0 1066.91/296.15
Waldmann_07_size12/size-12-alpha-3-num-499.xml 11758373 u +0 1 +0 511.89/296.23
Waldmann_07_size12/size-12-alpha-3-num-502.xml 11758111 u +0 1 +0 1149.22/296.12
Waldmann_07_size12/size-12-alpha-3-num-503.xml 11758188 u +0 1 +0 1122.50/296.12
Waldmann_07_size12/size-12-alpha-3-num-506.xml 11758423 u +0 1 +0 479.04/296.07
Waldmann_07_size12/size-12-alpha-3-num-507.xml 11758323 u +0 1 +0 858.34/296.22
Waldmann_07_size12/size-12-alpha-3-num-508.xml 11758427 u +0 1 +0 1122.29/296.17
Waldmann_07_size12/size-12-alpha-3-num-51.xml 11758220 s n1 +1 1 +0 0.06/0.10
Waldmann_07_size12/size-12-alpha-3-num-511.xml 11758288 u +0 1 +0 1111.94/296.18
Waldmann_07_size12/size-12-alpha-3-num-52.xml 11758270 s n1 +1 1 +0 0.14/0.06
Waldmann_07_size12/size-12-alpha-3-num-522.xml 11758383 u +0 1 +0 889.50/296.27
Waldmann_07_size12/size-12-alpha-3-num-526.xml 11758157 u +0 1 +0 447.82/296.03
Waldmann_07_size12/size-12-alpha-3-num-532.xml 11758335 u +0 1 +0 509.92/296.17
Waldmann_07_size12/size-12-alpha-3-num-535.xml 11758332 u +0 1 +0 1058.53/296.13
Waldmann_07_size12/size-12-alpha-3-num-536.xml 11758203 u +0 1 +0 991.88/296.14
Waldmann_07_size12/size-12-alpha-3-num-540.xml 11758343 u +0 1 +0 482.48/296.17
Waldmann_07_size12/size-12-alpha-3-num-541.xml 11758404 u +0 1 +0 476.85/296.16
Waldmann_07_size12/size-12-alpha-3-num-543.xml 11758216 u +0 1 +0 512.43/296.22
Waldmann_07_size12/size-12-alpha-3-num-545.xml 11758091 u +0 1 +0 404.29/296.93
Waldmann_07_size12/size-12-alpha-3-num-546.xml 11758398 u +0 1 +0 471.88/296.11
Waldmann_07_size12/size-12-alpha-3-num-547.xml 11758347 u +0 1 +0 455.53/296.18
Waldmann_07_size12/size-12-alpha-3-num-548.xml 11758415 u +0 1 +0 423.67/296.08
Waldmann_07_size12/size-12-alpha-3-num-549.xml 11758331 u +0 1 +0 425.21/296.13
Waldmann_07_size12/size-12-alpha-3-num-550.xml 11758390 u +0 1 +0 438.34/296.09
Waldmann_07_size12/size-12-alpha-3-num-551.xml 11758275 u +0 1 +0 462.98/296.16
Waldmann_07_size12/size-12-alpha-3-num-552.xml 11758223 u +0 1 +0 415.96/296.15
Waldmann_07_size12/size-12-alpha-3-num-553.xml 11758173 u +0 1 +0 428.39/296.10
Waldmann_07_size12/size-12-alpha-3-num-556.xml 11758265 u +0 1 +0 441.77/296.06
Waldmann_07_size12/size-12-alpha-3-num-558.xml 11758280 u +0 1 +0 460.37/296.15
Waldmann_07_size12/size-12-alpha-3-num-559.xml 11758377 u +0 1 +0 471.88/296.17
Waldmann_07_size12/size-12-alpha-3-num-560.xml 11758251 u +0 1 +0 461.45/296.16
Waldmann_07_size12/size-12-alpha-3-num-561.xml 11758132 u +0 1 +0 450.97/296.20
Waldmann_07_size12/size-12-alpha-3-num-563.xml 11758306 u +0 1 +0 442.05/296.14
Waldmann_07_size12/size-12-alpha-3-num-564.xml 11758303 u +0 1 +0 443.84/296.14
Waldmann_07_size12/size-12-alpha-3-num-565.xml 11758363 u +0 1 +0 437.04/296.11
Waldmann_07_size12/size-12-alpha-3-num-566.xml 11758126 u +0 1 +0 465.44/296.21
Waldmann_07_size12/size-12-alpha-3-num-568.xml 11758144 u +0 1 +0 472.77/296.16
Waldmann_07_size12/size-12-alpha-3-num-57.xml 11758165 s n1 +1 1 +0 0.07/0.04
Waldmann_07_size12/size-12-alpha-3-num-59.xml 11758159 s n1 +1 1 +0 0.09/0.04
Waldmann_07_size12/size-12-alpha-3-num-61.xml 11758354 s n1 +1 1 +0 0.10/0.05
Waldmann_07_size12/size-12-alpha-3-num-64.xml 11758261 s n1 +1 1 +0 0.23/0.12
Waldmann_07_size12/size-12-alpha-3-num-65.xml 11758124 s n1 +1 1 +0 0.03/0.03
Waldmann_07_size12/size-12-alpha-3-num-66.xml 11758360 s n1 +1 1 +0 0.06/0.04
Waldmann_07_size12/size-12-alpha-3-num-67.xml 11758301 s n1 +1 1 +0 0.10/0.05
Waldmann_07_size12/size-12-alpha-3-num-7.xml 11758296 s n1 +1 1 +0 0.11/0.05
Waldmann_07_size12/size-12-alpha-3-num-70.xml 11758430 s n1 +1 1 +0 0.06/0.04
Waldmann_07_size12/size-12-alpha-3-num-71.xml 11758313 u +0 1 +0 377.53/296.13
Waldmann_07_size12/size-12-alpha-3-num-72.xml 11758181 u +0 1 +0 396.91/296.12
Waldmann_07_size12/size-12-alpha-3-num-74.xml 11758117 s n1 +1 1 +0 0.15/0.10
Waldmann_07_size12/size-12-alpha-3-num-76.xml 11758316 u +0 1 +0 384.44/296.16
Waldmann_07_size12/size-12-alpha-3-num-82.xml 11758387 s n1 +1 1 +0 0.03/0.03
Waldmann_07_size12/size-12-alpha-3-num-83.xml 11758273 s n1 +1 1 +0 0.14/0.06
Waldmann_07_size12/size-12-alpha-3-num-84.xml 11758269 s n1 +1 1 +0 0.06/0.04
Waldmann_07_size12/size-12-alpha-3-num-85.xml 11758395 s n1 +1 1 +0 0.02/0.02
Waldmann_07_size12/size-12-alpha-3-num-86.xml 11758168 s n1 +1 1 +0 0.12/0.05
Waldmann_07_size12/size-12-alpha-3-num-88.xml 11758160 s n1 +1 1 +0 0.13/0.06
Waldmann_07_size12/size-12-alpha-3-num-9.xml 11758304 s n1 +1 1 +0 0.11/0.05
Waldmann_07_size12/size-12-alpha-3-num-90.xml 11758086 s n1 +1 1 +0 0.08/0.08
Waldmann_07_size12/size-12-alpha-3-num-91.xml 11758211 s n2 +1 1 +0 1.08/0.32
Waldmann_07_size12/size-12-alpha-3-num-92.xml 11758340 u +0 1 +0 636.50/296.07
Waldmann_07_size12/size-12-alpha-3-num-94.xml 11758399 s n1 +1 1 +0 0.07/0.07
Waldmann_07_size12/size-12-alpha-3-num-95.xml 11758349 s n1 +1 1 +0 0.07/0.06
Waldmann_07_size12/size-12-alpha-3-num-98.xml 11758201 s n1 +1 1 +0 0.14/0.06
Waldmann_07_size12/size-12-alpha-3-num-99.xml 11758097 s n1 +1 1 +0 0.08/0.04
CiME_04/ack_prolog.xml 11758438 u +0 1 +0 18.74/7.40
CiME_04/append-hard.xml 11758433 u +0 1 +0 16.11/7.16
CiME_04/append-wrong.xml 11758441 u +0 1 +0 17.26/7.78
CiME_04/append.xml 11758434 u +0 1 +0 12.72/5.33
CiME_04/big.xml 11758455 u timeout (wallclock)
CiME_04/boolean_rings.xml 11758454 u +0 1 +0 17.30/6.95
CiME_04/dpqs.xml 11758436 s n1 +1 1 +0 0.35/0.11
CiME_04/fact-hard.xml 11758443 u +0 1 +0 30.13/11.94
CiME_04/filliatre.xml 11758435 u +0 1 +0 1156.96/296.17
CiME_04/filliatre2.xml 11758448 u +0 1 +0 952.08/296.20
CiME_04/filliatre3.xml 11758451 u +0 1 +0 225.27/88.95
CiME_04/intersect.xml 11758450 u +0 1 +0 852.46/296.28
CiME_04/list-sum-prod-assoc-append.xml 11758440 u +0 1 +0 40.83/13.95
CiME_04/list-sum-prod-assoc.xml 11758456 u +0 1 +0 29.62/10.18
CiME_04/list-sum-prod-bin-assoc-distr-app.xml 11758445 u +0 1 +0 47.99/17.18
CiME_04/list-sum-prod-bin-assoc.xml 11758452 u +0 1 +0 34.31/11.31
CiME_04/list-sum-prod-bin.xml 11758447 u +0 1 +0 28.62/9.84
CiME_04/list-sum-prod.xml 11758432 u +0 1 +0 81.16/40.53
CiME_04/log2.xml 11758444 u +0 1 +0 101.17/42.25
CiME_04/lse.xml 11758449 u timeout (wallclock)
CiME_04/maude2.xml 11758437 u timeout (wallclock)
CiME_04/mucrl1.xml 11758442 u timeout (wallclock)
CiME_04/ternary-hard.xml 11758446 u +0 1 +0 42.61/14.89
CiME_04/ternary.xml 11758453 u +0 1 +0 39.27/13.39
CiME_04/tree.xml 11758439 u +0 1 +0 1024.16/296.06
AProVE_07/kabasci01.xml 11758005 u +0 1 +0 167.06/66.11
AProVE_07/kabasci02.xml 11758050 u +0 1 +0 927.54/296.13
AProVE_07/kabasci03.xml 11758024 s n1 +1 1 +0 0.32/0.12
AProVE_07/kabasci04.xml 11758025 u +0 1 +0 32.07/11.23
AProVE_07/kabasci05.xml 11758049 u +0 1 +0 42.65/15.68
AProVE_07/kabasci06.xml 11758007 u +0 1 +0 35.75/13.00
AProVE_07/otto01.xml 11758000 u +0 1 +0 782.25/296.29
AProVE_07/otto02.xml 11758047 u timeout (wallclock)
AProVE_07/otto03.xml 11758026 u +0 1 +0 20.95/9.09
AProVE_07/otto04.xml 11758028 u +0 1 +0 38.76/13.79
AProVE_07/otto05.xml 11758045 u +0 1 +0 25.92/10.43
AProVE_07/otto06.xml 11758002 u timeout (wallclock)
AProVE_07/otto07.xml 11758016 u +0 1 +0 14.15/6.18
AProVE_07/otto08.xml 11758004 u +0 1 +0 123.17/49.84
AProVE_07/otto09.xml 11758014 u +0 1 +0 46.83/17.72
AProVE_07/otto10.xml 11757991 u +0 1 +0 930.84/296.29
AProVE_07/otto11.xml 11758011 u +0 1 +0 45.12/18.29
AProVE_07/otto12.xml 11758040 u +0 1 +0 926.16/296.30
AProVE_07/otto13.xml 11758052 u +0 1 +0 33.57/11.22
AProVE_07/thiemann01.xml 11757990 u +0 1 +0 117.53/47.49
AProVE_07/thiemann02.xml 11758051 u timeout (wallclock)
AProVE_07/thiemann03.xml 11758039 u +0 1 +0 78.46/31.63
AProVE_07/thiemann04.xml 11758038 u timeout (wallclock)
AProVE_07/thiemann05.xml 11758053 u +0 1 +0 116.82/46.63
AProVE_07/thiemann06.xml 11757989 u +0 1 +0 1003.89/296.14
AProVE_07/thiemann07.xml 11758012 u +0 1 +0 976.04/296.95
AProVE_07/thiemann08.xml 11757988 u +0 1 +0 75.40/31.75
AProVE_07/thiemann09.xml 11758013 u +0 1 +0 57.20/21.10
AProVE_07/thiemann10.xml 11758001 u +0 1 +0 30.64/11.63
AProVE_07/thiemann11.xml 11758018 u +0 1 +0 853.38/296.28
AProVE_07/thiemann12.xml 11758027 u +0 1 +0 30.30/13.20
AProVE_07/thiemann13.xml 11758048 u +0 1 +0 404.30/164.65
AProVE_07/thiemann14.xml 11758046 u +0 1 +0 951.80/296.13
AProVE_07/thiemann15.xml 11758029 u +0 1 +0 27.34/11.46
AProVE_07/thiemann16.xml 11758017 u +0 1 +0 133.26/51.23
AProVE_07/thiemann17.xml 11758003 u +0 1 +0 56.83/21.23
AProVE_07/thiemann18.xml 11758015 u timeout (wallclock)
AProVE_07/thiemann19.xml 11758006 u +0 1 +0 21.58/7.93
AProVE_07/thiemann20.xml 11758030 u +0 1 +0 39.17/16.35
AProVE_07/thiemann21.xml 11758044 u timeout (wallclock)
AProVE_07/thiemann22.xml 11757997 u +0 1 +0 33.12/13.55
AProVE_07/thiemann23.xml 11758021 u +0 1 +0 949.75/296.13
AProVE_07/thiemann24.xml 11758020 u +0 1 +0 73.08/29.28
AProVE_07/thiemann25.xml 11757999 u +0 1 +0 65.13/27.42
AProVE_07/thiemann26.xml 11758043 u +0 1 +0 115.81/46.65
AProVE_07/thiemann27.xml 11758031 u +0 1 +0 16.16/7.05
AProVE_07/thiemann28.xml 11758042 u +0 1 +0 32.66/13.84
AProVE_07/thiemann29.xml 11758033 u +0 1 +0 412.98/166.40
AProVE_07/thiemann30.xml 11758054 u timeout (wallclock)
AProVE_07/thiemann31.xml 11758037 u +0 1 +0 763.84/296.31
AProVE_07/thiemann32.xml 11758009 u +0 1 +0 906.88/296.26
AProVE_07/thiemann33.xml 11757993 u +0 1 +0 49.53/18.97
AProVE_07/thiemann34.xml 11757992 u +0 1 +0 208.95/83.39
AProVE_07/thiemann35.xml 11758010 u +0 1 +0 207.04/87.81
AProVE_07/thiemann36.xml 11758036 u +0 1 +0 922.54/296.15
AProVE_07/thiemann37.xml 11758055 u timeout (wallclock)
AProVE_07/thiemann38.xml 11758035 u +0 1 +0 409.95/165.68
AProVE_07/thiemann39.xml 11758056 u +0 1 +0 57.33/22.09
AProVE_07/thiemann40.xml 11758008 u +0 1 +0 14.02/6.51
AProVE_07/thiemann41.xml 11757995 u +0 1 +0 213.56/86.47
AProVE_07/wiehe01.xml 11758022 u +0 1 +0 92.60/36.90
AProVE_07/wiehe02.xml 11758034 u +0 1 +0 163.15/65.88
AProVE_07/wiehe03.xml 11758041 u +0 1 +0 233.19/93.64
AProVE_07/wiehe05.xml 11758032 u +0 1 +0 104.47/41.78
AProVE_07/wiehe06.xml 11758023 u +0 1 +0 93.74/37.48
AProVE_07/wiehe07.xml 11757996 u +0 1 +0 104.98/41.90
AProVE_07/wiehe08.xml 11758019 u +0 1 +0 114.47/46.74
AProVE_07/wiehe09.xml 11757998 u +0 1 +0 113.67/46.01
AProVE_07/wiehe11.xml 11757994 u +0 1 +0 866.00/296.31
AProVE_07/wiehe12.xml 11758057 u +0 1 +0 1040.54/299.82
AotoYamada_05/001.xml 11758071 u +0 1 +0 10.18/3.99
AotoYamada_05/002.xml 11758074 u +0 1 +0 19.01/6.60
AotoYamada_05/003.xml 11758080 u +0 1 +0 20.63/7.49
AotoYamada_05/004.xml 11758081 u +0 1 +0 15.52/5.32
AotoYamada_05/005.xml 11758073 s n2 +1 1 +0 6.08/1.93
AotoYamada_05/006.xml 11758072 u +0 1 +0 20.39/7.37
AotoYamada_05/007.xml 11758063 u +0 1 +0 15.90/5.36
AotoYamada_05/009.xml 11758064 u +0 1 +0 19.86/6.55
AotoYamada_05/010.xml 11758066 u +0 1 +0 27.76/9.38
AotoYamada_05/011.xml 11758060 u +0 1 +0 20.77/6.90
AotoYamada_05/012.xml 11758085 u +0 1 +0 20.46/6.78
AotoYamada_05/013.xml 11758075 u +0 1 +0 21.77/7.34
AotoYamada_05/014.xml 11758076 u +0 1 +0 23.84/7.96
AotoYamada_05/015.xml 11758084 u +0 1 +0 27.75/10.18
AotoYamada_05/016.xml 11758062 u +0 1 +0 25.42/8.46
AotoYamada_05/017.xml 11758065 s n1 +1 1 +0 0.18/0.10
AotoYamada_05/019.xml 11758067 u +0 1 +0 8.76/3.74
AotoYamada_05/020.xml 11758083 u +0 1 +0 17.30/5.93
AotoYamada_05/021.xml 11758078 u +0 1 +0 26.92/9.35
AotoYamada_05/022.xml 11758069 u +0 1 +0 15.90/5.53
AotoYamada_05/023.xml 11758058 s n2 +1 1 +0 2.86/0.76
AotoYamada_05/024.xml 11758059 u +0 1 +0 13.62/5.34
AotoYamada_05/025.xml 11758068 s n1 +1 1 +0 0.06/0.03
AotoYamada_05/026.xml 11758079 u +0 1 +0 15.99/5.88
AotoYamada_05/027.xml 11758082 u +0 1 +0 17.40/5.91
AotoYamada_05/028.xml 11758077 u +0 1 +0 21.49/7.37
AotoYamada_05/Ex1SimplyTyped.xml 11758070 u +0 1 +0 15.44/5.23
AotoYamada_05/Ex5TermProof.xml 11758061 u +0 1 +0 24.96/9.10
Strategy_removed_AG01/#4.12a.xml 11757980 u +0 1 +0 5.55/2.37
Strategy_removed_AG01/#4.13.xml 11757969 s n1 +1 1 +0 0.41/0.13
Strategy_removed_AG01/#4.14.xml 11757968 u +0 1 +0 9.46/3.83
Strategy_removed_AG01/#4.15.xml 11757956 u +0 1 +0 14.27/6.29
Strategy_removed_AG01/#4.16.xml 11757979 u +0 1 +0 7.12/2.93
Strategy_removed_AG01/#4.17.xml 11757973 u +0 1 +0 1181.79/296.27
Strategy_removed_AG01/#4.18.xml 11757978 u +0 1 +0 1068.75/296.17
Strategy_removed_AG01/#4.19.xml 11757974 u +0 1 +0 13.19/5.65
Strategy_removed_AG01/#4.2.xml 11757970 u +0 1 +0 9.82/3.91
Strategy_removed_AG01/#4.20.xml 11757957 s n2 +1 1 +0 0.82/0.25
Strategy_removed_AG01/#4.20a.xml 11757965 s n2 +1 1 +0 2.53/0.66
Strategy_removed_AG01/#4.21.xml 11757967 s n1 +1 1 +0 4.16/1.07
Strategy_removed_AG01/#4.22.xml 11757971 u +0 1 +0 11.09/4.79
Strategy_removed_AG01/#4.23.xml 11757983 u +0 1 +0 16.46/6.39
Strategy_removed_AG01/#4.25.xml 11757972 u +0 1 +0 5.32/2.33
Strategy_removed_AG01/#4.26.xml 11757966 u +0 1 +0 18.36/8.49
Strategy_removed_AG01/#4.27.xml 11757958 u +0 1 +0 22.46/8.12
Strategy_removed_AG01/#4.28.xml 11757964 u +0 1 +0 1108.23/296.12
Strategy_removed_AG01/#4.29.xml 11757960 u +0 1 +0 29.29/10.11
Strategy_removed_AG01/#4.3.xml 11757982 s n1 +1 1 +0 0.14/0.06
Strategy_removed_AG01/#4.30.xml 11757962 u +0 1 +0 21.56/8.64
Strategy_removed_AG01/#4.30a.xml 11757961 u +0 1 +0 16.83/5.84
Strategy_removed_AG01/#4.30b.xml 11757975 u +0 1 +0 21.24/8.58
Strategy_removed_AG01/#4.30c.xml 11757986 u +0 1 +0 21.17/8.33
Strategy_removed_AG01/#4.32.xml 11757984 u +0 1 +0 15.06/6.02
Strategy_removed_AG01/#4.33.xml 11757977 u +0 1 +0 27.33/10.32
Strategy_removed_AG01/#4.34.xml 11757976 u +0 1 +0 28.29/14.24
Strategy_removed_AG01/#4.35.xml 11757985 u +0 1 +0 791.81/296.10
Strategy_removed_AG01/#4.36.xml 11757955 u +0 1 +0 429.13/172.90
Strategy_removed_AG01/#4.37.xml 11757963 s n1 +1 1 +0 0.24/0.08
Strategy_removed_AG01/#4.37a.xml 11757987 s n1 +1 1 +0 0.11/0.05
Strategy_removed_AG01/#4.4.xml 11757981 u +0 1 +0 6.97/3.09
Strategy_removed_AG01/#4.7.xml 11757959 u +0 1 +0 7.05/3.29
Strategy_removed_mixed_05/bn111.xml 11758766 u +0 1 +0 7.28/3.13
Strategy_removed_mixed_05/ex1.xml 11758771 u +0 1 +0 654.08/296.07
Strategy_removed_mixed_05/ex2.xml 11758767 u +0 1 +0 6.87/2.93
Strategy_removed_mixed_05/ex3.xml 11758765 u +0 1 +0 645.11/296.03
Strategy_removed_mixed_05/ex4.xml 11758764 u +0 1 +0 700.34/296.04
Strategy_removed_mixed_05/ex5.xml 11758768 u +0 1 +0 683.51/296.10
Strategy_removed_mixed_05/ex6.xml 11758770 u +0 1 +0 11.23/4.79
Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml 11758761 u +0 1 +0 37.56/13.11
Strategy_removed_mixed_05/gkg.xml 11758774 u +0 1 +0 8.09/3.23
Strategy_removed_mixed_05/muladd.xml 11758775 u +0 1 +0 9.69/3.64
Strategy_removed_mixed_05/n001.xml 11758778 u +0 1 +0 617.59/296.12
Strategy_removed_mixed_05/test10.xml 11758776 u +0 1 +0 12.19/5.60
Strategy_removed_mixed_05/test75.xml 11758772 u +0 1 +0 6.63/2.75
Strategy_removed_mixed_05/test76.xml 11758769 u +0 1 +0 10.85/4.52
Strategy_removed_mixed_05/test77.xml 11758763 u +0 1 +0 10.36/4.43
Strategy_removed_mixed_05/test830.xml 11758762 s n1 +1 1 +0 0.47/0.14
Strategy_removed_mixed_05/test9.xml 11758773 u +0 1 +0 5.75/2.43
Strategy_removed_mixed_05/toyama.xml 11758777 u +0 1 +0 4.58/1.97
Strategy_removed_mixed_05/tricky1.xml 11758779 u +0 1 +0 17.23/6.04
AProVE_04/AAECC-ring.xml 11758790 u timeout (wallclock)
AProVE_04/AAECC.xml 11758795 u timeout (wallclock)
AProVE_04/fac.xml 11758799 u +0 1 +0 24.65/9.88
AProVE_04/forward_instantiation.xml 11758793 u +0 1 +0 5.13/2.16
AProVE_04/forward_instantiation2.xml 11758796 u +0 1 +0 5.39/2.26
AProVE_04/IJCAR_1.xml 11758782 u +0 1 +0 11.83/5.06
AProVE_04/IJCAR_12.xml 11758786 u +0 1 +0 21.08/8.27
AProVE_04/IJCAR_18.xml 11758801 u +0 1 +0 932.89/296.38
AProVE_04/IJCAR_26.xml 11758780 u +0 1 +0 861.12/296.28
AProVE_04/IJCAR_26a.xml 11758785 u +0 1 +0 855.19/296.21
AProVE_04/improved_usable.xml 11758781 u +0 1 +0 10.02/3.97
AProVE_04/improved_usable2.xml 11758800 u +0 1 +0 8.35/3.46
AProVE_04/JFP_Ex31.xml 11758797 u +0 1 +0 595.85/296.15
AProVE_04/JFP_Ex51.xml 11758787 u +0 1 +0 932.67/296.27
AProVE_04/Liveness6.1.xml 11758803 u +0 1 +0 1160.60/296.17
AProVE_04/Liveness6.2.xml 11758784 u +0 1 +0 1182.51/296.23
AProVE_04/Liveness6.3.xml 11758788 s n2 +1 1 +0 23.81/6.00
AProVE_04/Liveness6.4.xml 11758791 u +0 1 +0 1181.64/296.29
AProVE_04/Liveness8.xml 11758789 u +0 1 +0 1183.25/296.15
AProVE_04/Liveness_WRS.xml 11758798 s n3 +1 1 +0 524.92/136.34
AProVE_04/LPAR_intlist.xml 11758792 u +0 1 +0 795.54/296.20
AProVE_04/rta1.xml 11758802 u +0 1 +0 22.92/8.11
AProVE_04/rta2.xml 11758783 u +0 1 +0 6.20/2.66
AProVE_04/rta3.xml 11758794 u +0 1 +0 12.54/4.92
Various_04/02.xml 11758618 s n1 +1 1 +0 0.04/0.03
Various_04/03.xml 11758623 u +0 1 +0 7.64/3.02
Various_04/04.xml 11758624 u timeout (wallclock)
Various_04/05.xml 11758617 u timeout (wallclock)
Various_04/06.xml 11758639 u +0 1 +0 7.49/3.07
Various_04/07.xml 11758632 s n1 +1 1 +0 0.20/0.08
Various_04/08.xml 11758638 u timeout (wallclock)
Various_04/09.xml 11758633 u +0 1 +0 57.20/22.59
Various_04/10.xml 11758634 u +0 1 +0 103.25/39.60
Various_04/11.xml 11758631 u +0 1 +0 9.35/3.75
Various_04/12.xml 11758627 u +0 1 +0 21.77/7.38
Various_04/13.xml 11758619 u +0 1 +0 35.33/11.57
Various_04/14.xml 11758620 u +0 1 +0 987.38/299.43
Various_04/15.xml 11758626 u +0 1 +0 445.76/296.11
Various_04/18.xml 11758630 u +0 1 +0 168.14/94.35
Various_04/19.xml 11758635 u +0 1 +0 21.53/8.95
Various_04/21.xml 11758621 u +0 1 +0 646.21/296.33
Various_04/22.xml 11758637 u +0 1 +0 10.30/4.48
Various_04/23.xml 11758628 s n2 +1 1 +0 2.33/0.64
Various_04/24.xml 11758629 u +0 1 +0 1051.72/296.32
Various_04/25.xml 11758636 s n1 +1 1 +0 0.10/0.05
Various_04/26.xml 11758622 u +0 1 +0 14.25/6.32
Various_04/27.xml 11758625 s n1 +1 1 +0 0.03/0.03
SK90/2.01.xml 11758710 s n2 +1 1 +0 3.58/1.03
SK90/2.02.xml 11758697 u +0 1 +0 361.95/170.43
SK90/2.03.xml 11758657 s n2 +1 1 +0 2.87/0.74
SK90/2.04.xml 11758659 s n2 +1 1 +0 1.75/0.48
SK90/2.05.xml 11758696 u +0 1 +0 28.48/10.67
SK90/2.06.xml 11758711 s n2 +1 1 +0 2.43/0.66
SK90/2.07.xml 11758733 u +0 1 +0 17.63/7.64
SK90/2.08.xml 11758712 u +0 1 +0 17.24/7.36
SK90/2.09.xml 11758731 s n2 +1 1 +0 1.42/0.38
SK90/2.10.xml 11758719 u +0 1 +0 525.39/296.27
SK90/2.11.xml 11758756 s n2 +1 1 +0 2.63/0.68
SK90/2.12.xml 11758651 u +0 1 +0 19.47/7.94
SK90/2.13.xml 11758673 u +0 1 +0 12.48/5.48
SK90/2.14.xml 11758674 u +0 1 +0 509.61/296.25
SK90/2.15.xml 11758650 u +0 1 +0 11.60/5.11
SK90/2.16.xml 11758757 u +0 1 +0 16.15/6.45
SK90/2.17.xml 11758717 u +0 1 +0 13.31/5.41
SK90/2.18.xml 11758758 u +0 1 +0 11.38/5.78
SK90/2.19.xml 11758716 u +0 1 +0 21.34/8.89
SK90/2.20.xml 11758647 u +0 1 +0 13.39/5.42
SK90/2.21.xml 11758675 u +0 1 +0 11.52/4.93
SK90/2.22.xml 11758723 u +0 1 +0 15.65/6.78
SK90/2.23.xml 11758750 u +0 1 +0 21.08/8.01
SK90/2.24.xml 11758753 u +0 1 +0 13.66/6.72
SK90/2.25.xml 11758721 u +0 1 +0 16.89/7.54
SK90/2.26.xml 11758678 u +0 1 +0 32.22/11.10
SK90/2.27.xml 11758645 u +0 1 +0 28.91/12.66
SK90/2.28.xml 11758682 u +0 1 +0 10.25/4.55
SK90/2.29.xml 11758644 u +0 1 +0 42.66/16.12
SK90/2.30.xml 11758693 u +0 1 +0 14.14/6.00
SK90/2.31.xml 11758661 s n2 +1 1 +0 4.13/1.10
SK90/2.32.xml 11758739 u +0 1 +0 16.49/6.95
SK90/2.33.xml 11758705 s n2 +1 1 +0 2.78/0.81
SK90/2.34.xml 11758708 u +0 1 +0 24.98/16.72
SK90/2.35.xml 11758737 u +0 1 +0 11.24/5.05
SK90/2.36.xml 11758664 s n2 +1 1 +0 1.85/0.49
SK90/2.37.xml 11758691 u +0 1 +0 11.74/5.90
SK90/2.38.xml 11758667 s n2 +1 1 +0 3.40/0.89
SK90/2.39.xml 11758689 u +0 1 +0 578.97/296.16
SK90/2.40.xml 11758742 u +0 1 +0 13.83/5.92
SK90/2.41.xml 11758703 s n2 +1 1 +0 6.19/1.62
SK90/2.42.xml 11758686 u +0 1 +0 410.52/235.96
SK90/2.43.xml 11758669 u +0 1 +0 33.45/12.26
SK90/2.44.xml 11758666 u +0 1 +0 31.71/13.57
SK90/2.45.xml 11758688 u +0 1 +0 146.70/60.78
SK90/2.46.xml 11758701 s n2 +1 1 +0 1.82/0.48
SK90/2.47.xml 11758744 s n2 +1 1 +0 1.01/0.28
SK90/2.48.xml 11758706 s n1 +1 1 +0 0.31/0.15
SK90/2.49.xml 11758735 s n1 +1 1 +0 0.34/0.11
SK90/2.50.xml 11758726 u +0 1 +0 1094.05/296.15
SK90/2.51.xml 11758748 u +0 1 +0 9.76/4.15
SK90/2.52.xml 11758640 u +0 1 +0 23.14/7.75
SK90/2.53.xml 11758683 s n2 +1 1 +0 2.15/0.56
SK90/2.54.xml 11758680 s n2 +1 1 +0 1.11/0.30
SK90/2.55.xml 11758642 s n2 +1 1 +0 0.74/0.21
SK90/2.56.xml 11758745 s n1 +1 1 +0 0.06/0.04
SK90/2.57.xml 11758728 u +0 1 +0 18.10/7.03
SK90/2.58.xml 11758752 u +0 1 +0 6.11/2.53
SK90/2.59.xml 11758720 u +0 1 +0 7.74/3.72
SK90/2.60.xml 11758652 s n1 +1 1 +0 0.27/0.09
SK90/2.61.xml 11758671 s n1 +1 1 +0 4.98/1.28
SK90/4.01.xml 11758759 s n1 +1 1 +0 0.71/0.20
SK90/4.02.xml 11758654 u +0 1 +0 26.39/9.06
SK90/4.03.xml 11758670 u +0 1 +0 17.26/6.73
SK90/4.04.xml 11758672 s n2 +1 1 +0 1.81/0.50
SK90/4.05.xml 11758653 u +0 1 +0 12.56/5.42
SK90/4.06.xml 11758760 u +0 1 +0 18.80/7.67
SK90/4.07.xml 11758715 s n2 +1 1 +0 1.03/0.31
SK90/4.08.xml 11758755 s n2 +1 1 +0 0.83/0.26
SK90/4.09.xml 11758718 u +0 1 +0 14.38/5.74
SK90/4.10.xml 11758732 u +0 1 +0 14.98/6.05
SK90/4.11.xml 11758713 s n2 +1 1 +0 1.66/0.44
SK90/4.12.xml 11758699 s n2 +1 1 +0 1.74/0.46
SK90/4.13.xml 11758655 u +0 1 +0 22.26/8.09
SK90/4.14.xml 11758656 u +0 1 +0 23.65/9.52
SK90/4.15.xml 11758698 s n2 +1 1 +0 0.82/0.23
SK90/4.16.xml 11758714 s n1 +1 1 +0 0.30/0.10
SK90/4.17.xml 11758730 u +0 1 +0 29.52/15.85
SK90/4.18.xml 11758709 u +0 1 +0 22.70/8.96
SK90/4.19.xml 11758734 s n1 +1 1 +0 0.30/0.09
SK90/4.20.xml 11758687 u +0 1 +0 14.26/5.58
SK90/4.21.xml 11758665 u +0 1 +0 13.94/6.09
SK90/4.22.xml 11758743 u +0 1 +0 17.77/8.14
SK90/4.23.xml 11758700 u +0 1 +0 12.79/5.13
SK90/4.24.xml 11758702 u +0 1 +0 19.24/6.83
SK90/4.25.xml 11758741 s n2 +1 1 +0 2.09/0.56
SK90/4.26.xml 11758668 u +0 1 +0 529.59/296.26
SK90/4.27.xml 11758685 u +0 1 +0 1182.11/296.20
SK90/4.28.xml 11758662 u +0 1 +0 233.83/92.66
SK90/4.29.xml 11758694 s n2 +1 1 +0 9.80/2.48
SK90/4.30.xml 11758643 s n3 +1 1 +0 21.51/5.43
SK90/4.31.xml 11758681 u +0 1 +0 24.69/10.48
SK90/4.32.xml 11758729 u +0 1 +0 788.66/296.14
SK90/4.33.xml 11758746 s n1 +1 1 +0 0.06/0.02
SK90/4.34.xml 11758749 u +0 1 +0 812.83/296.12
SK90/4.35.xml 11758727 s n1 +1 1 +0 0.03/0.03
SK90/4.36.xml 11758684 s n1 +1 1 +0 0.03/0.03
SK90/4.37.xml 11758641 s n1 +1 1 +0 0.06/0.04
SK90/4.38.xml 11758677 s n2 +1 1 +0 6.20/1.58
SK90/4.39.xml 11758649 s n2 +1 1 +0 1.51/0.40
SK90/4.40.xml 11758722 u +0 1 +0 10.82/4.52
SK90/4.41.xml 11758754 u +0 1 +0 6.08/2.49
SK90/4.42.xml 11758646 u +0 1 +0 14.27/5.96
SK90/4.43.xml 11758679 u +0 1 +0 270.86/161.10
SK90/4.44.xml 11758676 s n1 +1 1 +0 0.07/0.04
SK90/4.45.xml 11758648 s n1 +1 1 +0 0.18/0.07
SK90/4.46.xml 11758751 s n1 +1 1 +0 0.18/0.06
SK90/4.47.xml 11758724 s n1 +1 1 +0 3.89/1.30
SK90/4.48.xml 11758747 s n1 +1 1 +0 0.47/0.14
SK90/4.49.xml 11758725 u +0 1 +0 9.51/4.22
SK90/4.50.xml 11758736 u +0 1 +0 4.19/1.77
SK90/4.51.xml 11758707 s n1 +1 1 +0 3.86/1.02
SK90/4.52.xml 11758690 s n2 +1 1 +0 5.30/1.36
SK90/4.53.xml 11758663 u +0 1 +0 46.67/26.11
SK90/4.54.xml 11758660 u +0 1 +0 16.20/6.00
SK90/4.55.xml 11758692 u +0 1 +0 4.09/1.75
SK90/4.56.xml 11758704 s n1 +1 1 +0 0.04/0.03
SK90/4.57.xml 11758738 u +0 1 +0 23.52/9.56
SK90/4.59.xml 11758740 u +0 1 +0 62.62/23.55
SK90/4.60.xml 11758695 u +0 1 +0 59.05/22.64
SK90/4.61.xml 11758658 u +0 1 +0 84.75/33.45
Trafo_06/dup01.xml 11758586 u timeout (cpu)
Trafo_06/dup05.xml 11758573 u +0 1 +0 1188.59/296.54
Trafo_06/dup06.xml 11758587 u +0 1 +0 1094.22/296.13
Trafo_06/dup07.xml 11758591 u +0 1 +0 1158.30/296.19
Trafo_06/dup08.xml 11758585 u +0 1 +0 1184.43/296.69
Trafo_06/dup09.xml 11758592 u +0 1 +0 1181.76/296.29
Trafo_06/dup10.xml 11758579 u timeout (cpu)
Trafo_06/dup11.xml 11758589 u +0 1 +0 1189.56/296.64
Trafo_06/dup12.xml 11758570 u +0 1 +0 1145.72/296.22
Trafo_06/dup13.xml 11758574 u +0 1 +0 1110.75/296.21
Trafo_06/dup14.xml 11758575 u +0 1 +0 1087.65/296.16
Trafo_06/dup15.xml 11758569 u +0 1 +0 1074.25/296.33
Trafo_06/dup16.xml 11758590 s n1 +1 1 +0 5.20/1.33
Trafo_06/dup17.xml 11758578 u +0 1 +0 347.65/92.86
Trafo_06/hom01.xml 11758566 u +0 1 +0 1102.31/296.14
Trafo_06/hom02.xml 11758594 s n1 +1 1 +0 0.04/0.03
Trafo_06/hom03.xml 11758584 u +0 1 +0 1189.85/296.35
Trafo_06/un02.xml 11758580 u timeout (cpu)
Trafo_06/un04.xml 11758588 u +0 1 +0 1113.12/296.19
Trafo_06/un05.xml 11758581 u +0 1 +0 1023.77/296.56
Trafo_06/un06.xml 11758577 u +0 1 +0 1053.92/296.54
Trafo_06/un07.xml 11758567 s n1 +1 1 +0 0.13/0.06
Trafo_06/un08.xml 11758576 u +0 1 +0 642.14/296.38
Trafo_06/un09.xml 11758568 u timeout (cpu)
Trafo_06/un10.xml 11758571 u +0 1 +0 1185.87/296.38
Trafo_06/un11.xml 11758565 u +0 1 +0 1181.41/296.64
Trafo_06/un12.xml 11758593 u +0 1 +0 1187.70/296.33
Trafo_06/un13.xml 11758583 u +0 1 +0 1186.84/297.05
Trafo_06/un14.xml 11758582 u +0 1 +0 1191.07/296.90
Trafo_06/un15.xml 11758595 u +0 1 +0 1184.15/297.28
Trafo_06/un16.xml 11758564 u +0 1 +0 1182.57/296.40
Trafo_06/un17.xml 11758572 u timeout (wallclock)
Trafo_06/un18.xml 11758563 u +0 1 +0 1161.31/296.42
Secret_07_SRS/dj.xml 11758602 u +0 1 +0 557.32/296.10
Secret_07_SRS/num-514.xml 11758600 u +0 1 +0 1129.15/296.22
Secret_07_SRS/num-515.xml 11758607 u +0 1 +0 945.74/296.23
Secret_07_SRS/num-518.xml 11758608 u +0 1 +0 1105.24/296.10
Secret_07_SRS/num-519.xml 11758613 u +0 1 +0 986.29/296.16
Secret_07_SRS/num-520.xml 11758605 u +0 1 +0 1143.51/296.13
Secret_07_SRS/num-521.xml 11758601 u +0 1 +0 1074.85/296.20
Secret_07_SRS/num-525.xml 11758614 u +0 1 +0 1129.50/296.19
Secret_07_SRS/num-527.xml 11758606 u +0 1 +0 1110.62/296.24
Secret_07_SRS/num-530.xml 11758596 u +0 1 +0 961.71/296.13
Secret_07_SRS/num-539.xml 11758597 u +0 1 +0 1028.41/296.03
Secret_07_SRS/x01.xml 11758611 u +0 1 +0 445.68/296.13
Secret_07_SRS/x02.xml 11758604 s n1 +1 1 +0 1.33/0.36
Secret_07_SRS/x03.xml 11758598 u +0 1 +0 908.71/296.16
Secret_07_SRS/x04.xml 11758599 u +0 1 +0 621.83/296.09
Secret_07_SRS/x05.xml 11758603 u +0 1 +0 1056.24/296.12
Secret_07_SRS/x06.xml 11758612 u +0 1 +0 822.15/296.18
Secret_07_SRS/x07.xml 11758615 u +0 1 +0 968.50/296.23
Secret_07_SRS/x08.xml 11758610 s n1 +1 1 +0 0.03/0.03
Secret_07_SRS/x09.xml 11758616 s n1 +1 1 +0 0.10/0.04
Secret_07_SRS/x10.xml 11758609 s n1 +1 1 +0 0.17/0.07
Secret_05_TRS/aprove1.xml 11758527 u +0 1 +0 29.13/10.01
Secret_05_TRS/aprove2.xml 11758547 u +0 1 +0 33.45/13.84
Secret_05_TRS/aprove3.xml 11758543 u +0 1 +0 21.36/8.15
Secret_05_TRS/aprove4.xml 11758542 u +0 1 +0 18.48/8.45
Secret_05_TRS/aprove5.xml 11758548 u +0 1 +0 33.55/11.48
Secret_05_TRS/cime1.xml 11758537 u +0 1 +0 627.38/281.84
Secret_05_TRS/cime2.xml 11758535 u +0 1 +0 23.78/10.01
Secret_05_TRS/cime3.xml 11758529 u +0 1 +0 216.93/87.19
Secret_05_TRS/cime4.xml 11758530 u +0 1 +0 13.09/5.39
Secret_05_TRS/cime5.xml 11758532 u timeout (wallclock)
Secret_05_TRS/matchbox1.xml 11758541 u +0 1 +0 6.78/2.88
Secret_05_TRS/matchbox2.xml 11758531 s n1 +1 1 +0 0.13/0.05
Secret_05_TRS/teparla1.xml 11758533 u +0 1 +0 452.97/284.25
Secret_05_TRS/teparla2.xml 11758536 u +0 1 +0 43.33/18.96
Secret_05_TRS/teparla3.xml 11758546 u +0 1 +0 43.91/17.97
Secret_05_TRS/tpa1.xml 11758528 u +0 1 +0 30.62/11.06
Secret_05_TRS/tpa2.xml 11758544 u +0 1 +0 25.84/9.39
Secret_05_TRS/tpa3.xml 11758540 u +0 1 +0 21.65/7.80
Secret_05_TRS/tpa4.xml 11758539 u +0 1 +0 27.67/10.29
Secret_05_TRS/tpa5.xml 11758545 u +0 1 +0 33.19/11.73
Secret_05_TRS/ttt1.xml 11758538 u +0 1 +0 13.22/5.03
Secret_05_TRS/ttt2.xml 11758534 u +0 1 +0 438.62/296.12
AProVE_09_Inductive/div.xml 11758559 u +0 1 +0 404.29/164.69
AProVE_09_Inductive/divhard.xml 11758561 u +0 1 +0 778.99/296.22
AProVE_09_Inductive/gcd.xml 11758551 u +0 1 +0 404.40/163.43
AProVE_09_Inductive/gcd2.xml 11758556 u +0 1 +0 855.27/296.24
AProVE_09_Inductive/gcdhard.xml 11758558 u +0 1 +0 30.10/10.60
AProVE_09_Inductive/log.xml 11758549 u +0 1 +0 21.61/7.45
AProVE_09_Inductive/maxsort.xml 11758554 u +0 1 +0 792.38/296.30
AProVE_09_Inductive/maxsortcondition.xml 11758557 u +0 1 +0 924.57/296.12
AProVE_09_Inductive/minsort.xml 11758560 u +0 1 +0 809.01/296.29
AProVE_09_Inductive/mod.xml 11758562 u +0 1 +0 74.33/29.85
AProVE_09_Inductive/qsort.xml 11758550 u +0 1 +0 934.91/296.32
AProVE_09_Inductive/qsortlast.xml 11758553 u +0 1 +0 860.07/296.28
AProVE_09_Inductive/qsortmiddle.xml 11758555 u +0 1 +0 976.36/296.92
AProVE_09_Inductive/zerolist.xml 11758552 u +0 1 +0 17.52/6.88
Waldmann_06_SRS/e.xml 11759648 s n1 +1 1 +0 191.57/48.07
Waldmann_06_SRS/jw1.xml 11759630 u +0 1 +0 1150.77/296.28
Waldmann_06_SRS/jw3.xml 11759641 u +0 1 +0 1180.02/296.26
Waldmann_06_SRS/jw4.xml 11759642 u timeout (wallclock)
Waldmann_06_SRS/jw5.xml 11759647 u timeout (wallclock)
Waldmann_06_SRS/pi.xml 11759634 s n1 +1 1 +0 1.03/0.30
Waldmann_06_SRS/sym-1.xml 11759631 s n1 +1 1 +0 0.44/0.14
Waldmann_06_SRS/sym-2.xml 11759646 u +0 1 +0 507.01/296.19
Waldmann_06_SRS/sym-4.xml 11759639 s n1 +1 1 +0 0.26/0.09
Waldmann_06_SRS/sym-5.xml 11759644 u +0 1 +0 952.64/296.28
Waldmann_06_SRS/sym-6.xml 11759633 u +0 1 +0 481.00/296.25
Waldmann_06_SRS/uni-1.xml 11759636 s n1 +1 1 +0 0.25/0.09
Waldmann_06_SRS/uni-2.xml 11759637 u +0 1 +0 818.37/296.61
Waldmann_06_SRS/uni-3.xml 11759645 u +0 1 +0 531.95/296.22
Waldmann_06_SRS/uni-4.xml 11759643 u +0 1 +0 812.13/296.39
Waldmann_06_SRS/uni-5.xml 11759638 u +0 1 +0 468.11/296.08
Waldmann_06_SRS/uni-6.xml 11759635 u +0 1 +0 1061.17/296.28
Waldmann_06_SRS/uni-7.xml 11759632 u +0 1 +0 1145.02/296.28
Waldmann_06_SRS/z086-variant.xml 11759640 u +0 1 +0 276.27/78.52
Bouchare_06/01.xml 11759657 s n1 +1 1 +0 0.18/0.07
Bouchare_06/02.xml 11759660 s n2 +1 1 +0 5.80/1.47
Bouchare_06/03.xml 11759663 u +0 1 +0 589.76/296.24
Bouchare_06/04.xml 11759664 s n1 +1 1 +0 0.07/0.04
Bouchare_06/05.xml 11759659 u +0 1 +0 680.92/296.25
Bouchare_06/06.xml 11759658 u +0 1 +0 1102.79/296.17
Bouchare_06/07.xml 11759652 u +0 1 +0 1087.51/296.31
Bouchare_06/08.xml 11759656 u +0 1 +0 1132.77/296.21
Bouchare_06/09.xml 11759653 u +0 1 +0 550.88/296.20
Bouchare_06/10.xml 11759655 u +0 1 +0 989.19/296.19
Bouchare_06/11.xml 11759650 s n1 +1 1 +0 0.29/0.10
Bouchare_06/12.xml 11759666 u +0 1 +0 612.66/296.26
Bouchare_06/13.xml 11759661 u +0 1 +0 793.11/296.21
Bouchare_06/14.xml 11759662 u +0 1 +0 664.14/296.21
Bouchare_06/15.xml 11759665 u +0 1 +0 581.50/296.26
Bouchare_06/16.xml 11759651 u +0 1 +0 524.31/296.22
Bouchare_06/17.xml 11759654 s n1 +1 1 +0 0.26/0.09
Bouchare_06/18.xml 11759649 u +0 1 +0 1046.86/296.23
AProVE_10/andIsNat.xml 11759584 u +0 1 +0 16.85/7.27
AProVE_10/challenge_fab.xml 11759583 u +0 1 +0 23.79/9.76
AProVE_10/double.xml 11759586 u +0 1 +0 10.50/4.48
AProVE_10/downfrom.xml 11759580 u +0 1 +0 15.21/6.93
AProVE_10/ex1.xml 11759588 u +0 1 +0 12.07/5.59
AProVE_10/ex2.xml 11759579 u +0 1 +0 12.38/5.58
AProVE_10/ex3.xml 11759581 u +0 1 +0 11.52/5.12
AProVE_10/ex4.xml 11759582 u +0 1 +0 31.57/12.35
AProVE_10/ex5.xml 11759578 s n1 +1 1 +0 0.14/0.06
AProVE_10/halfdouble.xml 11759590 u +0 1 +0 26.15/11.04
AProVE_10/isList.xml 11759587 u +0 1 +0 7.70/3.03
AProVE_10/isNat.xml 11759589 u +0 1 +0 7.95/3.32
AProVE_10/scnp.xml 11759577 u +0 1 +0 7.68/3.61
AProVE_10/Zantema06-03-modified.xml 11759585 u +0 1 +0 704.10/296.12
Secret_06_SRS/1-matchbox.xml 11759593 s n1 +1 1 +0 0.04/0.03
Secret_06_SRS/1.xml 11759621 s n1 +1 1 +0 0.04/0.03
Secret_06_SRS/10.xml 11759610 u +0 1 +0 1111.58/296.17
Secret_06_SRS/2-matchbox.xml 11759597 s n1 +1 1 +0 1.87/0.49
Secret_06_SRS/2.xml 11759599 u +0 1 +0 1031.72/296.23
Secret_06_SRS/3-matchbox.xml 11759595 u +0 1 +0 1183.38/296.21
Secret_06_SRS/3.xml 11759609 u +0 1 +0 605.00/296.27
Secret_06_SRS/5-matchbox.xml 11759600 u +0 1 +0 1150.36/296.23
Secret_06_SRS/5.xml 11759598 u +0 1 +0 845.06/296.24
Secret_06_SRS/6.xml 11759622 u +0 1 +0 1159.13/296.28
Secret_06_SRS/7.xml 11759614 u +0 1 +0 1099.83/296.14
Secret_06_SRS/8.xml 11759620 u +0 1 +0 1036.98/296.19
Secret_06_SRS/9.xml 11759615 u +0 1 +0 937.77/296.15
Secret_06_SRS/aprove00.xml 11759611 u +0 1 +0 1189.70/296.26
Secret_06_SRS/aprove01.xml 11759625 u timeout (wallclock)
Secret_06_SRS/aprove02.xml 11759601 u timeout (cpu)
Secret_06_SRS/aprove03.xml 11759608 u timeout (cpu)
Secret_06_SRS/aprove04.xml 11759607 u timeout (cpu)
Secret_06_SRS/aprove05.xml 11759602 u timeout (cpu)
Secret_06_SRS/aprove06.xml 11759624 u timeout (wallclock)
Secret_06_SRS/aprove07.xml 11759612 u timeout (wallclock)
Secret_06_SRS/aprove08.xml 11759623 u timeout (cpu)
Secret_06_SRS/aprove09.xml 11759613 u +0 1 +0 1182.44/296.21
Secret_06_SRS/multum1.xml 11759603 u +0 1 +0 1036.89/296.22
Secret_06_SRS/multum2.xml 11759618 u +0 1 +0 881.16/296.13
Secret_06_SRS/multum3.xml 11759626 u +0 1 +0 952.99/296.19
Secret_06_SRS/multum4.xml 11759628 u timeout (cpu)
Secret_06_SRS/multum5.xml 11759616 u +0 1 +0 883.69/296.42
Secret_06_SRS/multum6.xml 11759605 u +0 1 +0 1181.21/296.26
Secret_06_SRS/secr1.xml 11759592 s n1 +1 1 +0 0.13/0.06
Secret_06_SRS/secr10.xml 11759596 u +0 1 +0 1007.11/296.15
Secret_06_SRS/secr2.xml 11759629 s n1 +1 1 +0 0.08/0.05
Secret_06_SRS/secr3.xml 11759617 u +0 1 +0 1037.77/296.26
Secret_06_SRS/secr4.xml 11759619 u +0 1 +0 651.06/296.48
Secret_06_SRS/secr5.xml 11759627 s n1 +1 1 +0 0.40/0.12
Secret_06_SRS/secr6.xml 11759594 s n1 +1 1 +0 0.09/0.05
Secret_06_SRS/secr7.xml 11759604 s n1 +1 1 +0 0.06/0.04
Secret_06_SRS/secr8.xml 11759591 u +0 1 +0 1020.42/296.20
Secret_06_SRS/secr9.xml 11759606 u +0 1 +0 625.89/296.13
ICFP_2010/107193.xml 11759097 u timeout (cpu)
ICFP_2010/107220.xml 11759121 u timeout (cpu)
ICFP_2010/107236.xml 11759062 u timeout (cpu)
ICFP_2010/123759.xml 11759447 u timeout (cpu)
ICFP_2010/124211.xml 11759239 u timeout (cpu)
ICFP_2010/124269.xml 11759016 u timeout (cpu)
ICFP_2010/124791.xml 11758948 u timeout (cpu)
ICFP_2010/127538.xml 11759164 u timeout (cpu)
ICFP_2010/128056.xml 11758931 u timeout (cpu)
ICFP_2010/128182.xml 11759296 u timeout (cpu)
ICFP_2010/128280.xml 11759094 u timeout (cpu)
ICFP_2010/128430.xml 11758945 u timeout (cpu)
ICFP_2010/128486.xml 11759421 u timeout (cpu)
ICFP_2010/128515.xml 11759150 u timeout (cpu)
ICFP_2010/128550.xml 11759342 u timeout (cpu)
ICFP_2010/128620.xml 11758859 u timeout (cpu)
ICFP_2010/128691.xml 11759345 u timeout (cpu)
ICFP_2010/130161.xml 11759080 u timeout (cpu)
ICFP_2010/130304.xml 11759131 u timeout (cpu)
ICFP_2010/130472.xml 11759134 u timeout (cpu)
ICFP_2010/130962.xml 11758990 u timeout (cpu)
ICFP_2010/131633.xml 11759237 u timeout (cpu)
ICFP_2010/131982.xml 11758907 u timeout (cpu)
ICFP_2010/132235.xml 11759178 u timeout (cpu)
ICFP_2010/132478.xml 11759281 u timeout (cpu)
ICFP_2010/132540.xml 11759124 u timeout (cpu)
ICFP_2010/132611.xml 11758926 u timeout (cpu)
ICFP_2010/132622.xml 11759102 u timeout (cpu)
ICFP_2010/132720.xml 11759440 u timeout (cpu)
ICFP_2010/132738.xml 11759324 u timeout (cpu)
ICFP_2010/132782.xml 11759258 u timeout (cpu)
ICFP_2010/132833.xml 11758881 u timeout (cpu)
ICFP_2010/132848.xml 11758896 u timeout (cpu)
ICFP_2010/132864.xml 11759096 u timeout (cpu)
ICFP_2010/132920.xml 11759280 u timeout (cpu)
ICFP_2010/132957.xml 11758867 u timeout (cpu)
ICFP_2010/132969.xml 11759243 u timeout (cpu)
ICFP_2010/133010.xml 11759107 u timeout (cpu)
ICFP_2010/133079.xml 11759273 u timeout (cpu)
ICFP_2010/133159.xml 11759054 u timeout (wallclock)
ICFP_2010/133236.xml 11759272 u timeout (cpu)
ICFP_2010/133432.xml 11759202 u timeout (cpu)
ICFP_2010/133486.xml 11759411 u timeout (cpu)
ICFP_2010/133532.xml 11759290 u timeout (cpu)
ICFP_2010/133827.xml 11759022 u timeout (cpu)
ICFP_2010/133881.xml 11759429 u timeout (cpu)
ICFP_2010/134918.xml 11758960 u timeout (cpu)
ICFP_2010/135115.xml 11759214 u timeout (cpu)
ICFP_2010/135328.xml 11759191 u timeout (cpu)
ICFP_2010/135410.xml 11759182 u timeout (cpu)
ICFP_2010/135505.xml 11759146 u timeout (cpu)
ICFP_2010/135601.xml 11759415 u timeout (cpu)
ICFP_2010/135604.xml 11759034 u timeout (cpu)
ICFP_2010/135652.xml 11759093 u timeout (cpu)
ICFP_2010/135659.xml 11759334 u timeout (cpu)
ICFP_2010/135714.xml 11758878 u timeout (cpu)
ICFP_2010/135782.xml 11758919 u timeout (cpu)
ICFP_2010/135936.xml 11758998 u timeout (cpu)
ICFP_2010/136051.xml 11759274 u timeout (cpu)
ICFP_2010/136280.xml 11759409 u timeout (cpu)
ICFP_2010/136323.xml 11759357 u timeout (cpu)
ICFP_2010/136354.xml 11759123 u timeout (cpu)
ICFP_2010/136463.xml 11758941 u timeout (cpu)
ICFP_2010/136497.xml 11759065 u timeout (cpu)
ICFP_2010/136534.xml 11759139 u timeout (cpu)
ICFP_2010/136562.xml 11759071 u timeout (cpu)
ICFP_2010/136571.xml 11759364 u timeout (cpu)
ICFP_2010/136601.xml 11758879 u timeout (cpu)
ICFP_2010/136623.xml 11759142 u timeout (cpu)
ICFP_2010/136693.xml 11759445 u timeout (cpu)
ICFP_2010/136934.xml 11759156 u timeout (cpu)
ICFP_2010/137087.xml 11759110 u timeout (wallclock)
ICFP_2010/137136.xml 11759213 u timeout (cpu)
ICFP_2010/137316.xml 11758911 u timeout (cpu)
ICFP_2010/137404.xml 11758964 u timeout (cpu)
ICFP_2010/137621.xml 11758905 u timeout (cpu)
ICFP_2010/137623.xml 11759260 u timeout (cpu)
ICFP_2010/137715.xml 11759141 u timeout (wallclock)
ICFP_2010/137799.xml 11759387 u timeout (cpu)
ICFP_2010/137809.xml 11759321 u timeout (cpu)
ICFP_2010/137956.xml 11759329 u timeout (cpu)
ICFP_2010/138089.xml 11759020 u timeout (cpu)
ICFP_2010/138142.xml 11759376 u timeout (cpu)
ICFP_2010/138194.xml 11759372 u timeout (cpu)
ICFP_2010/138254.xml 11759283 u timeout (cpu)
ICFP_2010/138269.xml 11759413 u timeout (cpu)
ICFP_2010/138330.xml 11759262 u timeout (cpu)
ICFP_2010/138468.xml 11759085 u timeout (cpu)
ICFP_2010/138477.xml 11759046 u timeout (cpu)
ICFP_2010/138993.xml 11759089 u timeout (cpu)
ICFP_2010/139004.xml 11759049 u timeout (cpu)
ICFP_2010/139018.xml 11759172 u timeout (cpu)
ICFP_2010/139025.xml 11759325 u timeout (cpu)
ICFP_2010/139036.xml 11759019 u timeout (cpu)
ICFP_2010/139100.xml 11759190 u timeout (cpu)
ICFP_2010/139163.xml 11759224 u timeout (cpu)
ICFP_2010/139167.xml 11759009 u timeout (cpu)
ICFP_2010/139174.xml 11759313 u timeout (cpu)
ICFP_2010/139180.xml 11759291 u timeout (cpu)
ICFP_2010/139185.xml 11758861 u timeout (cpu)
ICFP_2010/139190.xml 11759350 u timeout (cpu)
ICFP_2010/139214.xml 11759145 u timeout (cpu)
ICFP_2010/139236.xml 11758874 u timeout (cpu)
ICFP_2010/139256.xml 11759353 u timeout (cpu)
ICFP_2010/139282.xml 11759098 u timeout (cpu)
ICFP_2010/139310.xml 11759277 u timeout (cpu)
ICFP_2010/139378.xml 11758980 u timeout (cpu)
ICFP_2010/140287.xml 11758965 u timeout (cpu)
ICFP_2010/140318.xml 11758872 u timeout (cpu)
ICFP_2010/140359.xml 11759012 u timeout (cpu)
ICFP_2010/140631.xml 11759117 u timeout (cpu)
ICFP_2010/140639.xml 11758995 u timeout (cpu)
ICFP_2010/140654.xml 11758857 u timeout (cpu)
ICFP_2010/140659.xml 11759396 u timeout (cpu)
ICFP_2010/140664.xml 11759223 u timeout (wallclock)
ICFP_2010/142142.xml 11759412 u timeout (cpu)
ICFP_2010/142146.xml 11758880 u timeout (cpu)
ICFP_2010/142150.xml 11758959 u timeout (wallclock)
ICFP_2010/142157.xml 11758961 u timeout (cpu)
ICFP_2010/147437.xml 11759316 u timeout (cpu)
ICFP_2010/148543.xml 11759217 u timeout (cpu)
ICFP_2010/149251.xml 11759135 u timeout (cpu)
ICFP_2010/149277.xml 11759393 u timeout (cpu)
ICFP_2010/149297.xml 11758895 u timeout (cpu)
ICFP_2010/149319.xml 11758893 u timeout (wallclock)
ICFP_2010/149361.xml 11759414 u timeout (cpu)
ICFP_2010/149415.xml 11759029 u timeout (cpu)
ICFP_2010/149633.xml 11759199 u timeout (cpu)
ICFP_2010/149713.xml 11759147 u timeout (cpu)
ICFP_2010/149849.xml 11759167 u timeout (cpu)
ICFP_2010/149915.xml 11759103 s n1 +1 1 +0 81.78/25.96
ICFP_2010/150067.xml 11759402 u timeout (cpu)
ICFP_2010/150188.xml 11759090 s n1 +1 1 +0 1.25/0.74
ICFP_2010/150258.xml 11759068 u timeout (cpu)
ICFP_2010/150468.xml 11758975 u timeout (cpu)
ICFP_2010/150630.xml 11759050 u timeout (cpu)
ICFP_2010/150725.xml 11759256 u timeout (cpu)
ICFP_2010/150815.xml 11759101 u timeout (wallclock)
ICFP_2010/150839.xml 11758892 s n1 +1 1 +0 7.86/2.65
ICFP_2010/150877.xml 11758871 u timeout (cpu)
ICFP_2010/151247.xml 11759267 u timeout (cpu)
ICFP_2010/152694.xml 11759159 u timeout (cpu)
ICFP_2010/152786.xml 11759171 u timeout (cpu)
ICFP_2010/152865.xml 11759416 u timeout (cpu)
ICFP_2010/152949.xml 11759227 u timeout (cpu)
ICFP_2010/153034.xml 11759166 u timeout (cpu)
ICFP_2010/153090.xml 11759177 u timeout (cpu)
ICFP_2010/153170.xml 11759057 u timeout (cpu)
ICFP_2010/153243.xml 11759149 u timeout (cpu)
ICFP_2010/153288.xml 11759426 u timeout (cpu)
ICFP_2010/153371.xml 11759042 u timeout (cpu)
ICFP_2010/153444.xml 11759300 u timeout (cpu)
ICFP_2010/157150.xml 11759349 u +0 1 +0 1184.80/296.25
ICFP_2010/157161.xml 11758942 u +0 1 +0 1184.02/296.39
ICFP_2010/157275.xml 11759301 u timeout (cpu)
ICFP_2010/157388.xml 11759194 u +0 1 +0 1184.93/296.45
ICFP_2010/157436.xml 11759446 u +0 1 +0 1183.23/296.47
ICFP_2010/157466.xml 11759184 u timeout (cpu)
ICFP_2010/157593.xml 11759173 u +0 1 +0 1183.05/296.31
ICFP_2010/157603.xml 11759242 u timeout (cpu)
ICFP_2010/157713.xml 11759377 u timeout (cpu)
ICFP_2010/158152.xml 11759038 u +0 1 +0 1182.40/296.38
ICFP_2010/158208.xml 11759269 u timeout (cpu)
ICFP_2010/158342.xml 11759116 u timeout (cpu)
ICFP_2010/158477.xml 11759208 u timeout (cpu)
ICFP_2010/158620.xml 11759251 u timeout (cpu)
ICFP_2010/159731.xml 11759111 s n2 +1 1 +0 121.26/30.44
ICFP_2010/160068.xml 11758891 u timeout (cpu)
ICFP_2010/160210.xml 11759278 u timeout (cpu)
ICFP_2010/160234.xml 11759198 u +0 1 +0 1188.65/297.67
ICFP_2010/160254.xml 11759004 u timeout (wallclock)
ICFP_2010/160263.xml 11759380 s n4 +1 1 +0 928.17/232.58
ICFP_2010/160324.xml 11759346 u timeout (wallclock)
ICFP_2010/160364.xml 11759302 u timeout (cpu)
ICFP_2010/160398.xml 11759395 u timeout (cpu)
ICFP_2010/160427.xml 11759360 u timeout (cpu)
ICFP_2010/160462.xml 11759148 u timeout (wallclock)
ICFP_2010/160475.xml 11758883 u timeout (cpu)
ICFP_2010/160660.xml 11759179 u timeout (wallclock)
ICFP_2010/161519.xml 11759180 u timeout (cpu)
ICFP_2010/161533.xml 11759236 u timeout (wallclock)
ICFP_2010/161593.xml 11759032 u timeout (wallclock)
ICFP_2010/161864.xml 11759432 u timeout (cpu)
ICFP_2010/161917.xml 11759175 u timeout (cpu)
ICFP_2010/161930.xml 11759030 u timeout (cpu)
ICFP_2010/162016.xml 11759186 u timeout (wallclock)
ICFP_2010/162075.xml 11759294 u timeout (cpu)
ICFP_2010/162095.xml 11759006 u timeout (cpu)
ICFP_2010/162244.xml 11758866 u timeout (cpu)
ICFP_2010/165713.xml 11759128 u timeout (cpu)
ICFP_2010/165755.xml 11758929 u timeout (wallclock)
ICFP_2010/165904.xml 11759011 u timeout (cpu)
ICFP_2010/165936.xml 11759067 u timeout (cpu)
ICFP_2010/165975.xml 11759244 u timeout (cpu)
ICFP_2010/166001.xml 11759241 u timeout (cpu)
ICFP_2010/166465.xml 11758910 u timeout (cpu)
ICFP_2010/166493.xml 11759356 u timeout (cpu)
ICFP_2010/166558.xml 11759132 u timeout (cpu)
ICFP_2010/166848.xml 11758994 u timeout (cpu)
ICFP_2010/167041.xml 11759112 u timeout (wallclock)
ICFP_2010/167087.xml 11758875 u timeout (cpu)
ICFP_2010/167240.xml 11759130 s n1 +1 1 +0 5.56/1.74
ICFP_2010/167294.xml 11759331 u timeout (wallclock)
ICFP_2010/167310.xml 11758947 s n1 +1 1 +0 1.00/0.49
ICFP_2010/167391.xml 11759048 u timeout (wallclock)
ICFP_2010/167433.xml 11759399 u timeout (cpu)
ICFP_2010/167452.xml 11759104 u timeout (cpu)
ICFP_2010/167526.xml 11758886 s n1 +1 1 +0 48.50/12.48
ICFP_2010/167636.xml 11758906 u timeout (cpu)
ICFP_2010/167742.xml 11759086 u timeout (cpu)
ICFP_2010/180915.xml 11758943 u timeout (cpu)
ICFP_2010/182946.xml 11759187 u timeout (cpu)
ICFP_2010/183803.xml 11759303 u timeout (cpu)
ICFP_2010/184957.xml 11759308 u timeout (cpu)
ICFP_2010/185453.xml 11759336 u timeout (cpu)
ICFP_2010/185628.xml 11759188 u timeout (cpu)
ICFP_2010/186023.xml 11758888 u timeout (cpu)
ICFP_2010/186222.xml 11758868 u timeout (cpu)
ICFP_2010/186333.xml 11758903 u timeout (cpu)
ICFP_2010/186617.xml 11759219 u timeout (cpu)
ICFP_2010/186775.xml 11759337 u timeout (cpu)
ICFP_2010/186810.xml 11759343 u timeout (cpu)
ICFP_2010/186919.xml 11759433 u timeout (cpu)
ICFP_2010/186973.xml 11759304 u timeout (cpu)
ICFP_2010/187254.xml 11758999 u timeout (cpu)
ICFP_2010/187837.xml 11759326 u timeout (cpu)
ICFP_2010/188004.xml 11758933 u timeout (cpu)
ICFP_2010/188238.xml 11759133 u timeout (cpu)
ICFP_2010/188261.xml 11758876 u timeout (cpu)
ICFP_2010/188296.xml 11759200 u timeout (cpu)
ICFP_2010/188674.xml 11759072 u timeout (wallclock)
ICFP_2010/188696.xml 11758920 u timeout (cpu)
ICFP_2010/211471.xml 11759137 u timeout (cpu)
ICFP_2010/211639.xml 11759138 u timeout (wallclock)
ICFP_2010/211857.xml 11759379 s n2 +1 1 +0 108.64/27.25
ICFP_2010/211915.xml 11759115 u +0 1 +0 1182.21/296.22
ICFP_2010/211960.xml 11759091 u +0 1 +0 1183.52/296.30
ICFP_2010/211978.xml 11759056 s n3 +1 1 +0 392.23/98.27
ICFP_2010/212026.xml 11759144 u +0 1 +0 1182.58/296.28
ICFP_2010/212037.xml 11759028 u +0 1 +0 1184.55/296.36
ICFP_2010/212043.xml 11758924 u +0 1 +0 1184.00/296.31
ICFP_2010/212062.xml 11759165 s n2 +1 1 +0 37.96/9.54
ICFP_2010/212094.xml 11759013 u +0 1 +0 1184.32/296.47
ICFP_2010/212117.xml 11759247 s n1 +1 1 +0 13.68/3.51
ICFP_2010/212189.xml 11759404 s n3 +1 1 +0 377.06/94.47
ICFP_2010/212263.xml 11759204 s n3 +1 1 +0 225.53/56.55
ICFP_2010/212308.xml 11759361 u +0 1 +0 1183.55/296.27
ICFP_2010/212364.xml 11759297 u +0 1 +0 1182.38/296.29
ICFP_2010/212421.xml 11759435 u +0 1 +0 1182.04/296.26
ICFP_2010/212480.xml 11759033 u +0 1 +0 1182.92/296.36
ICFP_2010/212534.xml 11758864 u +0 1 +0 1185.97/297.12
ICFP_2010/212612.xml 11759425 u +0 1 +0 1190.59/297.98
ICFP_2010/212693.xml 11759185 s n2 +1 1 +0 86.60/21.73
ICFP_2010/212774.xml 11759061 u +0 1 +0 1183.35/296.65
ICFP_2010/212795.xml 11759419 s n1 +1 1 +0 10.12/2.59
ICFP_2010/212892.xml 11759210 s n3 +1 1 +0 82.87/20.80
ICFP_2010/213051.xml 11758918 u +0 1 +0 1184.35/296.49
ICFP_2010/213147.xml 11758862 u +0 1 +0 1182.80/296.24
ICFP_2010/213218.xml 11759017 s n3 +1 1 +0 525.47/131.85
ICFP_2010/213281.xml 11758863 s n3 +1 1 +0 331.25/83.18
ICFP_2010/213407.xml 11759282 s n4 +1 1 +0 506.72/127.03
ICFP_2010/213437.xml 11758912 u +0 1 +0 1183.12/296.33
ICFP_2010/213537.xml 11758985 s n3 +1 1 +0 667.25/167.37
ICFP_2010/213560.xml 11759026 u +0 1 +0 1182.47/296.35
ICFP_2010/213611.xml 11759312 u timeout (wallclock)
ICFP_2010/213719.xml 11759268 u +0 1 +0 1182.66/296.44
ICFP_2010/213865.xml 11759347 u +0 1 +0 1183.27/296.32
ICFP_2010/214011.xml 11759287 u +0 1 +0 1184.78/297.34
ICFP_2010/214091.xml 11759192 u +0 1 +0 1182.87/296.38
ICFP_2010/214169.xml 11759154 s n3 +1 1 +0 137.56/34.66
ICFP_2010/214183.xml 11759108 u +0 1 +0 1192.13/298.73
ICFP_2010/214261.xml 11759021 u +0 1 +0 1182.27/296.21
ICFP_2010/214320.xml 11758937 s n2 +1 1 +0 10.51/2.67
ICFP_2010/230780.xml 11759307 u timeout (wallclock)
ICFP_2010/230819.xml 11759405 u timeout (cpu)
ICFP_2010/230948.xml 11759381 u timeout (cpu)
ICFP_2010/231043.xml 11758956 u timeout (cpu)
ICFP_2010/231149.xml 11759384 u timeout (cpu)
ICFP_2010/231230.xml 11758996 u timeout (wallclock)
ICFP_2010/231300.xml 11759299 u timeout (cpu)
ICFP_2010/231378.xml 11759081 u timeout (cpu)
ICFP_2010/231480.xml 11759153 u timeout (wallclock)
ICFP_2010/231604.xml 11759422 u timeout (wallclock)
ICFP_2010/24100.xml 11758953 u timeout (cpu)
ICFP_2010/246924.xml 11759003 u timeout (cpu)
ICFP_2010/247020.xml 11759363 u timeout (wallclock)
ICFP_2010/247254.xml 11759332 u timeout (wallclock)
ICFP_2010/247504.xml 11759059 u timeout (cpu)
ICFP_2010/247906.xml 11759367 u timeout (cpu)
ICFP_2010/247992.xml 11759024 u timeout (wallclock)
ICFP_2010/248060.xml 11759386 u timeout (wallclock)
ICFP_2010/249386.xml 11759448 u timeout (cpu)
ICFP_2010/249459.xml 11758923 u timeout (cpu)
ICFP_2010/249663.xml 11758902 u timeout (wallclock)
ICFP_2010/25192.xml 11758858 s n1 +1 1 +0 6.31/2.93
ICFP_2010/25388.xml 11759320 u timeout (cpu)
ICFP_2010/25395.xml 11759002 u timeout (cpu)
ICFP_2010/25409.xml 11759044 u timeout (cpu)
ICFP_2010/25416.xml 11759088 u timeout (cpu)
ICFP_2010/25422.xml 11758930 u timeout (cpu)
ICFP_2010/254704.xml 11759176 u timeout (cpu)
ICFP_2010/25711.xml 11758855 u timeout (cpu)
ICFP_2010/25726.xml 11759231 u timeout (cpu)
ICFP_2010/25731.xml 11759305 s n1 +1 1 +0 117.89/29.69
ICFP_2010/25734.xml 11759163 u timeout (cpu)
ICFP_2010/25736.xml 11759311 u timeout (cpu)
ICFP_2010/25743.xml 11759328 u timeout (cpu)
ICFP_2010/25775.xml 11758974 u timeout (cpu)
ICFP_2010/25808.xml 11758856 u timeout (cpu)
ICFP_2010/25849.xml 11759023 u timeout (cpu)
ICFP_2010/259405.xml 11759286 u timeout (cpu)
ICFP_2010/259625.xml 11758993 u timeout (wallclock)
ICFP_2010/26069.xml 11759410 u timeout (cpu)
ICFP_2010/26103.xml 11759394 u timeout (wallclock)
ICFP_2010/26105.xml 11759265 u timeout (cpu)
ICFP_2010/26110.xml 11759127 u timeout (cpu)
ICFP_2010/26116.xml 11758976 u timeout (cpu)
ICFP_2010/26123.xml 11758952 u timeout (cpu)
ICFP_2010/26127.xml 11759323 u timeout (cpu)
ICFP_2010/26130.xml 11759253 u timeout (cpu)
ICFP_2010/26132.xml 11758897 u timeout (cpu)
ICFP_2010/26186.xml 11759161 u timeout (cpu)
ICFP_2010/26226.xml 11759407 u timeout (cpu)
ICFP_2010/26291.xml 11759160 u timeout (wallclock)
ICFP_2010/262998.xml 11759430 u timeout (cpu)
ICFP_2010/263745.xml 11759355 u timeout (cpu)
ICFP_2010/264033.xml 11759125 u +0 1 +0 1184.94/296.42
ICFP_2010/264370.xml 11759428 s n1 +1 1 +0 0.42/0.17
ICFP_2010/264405.xml 11758921 s n1 +1 1 +0 2.71/0.70
ICFP_2010/26683.xml 11758962 u timeout (wallclock)
ICFP_2010/26741.xml 11759174 u timeout (cpu)
ICFP_2010/26845.xml 11758860 u timeout (cpu)
ICFP_2010/26862.xml 11759315 u timeout (cpu)
ICFP_2010/26871.xml 11759007 u timeout (cpu)
ICFP_2010/26875.xml 11759225 u timeout (cpu)
ICFP_2010/26879.xml 11758898 u timeout (cpu)
ICFP_2010/26882.xml 11758986 u timeout (cpu)
ICFP_2010/26886.xml 11759352 u timeout (cpu)
ICFP_2010/26896.xml 11759292 u timeout (cpu)
ICFP_2010/26903.xml 11759129 u timeout (cpu)
ICFP_2010/26910.xml 11759391 u timeout (cpu)
ICFP_2010/26916.xml 11759264 u timeout (cpu)
ICFP_2010/26919.xml 11759366 u timeout (cpu)
ICFP_2010/26923.xml 11759255 u timeout (cpu)
ICFP_2010/26927.xml 11759040 u timeout (cpu)
ICFP_2010/26931.xml 11759140 u timeout (cpu)
ICFP_2010/26933.xml 11759327 u timeout (cpu)
ICFP_2010/26940.xml 11759220 u timeout (cpu)
ICFP_2010/26943.xml 11759157 u timeout (cpu)
ICFP_2010/26946.xml 11759309 u timeout (cpu)
ICFP_2010/26949.xml 11759195 u timeout (cpu)
ICFP_2010/26951.xml 11759229 u timeout (cpu)
ICFP_2010/26954.xml 11758917 u timeout (wallclock)
ICFP_2010/26957.xml 11759427 u timeout (cpu)
ICFP_2010/26960.xml 11759075 u timeout (cpu)
ICFP_2010/26965.xml 11759370 u timeout (cpu)
ICFP_2010/26969.xml 11759058 u timeout (cpu)
ICFP_2010/26972.xml 11759169 u timeout (cpu)
ICFP_2010/26974.xml 11759365 u timeout (cpu)
ICFP_2010/26976.xml 11759105 u timeout (cpu)
ICFP_2010/26978.xml 11759118 u timeout (cpu)
ICFP_2010/26980.xml 11759228 u timeout (cpu)
ICFP_2010/26986.xml 11759424 u timeout (cpu)
ICFP_2010/26993.xml 11758949 u timeout (cpu)
ICFP_2010/26998.xml 11759196 u timeout (cpu)
ICFP_2010/27001.xml 11759246 u timeout (cpu)
ICFP_2010/27003.xml 11758890 u timeout (cpu)
ICFP_2010/27006.xml 11759252 u timeout (cpu)
ICFP_2010/27009.xml 11759439 u timeout (cpu)
ICFP_2010/27013.xml 11759136 u timeout (cpu)
ICFP_2010/27015.xml 11758954 u timeout (cpu)
ICFP_2010/27019.xml 11759218 u timeout (cpu)
ICFP_2010/27023.xml 11759335 u timeout (cpu)
ICFP_2010/27026.xml 11759126 u timeout (cpu)
ICFP_2010/27028.xml 11759095 u timeout (cpu)
ICFP_2010/27030.xml 11759055 u timeout (wallclock)
ICFP_2010/27034.xml 11759276 u timeout (cpu)
ICFP_2010/27036.xml 11758877 u timeout (cpu)
ICFP_2010/27039.xml 11759083 u timeout (cpu)
ICFP_2010/27131.xml 11758955 u timeout (wallclock)
ICFP_2010/27134.xml 11759193 u timeout (cpu)
ICFP_2010/27213.xml 11758978 u timeout (cpu)
ICFP_2010/27235.xml 11759261 u timeout (wallclock)
ICFP_2010/27280.xml 11759207 u timeout (cpu)
ICFP_2010/28293.xml 11758968 u timeout (cpu)
ICFP_2010/28464.xml 11759099 u timeout (wallclock)
ICFP_2010/28643.xml 11759375 u timeout (cpu)
ICFP_2010/28838.xml 11759249 u timeout (cpu)
ICFP_2010/29415.xml 11759053 u timeout (cpu)
ICFP_2010/3268.xml 11759152 s n1 +1 1 +0 3.19/0.83
ICFP_2010/3336.xml 11758934 s n1 +1 1 +0 6.33/1.63
ICFP_2010/3385.xml 11759031 s n1 +1 1 +0 40.98/10.33
ICFP_2010/3450.xml 11759005 s n1 +1 1 +0 239.80/62.60
ICFP_2010/3467.xml 11759385 s n1 +1 1 +0 257.31/69.53
ICFP_2010/3498.xml 11758951 s n1 +1 1 +0 275.59/72.29
ICFP_2010/3533.xml 11759051 s n1 +1 1 +0 380.52/95.50
ICFP_2010/3562.xml 11759155 s n1 +1 1 +0 270.10/70.63
ICFP_2010/3589.xml 11758979 s n1 +1 1 +0 317.71/82.50
ICFP_2010/3633.xml 11758970 s n1 +1 1 +0 510.88/128.50
ICFP_2010/3680.xml 11759074 s n1 +1 1 +0 434.97/111.31
ICFP_2010/3705.xml 11759403 s n1 +1 1 +0 450.38/117.21
ICFP_2010/3729.xml 11759203 s n1 +1 1 +0 445.00/111.65
ICFP_2010/3746.xml 11758922 s n1 +1 1 +0 372.08/94.67
ICFP_2010/3762.xml 11759000 s n1 +1 1 +0 484.31/121.50
ICFP_2010/3770.xml 11759383 s n1 +1 1 +0 112.48/28.53
ICFP_2010/3786.xml 11758935 s n1 +1 1 +0 492.50/125.53
ICFP_2010/3817.xml 11759082 s n1 +1 1 +0 487.07/123.15
ICFP_2010/3831.xml 11759317 s n1 +1 1 +0 605.06/153.76
ICFP_2010/3842.xml 11759197 s n1 +1 1 +0 365.45/95.29
ICFP_2010/3856.xml 11758901 s n1 +1 1 +0 605.28/151.81
ICFP_2010/3861.xml 11759270 s n1 +1 1 +0 408.45/105.86
ICFP_2010/3865.xml 11759045 s n1 +1 1 +0 668.05/167.50
ICFP_2010/3916.xml 11758928 s n1 +1 1 +0 121.77/31.38
ICFP_2010/3927.xml 11759362 u timeout (cpu)
ICFP_2010/3930.xml 11759285 s n1 +1 1 +0 346.34/86.94
ICFP_2010/3939.xml 11759271 s n1 +1 1 +0 513.55/128.90
ICFP_2010/39830.xml 11759010 u timeout (cpu)
ICFP_2010/39849.xml 11759449 u +0 1 +0 1182.13/296.29
ICFP_2010/3989.xml 11758984 s n1 +1 1 +0 96.12/24.43
ICFP_2010/3995.xml 11759400 s n1 +1 1 +0 554.97/139.05
ICFP_2010/4002.xml 11759275 s n1 +1 1 +0 168.13/42.23
ICFP_2010/40033.xml 11759319 u timeout (cpu)
ICFP_2010/40093.xml 11758938 u timeout (cpu)
ICFP_2010/4017.xml 11759109 s n1 +1 1 +0 529.37/132.86
ICFP_2010/4029.xml 11759318 s n1 +1 1 +0 353.51/91.67
ICFP_2010/4036.xml 11759420 s n1 +1 1 +0 514.15/129.07
ICFP_2010/4046.xml 11759001 s n1 +1 1 +0 24.85/6.79
ICFP_2010/4051.xml 11758946 s n1 +1 1 +0 558.02/140.04
ICFP_2010/40540.xml 11758966 u timeout (cpu)
ICFP_2010/4057.xml 11759162 s n1 +1 1 +0 281.40/72.03
ICFP_2010/40708.xml 11758973 u timeout (cpu)
ICFP_2010/4074.xml 11759073 s n1 +1 1 +0 891.34/223.37
ICFP_2010/40976.xml 11759306 u timeout (cpu)
ICFP_2010/4106.xml 11759143 s n1 +1 1 +0 150.68/38.77
ICFP_2010/41378.xml 11759338 u timeout (cpu)
ICFP_2010/4141.xml 11759100 s n1 +1 1 +0 208.67/54.91
ICFP_2010/41427.xml 11758914 u timeout (cpu)
ICFP_2010/4157.xml 11759084 s n1 +1 1 +0 505.90/126.89
ICFP_2010/41688.xml 11759378 u timeout (cpu)
ICFP_2010/4181.xml 11759069 u timeout (cpu)
ICFP_2010/41838.xml 11758939 u +0 1 +0 1186.22/296.22
ICFP_2010/41843.xml 11758927 u +0 1 +0 1186.07/296.50
ICFP_2010/41865.xml 11759284 u timeout (cpu)
ICFP_2010/4200.xml 11759025 s n1 +1 1 +0 571.27/143.31
ICFP_2010/4206.xml 11758885 u timeout (wallclock)
ICFP_2010/42170.xml 11758991 u timeout (cpu)
ICFP_2010/42321.xml 11759043 u timeout (cpu)
ICFP_2010/42466.xml 11759257 u timeout (cpu)
ICFP_2010/4248.xml 11758870 s n1 +1 1 +0 409.05/104.92
ICFP_2010/42683.xml 11759250 u timeout (cpu)
ICFP_2010/4282.xml 11759354 s n1 +1 1 +0 419.21/109.55
ICFP_2010/4314.xml 11759392 s n1 +1 1 +0 358.84/91.47
ICFP_2010/43266.xml 11759289 u timeout (cpu)
ICFP_2010/43603.xml 11759064 u timeout (cpu)
ICFP_2010/43621.xml 11758936 u timeout (cpu)
ICFP_2010/43650.xml 11759322 u timeout (cpu)
ICFP_2010/4374.xml 11758997 s n1 +1 1 +0 348.09/87.55
ICFP_2010/43987.xml 11759434 u timeout (cpu)
ICFP_2010/4412.xml 11759076 s n1 +1 1 +0 429.88/109.57
ICFP_2010/44332.xml 11759295 u timeout (cpu)
ICFP_2010/4484.xml 11759039 s n1 +1 1 +0 356.90/89.50
ICFP_2010/4487.xml 11759248 s n1 +1 1 +0 355.43/89.23
ICFP_2010/45720.xml 11758977 u +0 1 +0 1188.40/296.41
ICFP_2010/45757.xml 11759170 u +0 1 +0 1184.04/296.43
ICFP_2010/45970.xml 11758873 u timeout (cpu)
ICFP_2010/4816.xml 11759266 s n1 +1 1 +0 471.02/120.17
ICFP_2010/4819.xml 11759368 u timeout (wallclock)
ICFP_2010/4824.xml 11759245 s n1 +1 1 +0 221.78/58.50
ICFP_2010/48262.xml 11758989 u +0 1 +0 1182.80/296.39
ICFP_2010/48267.xml 11759168 u +0 1 +0 1182.85/296.71
ICFP_2010/4827.xml 11759037 s n1 +1 1 +0 244.59/62.85
ICFP_2010/48328.xml 11759373 u timeout (cpu)
ICFP_2010/48374.xml 11758932 u timeout (cpu)
ICFP_2010/4840.xml 11759222 s n1 +1 1 +0 209.65/53.74
ICFP_2010/4847.xml 11759205 s n1 +1 1 +0 501.44/126.03
ICFP_2010/4854.xml 11758915 s n1 +1 1 +0 590.48/148.11
ICFP_2010/48686.xml 11759254 u timeout (cpu)
ICFP_2010/4893.xml 11758944 s n1 +1 1 +0 390.22/99.73
ICFP_2010/4920.xml 11759114 s n1 +1 1 +0 310.59/79.41
ICFP_2010/4934.xml 11759389 s n1 +1 1 +0 349.13/88.02
ICFP_2010/4938.xml 11759078 s n1 +1 1 +0 412.09/105.15
ICFP_2010/4943.xml 11759066 s n1 +1 1 +0 270.06/70.44
ICFP_2010/4953.xml 11758988 s n1 +1 1 +0 610.82/153.26
ICFP_2010/4964.xml 11759212 s n1 +1 1 +0 218.71/57.39
ICFP_2010/4970.xml 11758925 s n1 +1 1 +0 24.79/6.74
ICFP_2010/4979.xml 11758899 s n1 +1 1 +0 85.22/21.63
ICFP_2010/4991.xml 11759298 s n1 +1 1 +0 263.01/68.85
ICFP_2010/5011.xml 11759390 s n1 +1 1 +0 177.84/46.14
ICFP_2010/5076.xml 11758982 s n1 +1 1 +0 215.61/56.08
ICFP_2010/50904.xml 11759259 u timeout (wallclock)
ICFP_2010/5109.xml 11759441 s n1 +1 1 +0 459.62/117.06
ICFP_2010/5130.xml 11759052 s n1 +1 1 +0 598.84/150.41
ICFP_2010/51424.xml 11759211 u timeout (cpu)
ICFP_2010/51577.xml 11758950 u timeout (cpu)
ICFP_2010/51842.xml 11758908 u timeout (cpu)
ICFP_2010/53216.xml 11759106 u timeout (cpu)
ICFP_2010/54097.xml 11759397 u timeout (wallclock)
ICFP_2010/54532.xml 11758904 u timeout (wallclock)
ICFP_2010/54622.xml 11758887 u timeout (wallclock)
ICFP_2010/56144.xml 11759060 u timeout (wallclock)
ICFP_2010/57132.xml 11759087 u timeout (wallclock)
ICFP_2010/57278.xml 11759438 u timeout (cpu)
ICFP_2010/57355.xml 11759418 u +0 1 +0 1184.00/296.52
ICFP_2010/57453.xml 11759008 u timeout (cpu)
ICFP_2010/57799.xml 11759423 u timeout (cpu)
ICFP_2010/57852.xml 11758884 u timeout (cpu)
ICFP_2010/58125.xml 11758957 u timeout (cpu)
ICFP_2010/58194.xml 11759443 u +0 1 +0 1183.86/296.45
ICFP_2010/58221.xml 11759263 u timeout (cpu)
ICFP_2010/58301.xml 11759036 u +0 1 +0 1195.40/299.70
ICFP_2010/63142.xml 11758971 u timeout (cpu)
ICFP_2010/64160.xml 11759442 u timeout (cpu)
ICFP_2010/65081.xml 11759238 u timeout (wallclock)
ICFP_2010/68322.xml 11759310 u timeout (cpu)
ICFP_2010/68535.xml 11759120 u timeout (wallclock)
ICFP_2010/68989.xml 11759079 u timeout (wallclock)
ICFP_2010/81452.xml 11758900 u timeout (cpu)
ICFP_2010/84886.xml 11758969 u timeout (cpu)
ICFP_2010/84977.xml 11759340 u timeout (cpu)
ICFP_2010/85039.xml 11759279 u timeout (cpu)
ICFP_2010/85079.xml 11759230 u timeout (cpu)
ICFP_2010/85267.xml 11759183 u timeout (cpu)
ICFP_2010/85294.xml 11759408 u timeout (cpu)
ICFP_2010/85345.xml 11759339 u timeout (cpu)
ICFP_2010/85380.xml 11759047 u timeout (cpu)
ICFP_2010/85477.xml 11758940 u timeout (cpu)
ICFP_2010/85590.xml 11759444 u timeout (cpu)
ICFP_2010/85650.xml 11759234 u timeout (wallclock)
ICFP_2010/85675.xml 11759348 u timeout (cpu)
ICFP_2010/85721.xml 11759122 u timeout (cpu)
ICFP_2010/85749.xml 11759401 u timeout (cpu)
ICFP_2010/85782.xml 11759092 u timeout (cpu)
ICFP_2010/85834.xml 11759351 u timeout (cpu)
ICFP_2010/85874.xml 11759330 u timeout (cpu)
ICFP_2010/85920.xml 11759158 u timeout (wallclock)
ICFP_2010/86025.xml 11759221 u timeout (cpu)
ICFP_2010/86052.xml 11758963 u timeout (wallclock)
ICFP_2010/86452.xml 11759232 u timeout (cpu)
ICFP_2010/86499.xml 11758958 u timeout (cpu)
ICFP_2010/86526.xml 11759341 u timeout (cpu)
ICFP_2010/86559.xml 11758972 u timeout (cpu)
ICFP_2010/86577.xml 11759437 u timeout (cpu)
ICFP_2010/86617.xml 11759027 u timeout (cpu)
ICFP_2010/86636.xml 11759344 u timeout (cpu)
ICFP_2010/86745.xml 11759233 u timeout (cpu)
ICFP_2010/86816.xml 11759077 u timeout (cpu)
ICFP_2010/86857.xml 11758894 u timeout (cpu)
ICFP_2010/88143.xml 11759314 u timeout (cpu)
ICFP_2010/88156.xml 11758909 u timeout (cpu)
ICFP_2010/88172.xml 11758983 u timeout (cpu)
ICFP_2010/88183.xml 11759436 u timeout (cpu)
ICFP_2010/88208.xml 11758865 u timeout (cpu)
ICFP_2010/88283.xml 11759215 u timeout (cpu)
ICFP_2010/91210.xml 11758882 u timeout (cpu)
ICFP_2010/91218.xml 11759015 u timeout (cpu)
ICFP_2010/91233.xml 11758981 u timeout (cpu)
ICFP_2010/91242.xml 11759359 u timeout (cpu)
ICFP_2010/91254.xml 11759382 u timeout (cpu)
ICFP_2010/95858.xml 11759358 u timeout (cpu)
ICFP_2010/95899.xml 11759293 u timeout (wallclock)
ICFP_2010/95952.xml 11758889 u timeout (cpu)
ICFP_2010/95978.xml 11758992 u timeout (cpu)
ICFP_2010/96029.xml 11759041 u timeout (cpu)
ICFP_2010/96065.xml 11759406 u timeout (cpu)
ICFP_2010/96086.xml 11759417 u timeout (cpu)
ICFP_2010/96104.xml 11759014 u timeout (cpu)
ICFP_2010/96119.xml 11759333 u timeout (cpu)
ICFP_2010/96156.xml 11759181 u timeout (cpu)
ICFP_2010/96176.xml 11759018 u timeout (cpu)
ICFP_2010/96198.xml 11759288 u timeout (wallclock)
ICFP_2010/96224.xml 11759371 u timeout (cpu)
ICFP_2010/96239.xml 11759119 u timeout (cpu)
ICFP_2010/96256.xml 11759398 u timeout (cpu)
ICFP_2010/96274.xml 11759201 u timeout (cpu)
ICFP_2010/96289.xml 11759369 u timeout (cpu)
ICFP_2010/96302.xml 11759070 u timeout (cpu)
ICFP_2010/96334.xml 11759226 u timeout (wallclock)
ICFP_2010/96370.xml 11759063 u timeout (wallclock)
ICFP_2010/96403.xml 11759388 u timeout (wallclock)
ICFP_2010/96417.xml 11759113 u timeout (cpu)
ICFP_2010/96438.xml 11759431 u timeout (cpu)
ICFP_2010/96464.xml 11758987 u timeout (cpu)
ICFP_2010/96485.xml 11759209 u timeout (cpu)
ICFP_2010/96523.xml 11758869 u timeout (wallclock)
ICFP_2010/96563.xml 11758916 u timeout (cpu)
ICFP_2010/96612.xml 11759189 u timeout (cpu)
ICFP_2010/96642.xml 11759374 u timeout (cpu)
ICFP_2010/96673.xml 11758913 u timeout (cpu)
ICFP_2010/97885.xml 11759035 u timeout (cpu)
ICFP_2010/97888.xml 11759235 u timeout (cpu)
ICFP_2010/97901.xml 11759240 u timeout (cpu)
ICFP_2010/97917.xml 11759216 u timeout (cpu)
ICFP_2010/97929.xml 11758967 u timeout (cpu)
ICFP_2010/98362.xml 11759151 u timeout (cpu)
ICFP_2010/98623.xml 11759206 u timeout (cpu)
Zantema_04/syracuse.xml 11759509 u +0 1 +0 1181.52/296.20
Zantema_04/z001.xml 11759543 u +0 1 +0 1056.44/296.14
Zantema_04/z002.xml 11759492 s n1 +1 1 +0 0.24/0.11
Zantema_04/z003.xml 11759453 s n1 +1 1 +0 0.43/0.17
Zantema_04/z004.xml 11759452 s n1 +1 1 +0 0.55/0.22
Zantema_04/z005.xml 11759496 s n1 +1 1 +0 0.14/0.10
Zantema_04/z006.xml 11759542 s n2 +1 1 +0 1.35/0.36
Zantema_04/z007.xml 11759562 s n2 +1 1 +0 3.22/0.90
Zantema_04/z008.xml 11759540 u +0 1 +0 1179.40/296.14
Zantema_04/z009.xml 11759564 s n3 +1 1 +0 5.64/1.51
Zantema_04/z010.xml 11759512 u +0 1 +0 1142.17/296.16
Zantema_04/z011.xml 11759559 u +0 1 +0 1140.82/296.22
Zantema_04/z012.xml 11759477 s n1 +1 1 +0 0.12/0.05
Zantema_04/z013.xml 11759499 u +0 1 +0 946.17/296.17
Zantema_04/z014.xml 11759498 s n1 +1 1 +0 0.07/0.10
Zantema_04/z015.xml 11759479 u +0 1 +0 656.44/296.25
Zantema_04/z017.xml 11759513 u +0 1 +0 1069.58/296.12
Zantema_04/z018.xml 11759558 u +0 1 +0 1051.57/296.12
Zantema_04/z019.xml 11759515 u +0 1 +0 1016.12/296.26
Zantema_04/z020.xml 11759467 u +0 1 +0 1074.57/296.22
Zantema_04/z021.xml 11759511 u +0 1 +0 1070.30/296.36
Zantema_04/z022.xml 11759523 u +0 1 +0 918.61/296.25
Zantema_04/z023.xml 11759550 u +0 1 +0 889.71/296.23
Zantema_04/z024.xml 11759545 s n1 +1 1 +0 10.48/2.72
Zantema_04/z025.xml 11759524 s n2 +1 1 +0 7.09/1.86
Zantema_04/z026.xml 11759507 u +0 1 +0 1118.76/296.20
Zantema_04/z027.xml 11759468 s n1 +1 1 +0 2.45/0.64
Zantema_04/z028.xml 11759504 u +0 1 +0 1162.74/296.21
Zantema_04/z029.xml 11759470 s n1 +1 1 +0 4.55/1.17
Zantema_04/z030.xml 11759481 u +0 1 +0 1166.20/296.64
Zantema_04/z031.xml 11759465 u +0 1 +0 1193.13/299.43
Zantema_04/z032.xml 11759572 s n1 +1 1 +0 4.91/1.31
Zantema_04/z033.xml 11759532 s n1 +1 1 +0 16.44/4.15
Zantema_04/z034.xml 11759528 u +0 1 +0 1094.34/296.19
Zantema_04/z035.xml 11759573 u +0 1 +0 1096.15/296.26
Zantema_04/z036.xml 11759462 u +0 1 +0 1163.11/296.09
Zantema_04/z037.xml 11759482 s n1 +1 1 +0 5.56/1.44
Zantema_04/z038.xml 11759459 u +0 1 +0 1184.13/296.23
Zantema_04/z039.xml 11759484 s n1 +1 1 +0 9.81/2.51
Zantema_04/z040.xml 11759569 s n1 +1 1 +0 5.31/1.41
Zantema_04/z041.xml 11759534 u +0 1 +0 1164.17/296.27
Zantema_04/z042.xml 11759487 u timeout (cpu)
Zantema_04/z043.xml 11759457 s n1 +1 1 +0 7.78/2.05
Zantema_04/z044.xml 11759460 u +0 1 +0 1103.37/296.77
Zantema_04/z045.xml 11759485 s n1 +1 1 +0 116.61/29.31
Zantema_04/z046.xml 11759536 u +0 1 +0 1176.96/296.31
Zantema_04/z047.xml 11759566 s n1 +1 1 +0 9.62/2.63
Zantema_04/z048.xml 11759530 s n1 +1 1 +0 16.67/4.26
Zantema_04/z049.xml 11759575 s n1 +1 1 +0 0.19/0.11
Zantema_04/z050.xml 11759520 s n1 +1 1 +0 0.07/0.08
Zantema_04/z051.xml 11759552 s n1 +1 1 +0 0.12/0.05
Zantema_04/z052.xml 11759474 s n1 +1 1 +0 2.15/0.56
Zantema_04/z053.xml 11759503 s n1 +1 1 +0 1.72/0.47
Zantema_04/z054.xml 11759506 s n1 +1 1 +0 1.94/0.51
Zantema_04/z055.xml 11759472 s n1 +1 1 +0 0.13/0.05
Zantema_04/z056.xml 11759555 s n1 +1 1 +0 2.07/0.55
Zantema_04/z057.xml 11759518 s n1 +1 1 +0 2.30/0.65
Zantema_04/z058.xml 11759547 s n1 +1 1 +0 2.14/0.62
Zantema_04/z059.xml 11759526 s n1 +1 1 +0 2.54/0.70
Zantema_04/z060.xml 11759476 s n1 +1 1 +0 0.32/0.10
Zantema_04/z061.xml 11759500 s n1 +1 1 +0 1.73/0.45
Zantema_04/z062.xml 11759516 s n1 +1 1 +0 1.86/0.53
Zantema_04/z063.xml 11759556 s n1 +1 1 +0 0.25/0.08
Zantema_04/z064.xml 11759557 s n1 +1 1 +0 2.62/0.68
Zantema_04/z065.xml 11759514 u +0 1 +0 1178.08/296.17
Zantema_04/z066.xml 11759501 s n2 +1 1 +0 9.36/2.38
Zantema_04/z067.xml 11759475 s n2 +1 1 +0 13.19/3.34
Zantema_04/z068.xml 11759497 u +0 1 +0 659.51/296.38
Zantema_04/z069.xml 11759478 u +0 1 +0 974.18/296.12
Zantema_04/z070.xml 11759491 u +0 1 +0 652.56/296.12
Zantema_04/z071.xml 11759455 u +0 1 +0 567.19/296.22
Zantema_04/z072.xml 11759565 u +0 1 +0 1048.31/296.22
Zantema_04/z073.xml 11759538 u +0 1 +0 1183.13/296.43
Zantema_04/z074.xml 11759539 s n2 +1 1 +0 8.72/2.22
Zantema_04/z075.xml 11759563 u +0 1 +0 1183.52/296.44
Zantema_04/z076.xml 11759456 u +0 1 +0 457.63/296.20
Zantema_04/z077.xml 11759489 u +0 1 +0 1043.41/296.26
Zantema_04/z078.xml 11759451 u +0 1 +0 545.90/296.11
Zantema_04/z079.xml 11759495 u +0 1 +0 1182.06/296.21
Zantema_04/z080.xml 11759551 u +0 1 +0 441.20/296.09
Zantema_04/z081.xml 11759519 u +0 1 +0 1054.27/296.22
Zantema_04/z082.xml 11759502 u +0 1 +0 1097.45/296.26
Zantema_04/z083.xml 11759473 u +0 1 +0 1165.32/296.17
Zantema_04/z084.xml 11759471 s n2 +1 1 +0 7.06/1.80
Zantema_04/z085.xml 11759505 s n1 +1 1 +0 0.53/0.16
Zantema_04/z086.xml 11759517 u +0 1 +0 1180.98/296.10
Zantema_04/z087.xml 11759554 s n2 +1 1 +0 8.75/2.21
Zantema_04/z088.xml 11759525 u +0 1 +0 863.72/296.40
Zantema_04/z089.xml 11759546 u +0 1 +0 935.92/296.18
Zantema_04/z090.xml 11759535 u +0 1 +0 962.00/296.38
Zantema_04/z091.xml 11759570 u +0 1 +0 1183.26/296.23
Zantema_04/z092.xml 11759458 s n2 +1 1 +0 9.50/2.45
Zantema_04/z093.xml 11759488 s n2 +1 1 +0 3.26/0.84
Zantema_04/z094.xml 11759486 s n1 +1 1 +0 3.28/0.85
Zantema_04/z095.xml 11759461 s n1 +1 1 +0 2.79/0.75
Zantema_04/z096.xml 11759567 u +0 1 +0 1185.02/296.40
Zantema_04/z097.xml 11759537 s n1 +1 1 +0 12.35/3.13
Zantema_04/z098.xml 11759576 u +0 1 +0 1098.44/296.17
Zantema_04/z100.xml 11759548 u +0 1 +0 764.36/296.22
Zantema_04/z101.xml 11759527 s n1 +1 1 +0 2.33/0.68
Zantema_04/z102.xml 11759508 s n1 +1 1 +0 2.23/0.58
Zantema_04/z103.xml 11759469 u +0 1 +0 933.82/296.30
Zantema_04/z104.xml 11759466 s n1 +1 1 +0 0.22/0.11
Zantema_04/z105.xml 11759510 s n2 +1 1 +0 5.37/1.51
Zantema_04/z106.xml 11759522 s n1 +1 1 +0 0.10/0.08
Zantema_04/z107.xml 11759549 s n1 +1 1 +0 0.38/0.17
Zantema_04/z108.xml 11759521 s n1 +1 1 +0 3.76/1.01
Zantema_04/z109.xml 11759553 s n1 +1 1 +0 4.24/1.09
Zantema_04/z110.xml 11759529 u +0 1 +0 928.84/296.33
Zantema_04/z111.xml 11759574 s n2 +1 1 +0 11.81/3.04
Zantema_04/z112.xml 11759463 s n1 +1 1 +0 4.49/1.15
Zantema_04/z113.xml 11759483 u +0 1 +0 886.01/242.30
Zantema_04/z114.xml 11759480 u +0 1 +0 882.57/296.32
Zantema_04/z115.xml 11759464 s n2 +1 1 +0 28.90/7.28
Zantema_04/z116.xml 11759571 s n1 +1 1 +0 2.28/0.65
Zantema_04/z117.xml 11759531 u +0 1 +0 857.39/296.29
Zantema_04/z118.xml 11759568 s n2 +1 1 +0 7.58/2.00
Zantema_04/z119.xml 11759533 u +0 1 +0 1027.71/296.21
Zantema_04/z120.xml 11759450 s n1 +1 1 +0 0.15/0.12
Zantema_04/z121.xml 11759494 u +0 1 +0 1012.67/296.18
Zantema_04/z122.xml 11759541 u +0 1 +0 1158.11/296.42
Zantema_04/z123.xml 11759561 s n2 +1 1 +0 42.73/10.80
Zantema_04/z124.xml 11759560 s n2 +1 1 +0 7.77/2.03
Zantema_04/z125.xml 11759544 s n2 +1 1 +0 3.62/0.94
Zantema_04/z126.xml 11759493 s n1 +1 1 +0 2.20/0.62
Zantema_04/z127.xml 11759454 u +0 1 +0 1050.76/296.28
Zantema_04/z128.xml 11759490 u +0 1 +0 1132.71/296.27
Waldmann_07_size11/size-11-alpha-2-num-1.xml 11758822 s n1 +1 1 +0 0.07/0.09
Waldmann_07_size11/size-11-alpha-2-num-2.xml 11758816 s n1 +1 1 +0 0.04/0.03
Waldmann_07_size11/size-11-alpha-2-num-3.xml 11758804 s n1 +1 1 +0 0.13/0.11
Waldmann_07_size11/size-11-alpha-2-num-4.xml 11758805 s n1 +1 1 +0 0.07/0.08
Waldmann_07_size11/size-11-alpha-3-num-1.xml 11758820 u +0 1 +0 436.80/296.19
Waldmann_07_size11/size-11-alpha-3-num-10.xml 11758826 s n1 +1 1 +0 0.14/0.12
Waldmann_07_size11/size-11-alpha-3-num-11.xml 11758819 u +0 1 +0 643.98/296.22
Waldmann_07_size11/size-11-alpha-3-num-12.xml 11758811 u +0 1 +0 613.04/296.18
Waldmann_07_size11/size-11-alpha-3-num-13.xml 11758810 u +0 1 +0 717.25/296.15
Waldmann_07_size11/size-11-alpha-3-num-14.xml 11758809 u +0 1 +0 786.91/296.14
Waldmann_07_size11/size-11-alpha-3-num-15.xml 11758812 u +0 1 +0 401.53/296.03
Waldmann_07_size11/size-11-alpha-3-num-16.xml 11758818 s n1 +1 1 +0 0.12/0.05
Waldmann_07_size11/size-11-alpha-3-num-17.xml 11758827 s n1 +1 1 +0 0.11/0.11
Waldmann_07_size11/size-11-alpha-3-num-18.xml 11758817 s n1 +1 1 +0 0.20/0.07
Waldmann_07_size11/size-11-alpha-3-num-19.xml 11758828 s n1 +1 1 +0 0.06/0.11
Waldmann_07_size11/size-11-alpha-3-num-2.xml 11758815 u +0 1 +0 497.72/296.12
Waldmann_07_size11/size-11-alpha-3-num-20.xml 11758814 s n1 +1 1 +0 0.15/0.06
Waldmann_07_size11/size-11-alpha-3-num-21.xml 11758808 s n1 +1 1 +0 0.17/0.06
Waldmann_07_size11/size-11-alpha-3-num-3.xml 11758806 s n1 +1 1 +0 0.08/0.04
Waldmann_07_size11/size-11-alpha-3-num-4.xml 11758807 s n1 +1 1 +0 0.19/0.10
Waldmann_07_size11/size-11-alpha-3-num-5.xml 11758813 s n1 +1 1 +0 0.19/0.07
Waldmann_07_size11/size-11-alpha-3-num-6.xml 11758821 s n1 +1 1 +0 0.10/0.07
Waldmann_07_size11/size-11-alpha-3-num-7.xml 11758825 s n1 +1 1 +0 0.08/0.10
Waldmann_07_size11/size-11-alpha-3-num-8.xml 11758823 s n1 +1 1 +0 0.02/0.06
Waldmann_07_size11/size-11-alpha-3-num-9.xml 11758824 u +0 1 +0 449.72/296.19
Mixed_SRS/01-oppelt08.xml 11758838 s n2 +1 1 +0 2.19/0.57
Mixed_SRS/01.xml 11758830 u +0 1 +0 861.92/296.37
Mixed_SRS/02-oppelt08.xml 11758840 u +0 1 +0 1008.09/296.22
Mixed_SRS/02.xml 11758853 u +0 1 +0 1012.96/296.29
Mixed_SRS/03-oppelt08.xml 11758841 u +0 1 +0 902.26/296.25
Mixed_SRS/03.xml 11758845 u +0 1 +0 1002.09/296.61
Mixed_SRS/04-oppelt08.xml 11758849 u +0 1 +0 1035.37/296.21
Mixed_SRS/04.xml 11758844 u +0 1 +0 979.22/296.23
Mixed_SRS/05-oppelt08.xml 11758848 u +0 1 +0 1119.27/296.24
Mixed_SRS/05.xml 11758854 u +0 1 +0 976.98/296.40
Mixed_SRS/06-oppelt08.xml 11758842 u +0 1 +0 1133.59/296.20
Mixed_SRS/06.xml 11758829 u +0 1 +0 954.08/296.44
Mixed_SRS/07-oppelt08.xml 11758846 u +0 1 +0 1183.63/296.51
Mixed_SRS/07.xml 11758834 s n1 +1 1 +0 0.12/0.10
Mixed_SRS/08-oppelt08.xml 11758852 u +0 1 +0 1172.30/296.18
Mixed_SRS/08.xml 11758831 u +0 1 +0 701.00/296.40
Mixed_SRS/09.xml 11758833 u +0 1 +0 872.12/296.57
Mixed_SRS/1.xml 11758851 u +0 1 +0 1136.11/296.22
Mixed_SRS/2.xml 11758832 u +0 1 +0 1078.12/296.47
Mixed_SRS/3.xml 11758837 s n2 +1 1 +0 145.30/41.57
Mixed_SRS/4.xml 11758836 u +0 1 +0 1185.11/296.25
Mixed_SRS/s6.xml 11758835 s n2 +1 1 +0 149.75/38.38
Mixed_SRS/touzet.xml 11758850 s n1 +1 1 +0 0.11/0.09
Mixed_SRS/turing_add.xml 11758847 s n2 +1 1 +0 4.07/1.10
Mixed_SRS/turing_copy.xml 11758843 u +0 1 +0 1184.58/296.54
Mixed_SRS/turing_mult.xml 11758839 u +0 1 +0 1184.17/296.30
Rubio_04/aoto.xml 11759828 s n1 +1 1 +0 0.25/0.14
Rubio_04/bintrees.xml 11759842 s n2 +1 1 +0 4.35/1.12
Rubio_04/bn122.xml 11759826 u +0 1 +0 10.17/4.54
Rubio_04/bn129.xml 11759844 u +0 1 +0 291.19/170.44
Rubio_04/division.xml 11759825 u +0 1 +0 26.54/11.13
Rubio_04/elimdupl.xml 11759837 u +0 1 +0 51.93/28.03
Rubio_04/enno.xml 11759851 u +0 1 +0 1027.75/300.29
Rubio_04/gcd.xml 11759833 u +0 1 +0 30.19/12.79
Rubio_04/gm.xml 11759847 u +0 1 +0 17.26/6.86
Rubio_04/gmnp.xml 11759831 s n1 +1 1 +0 0.12/0.09
Rubio_04/koen.xml 11759850 s n1 +1 1 +0 0.59/0.17
Rubio_04/lescanne.xml 11759830 s n2 +1 1 +0 3.38/0.91
Rubio_04/lindau.xml 11759829 s n1 +1 1 +0 0.06/0.09
Rubio_04/logarquot.xml 11759835 u +0 1 +0 24.26/8.73
Rubio_04/ma96.xml 11759839 u +0 1 +0 801.70/296.21
Rubio_04/mfp90b.xml 11759845 s n1 +1 1 +0 0.10/0.05
Rubio_04/mfp95.xml 11759834 s n1 +1 1 +0 0.33/0.10
Rubio_04/nestrec.xml 11759824 u +0 1 +0 1090.23/296.14
Rubio_04/p266.xml 11759838 s n1 +1 1 +0 0.32/0.15
Rubio_04/polo2.xml 11759846 u +0 1 +0 59.06/21.73
Rubio_04/prov.xml 11759840 u +0 1 +0 11.75/5.26
Rubio_04/quick.xml 11759849 u +0 1 +0 425.00/172.12
Rubio_04/quotminus.xml 11759832 u +0 1 +0 22.70/9.55
Rubio_04/revlist.xml 11759848 u +0 1 +0 21.24/8.03
Rubio_04/selsort.xml 11759827 u +0 1 +0 933.77/296.41
Rubio_04/test4.xml 11759836 s n1 +1 1 +0 0.08/0.05
Rubio_04/test829.xml 11759843 s n1 +1 1 +0 0.39/0.12
Rubio_04/wst99.xml 11759841 u +0 1 +0 982.24/298.86
AProVE_06/div_notCeTermin.xml 11759857 u +0 1 +0 78.60/29.39
AProVE_06/div_notTermin.xml 11759865 u +0 1 +0 82.83/30.86
AProVE_06/factorial1.xml 11759854 u +0 1 +0 25.66/9.10
AProVE_06/factorial2.xml 11759862 u +0 1 +0 118.57/47.99
AProVE_06/identity.xml 11759863 u +0 1 +0 734.70/296.20
AProVE_06/logarithm.xml 11759856 u +0 1 +0 77.51/29.54
AProVE_06/mapHard.xml 11759860 u +0 1 +0 28.85/9.80
AProVE_06/modulo.xml 11759861 u +0 1 +0 33.21/13.83
AProVE_06/nonterm.xml 11759853 u +0 1 +0 926.58/296.17
AProVE_06/quicksort.xml 11759859 u timeout (wallclock)
AProVE_06/quot.xml 11759852 u +0 1 +0 25.28/11.29
AProVE_06/sizeChange.xml 11759858 u +0 1 +0 16.52/6.47
AProVE_06/tower.xml 11759855 u +0 1 +0 42.17/15.24
AProVE_06/tower_sizeChange.xml 11759864 u +0 1 +0 958.30/296.27
Applicative_05/BTreeMember.xml 11759783 u +0 1 +0 62.93/25.29
Applicative_05/Ex10Functional.xml 11759782 u +0 1 +0 44.49/15.44
Applicative_05/Ex2PrimRec.xml 11759774 u +0 1 +0 15.59/6.17
Applicative_05/Ex2_6_1Composition.xml 11759786 s n1 +1 1 +0 0.08/0.09
Applicative_05/Ex2_8_1ConstSubstFix.xml 11759763 u +0 1 +0 13.21/4.96
Applicative_05/Ex3Lists.xml 11759775 u +0 1 +0 23.31/8.20
Applicative_05/Ex4MapList.xml 11759772 u +0 1 +0 15.31/5.34
Applicative_05/Ex5Folding.xml 11759777 u +0 1 +0 24.43/7.90
Applicative_05/Ex5Sorting.xml 11759767 u +0 1 +0 52.57/18.81
Applicative_05/Ex6Folding.xml 11759765 u +0 1 +0 19.13/6.49
Applicative_05/Ex6Recursor.xml 11759770 u +0 1 +0 13.63/4.98
Applicative_05/Ex6_11.xml 11759781 u +0 1 +0 22.98/8.70
Applicative_05/Ex7OrdinalRec.xml 11759780 u +0 1 +0 36.68/14.33
Applicative_05/Ex7Sorting.xml 11759755 u +0 1 +0 53.05/19.91
Applicative_05/Ex7_9.xml 11759778 u +0 1 +0 49.20/17.64
Applicative_05/Ex8Polymorphic.xml 11759762 u +0 1 +0 19.53/6.78
Applicative_05/Ex9Maps.xml 11759764 u +0 1 +0 41.42/15.70
Applicative_05/Hamming.xml 11759784 u +0 1 +0 717.17/296.14
Applicative_05/mapDivMinus.xml 11759773 u +0 1 +0 27.94/10.14
Applicative_05/mapDivMinusHard.xml 11759760 u +0 1 +0 30.42/10.77
Applicative_05/nonTermF.xml 11759776 u +0 1 +0 16.61/5.71
Applicative_05/ReverseLastInit.xml 11759771 u +0 1 +0 324.04/296.21
Applicative_05/TakeDropWhile.xml 11759759 u +0 1 +0 36.21/13.36
Applicative_05/termMonTypes.xml 11759757 u +0 1 +0 12.28/4.86
Applicative_05/TreeFlatten.xml 11759769 u +0 1 +0 24.09/8.12
Applicative_05/TreeHeight.xml 11759758 u +0 1 +0 24.71/8.34
Applicative_05/TreeLevels.xml 11759756 u +0 1 +0 32.08/11.69
Applicative_05/TreeMap.xml 11759766 u +0 1 +0 18.33/6.39
Applicative_05/TreeSize.xml 11759761 u +0 1 +0 22.51/7.51
Applicative_05/TypeEx1.xml 11759768 u +0 1 +0 10.56/4.29
Applicative_05/TypeEx3.xml 11759785 u +0 1 +0 19.71/6.93
Applicative_05/TypeEx5.xml 11759779 u +0 1 +0 677.67/296.13
Strategy_removed_CSR_05/Ex14_AEGL02.xml 11759812 u +0 1 +0 9.97/4.21
Strategy_removed_CSR_05/Ex15_Luc98.xml 11759789 u +0 1 +0 32.87/15.23
Strategy_removed_CSR_05/Ex1_2_AEL03.xml 11759791 u +0 1 +0 402.91/164.28
Strategy_removed_CSR_05/Ex1_2_Luc02c.xml 11759820 u +0 1 +0 10.34/4.62
Strategy_removed_CSR_05/Ex1_GL02a.xml 11759813 u +0 1 +0 18.40/7.28
Strategy_removed_CSR_05/Ex1_GM03.xml 11759807 u +0 1 +0 20.51/8.37
Strategy_removed_CSR_05/Ex1_GM99.xml 11759817 u +0 1 +0 4.48/1.93
Strategy_removed_CSR_05/Ex1_Luc02b.xml 11759815 u +0 1 +0 25.65/15.67
Strategy_removed_CSR_05/Ex1_Zan97.xml 11759806 u +0 1 +0 800.22/296.19
Strategy_removed_CSR_05/Ex24_GM04.xml 11759805 u +0 1 +0 4.49/2.50
Strategy_removed_CSR_05/Ex26_Luc03b.xml 11759823 u +0 1 +0 37.22/16.14
Strategy_removed_CSR_05/Ex2_Luc03b.xml 11759788 u +0 1 +0 18.95/7.51
Strategy_removed_CSR_05/Ex3_12_Luc96a.xml 11759819 u +0 1 +0 10.53/4.73
Strategy_removed_CSR_05/Ex3_2_Luc97.xml 11759801 u +0 1 +0 25.24/10.28
Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml 11759793 u +0 1 +0 25.49/10.57
Strategy_removed_CSR_05/Ex49_GM04.xml 11759822 u +0 1 +0 23.98/8.50
Strategy_removed_CSR_05/Ex4_4_Luc96b.xml 11759818 u +0 1 +0 7.12/3.08
Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 11759814 u +0 1 +0 697.54/296.12
Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml 11759821 u +0 1 +0 39.15/16.69
Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml 11759792 u +0 1 +0 10.11/4.46
Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 11759803 u +0 1 +0 361.91/296.04
Strategy_removed_CSR_05/Ex4_Zan97.xml 11759800 u +0 1 +0 14.75/5.72
Strategy_removed_CSR_05/Ex5_7_Luc97.xml 11759787 u +0 1 +0 80.38/30.36
Strategy_removed_CSR_05/Ex5_Zan97.xml 11759802 u +0 1 +0 370.29/296.16
Strategy_removed_CSR_05/Ex6_15_AEL02.xml 11759808 u +0 1 +0 856.11/296.27
Strategy_removed_CSR_05/Ex6_9_Luc02c.xml 11759816 u +0 1 +0 15.63/7.95
Strategy_removed_CSR_05/Ex6_GM04.xml 11759799 u +0 1 +0 665.80/296.04
Strategy_removed_CSR_05/Ex6_Luc98.xml 11759790 u +0 1 +0 16.77/10.14
Strategy_removed_CSR_05/Ex7_BLR02.xml 11759797 u +0 1 +0 20.27/8.16
Strategy_removed_CSR_05/Ex8_BLR02.xml 11759795 u +0 1 +0 19.04/7.49
Strategy_removed_CSR_05/Ex9_BLR02.xml 11759796 u +0 1 +0 23.41/8.92
Strategy_removed_CSR_05/ExAppendixB_AEL03.xml 11759798 u +0 1 +0 932.40/296.39
Strategy_removed_CSR_05/ExConc_Zan97.xml 11759804 u +0 1 +0 644.16/296.12
Strategy_removed_CSR_05/ExIntrod_GM01.xml 11759810 u +0 1 +0 634.85/296.24
Strategy_removed_CSR_05/ExIntrod_GM04.xml 11759794 u +0 1 +0 562.77/296.11
Strategy_removed_CSR_05/ExIntrod_GM99.xml 11759809 u +0 1 +0 67.15/29.00
Strategy_removed_CSR_05/ExIntrod_Zan97.xml 11759811 u +0 1 +0 23.32/9.05
Zantema_06/01.xml 11759731 u +0 1 +0 813.46/296.41
Zantema_06/02.xml 11759710 u +0 1 +0 1121.84/296.36
Zantema_06/03.xml 11759716 u +0 1 +0 1051.93/296.20
Zantema_06/04.xml 11759715 u +0 1 +0 1143.76/296.24
Zantema_06/05.xml 11759711 u +0 1 +0 988.50/296.22
Zantema_06/06.xml 11759730 u +0 1 +0 1036.17/296.27
Zantema_06/07.xml 11759719 u +0 1 +0 638.96/296.22
Zantema_06/08.xml 11759727 u +0 1 +0 624.45/296.16
Zantema_06/09.xml 11759720 u +0 1 +0 1183.13/296.25
Zantema_06/10.xml 11759732 s n1 +1 1 +0 2.30/0.65
Zantema_06/11.xml 11759724 u +0 1 +0 1101.39/296.19
Zantema_06/12.xml 11759712 u +0 1 +0 1162.96/297.44
Zantema_06/13.xml 11759705 s n1 +1 1 +0 0.96/0.26
Zantema_06/14.xml 11759704 u +0 1 +0 966.77/296.14
Zantema_06/15.xml 11759713 s n1 +1 1 +0 0.56/0.22
Zantema_06/16.xml 11759723 s n1 +1 1 +0 0.07/0.09
Zantema_06/17.xml 11759733 s n1 +1 1 +0 0.99/0.33
Zantema_06/18.xml 11759722 s n1 +1 1 +0 3.20/0.91
Zantema_06/abc.xml 11759714 s n1 +1 1 +0 0.06/0.08
Zantema_06/beans1.xml 11759729 u +0 1 +0 1183.21/296.39
Zantema_06/beans2.xml 11759707 u +0 1 +0 1183.63/296.24
Zantema_06/beans3.xml 11759718 u +0 1 +0 1181.50/296.21
Zantema_06/beans4.xml 11759717 s n3 +1 1 +0 4.12/1.11
Zantema_06/beans5.xml 11759708 s n3 +1 1 +0 3.15/0.85
Zantema_06/beans6.xml 11759725 u +0 1 +0 1048.62/296.35
Zantema_06/beans7.xml 11759721 s n3 +1 1 +0 3.66/0.98
Zantema_06/loop1.xml 11759728 u +0 1 +0 597.50/296.28
Zantema_06/loop2.xml 11759706 u +0 1 +0 968.83/296.25
Zantema_06/while1.xml 11759709 u +0 1 +0 1184.24/296.35
Zantema_06/while2.xml 11759726 s n3 +1 1 +0 14.71/3.78
Der95/01.xml 11759752 s n1 +1 1 +0 0.88/0.25
Der95/02.xml 11759738 s n1 +1 1 +0 0.27/0.13
Der95/03.xml 11759743 s n1 +1 1 +0 0.02/0.06
Der95/04.xml 11759742 s n1 +1 1 +0 0.67/0.20
Der95/06.xml 11759751 u +0 1 +0 932.54/296.19
Der95/07.xml 11759746 s n2 +1 1 +0 1.42/0.42
Der95/08.xml 11759753 u +0 1 +0 26.80/11.74
Der95/09.xml 11759745 s n2 +1 1 +0 1.19/0.36
Der95/11.xml 11759748 u +0 1 +0 61.71/22.73
Der95/12.xml 11759741 u +0 1 +0 18.99/7.77
Der95/13.xml 11759734 u +0 1 +0 17.49/7.16
Der95/17.xml 11759754 u +0 1 +0 23.65/10.84
Der95/18.xml 11759749 u +0 1 +0 9.64/4.20
Der95/20.xml 11759739 u +0 1 +0 400.92/296.16
Der95/21.xml 11759735 u +0 1 +0 17.09/6.48
Der95/27.xml 11759740 s n2 +1 1 +0 2.03/0.56
Der95/28.xml 11759736 u +0 1 +0 11.23/5.11
Der95/30.xml 11759737 u +0 1 +0 16.23/6.07
Der95/31.xml 11759744 u +0 1 +0 18.15/7.40
Der95/32.xml 11759747 u +0 1 +0 20.02/7.75
Der95/33.xml 11759750 u +0 1 +0 31.63/13.27
Secret_07_TRS/1.xml 11759671 u +0 1 +0 507.59/296.08
Secret_07_TRS/2.xml 11759684 u +0 1 +0 211.63/78.09
Secret_07_TRS/3.xml 11759678 u +0 1 +0 289.39/124.62
Secret_07_TRS/4.xml 11759677 u +0 1 +0 373.11/296.06
Secret_07_TRS/5.xml 11759685 u +0 1 +0 492.63/229.71
Secret_07_TRS/7.xml 11759674 u +0 1 +0 900.97/296.27
Secret_07_TRS/aprove01.xml 11759681 u timeout (wallclock)
Secret_07_TRS/aprove02.xml 11759672 u timeout (wallclock)
Secret_07_TRS/aprove03.xml 11759668 u timeout (wallclock)
Secret_07_TRS/aprove04.xml 11759667 u timeout (wallclock)
Secret_07_TRS/aprove05.xml 11759673 u timeout (wallclock)
Secret_07_TRS/aprove06.xml 11759680 u +0 1 +0 953.17/296.19
Secret_07_TRS/aprove07.xml 11759687 u +0 1 +0 1004.33/297.88
Secret_07_TRS/aprove08.xml 11759682 u timeout (wallclock)
Secret_07_TRS/aprove09.xml 11759686 u timeout (wallclock)
Secret_07_TRS/aprove10.xml 11759679 u +0 1 +0 923.93/296.17
Secret_07_TRS/secret1.xml 11759683 u +0 1 +0 81.32/30.10
Secret_07_TRS/secret2.xml 11759670 u +0 1 +0 33.13/11.02
Secret_07_TRS/secret3.xml 11759675 u +0 1 +0 24.03/8.14
Secret_07_TRS/secret4.xml 11759676 u +0 1 +0 43.98/15.15
Secret_07_TRS/secret5.xml 11759669 u +0 1 +0 122.77/55.69
Secret_05_SRS/aprove1.xml 11759700 u +0 1 +0 549.49/296.25
Secret_05_SRS/aprove2.xml 11759690 u +0 1 +0 1092.74/297.93
Secret_05_SRS/aprove3.xml 11759693 u +0 1 +0 1070.25/296.17
Secret_05_SRS/aprove4.xml 11759694 u +0 1 +0 1020.88/296.26
Secret_05_SRS/aprove5.xml 11759689 u +0 1 +0 1063.42/296.35
Secret_05_SRS/jambox1.xml 11759688 s n1 +1 1 +0 0.03/0.10
Secret_05_SRS/jambox2.xml 11759703 u +0 1 +0 1028.56/296.19
Secret_05_SRS/jambox3.xml 11759698 s n1 +1 1 +0 0.10/0.05
Secret_05_SRS/jambox4.xml 11759699 u +0 1 +0 1032.25/296.25
Secret_05_SRS/jambox5.xml 11759702 s n1 +1 1 +0 0.75/0.22
Secret_05_SRS/matchbox1.xml 11759697 s n4 +1 1 +0 10.54/2.69
Secret_05_SRS/matchbox2.xml 11759692 s n1 +1 1 +0 3.00/0.85
Secret_05_SRS/torpa1.xml 11759691 u +0 1 +0 1046.52/297.95
Secret_05_SRS/torpa2.xml 11759701 u +0 1 +0 1076.09/296.31
Secret_05_SRS/torpa3.xml 11759695 s n1 +1 1 +0 0.34/0.11
Secret_05_SRS/torpa4.xml 11759696 u +0 1 +0 695.66/296.16
Secret_06_TRS/10.xml 11760052 s n1 +1 1 +0 0.22/0.11
Secret_06_TRS/2.xml 11760027 u +0 1 +0 1102.28/296.35
Secret_06_TRS/3.xml 11760036 u +0 1 +0 491.90/238.89
Secret_06_TRS/4.xml 11760037 u +0 1 +0 411.00/128.06
Secret_06_TRS/5.xml 11760026 s n1 +1 1 +0 0.02/0.02
Secret_06_TRS/6.xml 11760065 s n1 +1 1 +0 0.12/0.10
Secret_06_TRS/7.xml 11760053 u +0 1 +0 1044.69/296.20
Secret_06_TRS/8.xml 11760063 s n1 +1 1 +0 0.60/0.20
Secret_06_TRS/9.xml 11760056 s n1 +1 1 +0 0.32/0.10
Secret_06_TRS/addList.xml 11760062 u +0 1 +0 1027.09/297.50
Secret_06_TRS/cime1.xml 11760038 u +0 1 +0 28.36/9.91
Secret_06_TRS/divExp.xml 11760031 u +0 1 +0 20.20/7.17
Secret_06_TRS/division.xml 11760035 u +0 1 +0 72.02/29.38
Secret_06_TRS/double.xml 11760028 u +0 1 +0 31.06/10.41
Secret_06_TRS/gen-1.xml 11760029 s n1 +1 1 +0 0.18/0.08
Secret_06_TRS/gen-10.xml 11760051 u +0 1 +0 19.87/6.88
Secret_06_TRS/gen-14.xml 11760044 u +0 1 +0 31.10/11.73
Secret_06_TRS/gen-15.xml 11760030 u +0 1 +0 17.25/6.52
Secret_06_TRS/gen-17.xml 11760050 u +0 1 +0 34.74/14.25
Secret_06_TRS/gen-18.xml 11760057 u +0 1 +0 37.10/23.13
Secret_06_TRS/gen-22.xml 11760049 u +0 1 +0 41.84/15.07
Secret_06_TRS/gen-25.xml 11760047 u +0 1 +0 35.86/13.26
Secret_06_TRS/gen-28.xml 11760039 u +0 1 +0 30.53/13.10
Secret_06_TRS/gen-9.xml 11760043 u +0 1 +0 21.33/8.21
Secret_06_TRS/logarithm.xml 11760054 u +0 1 +0 41.55/17.76
Secret_06_TRS/nrOfNodes.xml 11760041 u +0 1 +0 123.91/48.84
Secret_06_TRS/reverse.xml 11760058 u +0 1 +0 55.81/20.59
Secret_06_TRS/sumList.xml 11760032 u +0 1 +0 397.76/162.81
Secret_06_TRS/times.xml 11760045 u +0 1 +0 923.68/296.10
Secret_06_TRS/toList.xml 11760055 u +0 1 +0 932.40/296.35
Secret_06_TRS/tpa01.xml 11760061 u +0 1 +0 14.53/5.47
Secret_06_TRS/tpa02.xml 11760033 u +0 1 +0 13.61/5.09
Secret_06_TRS/tpa03.xml 11760042 u +0 1 +0 16.53/6.55
Secret_06_TRS/tpa04.xml 11760040 u +0 1 +0 39.83/14.29
Secret_06_TRS/tpa05.xml 11760034 u +0 1 +0 59.11/23.11
Secret_06_TRS/tpa06.xml 11760060 u +0 1 +0 46.22/16.64
Secret_06_TRS/tpa07.xml 11760046 u +0 1 +0 31.00/11.47
Secret_06_TRS/tpa08.xml 11760059 u +0 1 +0 75.03/30.14
Secret_06_TRS/tpa09.xml 11760048 u +0 1 +0 285.60/125.20
Secret_06_TRS/tpa10.xml 11760064 u +0 1 +0 63.01/23.09
Transformed_CSR_04/Ex14_AEGL02_C.xml 11760387 u +0 1 +0 88.19/35.99
Transformed_CSR_04/Ex14_AEGL02_FR.xml 11760570 u +0 1 +0 25.07/11.05
Transformed_CSR_04/Ex14_AEGL02_GM.xml 11760267 u +0 1 +0 22.17/8.75
Transformed_CSR_04/Ex14_AEGL02_iGM.xml 11760089 u +0 1 +0 49.45/18.69
Transformed_CSR_04/Ex14_AEGL02_L.xml 11760467 u +0 1 +0 765.55/296.11
Transformed_CSR_04/Ex14_AEGL02_Z.xml 11760187 u +0 1 +0 21.13/8.82
Transformed_CSR_04/Ex14_Luc06_C.xml 11760351 u +0 1 +0 50.95/18.38
Transformed_CSR_04/Ex14_Luc06_FR.xml 11760523 u +0 1 +0 4.59/2.01
Transformed_CSR_04/Ex14_Luc06_GM.xml 11760318 u +0 1 +0 18.35/8.03
Transformed_CSR_04/Ex14_Luc06_iGM.xml 11760255 u +0 1 +0 34.50/13.99
Transformed_CSR_04/Ex14_Luc06_L.xml 11760498 s n1 +1 1 +0 0.07/0.07
Transformed_CSR_04/Ex15_Luc06_C.xml 11760239 u +0 1 +0 1183.98/296.44
Transformed_CSR_04/Ex15_Luc06_FR.xml 11760545 s n2 +1 1 +0 4.06/1.09
Transformed_CSR_04/Ex15_Luc06_GM.xml 11760300 s n2 +1 1 +0 4.03/1.12
Transformed_CSR_04/Ex15_Luc06_iGM.xml 11760425 s n2 +1 1 +0 35.08/8.90
Transformed_CSR_04/Ex15_Luc06_L.xml 11760079 u +0 1 +0 851.35/296.06
Transformed_CSR_04/Ex15_Luc06_Z.xml 11760559 s n1 +1 1 +0 0.27/0.13
Transformed_CSR_04/Ex15_Luc98_C.xml 11760250 u +0 1 +0 564.16/227.85
Transformed_CSR_04/Ex15_Luc98_FR.xml 11760311 u +0 1 +0 917.86/296.43
Transformed_CSR_04/Ex15_Luc98_GM.xml 11760531 u +0 1 +0 1010.37/296.10
Transformed_CSR_04/Ex15_Luc98_iGM.xml 11760111 u +0 1 +0 135.20/50.70
Transformed_CSR_04/Ex15_Luc98_L.xml 11760083 u +0 1 +0 0.01/0.02
Transformed_CSR_04/Ex15_Luc98_Z.xml 11760575 u +0 1 +0 925.75/296.44
Transformed_CSR_04/Ex16_Luc06_C.xml 11760401 u +0 1 +0 1002.43/296.07
Transformed_CSR_04/Ex16_Luc06_FR.xml 11760572 u +0 1 +0 4.84/2.08
Transformed_CSR_04/Ex16_Luc06_GM.xml 11760274 u +0 1 +0 13.47/4.99
Transformed_CSR_04/Ex16_Luc06_iGM.xml 11760146 u +0 1 +0 734.73/296.10
Transformed_CSR_04/Ex16_Luc06_L.xml 11760555 u +0 1 +0 685.24/296.18
Transformed_CSR_04/Ex18_Luc06_C.xml 11760326 s n3 +1 1 +0 801.24/200.85
Transformed_CSR_04/Ex18_Luc06_FR.xml 11760438 s n2 +1 1 +0 1.81/0.52
Transformed_CSR_04/Ex18_Luc06_GM.xml 11760136 s n2 +1 1 +0 6.00/1.55
Transformed_CSR_04/Ex18_Luc06_iGM.xml 11760519 s n2 +1 1 +0 21.24/5.36
Transformed_CSR_04/Ex18_Luc06_L.xml 11760150 s n1 +1 1 +0 0.02/0.03
Transformed_CSR_04/Ex18_Luc06_Z.xml 11760506 s n1 +1 1 +0 0.08/0.09
Transformed_CSR_04/Ex1_2_AEL03_C.xml 11760535 u +0 1 +0 964.88/296.14
Transformed_CSR_04/Ex1_2_AEL03_FR.xml 11760470 u +0 1 +0 946.94/296.18
Transformed_CSR_04/Ex1_2_AEL03_GM.xml 11760228 u timeout (wallclock)
Transformed_CSR_04/Ex1_2_AEL03_iGM.xml 11760358 u +0 1 +0 928.44/296.40
Transformed_CSR_04/Ex1_2_AEL03_L.xml 11760437 u +0 1 +0 0.01/0.10
Transformed_CSR_04/Ex1_2_AEL03_Z.xml 11760197 u +0 1 +0 921.60/296.17
Transformed_CSR_04/Ex1_2_Luc02c_C.xml 11760378 u +0 1 +0 84.54/34.29
Transformed_CSR_04/Ex1_2_Luc02c_FR.xml 11760315 u +0 1 +0 272.49/262.56
Transformed_CSR_04/Ex1_2_Luc02c_GM.xml 11760534 u +0 1 +0 21.52/9.37
Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml 11760116 u +0 1 +0 90.81/41.37
Transformed_CSR_04/Ex1_2_Luc02c_L.xml 11760458 u +0 1 +0 0.00/0.07
Transformed_CSR_04/Ex1_2_Luc02c_Z.xml 11760158 u +0 1 +0 11.90/5.24
Transformed_CSR_04/Ex1_GL02a_C.xml 11760361 u +0 1 +0 127.52/49.76
Transformed_CSR_04/Ex1_GL02a_FR.xml 11760431 u +0 1 +0 81.23/32.85
Transformed_CSR_04/Ex1_GL02a_GM.xml 11760148 u +0 1 +0 132.28/53.40
Transformed_CSR_04/Ex1_GL02a_iGM.xml 11760092 u +0 1 +0 265.90/126.33
Transformed_CSR_04/Ex1_GL02a_L.xml 11760512 u +0 1 +0 831.01/296.18
Transformed_CSR_04/Ex1_GL02a_Z.xml 11760139 u +0 1 +0 74.79/31.85
Transformed_CSR_04/Ex1_GM03_C.xml 11760209 u +0 1 +0 179.04/73.43
Transformed_CSR_04/Ex1_GM03_FR.xml 11760398 u +0 1 +0 71.16/36.90
Transformed_CSR_04/Ex1_GM03_GM.xml 11760069 u +0 1 +0 426.28/169.67
Transformed_CSR_04/Ex1_GM03_iGM.xml 11760128 u +0 1 +0 128.42/54.12
Transformed_CSR_04/Ex1_GM03_L.xml 11760109 u +0 1 +0 0.01/0.06
Transformed_CSR_04/Ex1_GM03_Z.xml 11760524 u +0 1 +0 22.22/8.68
Transformed_CSR_04/Ex1_GM99_C.xml 11760452 u +0 1 +0 62.07/37.42
Transformed_CSR_04/Ex1_GM99_FR.xml 11760203 u +0 1 +0 5.72/2.42
Transformed_CSR_04/Ex1_GM99_GM.xml 11760502 u +0 1 +0 10.59/4.64
Transformed_CSR_04/Ex1_GM99_iGM.xml 11760381 u +0 1 +0 22.09/9.17
Transformed_CSR_04/Ex1_GM99_L.xml 11760372 u +0 1 +0 776.30/296.18
Transformed_CSR_04/Ex1_Luc02b_C.xml 11760473 u +0 1 +0 194.38/84.73
Transformed_CSR_04/Ex1_Luc02b_FR.xml 11760480 u +0 1 +0 32.75/14.19
Transformed_CSR_04/Ex1_Luc02b_GM.xml 11760225 u +0 1 +0 57.19/21.86
Transformed_CSR_04/Ex1_Luc02b_iGM.xml 11760409 u +0 1 +0 57.94/20.93
Transformed_CSR_04/Ex1_Luc02b_L.xml 11760393 u +0 1 +0 0.01/0.07
Transformed_CSR_04/Ex1_Luc02b_Z.xml 11760278 u +0 1 +0 34.21/15.28
Transformed_CSR_04/Ex1_Luc04b_C.xml 11760412 u +0 1 +0 1170.25/296.24
Transformed_CSR_04/Ex1_Luc04b_FR.xml 11760110 u +0 1 +0 970.56/296.22
Transformed_CSR_04/Ex1_Luc04b_GM.xml 11760340 u +0 1 +0 1054.81/296.35
Transformed_CSR_04/Ex1_Luc04b_iGM.xml 11760518 u +0 1 +0 1183.75/296.24
Transformed_CSR_04/Ex1_Luc04b_L.xml 11760568 u +0 1 +0 0.01/0.10
Transformed_CSR_04/Ex1_Luc04b_Z.xml 11760066 u +0 1 +0 638.33/296.15
Transformed_CSR_04/Ex1_Zan97_C.xml 11760262 s n2 +1 1 +0 113.37/28.45
Transformed_CSR_04/Ex1_Zan97_FR.xml 11760521 u +0 1 +0 1060.73/296.14
Transformed_CSR_04/Ex1_Zan97_GM.xml 11760321 s n1 +1 1 +0 0.29/0.12
Transformed_CSR_04/Ex1_Zan97_iGM.xml 11760323 s n1 +1 1 +0 1.23/0.38
Transformed_CSR_04/Ex1_Zan97_L.xml 11760162 u +0 1 +0 832.74/296.12
Transformed_CSR_04/Ex23_Luc06_C.xml 11760182 u +0 1 +0 1183.65/296.37
Transformed_CSR_04/Ex23_Luc06_FR.xml 11760199 s n2 +1 1 +0 3.46/0.97
Transformed_CSR_04/Ex23_Luc06_GM.xml 11760515 s n2 +1 1 +0 11.75/2.97
Transformed_CSR_04/Ex23_Luc06_iGM.xml 11760353 s n2 +1 1 +0 21.64/5.55
Transformed_CSR_04/Ex23_Luc06_L.xml 11760284 s n1 +1 1 +0 0.01/0.02
Transformed_CSR_04/Ex23_Luc06_Z.xml 11760397 s n1 +1 1 +0 0.12/0.08
Transformed_CSR_04/Ex24_GM04_C.xml 11760095 u +0 1 +0 58.68/32.15
Transformed_CSR_04/Ex24_GM04_FR.xml 11760565 u +0 1 +0 10.93/5.45
Transformed_CSR_04/Ex24_GM04_GM.xml 11760282 u +0 1 +0 11.78/4.87
Transformed_CSR_04/Ex24_GM04_iGM.xml 11760365 u +0 1 +0 24.42/9.28
Transformed_CSR_04/Ex24_GM04_L.xml 11760194 u +0 1 +0 843.54/296.19
Transformed_CSR_04/Ex24_GM04_Z.xml 11760436 u +0 1 +0 9.42/3.87
Transformed_CSR_04/Ex24_Luc06_C.xml 11760394 u +0 1 +0 57.28/33.42
Transformed_CSR_04/Ex24_Luc06_FR.xml 11760265 u +0 1 +0 5.98/2.43
Transformed_CSR_04/Ex24_Luc06_GM.xml 11760578 u +0 1 +0 9.54/3.98
Transformed_CSR_04/Ex24_Luc06_iGM.xml 11760546 u +0 1 +0 30.33/14.16
Transformed_CSR_04/Ex24_Luc06_L.xml 11760474 u +0 1 +0 745.47/296.15
Transformed_CSR_04/Ex25_Luc06_C.xml 11760201 s n3 +1 1 +0 32.31/8.23
Transformed_CSR_04/Ex25_Luc06_FR.xml 11760289 s n2 +1 1 +0 5.90/1.56
Transformed_CSR_04/Ex25_Luc06_GM.xml 11760562 s n2 +1 1 +0 5.27/1.43
Transformed_CSR_04/Ex25_Luc06_iGM.xml 11760118 s n2 +1 1 +0 12.00/3.09
Transformed_CSR_04/Ex25_Luc06_L.xml 11760100 s n1 +1 1 +0 0.09/0.04
Transformed_CSR_04/Ex25_Luc06_Z.xml 11760530 s n1 +1 1 +0 0.22/0.15
Transformed_CSR_04/Ex26_Luc03b_C.xml 11760099 u +0 1 +0 284.97/111.34
Transformed_CSR_04/Ex26_Luc03b_FR.xml 11760574 u +0 1 +0 916.23/296.43
Transformed_CSR_04/Ex26_Luc03b_GM.xml 11760271 u +0 1 +0 793.09/296.29
Transformed_CSR_04/Ex26_Luc03b_iGM.xml 11760082 u +0 1 +0 628.14/296.18
Transformed_CSR_04/Ex26_Luc03b_L.xml 11760198 s n1 +1 1 +0 0.67/0.28
Transformed_CSR_04/Ex26_Luc03b_Z.xml 11760434 u +0 1 +0 764.11/296.26
Transformed_CSR_04/Ex2_Luc02a_C.xml 11760446 u +0 1 +0 596.49/267.93
Transformed_CSR_04/Ex2_Luc02a_FR.xml 11760421 u +0 1 +0 124.06/57.06
Transformed_CSR_04/Ex2_Luc02a_GM.xml 11760160 u +0 1 +0 793.60/296.28
Transformed_CSR_04/Ex2_Luc02a_iGM.xml 11760441 u +0 1 +0 656.06/296.18
Transformed_CSR_04/Ex2_Luc02a_L.xml 11760550 u +0 1 +0 27.42/11.97
Transformed_CSR_04/Ex2_Luc02a_Z.xml 11760112 u +0 1 +0 81.32/30.67
Transformed_CSR_04/Ex2_Luc03b_C.xml 11760071 u +0 1 +0 150.21/58.87
Transformed_CSR_04/Ex2_Luc03b_FR.xml 11760171 u +0 1 +0 225.02/92.82
Transformed_CSR_04/Ex2_Luc03b_GM.xml 11760414 u +0 1 +0 131.80/51.42
Transformed_CSR_04/Ex2_Luc03b_iGM.xml 11760204 u +0 1 +0 92.22/36.60
Transformed_CSR_04/Ex2_Luc03b_L.xml 11760231 s n1 +1 1 +0 0.11/0.06
Transformed_CSR_04/Ex2_Luc03b_Z.xml 11760406 u +0 1 +0 126.87/49.63
Transformed_CSR_04/Ex3_12_Luc96a_C.xml 11760388 u +0 1 +0 79.75/31.55
Transformed_CSR_04/Ex3_12_Luc96a_FR.xml 11760091 u +0 1 +0 15.20/6.89
Transformed_CSR_04/Ex3_12_Luc96a_GM.xml 11760370 u +0 1 +0 24.76/10.10
Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml 11760337 u +0 1 +0 70.27/30.72
Transformed_CSR_04/Ex3_12_Luc96a_L.xml 11760469 u +0 1 +0 0.00/0.03
Transformed_CSR_04/Ex3_12_Luc96a_Z.xml 11760183 u +0 1 +0 13.64/6.28
Transformed_CSR_04/Ex3_2_Luc97_C.xml 11760316 u +0 1 +0 901.87/296.13
Transformed_CSR_04/Ex3_2_Luc97_FR.xml 11760548 u +0 1 +0 789.35/296.34
Transformed_CSR_04/Ex3_2_Luc97_GM.xml 11760305 u +0 1 +0 418.11/168.13
Transformed_CSR_04/Ex3_2_Luc97_iGM.xml 11760529 u +0 1 +0 81.15/29.17
Transformed_CSR_04/Ex3_2_Luc97_L.xml 11760145 u +0 1 +0 0.01/0.02
Transformed_CSR_04/Ex3_2_Luc97_Z.xml 11760510 u +0 1 +0 795.07/296.33
Transformed_CSR_04/Ex3_3_25_Bor03_C.xml 11760245 u +0 1 +0 146.28/55.93
Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml 11760471 u +0 1 +0 228.67/90.21
Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml 11760227 u +0 1 +0 134.56/51.77
Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml 11760375 u +0 1 +0 638.89/296.11
Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 11760081 s n1 +1 1 +0 0.62/0.22
Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml 11760579 u +0 1 +0 76.96/29.95
Transformed_CSR_04/Ex49_GM04_C.xml 11760418 u +0 1 +0 642.77/296.15
Transformed_CSR_04/Ex49_GM04_FR.xml 11760554 s n2 +1 1 +0 10.32/2.70
Transformed_CSR_04/Ex49_GM04_GM.xml 11760286 u +0 1 +0 921.19/296.33
Transformed_CSR_04/Ex49_GM04_iGM.xml 11760233 u +0 1 +0 77.20/27.93
Transformed_CSR_04/Ex49_GM04_L.xml 11760573 u +0 1 +0 0.00/0.08
Transformed_CSR_04/Ex49_GM04_Z.xml 11760087 s n1 +1 1 +0 4.17/1.07
Transformed_CSR_04/Ex4_4_Luc96b_C.xml 11760556 u +0 1 +0 87.78/39.06
Transformed_CSR_04/Ex4_4_Luc96b_FR.xml 11760482 s n2 +1 1 +0 2.83/0.79
Transformed_CSR_04/Ex4_4_Luc96b_GM.xml 11760210 u +0 1 +0 236.87/223.83
Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml 11760232 u +0 1 +0 26.54/10.28
Transformed_CSR_04/Ex4_4_Luc96b_L.xml 11760402 s n1 +1 1 +0 0.02/0.02
Transformed_CSR_04/Ex4_4_Luc96b_Z.xml 11760243 u +0 1 +0 43.35/27.38
Transformed_CSR_04/Ex4_7_15_Bor03_C.xml 11760335 u +0 1 +0 1181.51/296.32
Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml 11760348 s n2 +1 1 +0 4.58/1.19
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 11760102 s n3 +1 1 +0 158.00/39.59
Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml 11760253 u +0 1 +0 1184.34/296.33
Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 11760478 s n1 +1 1 +0 0.02/0.11
Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 11760132 s n1 +1 1 +0 0.18/0.08
Transformed_CSR_04/Ex4_7_37_Bor03_C.xml 11760429 u +0 1 +0 309.43/122.85
Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml 11760525 u +0 1 +0 220.57/89.03
Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml 11760319 u +0 1 +0 926.59/296.17
Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml 11760324 u +0 1 +0 651.18/296.18
Transformed_CSR_04/Ex4_7_37_Bor03_L.xml 11760520 u +0 1 +0 0.01/0.02
Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml 11760104 u +0 1 +0 127.90/50.18
Transformed_CSR_04/Ex4_7_56_Bor03_C.xml 11760196 u +0 1 +0 83.94/35.59
Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml 11760314 u +0 1 +0 22.83/15.03
Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml 11760538 u +0 1 +0 24.67/10.47
Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml 11760317 u +0 1 +0 71.83/30.73
Transformed_CSR_04/Ex4_7_56_Bor03_L.xml 11760098 u +0 1 +0 0.01/0.02
Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml 11760536 u +0 1 +0 13.81/6.45
Transformed_CSR_04/Ex4_7_77_Bor03_C.xml 11760344 u +0 1 +0 1181.87/296.29
Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 11760080 s n1 +1 1 +0 0.20/0.12
Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml 11760382 s n2 +1 1 +0 7.75/1.97
Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml 11760503 u +0 1 +0 1064.86/296.34
Transformed_CSR_04/Ex4_7_77_Bor03_L.xml 11760489 u +0 1 +0 0.00/0.04
Transformed_CSR_04/Ex4_DLMMU04_C.xml 11760404 u +0 1 +0 962.52/296.13
Transformed_CSR_04/Ex4_DLMMU04_FR.xml 11760476 u timeout (cpu)
Transformed_CSR_04/Ex4_DLMMU04_GM.xml 11760222 u timeout (wallclock)
Transformed_CSR_04/Ex4_DLMMU04_iGM.xml 11760254 u +0 1 +0 924.55/296.30
Transformed_CSR_04/Ex4_DLMMU04_L.xml 11760560 u +0 1 +0 0.01/0.08
Transformed_CSR_04/Ex4_DLMMU04_Z.xml 11760078 u timeout (wallclock)
Transformed_CSR_04/Ex4_Zan97_C.xml 11760547 u +0 1 +0 366.07/169.17
Transformed_CSR_04/Ex4_Zan97_FR.xml 11760505 u +0 1 +0 21.51/8.76
Transformed_CSR_04/Ex4_Zan97_GM.xml 11760206 u +0 1 +0 33.17/11.29
Transformed_CSR_04/Ex4_Zan97_iGM.xml 11760280 u +0 1 +0 88.38/35.92
Transformed_CSR_04/Ex4_Zan97_L.xml 11760443 u +0 1 +0 0.01/0.04
Transformed_CSR_04/Ex4_Zan97_Z.xml 11760214 u +0 1 +0 18.32/7.16
Transformed_CSR_04/Ex5_7_Luc97_C.xml 11760266 u +0 1 +0 920.72/296.33
Transformed_CSR_04/Ex5_7_Luc97_FR.xml 11760130 u +0 1 +0 1012.40/296.13
Transformed_CSR_04/Ex5_7_Luc97_GM.xml 11760445 u timeout (wallclock)
Transformed_CSR_04/Ex5_7_Luc97_iGM.xml 11760120 u +0 1 +0 320.17/127.00
Transformed_CSR_04/Ex5_7_Luc97_L.xml 11760168 u +0 1 +0 0.01/0.08
Transformed_CSR_04/Ex5_7_Luc97_Z.xml 11760456 u +0 1 +0 1004.87/296.07
Transformed_CSR_04/Ex5_DLMMU04_C.xml 11760234 u +0 1 +0 492.94/210.37
Transformed_CSR_04/Ex5_DLMMU04_FR.xml 11760161 s n2 +1 1 +0 35.21/11.00
Transformed_CSR_04/Ex5_DLMMU04_GM.xml 11760422 u +0 1 +0 859.80/296.35
Transformed_CSR_04/Ex5_DLMMU04_iGM.xml 11760307 u +0 1 +0 295.14/130.22
Transformed_CSR_04/Ex5_DLMMU04_L.xml 11760073 u +0 1 +0 0.01/0.09
Transformed_CSR_04/Ex5_DLMMU04_Z.xml 11760566 u +0 1 +0 1133.23/296.32
Transformed_CSR_04/Ex5_Zan97_C.xml 11760159 u +0 1 +0 1183.63/296.27
Transformed_CSR_04/Ex5_Zan97_FR.xml 11760484 u +0 1 +0 431.32/296.05
Transformed_CSR_04/Ex5_Zan97_GM.xml 11760218 u +0 1 +0 672.68/239.03
Transformed_CSR_04/Ex5_Zan97_iGM.xml 11760384 u +0 1 +0 1175.60/296.27
Transformed_CSR_04/Ex5_Zan97_L.xml 11760260 u +0 1 +0 0.01/0.02
Transformed_CSR_04/Ex5_Zan97_Z.xml 11760379 s n1 +1 1 +0 1.01/0.33
Transformed_CSR_04/Ex6_15_AEL02_C.xml 11760339 u +0 1 +0 987.03/298.28
Transformed_CSR_04/Ex6_15_AEL02_FR.xml 11760472 u timeout (wallclock)
Transformed_CSR_04/Ex6_15_AEL02_GM.xml 11760235 u timeout (wallclock)
Transformed_CSR_04/Ex6_15_AEL02_iGM.xml 11760537 u +0 1 +0 962.15/296.16
Transformed_CSR_04/Ex6_15_AEL02_L.xml 11760483 u +0 1 +0 0.01/0.02
Transformed_CSR_04/Ex6_15_AEL02_Z.xml 11760131 u timeout (wallclock)
Transformed_CSR_04/Ex6_9_Luc02c_C.xml 11760569 u +0 1 +0 141.66/61.03
Transformed_CSR_04/Ex6_9_Luc02c_FR.xml 11760263 u +0 1 +0 25.62/11.35
Transformed_CSR_04/Ex6_9_Luc02c_GM.xml 11760581 u +0 1 +0 35.43/15.36
Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml 11760117 u +0 1 +0 86.47/35.78
Transformed_CSR_04/Ex6_9_Luc02c_L.xml 11760415 u +0 1 +0 0.01/0.07
Transformed_CSR_04/Ex6_9_Luc02c_Z.xml 11760256 u +0 1 +0 21.60/9.74
Transformed_CSR_04/Ex6_GM04_C.xml 11760383 s n3 +1 1 +0 967.62/242.73
Transformed_CSR_04/Ex6_GM04_FR.xml 11760354 u +0 1 +0 1174.68/296.27
Transformed_CSR_04/Ex6_GM04_GM.xml 11760107 s n1 +1 1 +0 0.08/0.10
Transformed_CSR_04/Ex6_GM04_iGM.xml 11760423 s n1 +1 1 +0 0.59/0.24
Transformed_CSR_04/Ex6_GM04_L.xml 11760461 s n1 +1 1 +0 0.05/0.06
Transformed_CSR_04/Ex6_Luc98_C.xml 11760551 u +0 1 +0 108.32/45.23
Transformed_CSR_04/Ex6_Luc98_FR.xml 11760465 u +0 1 +0 46.66/34.14
Transformed_CSR_04/Ex6_Luc98_GM.xml 11760241 u +0 1 +0 25.34/10.23
Transformed_CSR_04/Ex6_Luc98_iGM.xml 11760070 u +0 1 +0 86.73/41.32
Transformed_CSR_04/Ex6_Luc98_L.xml 11760447 s n1 +1 1 +0 0.19/0.13
Transformed_CSR_04/Ex6_Luc98_Z.xml 11760211 u +0 1 +0 22.01/9.86
Transformed_CSR_04/Ex7_BLR02_C.xml 11760173 u +0 1 +0 248.24/103.27
Transformed_CSR_04/Ex7_BLR02_FR.xml 11760399 u +0 1 +0 71.13/29.46
Transformed_CSR_04/Ex7_BLR02_GM.xml 11760185 u +0 1 +0 424.01/169.16
Transformed_CSR_04/Ex7_BLR02_iGM.xml 11760226 u +0 1 +0 622.57/296.03
Transformed_CSR_04/Ex7_BLR02_L.xml 11760272 u +0 1 +0 0.01/0.06
Transformed_CSR_04/Ex7_BLR02_Z.xml 11760366 u +0 1 +0 61.21/27.70
Transformed_CSR_04/Ex8_BLR02_C.xml 11760179 u +0 1 +0 249.00/104.72
Transformed_CSR_04/Ex8_BLR02_FR.xml 11760549 u +0 1 +0 78.23/33.05
Transformed_CSR_04/Ex8_BLR02_GM.xml 11760306 u +0 1 +0 413.58/167.13
Transformed_CSR_04/Ex8_BLR02_iGM.xml 11760304 u +0 1 +0 80.93/30.75
Transformed_CSR_04/Ex8_BLR02_L.xml 11760275 u +0 1 +0 0.01/0.02
Transformed_CSR_04/Ex8_BLR02_Z.xml 11760368 u +0 1 +0 32.35/13.55
Transformed_CSR_04/Ex9_BLR02_C.xml 11760543 u +0 1 +0 663.87/296.21
Transformed_CSR_04/Ex9_BLR02_FR.xml 11760526 u +0 1 +0 77.07/29.24
Transformed_CSR_04/Ex9_BLR02_GM.xml 11760328 u +0 1 +0 66.66/23.70
Transformed_CSR_04/Ex9_BLR02_iGM.xml 11760336 u +0 1 +0 166.56/71.74
Transformed_CSR_04/Ex9_BLR02_L.xml 11760440 s n1 +1 1 +0 1.05/0.34
Transformed_CSR_04/Ex9_BLR02_Z.xml 11760221 u +0 1 +0 57.82/21.82
Transformed_CSR_04/Ex9_Luc04_C.xml 11760405 u +0 1 +0 37.54/14.54
Transformed_CSR_04/Ex9_Luc04_FR.xml 11760178 u +0 1 +0 5.11/2.19
Transformed_CSR_04/Ex9_Luc04_GM.xml 11760417 u +0 1 +0 11.67/4.92
Transformed_CSR_04/Ex9_Luc04_iGM.xml 11760191 u +0 1 +0 23.53/9.70
Transformed_CSR_04/Ex9_Luc04_L.xml 11760563 u +0 1 +0 3.79/1.66
Transformed_CSR_04/Ex9_Luc06_C.xml 11760522 u +0 1 +0 978.04/296.13
Transformed_CSR_04/Ex9_Luc06_FR.xml 11760094 u +0 1 +0 887.05/296.14
Transformed_CSR_04/Ex9_Luc06_GM.xml 11760360 s n2 +1 1 +0 4.68/1.23
Transformed_CSR_04/Ex9_Luc06_iGM.xml 11760349 s n3 +1 1 +0 148.43/37.87
Transformed_CSR_04/ExAppendixB_AEL03_C.xml 11760237 u +0 1 +0 1043.23/300.24
Transformed_CSR_04/ExAppendixB_AEL03_FR.xml 11760242 u +0 1 +0 949.24/296.19
Transformed_CSR_04/ExAppendixB_AEL03_GM.xml 11760463 u timeout (wallclock)
Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml 11760481 u +0 1 +0 932.25/296.14
Transformed_CSR_04/ExAppendixB_AEL03_L.xml 11760076 u +0 1 +0 0.01/0.02
Transformed_CSR_04/ExAppendixB_AEL03_Z.xml 11760558 u +0 1 +0 925.18/296.18
Transformed_CSR_04/ExConc_Zan97_C.xml 11760459 s n3 +1 1 +0 20.23/5.17
Transformed_CSR_04/ExConc_Zan97_FR.xml 11760327 s n2 +1 1 +0 2.65/0.73
Transformed_CSR_04/ExConc_Zan97_GM.xml 11760527 s n2 +1 1 +0 4.79/1.22
Transformed_CSR_04/ExConc_Zan97_iGM.xml 11760077 s n2 +1 1 +0 9.44/2.40
Transformed_CSR_04/ExConc_Zan97_L.xml 11760380 s n1 +1 1 +0 0.10/0.05
Transformed_CSR_04/ExConc_Zan97_Z.xml 11760261 u +0 1 +0 597.92/296.13
Transformed_CSR_04/ExIntrod_GM01_C.xml 11760347 u +0 1 +0 1176.69/296.31
Transformed_CSR_04/ExIntrod_GM01_FR.xml 11760408 u +0 1 +0 1014.87/296.30
Transformed_CSR_04/ExIntrod_GM01_GM.xml 11760180 u +0 1 +0 1132.62/296.26
Transformed_CSR_04/ExIntrod_GM01_iGM.xml 11760108 u +0 1 +0 1181.90/296.26
Transformed_CSR_04/ExIntrod_GM01_L.xml 11760493 u +0 1 +0 0.00/0.06
Transformed_CSR_04/ExIntrod_GM01_Z.xml 11760151 u +0 1 +0 1181.20/296.15
Transformed_CSR_04/ExIntrod_GM04_C.xml 11760126 u +0 1 +0 1138.12/296.26
Transformed_CSR_04/ExIntrod_GM04_FR.xml 11760157 u +0 1 +0 541.68/296.08
Transformed_CSR_04/ExIntrod_GM04_GM.xml 11760424 s n3 +1 1 +0 31.89/8.09
Transformed_CSR_04/ExIntrod_GM04_iGM.xml 11760297 u +0 1 +0 1182.29/296.70
Transformed_CSR_04/ExIntrod_GM04_L.xml 11760299 u +0 1 +0 0.01/0.09
Transformed_CSR_04/ExIntrod_GM04_Z.xml 11760343 u +0 1 +0 1181.27/296.23
Transformed_CSR_04/ExIntrod_GM99_C.xml 11760212 u +0 1 +0 878.83/296.25
Transformed_CSR_04/ExIntrod_GM99_FR.xml 11760247 u +0 1 +0 921.87/296.16
Transformed_CSR_04/ExIntrod_GM99_GM.xml 11760454 u +0 1 +0 1010.63/296.18
Transformed_CSR_04/ExIntrod_GM99_iGM.xml 11760285 u +0 1 +0 262.93/103.26
Transformed_CSR_04/ExIntrod_GM99_L.xml 11760114 u +0 1 +0 0.01/0.08
Transformed_CSR_04/ExIntrod_GM99_Z.xml 11760553 u +0 1 +0 923.15/296.45
Transformed_CSR_04/ExIntrod_Zan97_C.xml 11760331 u +0 1 +0 375.89/159.78
Transformed_CSR_04/ExIntrod_Zan97_FR.xml 11760119 u +0 1 +0 219.16/94.09
Transformed_CSR_04/ExIntrod_Zan97_GM.xml 11760334 u +0 1 +0 925.77/296.16
Transformed_CSR_04/ExIntrod_Zan97_iGM.xml 11760224 u +0 1 +0 86.45/30.76
Transformed_CSR_04/ExIntrod_Zan97_L.xml 11760156 u +0 1 +0 0.00/0.01
Transformed_CSR_04/ExIntrod_Zan97_Z.xml 11760501 u +0 1 +0 67.71/26.78
Transformed_CSR_04/ExProp7_Luc06_C.xml 11760330 u +0 1 +0 1184.03/296.31
Transformed_CSR_04/ExProp7_Luc06_FR.xml 11760400 s n2 +1 1 +0 4.69/1.21
Transformed_CSR_04/ExProp7_Luc06_GM.xml 11760186 u +0 1 +0 1077.38/296.19
Transformed_CSR_04/ExProp7_Luc06_iGM.xml 11760363 u +0 1 +0 1183.68/296.29
Transformed_CSR_04/ExProp7_Luc06_L.xml 11760155 s n1 +1 1 +0 0.14/0.06
Transformed_CSR_04/ExProp7_Luc06_Z.xml 11760500 s n1 +1 1 +0 0.36/0.14
Transformed_CSR_04/ExSec11_1_Luc02a_C.xml 11760403 u +0 1 +0 711.85/296.16
Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml 11760219 u +0 1 +0 217.26/93.21
Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml 11760486 u +0 1 +0 857.37/296.28
Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml 11760257 u +0 1 +0 560.05/248.19
Transformed_CSR_04/ExSec11_1_Luc02a_L.xml 11760557 u +0 1 +0 38.22/17.33
Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml 11760075 u +0 1 +0 138.04/54.19
Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml 11760407 u timeout (wallclock)
Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml 11760367 u +0 1 +0 1026.39/297.32
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml 11760088 u timeout (wallclock)
Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml 11760430 u +0 1 +0 1033.53/296.13
Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml 11760564 u +0 1 +0 0.01/0.06
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml 11760072 u +0 1 +0 1007.82/296.15
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml 11760147 u timeout (wallclock)
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml 11760258 u +0 1 +0 0.03/0.03
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml 11760416 u timeout (wallclock)
Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml 11760433 u timeout (wallclock)
Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml 11760164 u timeout (wallclock)
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml 11760426 u timeout (wallclock)
Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.xml 11760453 u timeout (wallclock)
Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml 11760528 u +0 1 +0 0.01/0.07
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml 11760259 u timeout (wallclock)
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml 11760177 u timeout (wallclock)
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml 11760167 u timeout (wallclock)
Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml 11760103 u timeout (wallclock)
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml 11760163 u timeout (wallclock)
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml 11760135 u +0 1 +0 0.01/0.01
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml 11760479 u timeout (wallclock)
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml 11760410 u +0 1 +0 397.79/171.42
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml 11760338 u +0 1 +0 1173.37/299.48
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml 11760113 u +0 1 +0 926.73/296.41
Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml 11760552 u +0 1 +0 118.65/46.37
Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml 11760567 u +0 1 +0 0.01/0.08
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml 11760134 u +0 1 +0 979.67/296.78
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml 11760140 u timeout (wallclock)
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml 11760539 u +0 1 +0 962.24/296.19
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml 11760074 u +0 1 +0 1176.75/296.20
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml 11760240 u +0 1 +0 811.36/296.19
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml 11760369 u +0 1 +0 0.01/0.07
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml 11760427 u +0 1 +0 1183.54/296.27
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml 11760202 u +0 1 +0 1160.56/296.19
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 11760511 u +0 1 +0 1181.92/296.34
Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml 11760541 u +0 1 +0 1183.76/296.27
Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml 11760580 u +0 1 +0 0.00/0.06
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml 11760371 u +0 1 +0 1166.53/296.21
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml 11760223 u +0 1 +0 1183.78/296.52
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml 11760270 u +0 1 +0 1183.56/296.26
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml 11760432 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml 11760322 u +0 1 +0 0.04/0.07
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml 11760355 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_complete_C.xml 11760127 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_complete_FR.xml 11760391 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_complete_GM.xml 11760067 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml 11760244 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_complete_L.xml 11760301 u +0 1 +0 0.03/0.09
Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml 11760320 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml 11760419 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml 11760377 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_complete_Z.xml 11760346 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml 11760097 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml 11760283 u +0 1 +0 0.02/0.02
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml 11760395 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml 11760313 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml 11760106 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml 11760356 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml 11760192 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml 11760144 u +0 1 +0 0.01/0.01
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml 11760281 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml 11760085 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml 11760308 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml 11760509 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml 11760310 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml 11760513 u +0 1 +0 0.01/0.08
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml 11760141 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml 11760298 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml 11760477 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml 11760220 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml 11760207 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml 11760125 u +0 1 +0 0.01/0.06
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml 11760514 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml 11760294 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml 11760571 u timeout (wallclock)
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml 11760488 u timeout (wallclock)
Transformed_CSR_04/MYNAT_complete-noand_FR.xml 11760329 u timeout (wallclock)
Transformed_CSR_04/MYNAT_complete-noand_L.xml 11760122 u +0 1 +0 0.03/0.07
Transformed_CSR_04/MYNAT_complete-noand_Z.xml 11760542 u timeout (wallclock)
Transformed_CSR_04/MYNAT_complete_C.xml 11760350 u timeout (wallclock)
Transformed_CSR_04/MYNAT_complete_FR.xml 11760561 u timeout (wallclock)
Transformed_CSR_04/MYNAT_complete_GM.xml 11760288 u timeout (wallclock)
Transformed_CSR_04/MYNAT_complete_iGM.xml 11760386 u timeout (wallclock)
Transformed_CSR_04/MYNAT_complete_L.xml 11760496 u +0 1 +0 0.01/0.07
Transformed_CSR_04/MYNAT_complete_noand_C.xml 11760123 u timeout (wallclock)
Transformed_CSR_04/MYNAT_complete_noand_GM.xml 11760268 u timeout (wallclock)
Transformed_CSR_04/MYNAT_complete_noand_iGM.xml 11760435 u timeout (wallclock)
Transformed_CSR_04/MYNAT_complete_Z.xml 11760152 u timeout (wallclock)
Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml 11760302 u timeout (wallclock)
Transformed_CSR_04/MYNAT_nokinds-noand_L.xml 11760293 u +0 1 +0 0.01/0.06
Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml 11760385 u timeout (wallclock)
Transformed_CSR_04/MYNAT_nokinds_C.xml 11760273 u +0 1 +0 931.36/296.17
Transformed_CSR_04/MYNAT_nokinds_FR.xml 11760448 u +0 1 +0 1004.76/296.18
Transformed_CSR_04/MYNAT_nokinds_GM.xml 11760129 u timeout (wallclock)
Transformed_CSR_04/MYNAT_nokinds_iGM.xml 11760154 u +0 1 +0 827.52/296.23
Transformed_CSR_04/MYNAT_nokinds_L.xml 11760176 u +0 1 +0 0.01/0.07
Transformed_CSR_04/MYNAT_nokinds_noand_C.xml 11760292 u timeout (wallclock)
Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml 11760279 u timeout (wallclock)
Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml 11760439 u timeout (wallclock)
Transformed_CSR_04/MYNAT_nokinds_Z.xml 11760449 u +0 1 +0 1002.65/296.15
Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml 11760105 u +0 1 +0 407.67/165.70
Transformed_CSR_04/MYNAT_nosorts-noand_L.xml 11760492 u +0 1 +0 0.00/0.07
Transformed_CSR_04/MYNAT_nosorts_C.xml 11760287 u +0 1 +0 72.40/26.85
Transformed_CSR_04/MYNAT_nosorts_FR.xml 11760312 u +0 1 +0 11.71/5.18
Transformed_CSR_04/MYNAT_nosorts_GM.xml 11760532 u +0 1 +0 50.16/18.30
Transformed_CSR_04/MYNAT_nosorts_iGM.xml 11760138 u +0 1 +0 49.00/18.60
Transformed_CSR_04/MYNAT_nosorts_L.xml 11760189 u +0 1 +0 0.00/0.01
Transformed_CSR_04/MYNAT_nosorts_noand_C.xml 11760494 u +0 1 +0 932.18/296.13
Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml 11760086 u timeout (wallclock)
Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml 11760170 u +0 1 +0 845.50/296.41
Transformed_CSR_04/OvConsOS_complete-noand_FR.xml 11760390 u timeout (wallclock)
Transformed_CSR_04/OvConsOS_complete-noand_L.xml 11760230 u +0 1 +0 0.03/0.01
Transformed_CSR_04/OvConsOS_complete-noand_Z.xml 11760413 u timeout (wallclock)
Transformed_CSR_04/OvConsOS_complete_C.xml 11760295 u timeout (wallclock)
Transformed_CSR_04/OvConsOS_complete_FR.xml 11760236 u timeout (wallclock)
Transformed_CSR_04/OvConsOS_complete_GM.xml 11760462 u timeout (wallclock)
Transformed_CSR_04/OvConsOS_complete_iGM.xml 11760373 u timeout (wallclock)
Transformed_CSR_04/OvConsOS_complete_L.xml 11760124 u +0 1 +0 0.01/0.05
Transformed_CSR_04/OvConsOS_complete_noand_C.xml 11760229 u timeout (wallclock)
Transformed_CSR_04/OvConsOS_complete_noand_GM.xml 11760341 u timeout (wallclock)
Transformed_CSR_04/OvConsOS_complete_noand_iGM.xml 11760420 u timeout (wallclock)
Transformed_CSR_04/OvConsOS_complete_Z.xml 11760485 u timeout (wallclock)
Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml 11760184 u timeout (wallclock)
Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml 11760276 u +0 1 +0 0.02/0.03
Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml 11760392 u timeout (wallclock)
Transformed_CSR_04/OvConsOS_nokinds_C.xml 11760374 u +0 1 +0 962.04/296.19
Transformed_CSR_04/OvConsOS_nokinds_FR.xml 11760208 u timeout (wallclock)
Transformed_CSR_04/OvConsOS_nokinds_GM.xml 11760504 u timeout (wallclock)
Transformed_CSR_04/OvConsOS_nokinds_iGM.xml 11760352 u +0 1 +0 899.88/296.30
Transformed_CSR_04/OvConsOS_nokinds_L.xml 11760455 u +0 1 +0 0.01/0.05
Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml 11760277 u timeout (wallclock)
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml 11760137 u timeout (wallclock)
Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml 11760248 u timeout (wallclock)
Transformed_CSR_04/OvConsOS_nokinds_Z.xml 11760166 u timeout (wallclock)
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml 11760246 u timeout (cpu)
Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml 11760517 u +0 1 +0 0.01/0.02
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml 11760143 u timeout (wallclock)
Transformed_CSR_04/OvConsOS_nosorts_C.xml 11760396 u +0 1 +0 1170.34/296.43
Transformed_CSR_04/OvConsOS_nosorts_FR.xml 11760332 u +0 1 +0 1013.43/296.32
Transformed_CSR_04/OvConsOS_nosorts_GM.xml 11760121 u +0 1 +0 483.58/132.89
Transformed_CSR_04/OvConsOS_nosorts_iGM.xml 11760362 u +0 1 +0 1184.62/296.74
Transformed_CSR_04/OvConsOS_nosorts_L.xml 11760475 u +0 1 +0 0.00/0.06
Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml 11760516 u timeout (wallclock)
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml 11760200 u timeout (wallclock)
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml 11760490 u timeout (wallclock)
Transformed_CSR_04/OvConsOS_nosorts_Z.xml 11760181 u +0 1 +0 989.27/296.53
Transformed_CSR_04/PALINDROME_complete-noand_FR.xml 11760090 u timeout (wallclock)
Transformed_CSR_04/PALINDROME_complete-noand_L.xml 11760175 u timeout (wallclock)
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml 11760450 u timeout (wallclock)
Transformed_CSR_04/PALINDROME_complete_C.xml 11760325 u timeout (wallclock)
Transformed_CSR_04/PALINDROME_complete_FR.xml 11760428 u timeout (wallclock)
Transformed_CSR_04/PALINDROME_complete_GM.xml 11760165 u timeout (wallclock)
Transformed_CSR_04/PALINDROME_complete_iGM.xml 11760376 u timeout (wallclock)
Transformed_CSR_04/PALINDROME_complete_L.xml 11760149 u +0 1 +0 0.01/0.05
Transformed_CSR_04/PALINDROME_complete_noand_C.xml 11760174 u timeout (wallclock)
Transformed_CSR_04/PALINDROME_complete_noand_GM.xml 11760101 u timeout (wallclock)
Transformed_CSR_04/PALINDROME_complete_noand_iGM.xml 11760238 u timeout (wallclock)
Transformed_CSR_04/PALINDROME_complete_Z.xml 11760507 u timeout (wallclock)
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml 11760251 s n2 +1 1 +0 229.12/175.99
Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml 11760495 u +0 1 +0 677.11/296.35
Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml 11760153 s n1 +1 1 +0 543.70/216.61
Transformed_CSR_04/PALINDROME_nokinds_C.xml 11760115 u +0 1 +0 1151.26/296.21
Transformed_CSR_04/PALINDROME_nokinds_FR.xml 11760215 s n2 +1 1 +0 56.07/16.25
Transformed_CSR_04/PALINDROME_nokinds_GM.xml 11760491 u +0 1 +0 793.37/296.26
Transformed_CSR_04/PALINDROME_nokinds_iGM.xml 11760303 u +0 1 +0 707.38/296.10
Transformed_CSR_04/PALINDROME_nokinds_L.xml 11760213 u +0 1 +0 0.01/0.08
Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml 11760499 u timeout (wallclock)
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml 11760193 u timeout (wallclock)
Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml 11760464 u timeout (wallclock)
Transformed_CSR_04/PALINDROME_nokinds_Z.xml 11760442 s n1 +1 1 +0 11.98/3.11
Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml 11760190 s n2 +1 1 +0 1.45/0.42
Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml 11760291 s n2 +1 1 +0 1.54/0.47
Transformed_CSR_04/PALINDROME_nosorts_C.xml 11760096 u +0 1 +0 669.15/296.12
Transformed_CSR_04/PALINDROME_nosorts_FR.xml 11760359 s n2 +1 1 +0 1.65/0.48
Transformed_CSR_04/PALINDROME_nosorts_GM.xml 11760093 u +0 1 +0 72.25/35.90
Transformed_CSR_04/PALINDROME_nosorts_iGM.xml 11760309 u +0 1 +0 758.66/296.10
Transformed_CSR_04/PALINDROME_nosorts_L.xml 11760195 u +0 1 +0 0.01/0.07
Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml 11760290 u +0 1 +0 667.00/296.08
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml 11760133 u +0 1 +0 104.73/50.58
Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml 11760205 u +0 1 +0 720.01/296.09
Transformed_CSR_04/PEANO_complete-noand_FR.xml 11760142 u timeout (wallclock)
Transformed_CSR_04/PEANO_complete-noand_L.xml 11760466 u +0 1 +0 0.01/0.05
Transformed_CSR_04/PEANO_complete-noand_Z.xml 11760188 u timeout (wallclock)
Transformed_CSR_04/PEANO_complete_C.xml 11760172 u +0 1 +0 984.77/297.87
Transformed_CSR_04/PEANO_complete_FR.xml 11760249 u timeout (wallclock)
Transformed_CSR_04/PEANO_complete_GM.xml 11760460 u timeout (wallclock)
Transformed_CSR_04/PEANO_complete_iGM.xml 11760533 u +0 1 +0 964.27/296.18
Transformed_CSR_04/PEANO_complete_L.xml 11760269 u +0 1 +0 0.01/0.04
Transformed_CSR_04/PEANO_complete_noand_C.xml 11760468 u timeout (wallclock)
Transformed_CSR_04/PEANO_complete_noand_GM.xml 11760169 u timeout (wallclock)
Transformed_CSR_04/PEANO_complete_noand_iGM.xml 11760540 u timeout (wallclock)
Transformed_CSR_04/PEANO_complete_Z.xml 11760364 u timeout (wallclock)
Transformed_CSR_04/PEANO_nokinds-noand_FR.xml 11760411 u +0 1 +0 928.55/296.38
Transformed_CSR_04/PEANO_nokinds-noand_L.xml 11760577 u +0 1 +0 0.00/0.06
Transformed_CSR_04/PEANO_nokinds-noand_Z.xml 11760084 u +0 1 +0 927.26/296.43
Transformed_CSR_04/PEANO_nokinds_C.xml 11760487 u +0 1 +0 259.68/103.68
Transformed_CSR_04/PEANO_nokinds_FR.xml 11760068 s n2 +1 1 +0 18.73/4.84
Transformed_CSR_04/PEANO_nokinds_GM.xml 11760389 u +0 1 +0 925.13/296.13
Transformed_CSR_04/PEANO_nokinds_iGM.xml 11760345 u +0 1 +0 123.20/49.74
Transformed_CSR_04/PEANO_nokinds_L.xml 11760342 u +0 1 +0 0.01/0.02
Transformed_CSR_04/PEANO_nokinds_noand_C.xml 11760576 u +0 1 +0 877.01/296.32
Transformed_CSR_04/PEANO_nokinds_noand_GM.xml 11760444 u timeout (wallclock)
Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml 11760544 u +0 1 +0 532.29/212.15
Transformed_CSR_04/PEANO_nokinds_Z.xml 11760296 s n1 +1 1 +0 4.32/1.21
Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 11760451 s n2 +1 1 +0 7.66/1.98
Transformed_CSR_04/PEANO_nosorts-noand_L.xml 11760216 u +0 1 +0 0.00/0.08
Transformed_CSR_04/PEANO_nosorts_C.xml 11760508 u +0 1 +0 1183.38/296.28
Transformed_CSR_04/PEANO_nosorts_FR.xml 11760457 s n2 +1 1 +0 2.55/0.72
Transformed_CSR_04/PEANO_nosorts_GM.xml 11760252 u +0 1 +0 596.25/296.13
Transformed_CSR_04/PEANO_nosorts_iGM.xml 11760333 u +0 1 +0 1131.96/296.35
Transformed_CSR_04/PEANO_nosorts_L.xml 11760357 u +0 1 +0 0.01/0.04
Transformed_CSR_04/PEANO_nosorts_noand_C.xml 11760217 u +0 1 +0 1172.81/296.39
Transformed_CSR_04/PEANO_nosorts_noand_GM.xml 11760497 u +0 1 +0 979.64/296.39
Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml 11760264 u +0 1 +0 1111.09/296.16
HirokawaMiddeldorp_04/n002.xml 11759942 u +0 1 +0 831.82/296.19
HirokawaMiddeldorp_04/n003.xml 11759950 u +0 1 +0 683.05/296.08
HirokawaMiddeldorp_04/n004.xml 11759949 u +0 1 +0 761.25/296.10
HirokawaMiddeldorp_04/n005.xml 11759943 u +0 1 +0 866.40/296.06
HirokawaMiddeldorp_04/n006.xml 11759934 u +0 1 +0 674.02/296.14
HirokawaMiddeldorp_04/n007.xml 11759932 u +0 1 +0 4.75/2.07
HirokawaMiddeldorp_04/n008.xml 11759935 s n1 +1 1 +0 0.03/0.11
HirokawaMiddeldorp_04/t000.xml 11759931 u +0 1 +0 119.43/43.67
HirokawaMiddeldorp_04/t001.xml 11759936 u +0 1 +0 213.32/86.28
HirokawaMiddeldorp_04/t002.xml 11759945 u +0 1 +0 22.82/8.12
HirokawaMiddeldorp_04/t003.xml 11759947 u +0 1 +0 42.66/15.06
HirokawaMiddeldorp_04/t004.xml 11759948 u +0 1 +0 410.60/296.12
HirokawaMiddeldorp_04/t005.xml 11759944 u +0 1 +0 65.91/20.36
HirokawaMiddeldorp_04/t006.xml 11759937 s n1 +1 1 +0 0.18/0.06
HirokawaMiddeldorp_04/t007.xml 11759930 s n1 +1 1 +0 1.22/0.39
HirokawaMiddeldorp_04/t008.xml 11759938 u +0 1 +0 1120.02/296.20
HirokawaMiddeldorp_04/t009.xml 11759929 u timeout (wallclock)
HirokawaMiddeldorp_04/t010.xml 11759939 s n1 +1 1 +0 0.05/0.07
HirokawaMiddeldorp_04/t011.xml 11759933 s n2 +1 1 +0 2.35/0.68
HirokawaMiddeldorp_04/t012.xml 11759946 u +0 1 +0 378.91/296.16
HirokawaMiddeldorp_04/t013.xml 11759940 u +0 1 +0 16.54/6.67
HirokawaMiddeldorp_04/t014.xml 11759941 u +0 1 +0 25.53/8.98
Zantema_05/jw01.xml 11760014 s n1 +1 1 +0 0.02/0.08
Zantema_05/jw02.xml 11759968 s n1 +1 1 +0 0.08/0.06
Zantema_05/jw03.xml 11759979 s n1 +1 1 +0 0.22/0.08
Zantema_05/jw04.xml 11759980 s n1 +1 1 +0 0.07/0.04
Zantema_05/jw05.xml 11759967 s n1 +1 1 +0 0.12/0.08
Zantema_05/jw06.xml 11760015 s n1 +1 1 +0 0.10/0.10
Zantema_05/jw07.xml 11759989 s n1 +1 1 +0 0.20/0.11
Zantema_05/jw08.xml 11760013 s n1 +1 1 +0 0.20/0.12
Zantema_05/jw09.xml 11759991 s n1 +1 1 +0 0.06/0.07
Zantema_05/jw11.xml 11760005 s n1 +1 1 +0 0.19/0.10
Zantema_05/jw12.xml 11759978 s n1 +1 1 +0 0.23/0.08
Zantema_05/jw13.xml 11759952 s n1 +1 1 +0 0.08/0.07
Zantema_05/jw14.xml 11759953 s n1 +1 1 +0 0.08/0.06
Zantema_05/jw15.xml 11759975 s n1 +1 1 +0 0.34/0.11
Zantema_05/jw16.xml 11760006 s n1 +1 1 +0 0.27/0.15
Zantema_05/jw17.xml 11760016 s n1 +1 1 +0 0.05/0.07
Zantema_05/jw18.xml 11760002 s n1 +1 1 +0 0.17/0.11
Zantema_05/jw19.xml 11760019 s n1 +1 1 +0 0.28/0.10
Zantema_05/jw20.xml 11759971 s n1 +1 1 +0 0.15/0.06
Zantema_05/jw21.xml 11759957 s n1 +1 1 +0 0.23/0.09
Zantema_05/jw22.xml 11760024 s n1 +1 1 +0 0.12/0.06
Zantema_05/jw23.xml 11759998 s n1 +1 1 +0 0.06/0.09
Zantema_05/jw24.xml 11760001 s n1 +1 1 +0 0.17/0.10
Zantema_05/jw25.xml 11760023 s n1 +1 1 +0 0.19/0.11
Zantema_05/jw26.xml 11759960 s n1 +1 1 +0 0.04/0.05
Zantema_05/jw27.xml 11759970 s n1 +1 1 +0 0.31/0.14
Zantema_05/jw28.xml 11759956 s n1 +1 1 +0 0.09/0.05
Zantema_05/jw29.xml 11759974 s n1 +1 1 +0 0.03/0.03
Zantema_05/jw30.xml 11759963 s n1 +1 1 +0 0.10/0.08
Zantema_05/jw31.xml 11759985 s n1 +1 1 +0 0.10/0.07
Zantema_05/jw32.xml 11759996 s n1 +1 1 +0 0.18/0.14
Zantema_05/jw33.xml 11760008 s n1 +1 1 +0 0.26/0.13
Zantema_05/jw34.xml 11760011 s n1 +1 1 +0 0.13/0.08
Zantema_05/jw35.xml 11759995 s n1 +1 1 +0 0.15/0.11
Zantema_05/jw36.xml 11759988 s n1 +1 1 +0 0.07/0.10
Zantema_05/jw37.xml 11759962 s n1 +1 1 +0 0.24/0.08
Zantema_05/jw38.xml 11759983 s n1 +1 1 +0 0.14/0.06
Zantema_05/jw39.xml 11759966 s n1 +1 1 +0 0.22/0.08
Zantema_05/jw40.xml 11759992 s n1 +1 1 +0 0.37/0.12
Zantema_05/jw41.xml 11760012 s n1 +1 1 +0 0.10/0.08
Zantema_05/jw42.xml 11759964 s n1 +1 1 +0 0.16/0.06
Zantema_05/jw43.xml 11759984 s n1 +1 1 +0 0.04/0.02
Zantema_05/jw44.xml 11759982 s n2 +1 1 +0 2.40/0.62
Zantema_05/jw47.xml 11759993 s n2 +1 1 +0 1.91/0.54
Zantema_05/jw50.xml 11760021 s n1 +1 1 +0 0.21/0.09
Zantema_05/z01.xml 11759986 u +0 1 +0 738.82/296.14
Zantema_05/z02.xml 11759997 s n1 +1 1 +0 0.28/0.13
Zantema_05/z03.xml 11760009 s n1 +1 1 +0 1.20/0.36
Zantema_05/z04.xml 11760010 u +0 1 +0 7.95/3.17
Zantema_05/z05.xml 11759994 u +0 1 +0 743.48/296.13
Zantema_05/z06.xml 11759987 u +0 1 +0 511.20/296.23
Zantema_05/z07.xml 11759961 u +0 1 +0 535.42/296.20
Zantema_05/z08.xml 11759981 u +0 1 +0 278.01/166.31
Zantema_05/z09.xml 11759965 s n1 +1 1 +0 0.16/0.11
Zantema_05/z10.xml 11759972 u +0 1 +0 20.54/7.73
Zantema_05/z11.xml 11759958 u +0 1 +0 424.73/296.16
Zantema_05/z12.xml 11760025 u +0 1 +0 905.62/296.19
Zantema_05/z13.xml 11759999 u +0 1 +0 1177.04/296.19
Zantema_05/z14.xml 11760000 u +0 1 +0 1175.45/296.26
Zantema_05/z15.xml 11760022 u +0 1 +0 1174.89/296.24
Zantema_05/z16.xml 11759959 u +0 1 +0 1171.61/296.21
Zantema_05/z17.xml 11759969 u +0 1 +0 1183.42/296.22
Zantema_05/z18.xml 11759955 u +0 1 +0 1179.46/296.40
Zantema_05/z19.xml 11759973 u +0 1 +0 983.56/296.35
Zantema_05/z20.xml 11760018 u +0 1 +0 608.89/296.47
Zantema_05/z21.xml 11760004 u +0 1 +0 323.40/88.31
Zantema_05/z22.xml 11759977 u +0 1 +0 1139.44/296.22
Zantema_05/z23.xml 11759951 u +0 1 +0 1183.38/296.33
Zantema_05/z24.xml 11759954 u +0 1 +0 1182.43/296.20
Zantema_05/z25.xml 11759976 u +0 1 +0 937.90/296.14
Zantema_05/z26.xml 11760007 s n2 +1 1 +0 7.74/1.99
Zantema_05/z27.xml 11760017 u +0 1 +0 11.26/4.44
Zantema_05/z28.xml 11760003 u +0 1 +0 12.02/5.52
Zantema_05/z29.xml 11760020 s n1 +1 1 +0 0.08/0.07
Zantema_05/z30.xml 11759990 s n1 +1 1 +0 6.41/1.72
Beerendonk_07/1.xml 11759909 u +0 1 +0 12.22/5.37
Beerendonk_07/10.xml 11759904 u +0 1 +0 28.17/11.33
Beerendonk_07/11.xml 11759905 u +0 1 +0 25.15/9.70
Beerendonk_07/12.xml 11759890 u +0 1 +0 18.71/7.44
Beerendonk_07/13.xml 11759897 u +0 1 +0 17.52/7.26
Beerendonk_07/14.xml 11759898 u +0 1 +0 22.33/8.92
Beerendonk_07/15.xml 11759889 u +0 1 +0 72.61/27.56
Beerendonk_07/16.xml 11759906 u +0 1 +0 398.22/163.26
Beerendonk_07/17.xml 11759903 u +0 1 +0 214.73/85.39
Beerendonk_07/18.xml 11759907 u +0 1 +0 73.25/27.60
Beerendonk_07/19.xml 11759902 u +0 1 +0 404.79/164.45
Beerendonk_07/2.xml 11759892 u +0 1 +0 13.24/5.66
Beerendonk_07/20.xml 11759893 u +0 1 +0 49.81/20.99
Beerendonk_07/21.xml 11759895 u +0 1 +0 122.43/50.33
Beerendonk_07/22.xml 11759900 u +0 1 +0 18.21/7.69
Beerendonk_07/23.xml 11759910 u +0 1 +0 24.52/10.93
Beerendonk_07/24.xml 11759911 u +0 1 +0 400.59/162.78
Beerendonk_07/3.xml 11759894 u +0 1 +0 15.48/6.52
Beerendonk_07/4.xml 11759896 u +0 1 +0 9.87/3.93
Beerendonk_07/5.xml 11759891 u +0 1 +0 21.42/8.32
Beerendonk_07/6.xml 11759912 u +0 1 +0 12.09/5.20
Beerendonk_07/7.xml 11759899 u +0 1 +0 15.92/6.39
Beerendonk_07/8.xml 11759908 u +0 1 +0 20.50/7.96
Beerendonk_07/9.xml 11759901 u +0 1 +0 25.09/10.51
GTSSK07/cade01.xml 11759920 u +0 1 +0 15.09/6.78
GTSSK07/cade03.xml 11759928 u +0 1 +0 14.10/5.43
GTSSK07/cade04t.xml 11759918 u +0 1 +0 16.35/7.35
GTSSK07/cade05t.xml 11759915 u +0 1 +0 24.16/10.25
GTSSK07/cade06.xml 11759919 u +0 1 +0 20.02/7.97
GTSSK07/cade07.xml 11759914 u +0 1 +0 17.92/7.70
GTSSK07/cade08.xml 11759921 u +0 1 +0 17.71/6.09
GTSSK07/cade09.xml 11759913 u +0 1 +0 21.80/8.78
GTSSK07/cade10.xml 11759922 u +0 1 +0 19.38/8.05
GTSSK07/cade11.xml 11759917 u +0 1 +0 14.03/6.26
GTSSK07/cade12t.xml 11759925 u +0 1 +0 28.27/9.66
GTSSK07/cade13t.xml 11759927 u +0 1 +0 47.92/19.06
GTSSK07/cade14.xml 11759924 u +0 1 +0 38.03/16.00
GTSSK07/cade15.xml 11759926 u +0 1 +0 1004.34/296.15
GTSSK07/cade16.xml 11759916 u +0 1 +0 27.98/11.09
GTSSK07/cade17.xml 11759923 u +0 1 +0 41.13/14.94
MNZ_10/0.xml 11759868 u +0 1 +0 5.10/2.22
MNZ_10/1.xml 11759870 u +0 1 +0 6.62/2.63
MNZ_10/2.xml 11759875 u +0 1 +0 5.41/2.22
MNZ_10/3.xml 11759877 u +0 1 +0 5.89/2.51
MNZ_10/4.xml 11759878 u +0 1 +0 6.55/2.54
MNZ_10/5.xml 11759874 u +0 1 +0 5.32/2.27
MNZ_10/6.xml 11759871 u +0 1 +0 5.80/2.47
MNZ_10/7.xml 11759867 u +0 1 +0 6.56/2.66
MNZ_10/8.xml 11759872 u +0 1 +0 5.40/2.57
MNZ_10/9.xml 11759866 u +0 1 +0 5.67/2.38
MNZ_10/labelled.xml 11759873 u timeout (wallclock)
MNZ_10/nrvsq.xml 11759869 u +0 1 +0 27.88/9.96
MNZ_10/nvsr.xml 11759876 u +0 1 +0 5.73/2.31
AProVE_08/id_inc.xml 11759879 u +0 1 +0 22.37/8.15
AProVE_08/log.xml 11759885 u +0 1 +0 34.32/12.39
AProVE_08/parting01_reverse.xml 11759888 u +0 1 +0 55.80/20.99
AProVE_08/parting02_doublelist.xml 11759882 u +0 1 +0 63.32/23.35
AProVE_08/parting03_minsort.xml 11759880 u +0 1 +0 931.99/296.32
AProVE_08/parting04_maxsort_h.xml 11759881 u +0 1 +0 934.68/296.40
AProVE_08/parting05_maxsort.xml 11759886 u +0 1 +0 800.44/296.30
AProVE_08/round.xml 11759887 u +0 1 +0 482.42/296.12
AProVE_08/round_nonterm.xml 11759884 u +0 1 +0 141.38/105.68
AProVE_08/thiemann40_modified.xml 11759883 u +0 1 +0 21.22/9.48
Endrullis_06/direct.xml 11760648 s n1 +1 1 +0 0.93/0.31
Endrullis_06/labeling.xml 11760658 u +0 1 +0 8.56/3.58
Endrullis_06/linear1.xml 11760654 u +0 1 +0 772.22/296.26
Endrullis_06/linear2.xml 11760649 u +0 1 +0 1121.84/296.19
Endrullis_06/pair2hard.xml 11760651 u +0 1 +0 33.78/15.93
Endrullis_06/pair2simple1.xml 11760653 u +0 1 +0 16.45/5.75
Endrullis_06/pair2simple2.xml 11760647 u +0 1 +0 16.02/5.84
Endrullis_06/pair3hard.xml 11760657 u +0 1 +0 13.72/6.14
Endrullis_06/pair3rotate.xml 11760652 u +0 1 +0 185.65/46.73
Endrullis_06/pair3swap.xml 11760656 u +0 1 +0 84.96/24.52
Endrullis_06/quadruple1.xml 11760650 s n1 +1 1 +0 0.34/0.16
Endrullis_06/quadruple2.xml 11760655 s n2 +1 1 +0 9.90/2.55
Gebhardt_06/01.xml 11760674 u +0 1 +0 983.19/296.26
Gebhardt_06/02.xml 11760661 u +0 1 +0 957.77/296.28
Gebhardt_06/03.xml 11760667 u +0 1 +0 1027.66/296.30
Gebhardt_06/04.xml 11760666 u +0 1 +0 952.90/296.31
Gebhardt_06/05.xml 11760662 u +0 1 +0 1043.33/296.30
Gebhardt_06/06.xml 11760673 u +0 1 +0 1021.49/296.35
Gebhardt_06/07.xml 11760669 u +0 1 +0 1033.61/296.49
Gebhardt_06/08.xml 11760675 u +0 1 +0 1051.33/296.25
Gebhardt_06/09.xml 11760668 u +0 1 +0 1017.93/296.40
Gebhardt_06/10.xml 11760677 u +0 1 +0 1021.33/296.28
Gebhardt_06/11.xml 11760671 u +0 1 +0 1040.29/296.25
Gebhardt_06/12.xml 11760663 u +0 1 +0 1026.36/296.35
Gebhardt_06/13.xml 11760660 u +0 1 +0 1044.12/296.37
Gebhardt_06/14.xml 11760659 u +0 1 +0 261.04/72.84
Gebhardt_06/15.xml 11760664 u +0 1 +0 1046.45/296.25
Gebhardt_06/16.xml 11760670 u +0 1 +0 1032.79/296.55
Gebhardt_06/17.xml 11760678 u +0 1 +0 1024.21/296.28
Gebhardt_06/18.xml 11760672 u +0 1 +0 1016.49/296.21
Gebhardt_06/19.xml 11760676 u +0 1 +0 1015.71/296.17
Gebhardt_06/20.xml 11760665 u +0 1 +0 1021.82/296.31
Mixed_TRS/1.xml 11760599 s n1 +1 1 +0 0.13/0.06
Mixed_TRS/2.xml 11760594 u +0 1 +0 824.01/296.03
Mixed_TRS/3.xml 11760583 u +0 1 +0 7.68/2.84
Mixed_TRS/4.xml 11760586 s n1 +1 1 +0 0.19/0.07
Mixed_TRS/5.xml 11760593 u +0 1 +0 6.27/2.59
Mixed_TRS/6.xml 11760601 u +0 1 +0 867.70/296.15
Mixed_TRS/7.xml 11760605 u +0 1 +0 15.02/6.00
Mixed_TRS/beans.xml 11760587 u +0 1 +0 1009.47/297.21
Mixed_TRS/Ex1_Luc04b_GM.xml 11760608 u +0 1 +0 1064.39/296.34
Mixed_TRS/fossacs.xml 11760597 u +0 1 +0 28.18/12.96
Mixed_TRS/gcd.xml 11760590 u +0 1 +0 24.69/8.64
Mixed_TRS/gcdMinMax.xml 11760592 u +0 1 +0 31.23/10.98
Mixed_TRS/gcd_triple.xml 11760603 u +0 1 +0 38.42/13.16
Mixed_TRS/hydra-Zantema06.xml 11760591 u +0 1 +0 21.38/7.32
Mixed_TRS/hydra.xml 11760595 u +0 1 +0 10.80/4.80
Mixed_TRS/jones1.xml 11760584 s n2 +1 1 +0 1.81/0.48
Mixed_TRS/jones2.xml 11760604 u +0 1 +0 16.49/10.29
Mixed_TRS/jones4.xml 11760598 s n1 +1 1 +0 0.13/0.06
Mixed_TRS/jones5.xml 11760606 u +0 1 +0 8.28/3.81
Mixed_TRS/jones6.xml 11760582 s n2 +1 1 +0 2.61/0.68
Mixed_TRS/minsort.xml 11760600 u +0 1 +0 90.40/34.78
Mixed_TRS/motivation.xml 11760589 u +0 1 +0 12.02/5.11
Mixed_TRS/perfect.xml 11760596 u +0 1 +0 39.66/15.89
Mixed_TRS/perfect2.xml 11760607 u +0 1 +0 43.13/15.19
Mixed_TRS/test1.xml 11760585 u +0 1 +0 8.65/4.04
Mixed_TRS/while.xml 11760602 u +0 1 +0 9.59/4.20
Mixed_TRS/while2.xml 11760588 u +0 1 +0 15.35/6.19
Applicative_first_order_05/#3.10.xml 11760623 u +0 1 +0 465.48/202.57
Applicative_first_order_05/#3.13.xml 11760633 u +0 1 +0 576.51/253.66
Applicative_first_order_05/#3.16.xml 11760612 u +0 1 +0 38.49/13.26
Applicative_first_order_05/#3.18.xml 11760609 u +0 1 +0 50.63/18.49
Applicative_first_order_05/#3.2.xml 11760610 u +0 1 +0 45.10/16.11
Applicative_first_order_05/#3.22.xml 11760620 u +0 1 +0 35.69/13.14
Applicative_first_order_05/#3.25.xml 11760619 u +0 1 +0 35.75/13.06
Applicative_first_order_05/#3.27.xml 11760643 u +0 1 +0 34.15/12.24
Applicative_first_order_05/#3.32.xml 11760616 u +0 1 +0 34.88/12.47
Applicative_first_order_05/#3.36.xml 11760639 u +0 1 +0 36.36/13.11
Applicative_first_order_05/#3.38.xml 11760636 u +0 1 +0 46.62/16.81
Applicative_first_order_05/#3.40.xml 11760614 u +0 1 +0 82.17/31.48
Applicative_first_order_05/#3.45.xml 11760628 u +0 1 +0 39.05/14.28
Applicative_first_order_05/#3.48.xml 11760626 u +0 1 +0 186.56/79.45
Applicative_first_order_05/#3.52.xml 11760645 u +0 1 +0 36.54/12.88
Applicative_first_order_05/#3.55.xml 11760646 u +0 1 +0 100.94/39.31
Applicative_first_order_05/#3.57.xml 11760618 u +0 1 +0 115.51/46.01
Applicative_first_order_05/#3.6.xml 11760641 u +0 1 +0 55.98/20.22
Applicative_first_order_05/#3.8.xml 11760642 u +0 1 +0 69.78/26.79
Applicative_first_order_05/01.xml 11760630 u +0 1 +0 40.74/14.89
Applicative_first_order_05/02.xml 11760621 u +0 1 +0 36.41/12.93
Applicative_first_order_05/06.xml 11760631 u +0 1 +0 37.63/13.48
Applicative_first_order_05/08.xml 11760629 u +0 1 +0 43.95/15.97
Applicative_first_order_05/11.xml 11760638 u +0 1 +0 751.18/296.15
Applicative_first_order_05/12.xml 11760615 u +0 1 +0 44.62/16.21
Applicative_first_order_05/13.xml 11760625 u +0 1 +0 47.02/17.25
Applicative_first_order_05/17.xml 11760627 u +0 1 +0 40.59/14.19
Applicative_first_order_05/18.xml 11760635 u +0 1 +0 34.98/12.70
Applicative_first_order_05/21.xml 11760624 u +0 1 +0 42.71/15.08
Applicative_first_order_05/29.xml 11760617 u +0 1 +0 36.97/13.35
Applicative_first_order_05/30.xml 11760622 u +0 1 +0 687.60/296.14
Applicative_first_order_05/31.xml 11760611 u +0 1 +0 47.02/17.14
Applicative_first_order_05/33.xml 11760632 u +0 1 +0 74.05/27.88
Applicative_first_order_05/hydra.xml 11760640 u +0 1 +0 39.78/14.70
Applicative_first_order_05/minsort.xml 11760613 u +0 1 +0 108.54/42.92
Applicative_first_order_05/motivation.xml 11760644 u +0 1 +0 36.85/13.28
Applicative_first_order_05/perfect.xml 11760634 u +0 1 +0 411.09/180.60
Applicative_first_order_05/perfect2.xml 11760637 u +0 1 +0 412.04/182.60
619