TermComp 2020: SRS Relative 41488 Job info CSV Showing results.

benchmark NaTT v.1.6c Default ttt2-1.20 ttt2 matchbox-2020-06-25 tc20-rel.sh AProVE standard MultumNonMulta 3.16 29 June 2020 60G default
Mixed_relative_SRS/zr02new.xml 11771691 i MAYBE 0.17/0.18 YES 20.21/5.37 YES 4.21/1.10 YES 8.91/3.23 YES 3.36/1.27
Mixed_relative_SRS/dup02.xml 11771692 is MAYBE 2.03/1.93 MAYBE 940.64/299.39 timeout (wallclock) YES 88.69/23.21 timeout (wallclock)
Mixed_relative_SRS/zr09.xml 11771693 i MAYBE 0.12/0.15 YES 4.58/1.43 YES 1.02/0.32 YES 6.03/2.33 YES 1.16/0.60
Mixed_relative_SRS/zr07.xml 11771694 YES 0.11/0.09 YES 5.50/1.68 YES 0.92/0.28 YES 10.07/3.32 YES 1.14/0.58
Mixed_relative_SRS/zr11.xml 11771695 i MAYBE 0.25/0.22 YES 6.76/1.98 YES 0.85/0.24 YES 11.00/3.53 YES 1.09/0.74
Mixed_relative_SRS/zr01.xml 11771696 i MAYBE 0.08/0.07 YES 4.09/1.29 YES 0.27/0.09 YES 6.41/2.41 YES 0.91/0.51
Mixed_relative_SRS/un03.xml 11771697 i MAYBE 2.23/1.99 MAYBE 786.42/299.34 YES 34.67/9.13 timeout (wallclock) YES 142.50/36.23
Mixed_relative_SRS/zr06.xml 11771698 YES 0.04/0.04 YES 2.27/0.82 YES 0.12/0.06 YES 5.95/2.22 YES 1.01/0.54
Mixed_relative_SRS/zr08.xml 11771699 YES 0.02/0.04 YES 4.35/1.37 YES 0.06/0.05 YES 6.86/2.43 YES 0.76/0.46
Mixed_relative_SRS/dup03.xml 11771700 i YES 2.48/1.68 MAYBE 774.89/299.40 YES 24.22/6.25 YES 61.33/16.32 YES 1.43/0.72
Mixed_relative_SRS/dup04.xml 11771701 i MAYBE 16.40/16.36 MAYBE 931.33/299.39 YES 4.00/1.22 YES 238.25/60.89 YES 1.28/0.66
Mixed_relative_SRS/zr04new.xml 11771702 i MAYBE 0.13/0.14 MAYBE 912.78/299.34 YES 8.00/2.06 YES 15.03/4.63 YES 1.89/0.81
Mixed_relative_SRS/zr10.xml 11771703 i MAYBE 0.17/0.20 YES 17.86/4.84 YES 0.52/0.21 YES 12.73/4.23 YES 0.98/0.59
Mixed_relative_SRS/zr13.xml 11771704 i MAYBE 0.06/0.13 NO 1.49/0.71 NO 0.04/0.09 NO 3.77/1.76 NO 0.63/0.49
Mixed_relative_SRS/zr05.xml 11771705 YES 0.04/0.09 YES 2.11/0.82 YES 0.07/0.09 YES 5.33/2.17 YES 0.92/0.60
Mixed_relative_SRS/zr02.xml 11771706 i MAYBE 0.17/0.20 YES 10.08/2.83 YES 3.46/0.95 YES 6.86/2.57 YES 1.23/0.66
Mixed_relative_SRS/zr12.xml 11771707 i MAYBE 0.06/0.10 YES 5.94/1.80 YES 0.10/0.08 YES 6.53/2.46 YES 1.24/0.69
Mixed_relative_SRS/zr03.xml 11771708 YES 0.02/0.03 YES 2.04/0.79 YES 0.05/0.05 YES 4.04/1.77 YES 0.91/0.57
Mixed_relative_SRS/un01.xml 11771709 i MAYBE 0.19/0.20 MAYBE 774.08/299.37 YES 69.33/17.68 YES 24.35/7.40 YES 1.37/1.10
Mixed_relative_SRS/zr04.xml 11771710 i MAYBE 0.35/0.33 MAYBE 913.06/299.35 YES 8.78/2.29 YES 33.15/9.34 YES 1.85/0.78
Waldmann_06_relative/r5.xml 11771711 i MAYBE 0.11/0.14 YES 9.98/2.75 YES 1.33/0.36 YES 16.91/4.95 timeout (wallclock)
Waldmann_06_relative/r2.xml 11771712 i YES 0.02/0.04 YES 18.04/4.77 YES 0.55/0.17 MAYBE 0.35/0.33 timeout (wallclock)
Waldmann_06_relative/r3.xml 11771713 i MAYBE 0.09/0.12 YES 4.27/1.32 YES 0.42/0.17 YES 26.77/7.60 YES 1.62/0.76
Waldmann_06_relative/r4.xml 11771714 i MAYBE 0.12/0.16 MAYBE 775.95/299.35 YES 0.85/0.26 YES 1074.74/269.71 timeout (wallclock)
Waldmann_06_relative/r10.xml 11771715 i MAYBE 0.48/0.46 MAYBE 775.64/299.43 YES 98.51/25.12 YES 487.84/122.85 YES 3.59/1.92
Waldmann_06_relative/r9.xml 11771716 YES 0.03/0.06 YES 2.12/0.83 YES 0.27/0.15 YES 21.54/6.17 YES 0.97/0.58
Waldmann_06_relative/r7.xml 11771717 i MAYBE 0.16/0.19 YES 3.90/1.25 YES 0.08/0.08 YES 4.58/1.91 YES 1.01/0.58
Waldmann_06_relative/rbeans.xml 11771718 i YES 0.03/0.02 MAYBE 614.14/299.44 YES 21.64/5.55 MAYBE 0.35/1.57 timeout (wallclock)
Waldmann_06_relative/r1.xml 11771719 i YES 0.02/0.06 MAYBE 605.96/299.44 YES 0.16/0.14 MAYBE 0.34/0.35 YES 0.96/0.56
Waldmann_06_relative/r6.xml 11771720 i MAYBE 0.15/0.19 YES 6.31/1.85 YES 1.60/0.47 YES 11.10/3.59 YES 0.99/0.58
Waldmann_06_relative/r8.xml 11771721 i MAYBE 0.33/0.33 YES 8.94/2.63 YES 4.73/1.28 YES 22.56/6.72 YES 1.74/0.74
Waldmann_19/random-195.xml 8321526 is MAYBE 6.20/6.15 MAYBE 787.86/299.39 YES 219.25/55.87 timeout (wallclock) timeout (wallclock)
Waldmann_19/random-76.xml 8321527 i YES 0.02/0.02 YES 11.57/3.22 YES 24.56/6.23 YES 4.52/2.87 timeout (wallclock)
Waldmann_19/random-228.xml 8321528 YES 0.16/0.19 YES 4.94/1.53 YES 0.75/0.24 YES 8.28/3.07 YES 1.44/0.66
Waldmann_19/random-78.xml 8321529 i MAYBE 0.34/0.32 MAYBE 786.36/299.34 YES 10.49/2.74 YES 43.51/11.86 YES 8.40/2.55
Waldmann_19/random-226.xml 8321530 YES 0.09/0.13 YES 12.37/3.40 YES 0.29/0.14 YES 6.25/2.48 YES 1.38/0.69
Waldmann_19/random-221.xml 8321531 YES 0.05/0.08 YES 6.88/2.03 YES 0.10/0.13 YES 4.46/1.91 YES 0.96/0.53
Waldmann_19/random-43.xml 8321532 i MAYBE 1.02/1.02 YES 96.85/24.59 YES 19.85/5.14 YES 134.49/34.58 timeout (wallclock)
Waldmann_19/random-176.xml 8321533 u MAYBE 6.28/6.20 MAYBE 788.60/299.33 timeout (wallclock) timeout (cpu) timeout (wallclock)
Waldmann_19/random-92.xml 8321534 i MAYBE 0.85/0.87 YES 49.89/12.88 YES 6.66/1.74 YES 69.85/18.26 YES 15.39/4.30
Waldmann_19/random-38.xml 8321535 is MAYBE 0.39/0.37 MAYBE 781.93/299.47 YES 87.04/22.21 timeout (wallclock) timeout (wallclock)
Waldmann_19/random-95.xml 8321536 YES 0.03/0.07 YES 10.79/3.02 YES 14.67/3.75 YES 5.24/2.13 YES 43.66/11.38
Waldmann_19/random-84.xml 8321537 is MAYBE 0.47/0.49 MAYBE 796.95/299.38 YES 199.62/50.37 timeout (cpu) timeout (wallclock)
Waldmann_19/random-160.xml 8321538 YES 0.03/0.03 YES 10.01/2.76 YES 4.74/1.23 YES 4.89/2.09 YES 1.59/1.63
Waldmann_19/random-52.xml 8321539 i MAYBE 0.63/0.61 YES 20.60/5.50 YES 4.16/1.15 YES 4.84/2.05 YES 2.69/1.14
Waldmann_19/random-202.xml 8321540 i MAYBE 4.30/4.22 MAYBE 787.85/299.36 YES 9.10/2.47 YES 57.49/15.28 YES 2.60/1.72
Waldmann_19/random-115.xml 8321541 YES 0.71/0.70 YES 27.92/7.30 YES 6.20/1.66 YES 5.08/2.03 YES 1.63/0.94
Waldmann_19/random-27.xml 8321542 i MAYBE 0.67/0.70 MAYBE 786.24/299.39 NO 7.40/1.94 timeout (wallclock) NO 19.88/5.35
Waldmann_19/random-120.xml 8321543 i MAYBE 0.45/0.42 YES 16.22/4.37 YES 6.82/1.83 YES 4.86/2.07 YES 32.27/8.62
Waldmann_19/random-152.xml 8321544 i MAYBE 0.22/0.25 YES 32.44/8.48 YES 2.34/0.68 YES 26.45/7.61 timeout (wallclock)
Waldmann_19/random-67.xml 8321545 i MAYBE 6.01/6.00 MAYBE 787.21/299.40 YES 8.41/2.25 YES 51.63/13.74 YES 1.86/0.84
Waldmann_19/random-60.xml 8321546 is MAYBE 0.66/0.67 MAYBE 787.13/299.34 YES 422.70/106.87 timeout (cpu) timeout (wallclock)
Waldmann_19/random-184.xml 8321547 YES 0.04/0.07 YES 3.93/1.25 YES 0.09/0.04 YES 5.28/2.32 YES 0.98/1.65
Waldmann_19/random-39.xml 8321548 i MAYBE 0.64/0.64 YES 41.98/10.90 YES 5.95/1.59 YES 20.89/6.11 YES 1.81/0.76
Waldmann_19/random-45.xml 8321549 i MAYBE 0.69/0.67 YES 42.55/11.00 YES 24.56/6.29 YES 46.96/12.67 YES 18.94/5.17
Waldmann_19/random-177.xml 8321550 is MAYBE 0.94/0.91 MAYBE 786.83/299.34 timeout (cpu) timeout (cpu) NO 17.87/4.91
Waldmann_19/random-42.xml 8321551 i MAYBE 0.59/0.56 YES 121.07/30.78 YES 21.04/5.39 YES 10.37/3.45 timeout (wallclock)
Waldmann_19/random-93.xml 8321552 YES 0.05/0.04 YES 11.84/5.83 YES 0.79/0.23 YES 9.88/3.22 YES 1.23/0.61
Waldmann_19/random-105.xml 8321553 YES 0.82/0.74 YES 8.10/2.30 YES 17.54/4.49 YES 39.81/11.21 YES 1.19/0.63
Waldmann_19/random-212.xml 8321554 i YES 0.05/0.05 MAYBE 789.60/299.34 YES 457.59/115.04 YES 46.95/12.50 timeout (wallclock)
Waldmann_19/random-137.xml 8321555 YES 0.04/0.04 YES 1.65/0.72 YES 0.06/0.08 YES 4.02/1.82 YES 1.02/0.59
Waldmann_19/random-79.xml 8321556 i MAYBE 1.02/1.00 YES 37.57/9.80 YES 29.01/7.39 YES 39.80/10.73 timeout (wallclock)
Waldmann_19/random-227.xml 8321557 i MAYBE 1.19/1.19 YES 52.31/13.49 YES 4.19/1.11 YES 11.73/3.74 YES 3.21/1.14
Waldmann_19/random-130.xml 8321558 i MAYBE 8.23/8.15 MAYBE 788.31/299.34 NO 1.41/0.41 timeout (wallclock) NO 7.10/2.23
Waldmann_19/random-142.xml 8321559 YES 0.09/0.09 YES 14.87/3.99 YES 2.27/0.61 YES 8.15/2.81 YES 10.11/2.96
Waldmann_19/random-77.xml 8321560 YES 0.04/0.04 YES 10.35/2.87 YES 2.39/0.65 YES 8.17/2.80 YES 1.60/0.70
Waldmann_19/random-145.xml 8321561 YES 0.45/0.41 YES 46.66/12.03 YES 0.68/0.19 YES 25.73/7.21 YES 1.65/0.72
Waldmann_19/random-70.xml 8321562 YES 0.04/0.04 YES 6.32/1.87 YES 0.21/0.07 YES 5.09/2.00 YES 1.13/0.65
Waldmann_19/random-66.xml 8321563 YES 0.40/0.38 YES 9.76/2.70 YES 0.84/0.23 YES 4.78/2.12 YES 0.83/0.54
Waldmann_19/random-182.xml 8321564 u MAYBE 4.06/4.04 MAYBE 787.93/299.34 timeout (wallclock) timeout (wallclock) timeout (wallclock)
Waldmann_19/random-68.xml 8321565 u MAYBE 3.87/3.81 MAYBE 787.97/299.39 timeout (wallclock) MAYBE 0.40/0.30 timeout (wallclock)
Waldmann_19/random-14.xml 8321566 YES 0.13/0.11 YES 66.06/16.90 YES 8.92/2.29 YES 9.08/3.04 YES 16.16/4.43
Waldmann_19/random-126.xml 8321567 i YES 0.11/0.11 YES 20.06/5.29 YES 357.67/90.00 YES 4.27/1.78 timeout (wallclock)
Waldmann_19/random-26.xml 8321568 YES 0.04/0.09 YES 9.27/2.63 YES 28.73/7.32 YES 7.76/2.77 YES 723.29/238.01
Waldmann_19/random-113.xml 8321569 YES 0.33/0.33 YES 22.28/5.88 YES 0.67/0.22 YES 4.98/2.12 YES 1.71/0.77
Waldmann_19/random-168.xml 8321570 YES 0.36/0.37 YES 12.77/3.53 YES 1.42/0.46 YES 4.33/1.86 YES 1.34/0.69
Waldmann_19/random-82.xml 8321571 i YES 0.06/0.08 YES 106.59/27.40 timeout (wallclock) timeout (wallclock) timeout (wallclock)
Waldmann_19/random-166.xml 8321572 i MAYBE 1.64/1.64 YES 62.91/16.05 YES 45.31/12.75 timeout (wallclock) timeout (wallclock)
Waldmann_19/random-28.xml 8321573 i MAYBE 2.03/2.01 YES 48.87/12.65 YES 8.50/2.25 YES 175.81/45.07 timeout (wallclock)
Waldmann_19/random-150.xml 8321574 i MAYBE 1.06/1.04 YES 55.73/14.35 YES 6.75/1.76 YES 27.45/7.70 timeout (wallclock)
Waldmann_19/random-65.xml 8321575 YES 0.63/0.57 YES 25.52/6.70 YES 0.48/0.15 YES 4.73/1.89 YES 1.18/0.59
Waldmann_19/random-62.xml 8321576 i MAYBE 1.68/1.65 MAYBE 788.74/299.34 NO 19.94/5.13 timeout (wallclock) NO 9.40/2.74
Waldmann_19/random-186.xml 8321577 i MAYBE 0.57/0.58 MAYBE 787.32/299.34 YES 155.09/39.43 YES 965.59/242.76 timeout (wallclock)
Waldmann_19/random-10.xml 8321578 YES 0.24/0.26 YES 5.30/1.63 YES 0.16/0.09 YES 6.94/2.47 YES 1.28/0.66
Waldmann_19/random-232.xml 8321579 i MAYBE 0.77/0.77 YES 42.07/11.07 YES 31.42/8.11 YES 36.49/9.90 YES 26.55/7.08
Waldmann_19/random-159.xml 8321580 i MAYBE 0.41/0.38 YES 20.67/5.46 YES 8.55/2.25 YES 41.50/11.16 YES 2.05/0.82
Waldmann_19/random-207.xml 8321581 u MAYBE 0.80/0.81 MAYBE 787.24/299.34 timeout (wallclock) timeout (wallclock) timeout (wallclock)
Waldmann_19/random-110.xml 8321582 YES 0.08/0.08 YES 11.28/3.11 YES 0.74/0.26 YES 7.48/2.70 YES 327.23/82.89
Waldmann_19/random-59.xml 8321583 u MAYBE 0.88/0.85 MAYBE 786.18/299.37 timeout (wallclock) timeout (wallclock) timeout (wallclock)
Waldmann_19/random-209.xml 8321584 u MAYBE 6.56/6.47 MAYBE 776.33/299.40 timeout (wallclock) timeout (wallclock) timeout (wallclock)
Waldmann_19/random-86.xml 8321585 YES 0.55/0.52 YES 52.24/13.52 YES 9.64/2.53 YES 50.89/13.57 YES 2.41/0.94
Waldmann_19/random-162.xml 8321586 YES 0.07/0.06 YES 8.49/2.46 YES 0.16/0.06 YES 4.70/1.91 YES 1.03/0.58
Waldmann_19/random-57.xml 8321587 i YES 0.40/0.38 MAYBE 783.81/299.35 YES 430.56/108.22 YES 47.67/12.68 timeout (wallclock)
Waldmann_19/random-81.xml 8321588 i YES 0.59/0.54 YES 29.26/7.67 YES 15.19/3.89 YES 116.56/29.93 timeout (wallclock)
Waldmann_19/random-50.xml 8321589 YES 0.06/0.06 YES 9.89/2.74 YES 5.74/1.50 YES 3.98/1.76 YES 2.66/1.02
Waldmann_19/random-41.xml 8321590 YES 0.41/0.37 YES 30.01/7.80 YES 8.56/2.27 YES 4.61/1.98 YES 82.74/21.94
Waldmann_19/random-46.xml 8321591 i MAYBE 0.58/0.61 MAYBE 792.60/299.39 YES 45.57/11.55 YES 6.20/2.53 timeout (wallclock)
Waldmann_19/random-173.xml 8321592 i YES 0.03/0.08 YES 10.90/3.11 YES 9.36/2.40 YES 7.02/2.78 timeout (wallclock)
Waldmann_19/random-34.xml 8321593 YES 0.04/0.04 YES 10.04/2.77 YES 3.81/1.00 YES 4.29/1.81 YES 1.40/0.76
Waldmann_19/random-216.xml 8321594 is MAYBE 0.76/0.73 MAYBE 786.98/299.41 timeout (cpu) timeout (wallclock) NO 49.21/12.80
Waldmann_19/random-99.xml 8321595 is MAYBE 0.60/0.60 MAYBE 787.46/299.39 timeout (cpu) timeout (wallclock) NO 325.44/82.65
Waldmann_19/random-33.xml 8321596 i YES 16.24/16.20 YES 99.20/25.24 YES 361.61/91.08 timeout (wallclock) timeout (wallclock)
Waldmann_19/random-106.xml 8321597 u MAYBE 3.59/3.52 MAYBE 786.63/299.41 timeout (cpu) timeout (wallclock) timeout (wallclock)
Waldmann_19/random-134.xml 8321598 YES 0.50/0.52 YES 21.00/5.59 YES 0.49/0.15 YES 4.48/1.97 YES 1.01/0.59
Waldmann_19/random-148.xml 8321599 i YES 0.94/0.94 YES 81.00/20.85 YES 9.40/2.48 YES 140.57/36.26 timeout (wallclock)
Waldmann_19/random-146.xml 8321600 i MAYBE 0.32/0.35 YES 7.33/2.17 YES 0.45/0.21 YES 6.72/2.59 YES 1.19/0.67
Waldmann_19/random-141.xml 8321601 i MAYBE 0.44/0.47 NO 631.74/221.73 NO 0.57/0.24 NO 510.54/128.70 NO 0.89/0.58
Waldmann_19/random-80.xml 8321602 YES 0.06/0.10 YES 13.74/3.78 YES 0.44/0.18 YES 4.54/1.93 YES 1.34/0.66
Waldmann_19/random-164.xml 8321603 i YES 0.05/0.08 YES 16.77/4.51 timeout (wallclock) YES 4.70/1.90 YES 242.72/61.40
Waldmann_19/random-208.xml 8321604 i MAYBE 1.85/1.85 YES 68.23/17.65 YES 68.05/17.66 YES 140.01/36.02 timeout (wallclock)
Waldmann_19/random-163.xml 8321605 u MAYBE 0.69/0.72 MAYBE 788.06/299.38 timeout (cpu) timeout (wallclock) timeout (wallclock)
Waldmann_19/random-24.xml 8321606 YES 0.06/0.11 YES 11.83/3.26 YES 86.55/21.85 YES 5.07/2.09 YES 198.75/50.42
Waldmann_19/random-89.xml 8321607 i YES 0.05/0.10 YES 13.12/3.68 YES 0.64/0.23 YES 7.95/2.76 timeout (wallclock)
Waldmann_19/random-58.xml 8321608 i YES 0.03/0.07 YES 17.21/4.83 YES 7.18/1.88 YES 6.90/2.62 timeout (wallclock)
Waldmann_19/random-116.xml 8321609 i MAYBE 0.59/0.60 YES 23.45/6.18 YES 0.46/0.19 YES 5.09/2.10 YES 1.14/0.62
Waldmann_19/random-16.xml 8321610 YES 0.02/0.08 YES 8.53/2.41 YES 25.05/6.37 YES 4.66/1.91 YES 64.52/16.96
Waldmann_19/random-123.xml 8321611 i MAYBE 0.55/0.53 YES 118.25/30.07 YES 48.97/12.42 timeout (wallclock) timeout (wallclock)
Waldmann_19/random-11.xml 8321612 is MAYBE 0.42/0.45 MAYBE 786.35/299.36 YES 33.29/8.43 timeout (cpu) timeout (wallclock)
Waldmann_19/random-187.xml 8321613 i YES 0.38/0.41 YES 80.29/20.64 YES 13.79/3.63 YES 52.03/13.93 timeout (wallclock)
Waldmann_19/random-151.xml 8321614 i MAYBE 0.51/0.57 MAYBE 778.80/299.37 YES 21.04/5.43 YES 55.64/15.01 timeout (wallclock)
Waldmann_19/random-140.xml 8321615 YES 0.10/0.15 YES 46.55/12.10 YES 0.68/0.25 YES 4.60/1.93 YES 1.33/0.70
Waldmann_19/random-75.xml 8321616 i MAYBE 1.40/1.40 MAYBE 784.46/299.36 YES 62.66/15.79 YES 16.59/5.24 timeout (wallclock)
Waldmann_19/random-72.xml 8321617 is MAYBE 0.63/0.64 MAYBE 786.99/299.38 timeout (wallclock) YES 117.98/30.44 timeout (wallclock)
Waldmann_19/random-198.xml 8321618 is MAYBE 9.49/9.44 MAYBE 788.37/299.39 YES 151.10/38.18 timeout (cpu) timeout (wallclock)
Waldmann_19/random-149.xml 8321619 YES 0.18/0.22 YES 5.38/1.68 YES 0.29/0.16 YES 4.61/1.88 YES 1.13/0.59
Waldmann_19/random-210.xml 8321620 YES 0.06/0.13 YES 30.87/8.07 YES 8.61/2.28 YES 4.90/2.06 YES 1.70/0.80
Waldmann_19/random-35.xml 8321621 YES 0.06/0.11 YES 6.77/2.00 YES 0.46/0.18 YES 5.21/2.09 YES 1.06/1.79
Waldmann_19/random-98.xml 8321622 i MAYBE 2.40/2.34 YES 42.54/10.99 YES 9.34/2.62 YES 38.96/10.76 timeout (wallclock)
Waldmann_19/random-172.xml 8321623 i MAYBE 6.75/6.82 YES 39.40/10.28 YES 0.39/0.19 YES 4.67/2.03 YES 1.31/0.68
Waldmann_19/random-175.xml 8321624 u MAYBE 5.47/5.41 MAYBE 788.77/299.40 timeout (cpu) timeout (cpu) timeout (wallclock)
Waldmann_19/random-109.xml 8321625 YES 0.06/0.11 YES 21.22/5.64 YES 0.44/0.18 YES 4.70/1.94 YES 1.65/0.81
Zantema_06_relative/rel13.xml 11771722 i MAYBE 0.08/0.11 YES 12.20/3.39 YES 0.09/0.05 YES 7.95/2.88 YES 1.24/0.62
Zantema_06_relative/rel02.xml 11771723 i MAYBE 0.18/0.26 MAYBE 1067.31/299.40 YES 21.64/5.58 YES 41.90/12.47 YES 2.16/0.87
Zantema_06_relative/rel05.xml 11771724 i MAYBE 0.18/0.29 YES 9.38/2.71 YES 0.51/0.65 YES 12.69/4.11 YES 1.32/0.63
Zantema_06_relative/rel12.xml 11771725 u MAYBE 0.19/0.20 MAYBE 786.57/299.39 timeout (wallclock) timeout (cpu) timeout (wallclock)
Zantema_06_relative/rel04.xml 11771726 i MAYBE 0.19/0.22 YES 14.38/3.91 YES 4.81/1.31 YES 22.98/6.78 YES 1.19/0.63
Zantema_06_relative/rel03.xml 11771727 u MAYBE 0.20/0.22 MAYBE 784.56/299.34 timeout (wallclock) timeout (wallclock) timeout (wallclock)
Zantema_06_relative/rel07.xml 11771728 u MAYBE 0.30/0.27 MAYBE 788.40/299.33 timeout (wallclock) timeout (wallclock) timeout (wallclock)
Zantema_06_relative/rel09.xml 11771729 i MAYBE 0.32/0.34 MAYBE 943.74/299.34 YES 0.50/0.18 YES 29.56/8.25 YES 51.22/13.46
Zantema_06_relative/rel11.xml 11771730 u MAYBE 0.13/0.18 MAYBE 944.21/299.37 timeout (wallclock) timeout (cpu) timeout (wallclock)
Zantema_06_relative/rel08.xml 11771731 i MAYBE 0.13/0.17 MAYBE 787.55/299.39 YES 3.45/0.96 YES 9.39/3.15 YES 10.19/5.39
Zantema_06_relative/rel06.xml 11771732 i MAYBE 0.09/0.10 MAYBE 786.09/299.37 YES 11.68/3.03 YES 44.71/12.28 timeout (wallclock)
Zantema_06_relative/rel01.xml 11771733 i MAYBE 0.08/0.13 YES 4.44/1.37 YES 1.25/0.42 YES 6.36/2.32 YES 1.21/0.61
Zantema_06_relative/rel10.xml 11771734 i MAYBE 0.30/0.33 MAYBE 796.94/299.38 YES 0.73/0.26 YES 36.05/12.79 YES 1.41/0.67
Zantema_06_relative/cars.xml 11771735 u MAYBE 0.20/0.18 MAYBE 914.60/299.35 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/54097.xml 11771736 is timeout (wallclock) timeout (wallclock) timeout (cpu) timeout (wallclock) YES 26.82/7.35
ICFP_2010_relative/135115.xml 11771737 i timeout (wallclock) MAYBE 791.60/299.97 YES 89.52/23.55 timeout (wallclock) YES 19.43/5.65
ICFP_2010_relative/4141.xml 11771738 i timeout (wallclock) MAYBE 936.96/299.53 YES 300.28/94.37 timeout (wallclock) YES 28.19/8.29
ICFP_2010_relative/4920.xml 11771739 u timeout (wallclock) MAYBE 937.14/299.51 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/4017.xml 11771740 u timeout (wallclock) MAYBE 936.56/299.53 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/139100.xml 11771741 i timeout (wallclock) MAYBE 937.52/300.14 YES 63.47/16.48 YES 42.06/11.43 YES 8.03/2.49
ICFP_2010_relative/135328.xml 11771742 i timeout (wallclock) MAYBE 789.33/299.91 YES 79.37/20.88 timeout (wallclock) YES 18.58/5.76
ICFP_2010_relative/132235.xml 11771743 i timeout (wallclock) MAYBE 936.69/299.97 YES 78.12/20.55 timeout (wallclock) YES 33.83/10.50
ICFP_2010_relative/4106.xml 11771744 u timeout (wallclock) MAYBE 870.86/299.51 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/140649.xml 11771745 u timeout (wallclock) MAYBE 937.10/299.90 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/64160.xml 11771746 u timeout (wallclock) MAYBE 872.38/299.60 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/3562.xml 11771747 i timeout (wallclock) MAYBE 936.86/299.57 YES 820.08/218.46 timeout (wallclock) YES 46.97/14.25
ICFP_2010_relative/139018.xml 11771748 i timeout (wallclock) MAYBE 937.64/300.12 YES 78.97/20.48 YES 52.73/14.64 YES 6.58/2.14
ICFP_2010_relative/3268.xml 11771749 i timeout (wallclock) MAYBE 816.54/299.40 YES 37.27/9.68 timeout (wallclock) YES 5.02/1.70
ICFP_2010_relative/4057.xml 11771750 u timeout (wallclock) MAYBE 937.06/299.53 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/3450.xml 11771751 is timeout (wallclock) MAYBE 937.26/299.54 timeout (wallclock) timeout (wallclock) YES 56.53/17.28
ICFP_2010_relative/4046.xml 11771752 u timeout (wallclock) MAYBE 653.41/299.54 timeout (wallclock) MAYBE 0.51/0.48 timeout (wallclock)
ICFP_2010_relative/128182.xml 11771753 i timeout (wallclock) MAYBE 936.16/300.12 YES 62.51/16.17 YES 43.54/11.93 YES 7.20/2.28
ICFP_2010_relative/139180.xml 11771754 i timeout (wallclock) MAYBE 937.36/300.13 YES 61.14/16.16 YES 81.20/21.15 YES 8.30/2.62
ICFP_2010_relative/132478.xml 11771755 i timeout (wallclock) MAYBE 937.46/300.15 YES 62.13/16.13 YES 57.77/15.53 YES 8.09/2.55
ICFP_2010_relative/139310.xml 11771756 i timeout (wallclock) MAYBE 937.30/300.17 YES 65.28/17.00 YES 37.65/10.48 YES 6.62/2.33
ICFP_2010_relative/132920.xml 11771757 i timeout (wallclock) MAYBE 937.75/300.12 YES 174.41/44.59 YES 40.50/11.02 YES 11.27/3.48
ICFP_2010_relative/4200.xml 11771758 is timeout (wallclock) MAYBE 937.08/299.73 YES 299.49/79.50 timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/136051.xml 11771759 i timeout (wallclock) MAYBE 792.64/299.97 YES 78.35/20.67 timeout (wallclock) YES 22.08/6.49
ICFP_2010_relative/4484.xml 11771760 is timeout (wallclock) MAYBE 937.28/299.56 timeout (wallclock) timeout (wallclock) YES 86.54/27.20
ICFP_2010_relative/4827.xml 11771761 u timeout (wallclock) MAYBE 936.37/299.55 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/88143.xml 11771762 i timeout (wallclock) MAYBE 815.42/299.60 YES 21.22/5.59 YES 39.43/13.00 YES 3.37/1.20
ICFP_2010_relative/3385.xml 11771763 is timeout (wallclock) MAYBE 815.09/299.41 timeout (wallclock) timeout (wallclock) YES 18.71/5.18
ICFP_2010_relative/132782.xml 11771764 i timeout (wallclock) MAYBE 937.70/300.14 YES 62.88/16.30 YES 47.07/12.60 YES 7.70/2.53
ICFP_2010_relative/3533.xml 11771765 u timeout (wallclock) MAYBE 937.03/299.51 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/138330.xml 11771766 i timeout (wallclock) MAYBE 937.46/299.95 YES 81.53/21.40 timeout (wallclock) YES 21.24/6.80
ICFP_2010_relative/3865.xml 11771767 i timeout (wallclock) MAYBE 937.21/299.54 YES 292.38/77.06 timeout (wallclock) YES 347.49/111.39
ICFP_2010_relative/5130.xml 11771768 i timeout (wallclock) MAYBE 936.83/299.55 YES 23.60/6.37 YES 96.22/25.82 YES 7.31/2.55
ICFP_2010_relative/132969.xml 11771769 i timeout (wallclock) MAYBE 937.78/299.93 YES 78.32/20.65 timeout (wallclock) YES 20.33/6.19
ICFP_2010_relative/91242.xml 11771770 u timeout (wallclock) MAYBE 937.65/300.08 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/41378.xml 11771771 is timeout (wallclock) timeout (wallclock) timeout (cpu) timeout (wallclock) YES 31.07/8.40
ICFP_2010_relative/4074.xml 11771772 i timeout (wallclock) MAYBE 936.81/299.61 YES 23.37/6.26 timeout (wallclock) YES 8.26/2.63
ICFP_2010_relative/131633.xml 11771773 is timeout (wallclock) MAYBE 937.50/299.98 timeout (wallclock) timeout (wallclock) YES 34.08/10.89
ICFP_2010_relative/3680.xml 11771774 i timeout (wallclock) MAYBE 936.90/299.56 YES 24.16/6.47 YES 104.23/27.14 YES 7.06/2.32
ICFP_2010_relative/124211.xml 11771775 is timeout (wallclock) MAYBE 937.17/299.96 timeout (wallclock) timeout (wallclock) YES 17.70/5.15
ICFP_2010_relative/4181.xml 11771776 i timeout (wallclock) MAYBE 937.30/299.58 YES 26.90/7.20 YES 266.37/67.72 YES 8.45/2.50
ICFP_2010_relative/4943.xml 11771777 i timeout (wallclock) MAYBE 937.09/299.55 YES 29.68/7.90 timeout (wallclock) YES 163.27/50.93
ICFP_2010_relative/3817.xml 11771778 u timeout (wallclock) MAYBE 936.98/299.55 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/4157.xml 11771779 u timeout (wallclock) MAYBE 937.25/299.55 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/4412.xml 11771780 i timeout (wallclock) MAYBE 937.02/299.59 YES 28.67/7.62 YES 171.28/43.80 YES 19.34/5.72
ICFP_2010_relative/140664.xml 11771781 u timeout (wallclock) MAYBE 937.37/299.90 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/4938.xml 11771782 i timeout (wallclock) MAYBE 937.03/299.56 YES 22.10/6.01 timeout (wallclock) YES 8.60/2.84
ICFP_2010_relative/139163.xml 11771783 i timeout (wallclock) MAYBE 937.73/300.11 YES 752.16/189.30 YES 58.76/16.02 YES 163.69/52.88
ICFP_2010_relative/3786.xml 11771784 is timeout (wallclock) MAYBE 937.01/299.58 timeout (wallclock) timeout (wallclock) YES 34.26/10.19
ICFP_2010_relative/3336.xml 11771785 i MAYBE 16.88/15.49 MAYBE 651.91/299.40 YES 1143.77/299.39 MAYBE 0.56/0.40 YES 17.09/5.32
ICFP_2010_relative/3916.xml 11771786 u timeout (wallclock) MAYBE 653.58/299.48 timeout (wallclock) MAYBE 0.64/0.39 timeout (wallclock)
ICFP_2010_relative/139256.xml 11771787 i timeout (wallclock) MAYBE 937.49/300.14 YES 66.13/17.09 YES 54.26/14.52 YES 9.72/2.94
ICFP_2010_relative/139190.xml 11771788 i timeout (wallclock) MAYBE 937.46/300.09 YES 64.74/16.72 YES 30.32/8.46 YES 7.96/2.45
ICFP_2010_relative/4051.xml 11771789 i timeout (wallclock) MAYBE 936.83/299.56 YES 22.74/6.11 YES 225.53/57.33 YES 5.52/1.86
ICFP_2010_relative/4893.xml 11771790 i timeout (wallclock) MAYBE 937.15/299.53 YES 22.42/6.05 timeout (wallclock) YES 15.75/4.65
ICFP_2010_relative/128691.xml 11771791 i timeout (wallclock) MAYBE 937.29/300.12 YES 192.32/49.06 YES 31.52/8.73 YES 29.91/9.83
ICFP_2010_relative/3498.xml 11771792 i timeout (wallclock) MAYBE 872.83/299.53 YES 22.33/6.02 timeout (wallclock) YES 12.34/3.98
ICFP_2010_relative/97888.xml 11771793 u timeout (wallclock) timeout (wallclock) timeout (cpu) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/128550.xml 11771794 i timeout (wallclock) MAYBE 937.83/300.12 YES 59.88/15.53 YES 54.60/14.75 YES 7.63/2.43
ICFP_2010_relative/97901.xml 11771795 u timeout (wallclock) timeout (wallclock) timeout (cpu) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/139025.xml 11771796 i timeout (wallclock) MAYBE 937.81/300.15 YES 25.16/6.81 YES 35.59/10.16 YES 7.52/2.39
ICFP_2010_relative/3589.xml 11771797 is timeout (wallclock) MAYBE 937.07/299.58 timeout (wallclock) timeout (wallclock) YES 35.62/10.75
ICFP_2010_relative/132738.xml 11771798 i timeout (wallclock) MAYBE 937.45/300.13 YES 61.06/15.88 YES 34.96/9.73 YES 7.82/2.64
ICFP_2010_relative/3633.xml 11771799 i timeout (wallclock) MAYBE 936.93/299.56 YES 1079.56/284.81 timeout (wallclock) YES 478.32/153.56
ICFP_2010_relative/137809.xml 11771800 is timeout (wallclock) MAYBE 937.62/299.93 timeout (wallclock) timeout (wallclock) YES 18.44/5.72
ICFP_2010_relative/139174.xml 11771801 i timeout (wallclock) MAYBE 937.73/300.09 YES 61.85/16.03 YES 49.65/13.28 YES 7.78/2.49
ICFP_2010_relative/4953.xml 11771802 i timeout (wallclock) MAYBE 937.26/299.55 YES 27.00/7.20 timeout (wallclock) YES 8.75/2.88
ICFP_2010_relative/5076.xml 11771803 i timeout (wallclock) MAYBE 936.81/299.50 YES 379.85/119.55 timeout (wallclock) YES 435.72/135.48
ICFP_2010_relative/3989.xml 11771804 u timeout (wallclock) MAYBE 937.07/299.51 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/3762.xml 11771805 is timeout (wallclock) MAYBE 937.23/299.56 YES 402.80/104.70 timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/4374.xml 11771806 u timeout (wallclock) MAYBE 936.56/299.56 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/123759.xml 11771807 is timeout (wallclock) MAYBE 791.56/299.95 timeout (wallclock) timeout (wallclock) YES 18.73/5.58
ICFP_2010_relative/132720.xml 11771808 i timeout (wallclock) MAYBE 937.63/300.13 YES 576.90/145.69 YES 39.96/10.98 YES 8.73/3.04
ICFP_2010_relative/133881.xml 11771809 is timeout (wallclock) MAYBE 937.05/300.00 timeout (wallclock) timeout (wallclock) YES 17.49/5.25
ICFP_2010_relative/128486.xml 11771810 i timeout (wallclock) MAYBE 937.92/300.15 YES 71.47/18.50 YES 55.83/14.97 YES 9.07/2.90
ICFP_2010_relative/4248.xml 11771811 u timeout (wallclock) MAYBE 937.08/299.56 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/138269.xml 11771812 i timeout (wallclock) MAYBE 793.66/299.96 YES 89.04/23.36 timeout (wallclock) YES 21.56/6.47
ICFP_2010_relative/142142.xml 11771813 is timeout (wallclock) MAYBE 937.26/299.89 YES 285.77/74.57 timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/133486.xml 11771814 is timeout (wallclock) MAYBE 791.98/299.93 timeout (wallclock) timeout (wallclock) YES 48.72/15.34
ICFP_2010_relative/140659.xml 11771815 u timeout (wallclock) MAYBE 937.20/299.86 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/3856.xml 11771816 i timeout (wallclock) MAYBE 937.35/299.53 YES 24.48/6.60 YES 104.31/27.19 YES 7.79/2.56
ICFP_2010_relative/97917.xml 11771817 u timeout (wallclock) timeout (wallclock) timeout (cpu) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/4979.xml 11771818 is timeout (wallclock) MAYBE 937.00/299.55 timeout (wallclock) timeout (wallclock) YES 293.98/94.45
ICFP_2010_relative/3746.xml 11771819 u timeout (wallclock) MAYBE 936.77/299.55 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/138194.xml 11771820 is timeout (wallclock) MAYBE 792.60/299.94 timeout (wallclock) timeout (wallclock) YES 59.98/19.26
ICFP_2010_relative/4970.xml 11771821 is timeout (wallclock) MAYBE 653.00/299.50 YES 265.60/88.88 MAYBE 0.57/0.39 timeout (wallclock)
ICFP_2010_relative/4854.xml 11771822 is timeout (wallclock) MAYBE 936.81/299.57 timeout (wallclock) timeout (wallclock) YES 581.23/185.46
ICFP_2010_relative/135782.xml 11771823 is timeout (wallclock) MAYBE 937.67/300.11 timeout (wallclock) timeout (wallclock) YES 21.43/6.35
ICFP_2010_relative/4819.xml 11771824 i timeout (wallclock) MAYBE 931.19/299.49 YES 23.06/6.20 YES 81.26/21.63 YES 8.25/3.21
ICFP_2010_relative/3467.xml 11771825 i timeout (wallclock) MAYBE 936.79/299.55 YES 22.90/6.17 timeout (wallclock) YES 8.23/2.63
ICFP_2010_relative/3770.xml 11771826 u timeout (wallclock) MAYBE 936.70/299.51 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/131982.xml 11771827 i timeout (wallclock) MAYBE 937.71/299.93 YES 255.80/65.30 timeout (wallclock) YES 20.80/6.21
ICFP_2010_relative/5011.xml 11771828 u timeout (wallclock) MAYBE 653.37/299.48 timeout (wallclock) MAYBE 0.58/0.34 timeout (wallclock)
ICFP_2010_relative/4934.xml 11771829 u timeout (wallclock) MAYBE 937.21/299.53 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/3705.xml 11771830 is timeout (wallclock) MAYBE 936.97/299.57 timeout (wallclock) timeout (wallclock) YES 278.98/88.70
ICFP_2010_relative/132833.xml 11771831 i timeout (wallclock) MAYBE 937.71/300.16 YES 75.28/19.52 YES 51.00/13.74 YES 32.94/10.41
ICFP_2010_relative/142146.xml 11771832 i timeout (wallclock) MAYBE 937.51/299.91 YES 31.95/8.37 YES 60.68/26.85 YES 5.85/4.39
ICFP_2010_relative/3995.xml 11771833 i timeout (wallclock) MAYBE 936.38/299.56 YES 851.01/216.65 timeout (wallclock) YES 8.97/2.86
ICFP_2010_relative/139236.xml 11771834 i timeout (wallclock) MAYBE 937.93/300.14 YES 60.78/15.78 YES 40.67/11.11 YES 11.14/5.67
ICFP_2010_relative/4036.xml 11771835 i timeout (wallclock) MAYBE 936.98/299.57 YES 21.55/5.80 YES 179.15/45.79 YES 9.02/2.76
ICFP_2010_relative/140318.xml 11771836 i timeout (wallclock) MAYBE 937.21/300.11 YES 71.83/18.76 YES 37.67/10.34 YES 8.96/2.93
ICFP_2010_relative/132957.xml 11771837 i timeout (wallclock) MAYBE 937.84/300.11 YES 491.36/123.98 YES 50.50/13.96 YES 42.38/12.75
ICFP_2010_relative/139185.xml 11771838 i timeout (wallclock) MAYBE 937.65/300.10 YES 64.74/16.79 YES 37.71/10.28 YES 36.65/11.98
ICFP_2010_relative/140654.xml 11771839 u timeout (wallclock) MAYBE 918.32/299.87 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/128620.xml 11771840 i timeout (wallclock) MAYBE 937.66/300.11 YES 61.41/16.01 YES 35.01/9.71 YES 35.35/11.43
ICFP_2010_relative/5109.xml 11771841 i timeout (wallclock) MAYBE 854.24/299.56 YES 22.72/6.13 YES 74.48/19.62 YES 8.18/2.57
ICFP_2010_relative/135936.xml 11771842 i timeout (wallclock) MAYBE 792.65/299.96 timeout (wallclock) YES 708.14/230.75 YES 19.77/6.06
ICFP_2010_relative/140639.xml 11771843 u timeout (wallclock) MAYBE 937.25/299.92 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/3831.xml 11771844 i timeout (wallclock) MAYBE 937.37/299.57 YES 23.87/6.43 YES 97.05/26.00 YES 7.94/2.57
ICFP_2010_relative/4029.xml 11771845 i timeout (wallclock) MAYBE 936.45/299.62 YES 131.47/35.62 timeout (wallclock) YES 566.38/182.09
ICFP_2010_relative/139378.xml 11771846 i timeout (wallclock) MAYBE 937.88/300.16 YES 61.04/15.86 YES 60.51/16.22 YES 6.35/2.09
ICFP_2010_relative/140287.xml 11771847 u timeout (wallclock) MAYBE 937.75/300.16 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/137404.xml 11771848 i timeout (wallclock) MAYBE 936.81/299.98 YES 78.95/20.77 timeout (wallclock) YES 22.01/6.66
ICFP_2010_relative/142157.xml 11771849 u timeout (wallclock) MAYBE 936.98/299.89 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/134918.xml 11771850 i timeout (wallclock) MAYBE 937.66/299.97 YES 89.85/23.69 timeout (wallclock) YES 20.51/6.36
ICFP_2010_relative/142150.xml 11771851 u timeout (wallclock) MAYBE 937.06/299.90 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/4282.xml 11771852 i timeout (wallclock) MAYBE 821.13/299.54 YES 22.08/7.02 timeout (wallclock) YES 7.28/2.33
ICFP_2010_relative/124791.xml 11771853 i timeout (wallclock) MAYBE 792.91/299.96 YES 79.11/20.84 timeout (wallclock) YES 68.09/21.96
ICFP_2010_relative/128430.xml 11771854 i timeout (wallclock) MAYBE 937.08/300.12 YES 60.77/15.78 YES 48.64/13.19 YES 8.66/2.87
ICFP_2010_relative/128056.xml 11771855 u timeout (wallclock) MAYBE 937.89/300.15 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/136562.xml 11771856 i timeout (wallclock) MAYBE 937.20/299.95 YES 318.26/81.02 timeout (wallclock) YES 28.02/8.73
ICFP_2010_relative/4487.xml 11771857 i timeout (wallclock) MAYBE 936.68/299.57 YES 22.22/5.98 timeout (wallclock) YES 8.13/2.63
ICFP_2010_relative/4824.xml 11771858 i timeout (wallclock) MAYBE 936.90/299.53 YES 22.74/6.16 timeout (wallclock) YES 18.73/5.43
ICFP_2010_relative/107236.xml 11771859 u timeout (wallclock) MAYBE 937.19/300.68 timeout (cpu) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/133159.xml 11771860 i timeout (wallclock) MAYBE 937.28/299.98 YES 78.38/20.64 timeout (wallclock) YES 11.46/3.53
ICFP_2010_relative/139004.xml 11771861 i timeout (wallclock) MAYBE 937.29/300.16 YES 64.00/16.59 YES 43.11/11.70 YES 8.40/2.78
ICFP_2010_relative/138477.xml 11771862 is timeout (wallclock) MAYBE 791.65/300.04 timeout (wallclock) timeout (wallclock) YES 16.95/5.27
ICFP_2010_relative/3861.xml 11771863 i timeout (wallclock) MAYBE 937.19/299.52 YES 849.43/220.99 timeout (wallclock) YES 68.60/21.34
ICFP_2010_relative/3939.xml 11771864 i timeout (wallclock) MAYBE 937.16/299.55 YES 23.03/6.25 timeout (wallclock) YES 9.88/3.07
ICFP_2010_relative/88172.xml 11771865 i timeout (wallclock) MAYBE 936.87/299.61 YES 28.81/7.43 timeout (wallclock) YES 3.84/1.29
ICFP_2010_relative/4816.xml 11771866 i timeout (wallclock) MAYBE 936.95/299.55 YES 27.84/7.39 YES 226.07/57.63 YES 7.73/2.49
ICFP_2010_relative/135604.xml 11771867 i timeout (wallclock) MAYBE 791.63/299.98 YES 86.26/22.84 timeout (wallclock) YES 17.49/5.34
ICFP_2010_relative/4002.xml 11771868 u timeout (wallclock) MAYBE 884.22/299.52 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/139036.xml 11771869 i timeout (wallclock) MAYBE 936.87/300.14 YES 60.39/15.68 YES 47.73/13.09 YES 6.33/2.07
ICFP_2010_relative/97929.xml 11771870 u timeout (wallclock) timeout (wallclock) timeout (cpu) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/124269.xml 11771871 i timeout (wallclock) MAYBE 791.06/299.96 YES 70.71/18.52 timeout (wallclock) YES 18.74/5.68
ICFP_2010_relative/3930.xml 11771872 is timeout (wallclock) MAYBE 936.92/299.56 timeout (wallclock) timeout (wallclock) YES 52.43/16.14
ICFP_2010_relative/140359.xml 11771873 i timeout (wallclock) MAYBE 937.69/300.15 YES 83.06/21.43 YES 35.62/9.88 YES 8.03/2.75
ICFP_2010_relative/139167.xml 11771874 i timeout (wallclock) MAYBE 937.40/300.17 YES 238.83/60.70 YES 49.20/13.35 YES 9.69/2.93
ICFP_2010_relative/63142.xml 11771875 i timeout (wallclock) MAYBE 843.64/299.62 YES 93.04/24.59 timeout (wallclock) YES 53.67/14.27
ICFP_2010_relative/4991.xml 11771876 u timeout (wallclock) MAYBE 936.78/299.56 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/127538.xml 11771877 i timeout (wallclock) MAYBE 937.51/300.15 YES 64.30/16.75 YES 42.78/11.70 YES 8.69/2.99
ICFP_2010_relative/128515.xml 11771878 i timeout (wallclock) MAYBE 937.45/300.15 YES 176.24/44.91 YES 54.61/14.60 YES 5.76/1.96
ICFP_2010_relative/139214.xml 11771879 i timeout (wallclock) MAYBE 937.44/300.16 YES 128.48/32.95 YES 38.56/10.69 YES 8.97/2.98
ICFP_2010_relative/136623.xml 11771880 i timeout (wallclock) MAYBE 791.63/299.96 YES 216.88/55.61 timeout (wallclock) YES 16.22/5.74
ICFP_2010_relative/132540.xml 11771881 i timeout (wallclock) MAYBE 937.85/300.12 YES 537.60/136.20 YES 45.34/12.30 YES 6.80/2.18
ICFP_2010_relative/107220.xml 11771882 u timeout (wallclock) MAYBE 937.77/300.64 timeout (cpu) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/140631.xml 11771883 u timeout (wallclock) MAYBE 937.65/299.91 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/133010.xml 11771884 i timeout (wallclock) MAYBE 937.49/300.17 YES 61.48/15.94 YES 54.46/14.59 YES 12.10/4.00
ICFP_2010_relative/3842.xml 11771885 i timeout (wallclock) MAYBE 937.01/299.57 YES 321.99/98.68 timeout (wallclock) YES 22.94/6.70
ICFP_2010_relative/132622.xml 11771886 i timeout (wallclock) MAYBE 937.42/300.21 YES 551.77/139.02 YES 77.10/23.27 YES 8.43/2.75
ICFP_2010_relative/139282.xml 11771887 i timeout (wallclock) MAYBE 937.23/300.14 YES 64.23/16.72 YES 43.33/11.78 YES 8.88/2.88
ICFP_2010_relative/4847.xml 11771888 is timeout (wallclock) MAYBE 936.65/299.57 timeout (wallclock) timeout (wallclock) YES 425.11/136.20
ICFP_2010_relative/3729.xml 11771889 i timeout (wallclock) MAYBE 937.00/299.57 YES 23.46/6.36 timeout (wallclock) YES 8.35/2.71
ICFP_2010_relative/128280.xml 11771890 i timeout (wallclock) MAYBE 937.73/300.15 YES 61.98/16.09 YES 42.86/11.92 YES 9.25/3.02
ICFP_2010_relative/135652.xml 11771891 is timeout (wallclock) MAYBE 937.39/299.98 timeout (wallclock) timeout (wallclock) YES 19.67/6.05
ICFP_2010_relative/132864.xml 11771892 i timeout (wallclock) MAYBE 937.76/300.16 YES 73.15/19.05 YES 33.00/9.28 YES 8.30/2.89
ICFP_2010_relative/4840.xml 11771893 u timeout (wallclock) MAYBE 936.65/299.58 timeout (wallclock) timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/4964.xml 11771894 is timeout (wallclock) MAYBE 937.07/299.57 timeout (wallclock) timeout (wallclock) YES 15.03/4.55
ICFP_2010_relative/138993.xml 11771895 i timeout (wallclock) MAYBE 937.35/300.14 YES 60.79/15.78 YES 37.91/10.52 YES 8.19/2.57
59 93 222 165 210