TermComp 2020: SRS Relative Certified 41504 Job info CSV Showing results.

benchmark ttt2-1.20 ttt2_cert AProVE certified
Mixed_relative_SRS/zr02new.xml 11771691 YES 14.61/3.92 YES 9.57/3.52
Mixed_relative_SRS/dup02.xml 11771692 is MAYBE 892.07/300.36 YES 58.46/15.52
Mixed_relative_SRS/zr09.xml 11771693 YES 2.58/0.90 YES 6.79/2.56
Mixed_relative_SRS/zr07.xml 11771694 YES 3.09/1.06 YES 8.36/3.61
Mixed_relative_SRS/zr11.xml 11771695 YES 4.79/1.50 YES 16.37/4.99
Mixed_relative_SRS/zr01.xml 11771696 YES 3.83/1.43 YES 6.34/2.36
Mixed_relative_SRS/un03.xml 11771697 u MAYBE 892.24/300.37 MAYBE 985.76/300.69
Mixed_relative_SRS/zr06.xml 11771698 YES 2.16/0.84 YES 5.95/2.23
Mixed_relative_SRS/zr08.xml 11771699 YES 5.24/1.54 YES 8.98/3.11
Mixed_relative_SRS/dup03.xml 11771700 YES 11.83/3.23 YES 54.07/14.46
Mixed_relative_SRS/dup04.xml 11771701 is MAYBE 890.94/300.37 YES 386.42/108.02
Mixed_relative_SRS/zr04new.xml 11771702 is MAYBE 891.54/300.39 YES 14.37/4.38
Mixed_relative_SRS/zr10.xml 11771703 YES 5.84/1.72 YES 13.68/4.25
Mixed_relative_SRS/zr13.xml 11771704 NO 1.00/0.49 NO 3.76/1.68
Mixed_relative_SRS/zr05.xml 11771705 YES 1.93/0.73 YES 5.12/2.03
Mixed_relative_SRS/zr02.xml 11771706 YES 7.44/2.14 YES 8.00/2.87
Mixed_relative_SRS/zr12.xml 11771707 YES 3.20/1.03 YES 7.11/2.58
Mixed_relative_SRS/zr03.xml 11771708 YES 1.37/0.59 YES 4.23/1.85
Mixed_relative_SRS/un01.xml 11771709 is MAYBE 892.09/300.37 YES 71.23/19.50
Mixed_relative_SRS/zr04.xml 11771710 is MAYBE 892.17/300.31 YES 17.19/5.21
Waldmann_06_relative/r5.xml 11771711 YES 2.27/0.86 YES 15.41/4.97
Waldmann_06_relative/r2.xml 11771712 u MAYBE 9.58/7.35 MAYBE 0.36/0.46
Waldmann_06_relative/r3.xml 11771713 YES 3.16/1.06 YES 60.52/16.96
Waldmann_06_relative/r4.xml 11771714 is MAYBE 891.93/300.32 YES 945.60/238.02
Waldmann_06_relative/r10.xml 11771715 is MAYBE 892.12/300.30 YES 476.17/119.92
Waldmann_06_relative/r9.xml 11771716 YES 6.84/1.99 YES 25.68/7.17
Waldmann_06_relative/r7.xml 11771717 YES 3.55/1.12 YES 5.21/2.04
Waldmann_06_relative/rbeans.xml 11771718 u MAYBE 8.96/7.30 MAYBE 0.36/0.27
Waldmann_06_relative/r1.xml 11771719 u MAYBE 8.75/7.34 MAYBE 0.35/0.29
Waldmann_06_relative/r6.xml 11771720 YES 4.46/1.39 YES 10.93/3.52
Waldmann_06_relative/r8.xml 11771721 YES 6.35/2.00 YES 19.07/5.63
Waldmann_19/random-195.xml 8321526 u MAYBE 892.23/300.37 timeout (wallclock)
Waldmann_19/random-76.xml 8321527 YES 1.24/0.58 YES 7.70/2.78
Waldmann_19/random-228.xml 8321528 YES 8.70/2.48 YES 8.10/2.83
Waldmann_19/random-78.xml 8321529 YES 16.66/4.47 YES 44.36/11.94
Waldmann_19/random-226.xml 8321530 YES 8.53/2.45 YES 5.96/2.26
Waldmann_19/random-221.xml 8321531 YES 8.13/2.28 YES 5.34/2.18
Waldmann_19/random-43.xml 8321532 is MAYBE 892.27/300.31 YES 118.90/30.66
Waldmann_19/random-176.xml 8321533 u MAYBE 892.34/300.33 MAYBE 1178.54/296.18
Waldmann_19/random-92.xml 8321534 is MAYBE 892.24/300.36 YES 75.73/19.70
Waldmann_19/random-38.xml 8321535 u MAYBE 892.14/300.33 timeout (cpu)
Waldmann_19/random-95.xml 8321536 YES 1.32/0.62 YES 4.70/2.08
Waldmann_19/random-84.xml 8321537 u MAYBE 892.34/300.36 timeout (wallclock)
Waldmann_19/random-160.xml 8321538 YES 1.14/0.56 YES 8.04/2.86
Waldmann_19/random-52.xml 8321539 YES 15.94/4.29 YES 6.14/2.36
Waldmann_19/random-202.xml 8321540 s ERROR 20.86/5.51 YES 62.69/16.48
Waldmann_19/random-115.xml 8321541 YES 11.77/3.19 YES 6.10/2.36
Waldmann_19/random-27.xml 8321542 u MAYBE 892.30/300.34 MAYBE 1180.82/296.91
Waldmann_19/random-120.xml 8321543 YES 5.77/1.67 YES 5.22/2.07
Waldmann_19/random-152.xml 8321544 is MAYBE 891.88/300.31 YES 55.13/18.55
Waldmann_19/random-67.xml 8321545 is MAYBE 891.96/300.36 YES 57.17/15.11
Waldmann_19/random-60.xml 8321546 u MAYBE 891.68/300.35 timeout (wallclock)
Waldmann_19/random-184.xml 8321547 YES 6.23/1.80 YES 5.18/2.06
Waldmann_19/random-39.xml 8321548 is MAYBE 891.92/300.35 YES 20.51/6.07
Waldmann_19/random-45.xml 8321549 s ERROR 21.12/5.57 YES 48.09/12.85
Waldmann_19/random-177.xml 8321550 u MAYBE 892.32/300.32 MAYBE 1174.28/295.28
Waldmann_19/random-42.xml 8321551 is MAYBE 892.18/300.32 YES 10.34/3.52
Waldmann_19/random-93.xml 8321552 YES 8.88/2.50 YES 6.34/2.35
Waldmann_19/random-105.xml 8321553 YES 10.52/2.91 YES 26.19/7.39
Waldmann_19/random-212.xml 8321554 is MAYBE 892.12/300.30 YES 51.53/13.66
Waldmann_19/random-137.xml 8321555 YES 0.72/0.45 YES 5.65/2.14
Waldmann_19/random-79.xml 8321556 is MAYBE 892.18/300.30 YES 57.12/15.09
Waldmann_19/random-227.xml 8321557 is MAYBE 891.94/300.37 YES 27.20/13.44
Waldmann_19/random-130.xml 8321558 u MAYBE 892.15/300.33 timeout (wallclock)
Waldmann_19/random-142.xml 8321559 YES 17.83/4.70 YES 8.89/2.99
Waldmann_19/random-77.xml 8321560 YES 15.04/4.02 YES 6.57/2.43
Waldmann_19/random-145.xml 8321561 YES 12.74/3.42 YES 31.47/8.68
Waldmann_19/random-70.xml 8321562 YES 9.73/2.72 YES 7.51/2.73
Waldmann_19/random-66.xml 8321563 YES 7.57/2.18 YES 11.49/3.66
Waldmann_19/random-182.xml 8321564 u MAYBE 892.20/300.35 MAYBE 1181.50/297.51
Waldmann_19/random-68.xml 8321565 u MAYBE 892.21/300.31 MAYBE 0.40/0.30
Waldmann_19/random-14.xml 8321566 YES 14.25/3.84 YES 10.95/3.49
Waldmann_19/random-126.xml 8321567 YES 1.13/0.51 YES 6.01/2.26
Waldmann_19/random-26.xml 8321568 YES 10.35/2.89 YES 7.33/2.56
Waldmann_19/random-113.xml 8321569 YES 14.40/3.84 YES 6.48/2.36
Waldmann_19/random-168.xml 8321570 YES 7.67/2.19 YES 5.35/2.08
Waldmann_19/random-82.xml 8321571 u MAYBE 892.41/300.30 timeout (cpu)
Waldmann_19/random-166.xml 8321572 u MAYBE 892.27/300.30 MAYBE 1166.61/293.47
Waldmann_19/random-28.xml 8321573 is MAYBE 891.95/300.31 YES 210.66/53.67
Waldmann_19/random-150.xml 8321574 is MAYBE 891.74/300.33 YES 26.81/7.51
Waldmann_19/random-65.xml 8321575 YES 12.70/3.41 YES 4.86/1.95
Waldmann_19/random-62.xml 8321576 u MAYBE 892.23/300.31 timeout (cpu)
Waldmann_19/random-186.xml 8321577 is MAYBE 892.26/300.30 YES 910.16/228.90
Waldmann_19/random-10.xml 8321578 YES 5.39/1.58 YES 5.88/2.35
Waldmann_19/random-232.xml 8321579 is MAYBE 892.21/300.30 YES 40.36/10.92
Waldmann_19/random-159.xml 8321580 YES 15.94/4.27 YES 52.39/13.88
Waldmann_19/random-207.xml 8321581 u MAYBE 892.16/300.30 timeout (wallclock)
Waldmann_19/random-110.xml 8321582 YES 16.75/4.43 YES 8.02/2.91
Waldmann_19/random-59.xml 8321583 u MAYBE 891.99/300.32 timeout (cpu)
Waldmann_19/random-209.xml 8321584 u MAYBE 891.62/300.30 timeout (cpu)
Waldmann_19/random-86.xml 8321585 YES 7.27/2.66 YES 36.37/9.90
Waldmann_19/random-162.xml 8321586 YES 8.26/2.32 YES 4.87/1.97
Waldmann_19/random-57.xml 8321587 is MAYBE 892.20/300.30 YES 59.01/15.60
Waldmann_19/random-81.xml 8321588 YES 13.50/3.65 YES 151.72/38.74
Waldmann_19/random-50.xml 8321589 YES 1.14/0.52 YES 4.40/2.77
Waldmann_19/random-41.xml 8321590 is MAYBE 892.18/300.35 YES 5.49/2.32
Waldmann_19/random-46.xml 8321591 is MAYBE 891.29/300.38 YES 7.46/2.61
Waldmann_19/random-173.xml 8321592 YES 10.41/2.87 YES 7.47/2.65
Waldmann_19/random-34.xml 8321593 YES 0.60/0.43 YES 4.98/2.07
Waldmann_19/random-216.xml 8321594 u MAYBE 892.16/300.33 timeout (wallclock)
Waldmann_19/random-99.xml 8321595 u MAYBE 892.16/300.31 timeout (wallclock)
Waldmann_19/random-33.xml 8321596 u MAYBE 891.57/300.31 timeout (wallclock)
Waldmann_19/random-106.xml 8321597 u MAYBE 892.36/300.34 timeout (cpu)
Waldmann_19/random-134.xml 8321598 YES 9.68/2.66 YES 6.94/2.58
Waldmann_19/random-148.xml 8321599 is MAYBE 892.18/300.30 YES 124.63/35.58
Waldmann_19/random-146.xml 8321600 YES 7.56/2.18 YES 6.79/2.45
Waldmann_19/random-141.xml 8321601 is MAYBE 892.18/300.30 NO 454.57/114.54
Waldmann_19/random-80.xml 8321602 YES 1.10/0.53 YES 4.97/1.99
Waldmann_19/random-164.xml 8321603 YES 1.31/0.56 YES 5.22/2.15
Waldmann_19/random-208.xml 8321604 is MAYBE 892.43/300.30 YES 148.02/38.63
Waldmann_19/random-163.xml 8321605 u MAYBE 892.05/300.35 timeout (cpu)
Waldmann_19/random-24.xml 8321606 YES 1.36/0.64 YES 4.84/2.13
Waldmann_19/random-89.xml 8321607 YES 14.15/3.84 YES 9.06/3.26
Waldmann_19/random-58.xml 8321608 is MAYBE 892.19/300.36 YES 8.01/2.94
Waldmann_19/random-116.xml 8321609 YES 15.18/4.08 YES 4.49/2.11
Waldmann_19/random-16.xml 8321610 YES 1.16/0.58 YES 5.67/2.27
Waldmann_19/random-123.xml 8321611 u MAYBE 892.11/300.38 timeout (cpu)
Waldmann_19/random-11.xml 8321612 u MAYBE 892.15/300.34 timeout (wallclock)
Waldmann_19/random-187.xml 8321613 is MAYBE 891.98/300.33 YES 54.57/14.55
Waldmann_19/random-151.xml 8321614 is MAYBE 892.27/300.35 YES 50.44/13.71
Waldmann_19/random-140.xml 8321615 YES 7.05/2.05 YES 5.11/2.04
Waldmann_19/random-75.xml 8321616 is MAYBE 892.04/300.35 YES 43.30/12.10
Waldmann_19/random-72.xml 8321617 is MAYBE 891.99/300.34 YES 140.21/37.55
Waldmann_19/random-198.xml 8321618 u MAYBE 892.22/300.35 timeout (wallclock)
Waldmann_19/random-149.xml 8321619 YES 8.21/2.34 YES 6.37/2.48
Waldmann_19/random-210.xml 8321620 YES 6.68/1.96 YES 4.78/1.89
Waldmann_19/random-35.xml 8321621 YES 6.79/1.98 YES 4.75/2.00
Waldmann_19/random-98.xml 8321622 YES 18.93/5.58 YES 51.78/13.92
Waldmann_19/random-172.xml 8321623 s ERROR 25.22/6.96 YES 6.46/2.47
Waldmann_19/random-175.xml 8321624 u MAYBE 892.07/300.36 timeout (cpu)
Waldmann_19/random-109.xml 8321625 YES 18.86/4.95 YES 6.42/2.37
Zantema_06_relative/rel13.xml 11771722 YES 10.08/2.76 YES 8.29/2.92
Zantema_06_relative/rel02.xml 11771723 is MAYBE 889.41/300.32 YES 13.18/4.07
Zantema_06_relative/rel05.xml 11771724 YES 2.39/0.87 YES 12.64/4.03
Zantema_06_relative/rel12.xml 11771725 u MAYBE 891.84/300.35 MAYBE 1164.69/293.25
Zantema_06_relative/rel04.xml 11771726 YES 5.03/1.52 YES 13.02/4.14
Zantema_06_relative/rel03.xml 11771727 u MAYBE 888.87/300.35 MAYBE 1170.52/294.39
Zantema_06_relative/rel07.xml 11771728 u MAYBE 891.88/300.32 MAYBE 1165.25/292.79
Zantema_06_relative/rel09.xml 11771729 YES 8.43/2.43 YES 31.34/8.78
Zantema_06_relative/rel11.xml 11771730 u MAYBE 892.03/300.33 MAYBE 1193.64/299.53
Zantema_06_relative/rel08.xml 11771731 YES 13.33/3.62 YES 10.65/3.45
Zantema_06_relative/rel06.xml 11771732 is MAYBE 889.90/300.30 YES 29.54/8.34
Zantema_06_relative/rel01.xml 11771733 YES 3.43/1.15 YES 5.80/2.40
Zantema_06_relative/rel10.xml 11771734 YES 5.09/1.53 YES 27.29/11.11
Zantema_06_relative/cars.xml 11771735 u MAYBE 892.25/300.36 timeout (wallclock)
ICFP_2010_relative/54097.xml 11771736 u timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/135115.xml 11771737 u MAYBE 893.04/301.04 timeout (wallclock)
ICFP_2010_relative/4141.xml 11771738 u ERROR 415.96/140.99 timeout (wallclock)
ICFP_2010_relative/4920.xml 11771739 u MAYBE 892.66/300.53 timeout (wallclock)
ICFP_2010_relative/4017.xml 11771740 u MAYBE 892.01/300.63 timeout (wallclock)
ICFP_2010_relative/139100.xml 11771741 is timeout (wallclock) YES 52.69/14.60
ICFP_2010_relative/135328.xml 11771742 u MAYBE 893.08/301.01 timeout (wallclock)
ICFP_2010_relative/132235.xml 11771743 u MAYBE 892.70/301.02 timeout (wallclock)
ICFP_2010_relative/4106.xml 11771744 u MAYBE 892.14/300.51 timeout (wallclock)
ICFP_2010_relative/140649.xml 11771745 u MAYBE 892.67/300.97 timeout (wallclock)
ICFP_2010_relative/64160.xml 11771746 u MAYBE 892.46/300.61 timeout (wallclock)
ICFP_2010_relative/3562.xml 11771747 u MAYBE 892.50/300.49 timeout (wallclock)
ICFP_2010_relative/139018.xml 11771748 is timeout (wallclock) YES 76.72/20.54
ICFP_2010_relative/3268.xml 11771749 u MAYBE 892.45/300.41 timeout (wallclock)
ICFP_2010_relative/4057.xml 11771750 u MAYBE 892.51/300.74 timeout (wallclock)
ICFP_2010_relative/3450.xml 11771751 u MAYBE 892.10/300.56 timeout (wallclock)
ICFP_2010_relative/4046.xml 11771752 u MAYBE 22.56/7.56 MAYBE 0.51/0.89
ICFP_2010_relative/128182.xml 11771753 is timeout (wallclock) YES 40.62/11.24
ICFP_2010_relative/139180.xml 11771754 is timeout (wallclock) YES 80.91/21.61
ICFP_2010_relative/132478.xml 11771755 is timeout (wallclock) YES 63.71/17.24
ICFP_2010_relative/139310.xml 11771756 is timeout (wallclock) YES 100.07/26.39
ICFP_2010_relative/132920.xml 11771757 is timeout (wallclock) YES 47.90/13.79
ICFP_2010_relative/4200.xml 11771758 u MAYBE 892.61/300.49 timeout (wallclock)
ICFP_2010_relative/136051.xml 11771759 u MAYBE 892.93/300.98 MAYBE 909.74/295.96
ICFP_2010_relative/4484.xml 11771760 u MAYBE 892.30/300.55 timeout (wallclock)
ICFP_2010_relative/4827.xml 11771761 u MAYBE 892.40/300.52 timeout (wallclock)
ICFP_2010_relative/88143.xml 11771762 s ERROR 643.12/217.04 YES 49.47/17.00
ICFP_2010_relative/3385.xml 11771763 u MAYBE 892.22/300.46 timeout (wallclock)
ICFP_2010_relative/132782.xml 11771764 is timeout (wallclock) YES 50.02/13.81
ICFP_2010_relative/3533.xml 11771765 u MAYBE 892.16/300.54 timeout (wallclock)
ICFP_2010_relative/138330.xml 11771766 u MAYBE 892.63/301.01 timeout (wallclock)
ICFP_2010_relative/3865.xml 11771767 u MAYBE 891.50/300.56 timeout (wallclock)
ICFP_2010_relative/5130.xml 11771768 is MAYBE 892.44/300.48 YES 104.81/27.42
ICFP_2010_relative/132969.xml 11771769 u MAYBE 893.10/301.02 timeout (wallclock)
ICFP_2010_relative/91242.xml 11771770 u timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/41378.xml 11771771 u ERROR 176.39/64.96 timeout (wallclock)
ICFP_2010_relative/4074.xml 11771772 u MAYBE 891.52/300.60 MAYBE 791.27/296.98
ICFP_2010_relative/131633.xml 11771773 u MAYBE 893.04/301.05 timeout (wallclock)
ICFP_2010_relative/3680.xml 11771774 is MAYBE 892.33/300.54 YES 103.58/27.37
ICFP_2010_relative/124211.xml 11771775 u MAYBE 892.43/300.96 timeout (wallclock)
ICFP_2010_relative/4181.xml 11771776 s ERROR 269.32/92.13 YES 384.97/152.89
ICFP_2010_relative/4943.xml 11771777 u MAYBE 891.87/300.49 timeout (wallclock)
ICFP_2010_relative/3817.xml 11771778 u MAYBE 892.38/300.54 timeout (wallclock)
ICFP_2010_relative/4157.xml 11771779 u MAYBE 892.22/300.81 timeout (wallclock)
ICFP_2010_relative/4412.xml 11771780 is MAYBE 892.40/300.50 YES 133.24/38.25
ICFP_2010_relative/140664.xml 11771781 u MAYBE 892.84/300.90 timeout (wallclock)
ICFP_2010_relative/4938.xml 11771782 u MAYBE 892.50/300.52 timeout (wallclock)
ICFP_2010_relative/139163.xml 11771783 is timeout (wallclock) YES 70.86/23.89
ICFP_2010_relative/3786.xml 11771784 u MAYBE 892.50/300.54 timeout (wallclock)
ICFP_2010_relative/3336.xml 11771785 u MAYBE 22.49/7.43 MAYBE 0.56/0.31
ICFP_2010_relative/3916.xml 11771786 u MAYBE 22.55/7.48 MAYBE 0.63/0.44
ICFP_2010_relative/139256.xml 11771787 is timeout (wallclock) YES 74.72/19.94
ICFP_2010_relative/139190.xml 11771788 is timeout (wallclock) YES 49.20/15.07
ICFP_2010_relative/4051.xml 11771789 is MAYBE 892.12/300.49 YES 221.94/58.95
ICFP_2010_relative/4893.xml 11771790 u MAYBE 892.31/300.52 timeout (wallclock)
ICFP_2010_relative/128691.xml 11771791 is timeout (wallclock) YES 61.40/16.61
ICFP_2010_relative/3498.xml 11771792 u ERROR 345.49/117.48 timeout (wallclock)
ICFP_2010_relative/97888.xml 11771793 u timeout (wallclock) MAYBE 497.94/294.69
ICFP_2010_relative/128550.xml 11771794 is timeout (wallclock) YES 55.82/16.02
ICFP_2010_relative/97901.xml 11771795 u timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/139025.xml 11771796 is timeout (wallclock) YES 42.54/11.80
ICFP_2010_relative/3589.xml 11771797 u MAYBE 892.50/300.50 timeout (wallclock)
ICFP_2010_relative/132738.xml 11771798 is timeout (wallclock) YES 38.93/10.91
ICFP_2010_relative/3633.xml 11771799 u MAYBE 892.44/300.53 timeout (wallclock)
ICFP_2010_relative/137809.xml 11771800 is MAYBE 892.89/300.99 YES 578.56/156.32
ICFP_2010_relative/139174.xml 11771801 is timeout (wallclock) YES 42.14/11.72
ICFP_2010_relative/4953.xml 11771802 u MAYBE 892.43/300.54 timeout (wallclock)
ICFP_2010_relative/5076.xml 11771803 u MAYBE 892.37/300.47 timeout (wallclock)
ICFP_2010_relative/3989.xml 11771804 u MAYBE 892.40/300.55 timeout (wallclock)
ICFP_2010_relative/3762.xml 11771805 u MAYBE 892.32/300.54 timeout (wallclock)
ICFP_2010_relative/4374.xml 11771806 u MAYBE 892.52/300.54 timeout (wallclock)
ICFP_2010_relative/123759.xml 11771807 u MAYBE 892.99/301.03 timeout (wallclock)
ICFP_2010_relative/132720.xml 11771808 is timeout (wallclock) YES 60.03/16.35
ICFP_2010_relative/133881.xml 11771809 u MAYBE 893.19/301.03 timeout (wallclock)
ICFP_2010_relative/128486.xml 11771810 is timeout (wallclock) YES 41.18/11.58
ICFP_2010_relative/4248.xml 11771811 u MAYBE 891.83/300.60 timeout (wallclock)
ICFP_2010_relative/138269.xml 11771812 u MAYBE 891.97/300.98 timeout (wallclock)
ICFP_2010_relative/142142.xml 11771813 u MAYBE 893.01/300.89 timeout (wallclock)
ICFP_2010_relative/133486.xml 11771814 u MAYBE 892.97/300.97 timeout (wallclock)
ICFP_2010_relative/140659.xml 11771815 u MAYBE 892.88/300.93 timeout (wallclock)
ICFP_2010_relative/3856.xml 11771816 is MAYBE 892.42/300.53 YES 123.65/32.14
ICFP_2010_relative/97917.xml 11771817 u timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/4979.xml 11771818 u MAYBE 892.39/300.55 timeout (wallclock)
ICFP_2010_relative/3746.xml 11771819 u MAYBE 892.26/300.55 MAYBE 729.63/293.27
ICFP_2010_relative/138194.xml 11771820 u MAYBE 893.00/300.98 timeout (wallclock)
ICFP_2010_relative/4970.xml 11771821 u MAYBE 22.62/7.50 MAYBE 0.57/0.40
ICFP_2010_relative/4854.xml 11771822 u MAYBE 892.60/300.53 timeout (wallclock)
ICFP_2010_relative/135782.xml 11771823 u MAYBE 893.13/301.02 timeout (wallclock)
ICFP_2010_relative/4819.xml 11771824 is MAYBE 892.65/300.52 YES 90.59/24.04
ICFP_2010_relative/3467.xml 11771825 u ERROR 328.34/111.76 timeout (wallclock)
ICFP_2010_relative/3770.xml 11771826 u MAYBE 892.59/300.54 timeout (wallclock)
ICFP_2010_relative/131982.xml 11771827 u MAYBE 893.12/301.02 MAYBE 957.33/295.50
ICFP_2010_relative/5011.xml 11771828 u MAYBE 22.57/7.54 MAYBE 0.57/0.45
ICFP_2010_relative/4934.xml 11771829 u MAYBE 892.45/300.51 timeout (wallclock)
ICFP_2010_relative/3705.xml 11771830 u ERROR 210.71/72.51 timeout (wallclock)
ICFP_2010_relative/132833.xml 11771831 is timeout (wallclock) YES 66.08/17.79
ICFP_2010_relative/142146.xml 11771832 is MAYBE 892.73/300.92 YES 58.66/23.86
ICFP_2010_relative/3995.xml 11771833 u MAYBE 892.50/300.53 timeout (wallclock)
ICFP_2010_relative/139236.xml 11771834 is timeout (wallclock) YES 50.67/13.79
ICFP_2010_relative/4036.xml 11771835 s ERROR 144.30/50.42 YES 173.79/44.68
ICFP_2010_relative/140318.xml 11771836 is timeout (wallclock) YES 47.89/13.23
ICFP_2010_relative/132957.xml 11771837 is timeout (wallclock) YES 46.66/12.97
ICFP_2010_relative/139185.xml 11771838 is timeout (wallclock) YES 48.41/14.18
ICFP_2010_relative/140654.xml 11771839 u MAYBE 892.83/300.94 timeout (wallclock)
ICFP_2010_relative/128620.xml 11771840 is timeout (wallclock) YES 54.98/15.03
ICFP_2010_relative/5109.xml 11771841 s ERROR 273.64/93.54 YES 98.39/26.16
ICFP_2010_relative/135936.xml 11771842 u MAYBE 893.06/301.02 timeout (wallclock)
ICFP_2010_relative/140639.xml 11771843 u MAYBE 892.60/300.92 timeout (wallclock)
ICFP_2010_relative/3831.xml 11771844 is MAYBE 892.60/300.54 YES 95.97/25.42
ICFP_2010_relative/4029.xml 11771845 u MAYBE 892.68/300.51 timeout (wallclock)
ICFP_2010_relative/139378.xml 11771846 is timeout (wallclock) YES 49.86/13.72
ICFP_2010_relative/140287.xml 11771847 u timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/137404.xml 11771848 u timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/142157.xml 11771849 u MAYBE 892.87/300.88 timeout (wallclock)
ICFP_2010_relative/134918.xml 11771850 u MAYBE 893.09/300.98 timeout (wallclock)
ICFP_2010_relative/142150.xml 11771851 u MAYBE 892.32/300.94 timeout (wallclock)
ICFP_2010_relative/4282.xml 11771852 u MAYBE 892.23/300.52 timeout (wallclock)
ICFP_2010_relative/124791.xml 11771853 u MAYBE 892.91/301.00 MAYBE 949.44/297.16
ICFP_2010_relative/128430.xml 11771854 is timeout (wallclock) YES 55.43/15.10
ICFP_2010_relative/128056.xml 11771855 u timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/136562.xml 11771856 u MAYBE 893.10/301.02 timeout (wallclock)
ICFP_2010_relative/4487.xml 11771857 u MAYBE 892.17/300.54 timeout (wallclock)
ICFP_2010_relative/4824.xml 11771858 u MAYBE 892.23/300.49 timeout (wallclock)
ICFP_2010_relative/107236.xml 11771859 u timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/133159.xml 11771860 u MAYBE 892.86/300.96 timeout (wallclock)
ICFP_2010_relative/139004.xml 11771861 is timeout (wallclock) YES 53.95/15.81
ICFP_2010_relative/138477.xml 11771862 u MAYBE 892.94/301.01 timeout (wallclock)
ICFP_2010_relative/3861.xml 11771863 u MAYBE 892.51/300.49 timeout (wallclock)
ICFP_2010_relative/3939.xml 11771864 u MAYBE 892.58/300.49 MAYBE 740.21/292.86
ICFP_2010_relative/88172.xml 11771865 u MAYBE 892.47/300.59 timeout (wallclock)
ICFP_2010_relative/4816.xml 11771866 s ERROR 136.61/47.89 YES 198.75/50.80
ICFP_2010_relative/135604.xml 11771867 u MAYBE 892.88/301.01 timeout (wallclock)
ICFP_2010_relative/4002.xml 11771868 u MAYBE 892.44/300.47 timeout (wallclock)
ICFP_2010_relative/139036.xml 11771869 is timeout (wallclock) YES 48.73/13.32
ICFP_2010_relative/97929.xml 11771870 u timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/124269.xml 11771871 u MAYBE 893.01/301.00 timeout (wallclock)
ICFP_2010_relative/3930.xml 11771872 u MAYBE 892.33/300.53 timeout (wallclock)
ICFP_2010_relative/140359.xml 11771873 is timeout (wallclock) YES 46.55/12.97
ICFP_2010_relative/139167.xml 11771874 is timeout (wallclock) YES 61.11/16.44
ICFP_2010_relative/63142.xml 11771875 u MAYBE 892.44/300.58 timeout (wallclock)
ICFP_2010_relative/4991.xml 11771876 u MAYBE 892.42/300.53 timeout (wallclock)
ICFP_2010_relative/127538.xml 11771877 is timeout (wallclock) YES 60.71/17.04
ICFP_2010_relative/128515.xml 11771878 is timeout (wallclock) YES 72.25/21.47
ICFP_2010_relative/139214.xml 11771879 is timeout (wallclock) YES 50.71/13.91
ICFP_2010_relative/136623.xml 11771880 u MAYBE 892.90/300.99 timeout (wallclock)
ICFP_2010_relative/132540.xml 11771881 is timeout (wallclock) YES 43.37/12.18
ICFP_2010_relative/107220.xml 11771882 u timeout (wallclock) timeout (wallclock)
ICFP_2010_relative/140631.xml 11771883 u MAYBE 892.86/300.88 timeout (wallclock)
ICFP_2010_relative/133010.xml 11771884 is timeout (wallclock) YES 44.65/12.49
ICFP_2010_relative/3842.xml 11771885 u MAYBE 892.31/300.51 timeout (wallclock)
ICFP_2010_relative/132622.xml 11771886 is timeout (wallclock) YES 50.37/13.82
ICFP_2010_relative/139282.xml 11771887 is timeout (wallclock) YES 49.07/13.47
ICFP_2010_relative/4847.xml 11771888 u MAYBE 892.63/300.50 timeout (wallclock)
ICFP_2010_relative/3729.xml 11771889 u MAYBE 892.59/300.50 timeout (wallclock)
ICFP_2010_relative/128280.xml 11771890 is timeout (wallclock) YES 70.33/18.93
ICFP_2010_relative/135652.xml 11771891 u MAYBE 892.99/300.96 timeout (wallclock)
ICFP_2010_relative/132864.xml 11771892 is timeout (wallclock) YES 53.00/14.58
ICFP_2010_relative/4840.xml 11771893 u MAYBE 892.19/300.53 timeout (wallclock)
ICFP_2010_relative/4964.xml 11771894 u MAYBE 892.41/300.52 timeout (wallclock)
ICFP_2010_relative/138993.xml 11771895 is timeout (wallclock) YES 40.96/11.54
75 165