BENCHMARK INFORMATION benchmark definition: ../../benchmark-defs/smoke/mucyc.xml name: mucyc run sets: CHC-COMP2024_check-sat date: Mon, 2025-04-28 21:11:53 CEST tool: MuCyc NO_VERSION_UTIL tool executable: ./mucyc.sh options: resource limits: - memory: 7000.0 MB - time: 60 s - cpu cores: 2 hardware requirements: - cpu model: Intel Xeon E3-1230 v5 @ 3.40 GHz - cpu cores: 2 - memory: 7000.0 MB ------------------------------------------------------------ CHC-COMP2024_check-sat Run set 1 of 1 with options '' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------- LIA-Lin/chc-comp24-LIA-Lin-001.yml true 2.54 2.54 apollon066 LIA-Lin/chc-comp24-LIA-Lin-002.yml false 0.13 0.13 apollon132 LIA-Lin/chc-comp24-LIA-Lin-003.yml false 0.17 0.17 apollon063 LIA-Lin/chc-comp24-LIA-Lin-004.yml TIMEOUT 60.14 60.08 apollon013 LIA-Lin/chc-comp24-LIA-Lin-005.yml true 22.97 22.97 apollon075 LIA-Lin/chc-comp24-LIA-Lin-006.yml false 0.11 0.11 apollon128 LIA-Lin/chc-comp24-LIA-Lin-007.yml false 0.14 0.14 apollon028 LIA-Lin/chc-comp24-LIA-Lin-008.yml false 0.55 0.56 apollon073 LIA-Lin/chc-comp24-LIA-Lin-009.yml false 8.48 8.48 apollon044 LIA-Lin/chc-comp24-LIA-Lin-010.yml unknown 0.27 0.27 apollon023 LIA-Lin/chc-comp24-LIA-Lin-011.yml true 0.23 0.23 apollon093 LIA-Lin/chc-comp24-LIA-Lin-012.yml true 0.11 0.11 apollon145 LIA-Lin/chc-comp24-LIA-Lin-013.yml unknown 44.23 44.23 apollon162 LIA-Lin/chc-comp24-LIA-Lin-014.yml false 0.18 0.18 apollon062 LIA-Lin/chc-comp24-LIA-Lin-015.yml false 0.10 0.10 apollon055 LIA-Lin/chc-comp24-LIA-Lin-016.yml false 0.58 0.59 apollon040 LIA-Lin/chc-comp24-LIA-Lin-017.yml false 0.10 0.10 apollon114 LIA-Lin/chc-comp24-LIA-Lin-018.yml true 0.34 0.34 apollon114 LIA-Lin/chc-comp24-LIA-Lin-019.yml false 0.09 0.10 apollon050 LIA-Lin/chc-comp24-LIA-Lin-020.yml false 0.08 0.09 apollon121 LIA-Lin/chc-comp24-LIA-Lin-021.yml true 0.11 0.11 apollon160 LIA-Lin/chc-comp24-LIA-Lin-022.yml false 0.59 0.59 apollon041 LIA-Lin/chc-comp24-LIA-Lin-023.yml TIMEOUT 60.12 60.07 apollon051 LIA-Lin/chc-comp24-LIA-Lin-024.yml TIMEOUT 60.08 60.07 apollon060 LIA-Lin/chc-comp24-LIA-Lin-025.yml TIMEOUT 60.08 60.07 apollon045 LIA-Lin/chc-comp24-LIA-Lin-026.yml TIMEOUT 60.08 60.06 apollon116 LIA-Lin/chc-comp24-LIA-Lin-027.yml TIMEOUT 60.07 60.08 apollon048 LIA-Lin/chc-comp24-LIA-Lin-028.yml TIMEOUT 60.08 60.09 apollon107 LIA-Lin/chc-comp24-LIA-Lin-029.yml TIMEOUT 60.08 60.06 apollon071 LIA-Lin/chc-comp24-LIA-Lin-030.yml TIMEOUT 60.08 60.08 apollon040 LIA-Lin/chc-comp24-LIA-Lin-031.yml TIMEOUT 60.08 60.06 apollon138 LIA-Lin/chc-comp24-LIA-Lin-032.yml TIMEOUT 60.09 60.06 apollon142 LIA-Lin/chc-comp24-LIA-Lin-033.yml unknown 42.16 42.16 apollon136 LIA-Lin/chc-comp24-LIA-Lin-034.yml TIMEOUT 60.09 60.07 apollon054 LIA-Lin/chc-comp24-LIA-Lin-035.yml TIMEOUT 60.09 60.08 apollon035 LIA-Lin/chc-comp24-LIA-Lin-036.yml TIMEOUT 60.12 60.06 apollon135 LIA-Lin/chc-comp24-LIA-Lin-037.yml TIMEOUT 60.08 60.06 apollon017 LIA-Lin/chc-comp24-LIA-Lin-038.yml TIMEOUT 60.07 60.07 apollon077 LIA-Lin/chc-comp24-LIA-Lin-039.yml TIMEOUT 60.08 60.09 apollon090 LIA-Lin/chc-comp24-LIA-Lin-040.yml false 0.11 0.11 apollon133 LIA-Lin/chc-comp24-LIA-Lin-041.yml true 26.46 26.46 apollon099 LIA-Lin/chc-comp24-LIA-Lin-042.yml TIMEOUT 60.09 60.07 apollon028 LIA-Lin/chc-comp24-LIA-Lin-043.yml false 0.22 0.22 apollon090 LIA-Lin/chc-comp24-LIA-Lin-044.yml true 0.84 0.84 apollon066 LIA-Lin/chc-comp24-LIA-Lin-045.yml true 28.81 28.82 apollon054 LIA-Lin/chc-comp24-LIA-Lin-046.yml false 0.46 0.46 apollon120 LIA-Lin/chc-comp24-LIA-Lin-047.yml TIMEOUT 60.08 60.07 apollon134 LIA-Lin/chc-comp24-LIA-Lin-048.yml TIMEOUT 60.07 60.08 apollon037 LIA-Lin/chc-comp24-LIA-Lin-049.yml true 0.15 0.15 apollon118 LIA-Lin/chc-comp24-LIA-Lin-050.yml TIMEOUT 60.07 60.14 apollon067 LIA-Lin/chc-comp24-LIA-Lin-051.yml true 0.30 0.30 apollon035 LIA-Lin/chc-comp24-LIA-Lin-052.yml false 0.06 0.06 apollon105 LIA-Lin/chc-comp24-LIA-Lin-053.yml false 2.76 2.76 apollon097 LIA-Lin/chc-comp24-LIA-Lin-054.yml false 0.20 0.20 apollon067 LIA-Lin/chc-comp24-LIA-Lin-055.yml true 0.14 0.14 apollon042 LIA-Lin/chc-comp24-LIA-Lin-056.yml true 1.00 1.00 apollon101 LIA-Lin/chc-comp24-LIA-Lin-057.yml true 0.12 0.13 apollon124 LIA-Lin/chc-comp24-LIA-Lin-058.yml TIMEOUT 60.07 60.07 apollon111 LIA-Lin/chc-comp24-LIA-Lin-059.yml true 0.28 0.28 apollon044 LIA-Lin/chc-comp24-LIA-Lin-060.yml true 0.23 0.24 apollon008 LIA-Lin/chc-comp24-LIA-Lin-061.yml true 0.26 0.26 apollon007 LIA-Lin/chc-comp24-LIA-Lin-062.yml TIMEOUT 60.07 60.09 apollon147 LIA-Lin/chc-comp24-LIA-Lin-063.yml TIMEOUT 60.10 60.07 apollon120 LIA-Lin/chc-comp24-LIA-Lin-064.yml false 21.25 21.25 apollon076 LIA-Lin/chc-comp24-LIA-Lin-065.yml false 0.79 0.79 apollon044 LIA-Lin/chc-comp24-LIA-Lin-066.yml true 0.13 0.13 apollon026 LIA-Lin/chc-comp24-LIA-Lin-067.yml TIMEOUT 60.13 60.07 apollon107 LIA-Lin/chc-comp24-LIA-Lin-068.yml TIMEOUT 60.21 60.09 apollon023 LIA-Lin/chc-comp24-LIA-Lin-069.yml TIMEOUT 60.21 60.05 apollon123 LIA-Lin/chc-comp24-LIA-Lin-070.yml TIMEOUT 60.21 60.07 apollon041 LIA-Lin/chc-comp24-LIA-Lin-071.yml TIMEOUT 60.18 60.07 apollon133 LIA-Lin/chc-comp24-LIA-Lin-072.yml TIMEOUT 60.37 60.07 apollon031 LIA-Lin/chc-comp24-LIA-Lin-073.yml TIMEOUT 60.18 60.04 apollon057 LIA-Lin/chc-comp24-LIA-Lin-074.yml TIMEOUT 60.17 60.06 apollon166 LIA-Lin/chc-comp24-LIA-Lin-075.yml false 1.45 1.46 apollon018 LIA-Lin/chc-comp24-LIA-Lin-076.yml TIMEOUT 60.20 60.05 apollon061 LIA-Lin/chc-comp24-LIA-Lin-077.yml TIMEOUT 60.11 60.07 apollon020 LIA-Lin/chc-comp24-LIA-Lin-078.yml false 0.94 0.94 apollon048 LIA-Lin/chc-comp24-LIA-Lin-079.yml TIMEOUT 60.17 60.09 apollon064 LIA-Lin/chc-comp24-LIA-Lin-080.yml TIMEOUT 60.18 60.08 apollon053 LIA-Lin/chc-comp24-LIA-Lin-081.yml false 14.33 14.31 apollon042 LIA-Lin/chc-comp24-LIA-Lin-082.yml false 0.06 0.06 apollon044 LIA-Lin/chc-comp24-LIA-Lin-083.yml false 1.47 1.47 apollon035 LIA-Lin/chc-comp24-LIA-Lin-084.yml TIMEOUT 60.20 60.07 apollon073 LIA-Lin/chc-comp24-LIA-Lin-085.yml TIMEOUT 60.19 60.06 apollon078 LIA-Lin/chc-comp24-LIA-Lin-086.yml TIMEOUT 60.18 60.07 apollon134 LIA-Lin/chc-comp24-LIA-Lin-087.yml TIMEOUT 60.14 60.04 apollon041 LIA-Lin/chc-comp24-LIA-Lin-088.yml false 1.34 1.42 apollon064 LIA-Lin/chc-comp24-LIA-Lin-089.yml TIMEOUT 60.19 60.08 apollon149 LIA-Lin/chc-comp24-LIA-Lin-090.yml TIMEOUT 60.14 60.07 apollon156 LIA-Lin/chc-comp24-LIA-Lin-091.yml TIMEOUT 60.25 60.05 apollon072 LIA-Lin/chc-comp24-LIA-Lin-092.yml TIMEOUT 60.18 60.05 apollon047 LIA-Lin/chc-comp24-LIA-Lin-093.yml TIMEOUT 60.27 59.91 apollon121 LIA-Lin/chc-comp24-LIA-Lin-094.yml TIMEOUT 60.12 60.07 apollon028 LIA-Lin/chc-comp24-LIA-Lin-095.yml TIMEOUT 60.18 59.93 apollon096 LIA-Lin/chc-comp24-LIA-Lin-096.yml TIMEOUT 60.16 59.94 apollon047 LIA-Lin/chc-comp24-LIA-Lin-097.yml TIMEOUT 60.22 60.06 apollon122 LIA-Lin/chc-comp24-LIA-Lin-098.yml true 16.93 16.91 apollon062 LIA-Lin/chc-comp24-LIA-Lin-099.yml true 26.10 26.05 apollon031 LIA-Lin/chc-comp24-LIA-Lin-100.yml TIMEOUT 60.18 60.00 apollon147 LIA-Lin/chc-comp24-LIA-Lin-101.yml TIMEOUT 60.13 60.08 apollon160 LIA-Lin/chc-comp24-LIA-Lin-102.yml TIMEOUT 60.21 60.01 apollon156 LIA-Lin/chc-comp24-LIA-Lin-103.yml true 0.20 0.20 apollon120 LIA-Lin/chc-comp24-LIA-Lin-104.yml true 0.10 0.11 apollon111 LIA-Lin/chc-comp24-LIA-Lin-105.yml TIMEOUT 60.17 60.08 apollon071 LIA-Lin/chc-comp24-LIA-Lin-106.yml true 0.70 0.70 apollon106 LIA-Lin/chc-comp24-LIA-Lin-107.yml true 0.57 0.58 apollon050 LIA-Lin/chc-comp24-LIA-Lin-108.yml TIMEOUT 60.15 60.05 apollon133 LIA-Lin/chc-comp24-LIA-Lin-109.yml TIMEOUT 60.22 60.03 apollon094 LIA-Lin/chc-comp24-LIA-Lin-110.yml TIMEOUT 60.24 60.08 apollon120 LIA-Lin/chc-comp24-LIA-Lin-111.yml TIMEOUT 60.13 60.06 apollon002 LIA-Lin/chc-comp24-LIA-Lin-112.yml TIMEOUT 60.18 60.07 apollon146 LIA-Lin/chc-comp24-LIA-Lin-113.yml TIMEOUT 60.19 60.01 apollon038 LIA-Lin/chc-comp24-LIA-Lin-114.yml TIMEOUT 60.23 60.03 apollon090 LIA-Lin/chc-comp24-LIA-Lin-115.yml TIMEOUT 60.15 60.08 apollon111 LIA-Lin/chc-comp24-LIA-Lin-116.yml TIMEOUT 60.19 60.06 apollon110 LIA-Lin/chc-comp24-LIA-Lin-117.yml TIMEOUT 60.23 59.96 apollon002 LIA-Lin/chc-comp24-LIA-Lin-118.yml true 0.12 0.12 apollon097 LIA-Lin/chc-comp24-LIA-Lin-119.yml TIMEOUT 60.19 60.07 apollon028 LIA-Lin/chc-comp24-LIA-Lin-120.yml TIMEOUT 60.16 60.07 apollon164 LIA-Lin/chc-comp24-LIA-Lin-121.yml TIMEOUT 60.27 59.90 apollon153 LIA-Lin/chc-comp24-LIA-Lin-122.yml TIMEOUT 60.24 60.05 apollon072 LIA-Lin/chc-comp24-LIA-Lin-123.yml true 0.27 0.27 apollon019 LIA-Lin/chc-comp24-LIA-Lin-124.yml true 0.13 0.13 apollon163 LIA-Lin/chc-comp24-LIA-Lin-125.yml true 0.32 0.32 apollon119 LIA-Lin/chc-comp24-LIA-Lin-126.yml false 0.67 0.67 apollon141 LIA-Lin/chc-comp24-LIA-Lin-127.yml true 0.13 0.13 apollon149 LIA-Lin/chc-comp24-LIA-Lin-128.yml true 3.11 3.11 apollon116 LIA-Lin/chc-comp24-LIA-Lin-129.yml true 0.25 0.25 apollon107 LIA-Lin/chc-comp24-LIA-Lin-130.yml true 0.12 0.13 apollon009 LIA-Lin/chc-comp24-LIA-Lin-131.yml true 0.28 0.28 apollon023 LIA-Lin/chc-comp24-LIA-Lin-132.yml true 0.63 0.63 apollon015 LIA-Lin/chc-comp24-LIA-Lin-133.yml true 0.36 0.36 apollon033 LIA-Lin/chc-comp24-LIA-Lin-134.yml true 0.43 0.44 apollon045 LIA-Lin/chc-comp24-LIA-Lin-135.yml false 1.04 1.04 apollon020 LIA-Lin/chc-comp24-LIA-Lin-136.yml true 0.20 0.20 apollon118 LIA-Lin/chc-comp24-LIA-Lin-137.yml false 0.92 0.92 apollon154 LIA-Lin/chc-comp24-LIA-Lin-138.yml true 0.18 0.18 apollon053 LIA-Lin/chc-comp24-LIA-Lin-139.yml true 0.78 0.78 apollon028 LIA-Lin/chc-comp24-LIA-Lin-140.yml true 0.11 0.12 apollon053 LIA-Lin/chc-comp24-LIA-Lin-141.yml true 0.29 0.30 apollon126 LIA-Lin/chc-comp24-LIA-Lin-142.yml true 0.68 0.68 apollon164 LIA-Lin/chc-comp24-LIA-Lin-143.yml true 0.69 0.69 apollon142 LIA-Lin/chc-comp24-LIA-Lin-144.yml true 4.98 4.98 apollon093 LIA-Lin/chc-comp24-LIA-Lin-145.yml true 1.41 1.41 apollon120 LIA-Lin/chc-comp24-LIA-Lin-146.yml true 0.42 0.42 apollon133 LIA-Lin/chc-comp24-LIA-Lin-147.yml true 0.89 0.89 apollon037 LIA-Lin/chc-comp24-LIA-Lin-148.yml false 4.47 4.47 apollon076 LIA-Lin/chc-comp24-LIA-Lin-149.yml false 0.36 0.36 apollon040 LIA-Lin/chc-comp24-LIA-Lin-150.yml false 0.13 0.13 apollon097 LIA-Lin/chc-comp24-LIA-Lin-151.yml true 8.00 8.00 apollon040 LIA-Lin/chc-comp24-LIA-Lin-152.yml TIMEOUT 60.15 60.07 apollon125 LIA-Lin/chc-comp24-LIA-Lin-153.yml true 0.23 0.23 apollon110 LIA-Lin/chc-comp24-LIA-Lin-154.yml true 2.22 2.23 apollon118 LIA-Lin/chc-comp24-LIA-Lin-155.yml true 0.46 0.46 apollon009 LIA-Lin/chc-comp24-LIA-Lin-156.yml true 0.96 0.96 apollon133 LIA-Lin/chc-comp24-LIA-Lin-157.yml false 5.49 5.49 apollon120 LIA-Lin/chc-comp24-LIA-Lin-158.yml true 4.32 4.32 apollon142 LIA-Lin/chc-comp24-LIA-Lin-159.yml true 4.97 4.97 apollon091 LIA-Lin/chc-comp24-LIA-Lin-160.yml TIMEOUT 60.17 60.07 apollon026 LIA-Lin/chc-comp24-LIA-Lin-161.yml true 3.31 3.31 apollon153 LIA-Lin/chc-comp24-LIA-Lin-162.yml true 1.36 1.36 apollon075 LIA-Lin/chc-comp24-LIA-Lin-163.yml true 0.53 0.53 apollon013 LIA-Lin/chc-comp24-LIA-Lin-164.yml true 10.66 10.66 apollon016 LIA-Lin/chc-comp24-LIA-Lin-165.yml TIMEOUT 60.15 60.07 apollon024 LIA-Lin/chc-comp24-LIA-Lin-166.yml TIMEOUT 60.18 60.06 apollon059 LIA-Lin/chc-comp24-LIA-Lin-167.yml true 0.32 0.33 apollon154 LIA-Lin/chc-comp24-LIA-Lin-168.yml true 0.39 0.39 apollon118 LIA-Lin/chc-comp24-LIA-Lin-169.yml true 1.01 1.02 apollon033 LIA-Lin/chc-comp24-LIA-Lin-170.yml true 1.79 1.79 apollon075 LIA-Lin/chc-comp24-LIA-Lin-171.yml true 0.97 0.97 apollon016 LIA-Lin/chc-comp24-LIA-Lin-172.yml true 0.30 0.30 apollon072 LIA-Lin/chc-comp24-LIA-Lin-173.yml TIMEOUT 60.18 60.07 apollon112 LIA-Lin/chc-comp24-LIA-Lin-174.yml TIMEOUT 60.18 60.07 apollon035 LIA-Lin/chc-comp24-LIA-Lin-175.yml true 0.44 0.44 apollon118 LIA-Lin/chc-comp24-LIA-Lin-176.yml false 2.15 2.16 apollon034 LIA-Lin/chc-comp24-LIA-Lin-177.yml false 0.82 0.83 apollon146 LIA-Lin/chc-comp24-LIA-Lin-178.yml false 0.38 0.38 apollon077 LIA-Lin/chc-comp24-LIA-Lin-179.yml true 2.56 2.57 apollon034 LIA-Lin/chc-comp24-LIA-Lin-180.yml TIMEOUT 60.22 60.03 apollon151 LIA-Lin/chc-comp24-LIA-Lin-181.yml TIMEOUT 60.15 60.06 apollon005 LIA-Lin/chc-comp24-LIA-Lin-182.yml false 0.52 0.52 apollon112 LIA-Lin/chc-comp24-LIA-Lin-183.yml true 2.04 2.04 apollon144 LIA-Lin/chc-comp24-LIA-Lin-184.yml TIMEOUT 60.15 60.07 apollon056 LIA-Lin/chc-comp24-LIA-Lin-185.yml false 2.72 2.73 apollon154 LIA-Lin/chc-comp24-LIA-Lin-186.yml false 0.46 0.46 apollon023 LIA-Lin/chc-comp24-LIA-Lin-187.yml false 0.56 0.57 apollon128 LIA-Lin/chc-comp24-LIA-Lin-188.yml TIMEOUT 60.18 60.06 apollon135 LIA-Lin/chc-comp24-LIA-Lin-189.yml TIMEOUT 60.17 60.06 apollon018 LIA-Lin/chc-comp24-LIA-Lin-190.yml true 1.25 1.25 apollon120 LIA-Lin/chc-comp24-LIA-Lin-191.yml false 0.69 0.69 apollon160 LIA-Lin/chc-comp24-LIA-Lin-192.yml TIMEOUT 60.16 60.07 apollon003 LIA-Lin/chc-comp24-LIA-Lin-193.yml true 8.38 8.38 apollon012 LIA-Lin/chc-comp24-LIA-Lin-194.yml true 12.86 12.87 apollon014 LIA-Lin/chc-comp24-LIA-Lin-195.yml true 2.54 2.54 apollon127 LIA-Lin/chc-comp24-LIA-Lin-196.yml TIMEOUT 60.22 60.06 apollon158 LIA-Lin/chc-comp24-LIA-Lin-197.yml true 4.67 4.67 apollon028 LIA-Lin/chc-comp24-LIA-Lin-198.yml true 12.94 12.93 apollon155 LIA-Lin/chc-comp24-LIA-Lin-199.yml TIMEOUT 60.20 60.06 apollon132 LIA-Lin/chc-comp24-LIA-Lin-200.yml TIMEOUT 60.15 60.08 apollon024 LIA-Lin/chc-comp24-LIA-Lin-201.yml true 9.79 9.79 apollon110 LIA-Lin/chc-comp24-LIA-Lin-202.yml TIMEOUT 60.13 60.06 apollon058 LIA-Lin/chc-comp24-LIA-Lin-203.yml false 0.15 0.16 apollon096 LIA-Lin/chc-comp24-LIA-Lin-204.yml true 0.46 0.46 apollon056 LIA-Lin/chc-comp24-LIA-Lin-205.yml false 0.13 0.13 apollon017 LIA-Lin/chc-comp24-LIA-Lin-206.yml TIMEOUT 60.16 60.06 apollon037 LIA-Lin/chc-comp24-LIA-Lin-207.yml TIMEOUT 60.10 60.06 apollon122 LIA-Lin/chc-comp24-LIA-Lin-208.yml false 0.35 0.35 apollon136 LIA-Lin/chc-comp24-LIA-Lin-209.yml false 6.81 6.81 apollon034 LIA-Lin/chc-comp24-LIA-Lin-210.yml TIMEOUT 60.11 60.08 apollon052 LIA-Lin/chc-comp24-LIA-Lin-211.yml false 0.22 0.22 apollon156 LIA-Lin/chc-comp24-LIA-Lin-212.yml true 0.84 0.84 apollon141 LIA-Lin/chc-comp24-LIA-Lin-213.yml true 0.20 0.20 apollon088 LIA-Lin/chc-comp24-LIA-Lin-214.yml true 0.50 0.50 apollon101 LIA-Lin/chc-comp24-LIA-Lin-215.yml true 17.50 17.51 apollon036 LIA-Lin/chc-comp24-LIA-Lin-216.yml TIMEOUT 60.09 60.08 apollon045 LIA-Lin/chc-comp24-LIA-Lin-217.yml TIMEOUT 60.10 60.07 apollon075 LIA-Lin/chc-comp24-LIA-Lin-218.yml false 44.89 44.91 apollon129 LIA-Lin/chc-comp24-LIA-Lin-219.yml false 0.80 0.80 apollon063 LIA-Lin/chc-comp24-LIA-Lin-220.yml TIMEOUT 60.09 60.08 apollon071 LIA-Lin/chc-comp24-LIA-Lin-221.yml true 15.36 15.37 apollon124 LIA-Lin/chc-comp24-LIA-Lin-222.yml true 0.16 0.16 apollon164 LIA-Lin/chc-comp24-LIA-Lin-223.yml false 0.87 0.88 apollon022 LIA-Lin/chc-comp24-LIA-Lin-224.yml false 0.17 0.17 apollon090 LIA-Lin/chc-comp24-LIA-Lin-225.yml TIMEOUT 60.20 60.09 apollon011 LIA-Lin/chc-comp24-LIA-Lin-226.yml TIMEOUT 60.22 60.08 apollon154 LIA-Lin/chc-comp24-LIA-Lin-227.yml OUT OF MEMORY 56.53 56.06 apollon009 LIA-Lin/chc-comp24-LIA-Lin-228.yml TIMEOUT 60.18 60.07 apollon139 LIA-Lin/chc-comp24-LIA-Lin-229.yml TIMEOUT 60.24 60.07 apollon028 LIA-Lin/chc-comp24-LIA-Lin-230.yml OUT OF MEMORY 14.52 14.06 apollon162 LIA-Lin/chc-comp24-LIA-Lin-231.yml TIMEOUT 60.13 60.07 apollon160 LIA-Lin/chc-comp24-LIA-Lin-232.yml OUT OF MEMORY 15.78 15.32 apollon107 LIA-Lin/chc-comp24-LIA-Lin-233.yml TIMEOUT 60.13 60.08 apollon148 LIA-Lin/chc-comp24-LIA-Lin-234.yml OUT OF MEMORY 15.22 14.76 apollon121 LIA-Lin/chc-comp24-LIA-Lin-235.yml OUT OF MEMORY 15.71 15.25 apollon165 LIA-Lin/chc-comp24-LIA-Lin-236.yml OUT OF MEMORY 14.38 13.96 apollon146 LIA-Lin/chc-comp24-LIA-Lin-237.yml OUT OF MEMORY 16.62 16.10 apollon120 LIA-Lin/chc-comp24-LIA-Lin-238.yml OUT OF MEMORY 15.44 15.02 apollon067 LIA-Lin/chc-comp24-LIA-Lin-239.yml OUT OF MEMORY 14.68 14.22 apollon091 LIA-Lin/chc-comp24-LIA-Lin-240.yml OUT OF MEMORY 15.13 14.70 apollon024 LIA-Lin/chc-comp24-LIA-Lin-241.yml OUT OF MEMORY 52.64 52.22 apollon056 LIA-Lin/chc-comp24-LIA-Lin-242.yml TIMEOUT 60.12 60.07 apollon098 LIA-Lin/chc-comp24-LIA-Lin-243.yml TIMEOUT 60.12 60.07 apollon034 LIA-Lin/chc-comp24-LIA-Lin-244.yml TIMEOUT 60.13 60.07 apollon093 LIA-Lin/chc-comp24-LIA-Lin-245.yml OUT OF MEMORY 14.27 13.80 apollon085 LIA-Lin/chc-comp24-LIA-Lin-246.yml TIMEOUT 60.14 60.08 apollon060 LIA-Lin/chc-comp24-LIA-Lin-247.yml TIMEOUT 60.13 60.07 apollon144 LIA-Lin/chc-comp24-LIA-Lin-248.yml TIMEOUT 60.13 60.07 apollon066 LIA-Lin/chc-comp24-LIA-Lin-249.yml OUT OF MEMORY 51.31 50.84 apollon148 LIA-Lin/chc-comp24-LIA-Lin-250.yml TIMEOUT 60.18 60.07 apollon131 LIA-Lin/chc-comp24-LIA-Lin-251.yml OUT OF MEMORY 52.01 51.58 apollon018 LIA-Lin/chc-comp24-LIA-Lin-252.yml TIMEOUT 60.18 60.08 apollon158 LIA-Lin/chc-comp24-LIA-Lin-253.yml TIMEOUT 60.19 60.07 apollon041 LIA-Lin/chc-comp24-LIA-Lin-254.yml OUT OF MEMORY 13.25 12.80 apollon145 LIA-Lin/chc-comp24-LIA-Lin-255.yml OUT OF MEMORY 54.19 53.73 apollon076 LIA-Lin/chc-comp24-LIA-Lin-256.yml TIMEOUT 60.51 60.08 apollon070 LIA-Lin/chc-comp24-LIA-Lin-257.yml TIMEOUT 60.18 60.07 apollon127 LIA-Lin/chc-comp24-LIA-Lin-258.yml TIMEOUT 60.26 60.07 apollon017 LIA-Lin/chc-comp24-LIA-Lin-259.yml TIMEOUT 60.16 60.07 apollon042 LIA-Lin/chc-comp24-LIA-Lin-260.yml TIMEOUT 60.12 60.08 apollon076 LIA-Lin/chc-comp24-LIA-Lin-261.yml OUT OF MEMORY 51.06 50.61 apollon012 LIA-Lin/chc-comp24-LIA-Lin-262.yml TIMEOUT 60.16 60.07 apollon060 LIA-Lin/chc-comp24-LIA-Lin-263.yml true 17.62 17.62 apollon121 LIA-Lin/chc-comp24-LIA-Lin-264.yml TIMEOUT 60.19 60.05 apollon102 LIA-Lin/chc-comp24-LIA-Lin-265.yml TIMEOUT 60.20 59.95 apollon157 LIA-Lin/chc-comp24-LIA-Lin-266.yml TIMEOUT 60.14 60.09 apollon066 LIA-Lin/chc-comp24-LIA-Lin-267.yml true 17.62 17.61 apollon066 LIA-Lin/chc-comp24-LIA-Lin-268.yml TIMEOUT 60.19 60.07 apollon128 LIA-Lin/chc-comp24-LIA-Lin-269.yml TIMEOUT 60.18 60.06 apollon072 LIA-Lin/chc-comp24-LIA-Lin-270.yml TIMEOUT 60.16 60.04 apollon081 LIA-Lin/chc-comp24-LIA-Lin-271.yml TIMEOUT 60.21 60.04 apollon166 LIA-Lin/chc-comp24-LIA-Lin-272.yml TIMEOUT 60.18 60.07 apollon167 LIA-Lin/chc-comp24-LIA-Lin-273.yml TIMEOUT 60.09 60.07 apollon154 LIA-Lin/chc-comp24-LIA-Lin-274.yml TIMEOUT 60.17 60.06 apollon159 LIA-Lin/chc-comp24-LIA-Lin-275.yml TIMEOUT 60.15 60.07 apollon163 LIA-Lin/chc-comp24-LIA-Lin-276.yml TIMEOUT 60.16 60.08 apollon077 LIA-Lin/chc-comp24-LIA-Lin-277.yml unknown 4.18 4.18 apollon125 LIA-Lin/chc-comp24-LIA-Lin-278.yml TIMEOUT 60.17 60.08 apollon068 LIA-Lin/chc-comp24-LIA-Lin-279.yml TIMEOUT 60.17 60.05 apollon126 LIA-Lin/chc-comp24-LIA-Lin-280.yml true 0.61 0.61 apollon075 LIA-Lin/chc-comp24-LIA-Lin-281.yml TIMEOUT 60.17 60.08 apollon149 LIA-Lin/chc-comp24-LIA-Lin-282.yml TIMEOUT 60.14 60.07 apollon037 LIA-Lin/chc-comp24-LIA-Lin-283.yml TIMEOUT 60.25 60.05 apollon106 LIA-Lin/chc-comp24-LIA-Lin-284.yml TIMEOUT 60.16 60.03 apollon069 LIA-Lin/chc-comp24-LIA-Lin-285.yml true 0.44 0.44 apollon009 LIA-Lin/chc-comp24-LIA-Lin-286.yml TIMEOUT 60.18 60.05 apollon007 LIA-Lin/chc-comp24-LIA-Lin-287.yml true 0.27 0.36 apollon105 LIA-Lin/chc-comp24-LIA-Lin-288.yml false 1.92 1.92 apollon082 LIA-Lin/chc-comp24-LIA-Lin-289.yml true 0.26 0.26 apollon024 LIA-Lin/chc-comp24-LIA-Lin-290.yml false 2.62 2.62 apollon008 LIA-Lin/chc-comp24-LIA-Lin-291.yml true 0.55 0.55 apollon120 LIA-Lin/chc-comp24-LIA-Lin-292.yml false 3.42 3.43 apollon118 LIA-Lin/chc-comp24-LIA-Lin-293.yml false 2.61 2.61 apollon124 LIA-Lin/chc-comp24-LIA-Lin-294.yml false 2.45 2.53 apollon043 LIA-Lin/chc-comp24-LIA-Lin-295.yml true 0.34 0.35 apollon097 LIA-Lin/chc-comp24-LIA-Lin-296.yml true 0.25 0.26 apollon035 LIA-Lin/chc-comp24-LIA-Lin-297.yml true 0.30 0.30 apollon073 LIA-Lin/chc-comp24-LIA-Lin-298.yml true 1.71 1.71 apollon042 LIA-Lin/chc-comp24-LIA-Lin-299.yml false 2.80 2.80 apollon035 LIA-Lin/chc-comp24-LIA-Lin-300.yml true 16.08 16.07 apollon039 LIA/chc-comp24-LIA-001.yml TIMEOUT 60.12 60.06 apollon050 LIA/chc-comp24-LIA-002.yml TIMEOUT 60.17 59.99 apollon101 LIA/chc-comp24-LIA-003.yml TIMEOUT 60.19 59.98 apollon146 LIA/chc-comp24-LIA-004.yml false 0.35 0.35 apollon012 LIA/chc-comp24-LIA-005.yml TIMEOUT 60.11 60.08 apollon095 LIA/chc-comp24-LIA-006.yml true 1.39 1.39 apollon040 LIA/chc-comp24-LIA-007.yml TIMEOUT 60.12 60.07 apollon007 LIA/chc-comp24-LIA-008.yml TIMEOUT 60.12 60.07 apollon065 LIA/chc-comp24-LIA-009.yml TIMEOUT 60.16 60.07 apollon150 LIA/chc-comp24-LIA-010.yml false 2.07 2.07 apollon155 LIA/chc-comp24-LIA-011.yml true 0.32 0.33 apollon066 LIA/chc-comp24-LIA-012.yml true 0.32 0.32 apollon120 LIA/chc-comp24-LIA-013.yml true 7.43 7.43 apollon062 LIA/chc-comp24-LIA-014.yml true 2.83 2.83 apollon012 LIA/chc-comp24-LIA-015.yml TIMEOUT 60.12 60.07 apollon142 LIA/chc-comp24-LIA-016.yml true 0.36 0.36 apollon126 LIA/chc-comp24-LIA-017.yml false 11.52 11.52 apollon167 LIA/chc-comp24-LIA-018.yml true 9.10 9.10 apollon038 LIA/chc-comp24-LIA-019.yml true 7.01 7.01 apollon033 LIA/chc-comp24-LIA-020.yml true 11.25 11.25 apollon054 LIA/chc-comp24-LIA-021.yml false 3.39 3.39 apollon066 LIA/chc-comp24-LIA-022.yml false 10.15 10.16 apollon095 LIA/chc-comp24-LIA-023.yml false 1.56 1.56 apollon166 LIA/chc-comp24-LIA-024.yml true 3.85 3.85 apollon002 LIA/chc-comp24-LIA-025.yml true 0.47 0.48 apollon023 LIA/chc-comp24-LIA-026.yml false 4.28 4.28 apollon008 LIA/chc-comp24-LIA-027.yml true 28.53 28.52 apollon035 LIA/chc-comp24-LIA-028.yml true 0.95 0.95 apollon044 LIA/chc-comp24-LIA-029.yml false 1.44 1.44 apollon028 LIA/chc-comp24-LIA-030.yml false 1.65 1.65 apollon139 LIA/chc-comp24-LIA-031.yml false 0.73 0.73 apollon071 LIA/chc-comp24-LIA-032.yml true 1.90 1.90 apollon092 LIA/chc-comp24-LIA-033.yml TIMEOUT 60.08 60.08 apollon125 LIA/chc-comp24-LIA-034.yml false 11.42 11.42 apollon007 LIA/chc-comp24-LIA-035.yml TIMEOUT 60.11 60.06 apollon049 LIA/chc-comp24-LIA-036.yml false 15.00 15.01 apollon140 LIA/chc-comp24-LIA-037.yml TIMEOUT 60.13 60.06 apollon152 LIA/chc-comp24-LIA-038.yml false 0.31 0.32 apollon155 LIA/chc-comp24-LIA-039.yml false 3.11 3.11 apollon121 LIA/chc-comp24-LIA-040.yml TIMEOUT 60.10 60.05 apollon140 LIA/chc-comp24-LIA-041.yml TIMEOUT 60.11 60.05 apollon118 LIA/chc-comp24-LIA-042.yml false 10.94 10.94 apollon025 LIA/chc-comp24-LIA-043.yml false 1.24 1.24 apollon106 LIA/chc-comp24-LIA-044.yml false 1.16 1.17 apollon019 LIA/chc-comp24-LIA-045.yml TIMEOUT 60.11 60.06 apollon131 LIA/chc-comp24-LIA-046.yml true 5.50 5.50 apollon110 LIA/chc-comp24-LIA-047.yml false 0.60 0.60 apollon140 LIA/chc-comp24-LIA-048.yml false 2.20 2.20 apollon073 LIA/chc-comp24-LIA-049.yml false 0.74 0.74 apollon120 LIA/chc-comp24-LIA-050.yml true 0.88 0.88 apollon012 LIA/chc-comp24-LIA-051.yml false 2.81 2.81 apollon009 LIA/chc-comp24-LIA-052.yml TIMEOUT 60.08 60.06 apollon012 LIA/chc-comp24-LIA-053.yml TIMEOUT 60.10 60.07 apollon118 LIA/chc-comp24-LIA-054.yml false 0.56 0.56 apollon015 LIA/chc-comp24-LIA-055.yml false 0.60 0.60 apollon033 LIA/chc-comp24-LIA-056.yml TIMEOUT 60.09 60.05 apollon140 LIA/chc-comp24-LIA-057.yml false 2.62 2.62 apollon145 LIA/chc-comp24-LIA-058.yml true 49.49 49.47 apollon061 LIA/chc-comp24-LIA-059.yml false 1.81 1.81 apollon150 LIA/chc-comp24-LIA-060.yml TIMEOUT 60.12 60.05 apollon012 LIA/chc-comp24-LIA-061.yml false 1.22 1.23 apollon037 LIA/chc-comp24-LIA-062.yml TIMEOUT 60.10 60.07 apollon033 LIA/chc-comp24-LIA-063.yml false 0.70 0.70 apollon020 LIA/chc-comp24-LIA-064.yml false 8.57 8.57 apollon103 LIA/chc-comp24-LIA-065.yml false 0.54 0.55 apollon147 LIA/chc-comp24-LIA-066.yml TIMEOUT 60.10 60.06 apollon078 LIA/chc-comp24-LIA-067.yml TIMEOUT 60.11 60.06 apollon014 LIA/chc-comp24-LIA-068.yml TIMEOUT 60.12 60.06 apollon042 LIA/chc-comp24-LIA-069.yml true 0.40 0.40 apollon016 LIA/chc-comp24-LIA-070.yml true 0.11 0.11 apollon064 LIA/chc-comp24-LIA-071.yml true 0.12 0.12 apollon049 LIA/chc-comp24-LIA-072.yml TIMEOUT 60.11 60.07 apollon134 LIA/chc-comp24-LIA-073.yml TIMEOUT 60.12 60.08 apollon141 LIA/chc-comp24-LIA-074.yml true 0.18 0.18 apollon062 LIA/chc-comp24-LIA-075.yml true 0.43 0.44 apollon033 LIA/chc-comp24-LIA-076.yml true 0.11 0.11 apollon118 LIA/chc-comp24-LIA-077.yml TIMEOUT 60.18 60.06 apollon053 LIA/chc-comp24-LIA-078.yml TIMEOUT 60.15 60.06 apollon022 LIA/chc-comp24-LIA-079.yml true 0.12 0.12 apollon009 LIA/chc-comp24-LIA-080.yml TIMEOUT 60.13 60.07 apollon086 LIA/chc-comp24-LIA-081.yml TIMEOUT 60.15 60.07 apollon019 LIA/chc-comp24-LIA-082.yml TIMEOUT 60.16 60.08 apollon058 LIA/chc-comp24-LIA-083.yml true 0.39 0.40 apollon145 LIA/chc-comp24-LIA-084.yml TIMEOUT 60.15 60.05 apollon138 LIA/chc-comp24-LIA-085.yml TIMEOUT 60.13 60.06 apollon162 LIA/chc-comp24-LIA-086.yml true 0.49 0.49 apollon150 LIA/chc-comp24-LIA-087.yml true 0.24 0.24 apollon150 LIA/chc-comp24-LIA-088.yml true 0.36 0.36 apollon145 LIA/chc-comp24-LIA-089.yml true 0.21 0.21 apollon142 LIA/chc-comp24-LIA-090.yml true 0.21 0.21 apollon076 LIA/chc-comp24-LIA-091.yml false 3.13 3.13 apollon162 LIA/chc-comp24-LIA-092.yml true 0.11 0.11 apollon150 LIA/chc-comp24-LIA-093.yml false 0.13 0.13 apollon150 LIA/chc-comp24-LIA-094.yml TIMEOUT 60.13 60.08 apollon049 LIA/chc-comp24-LIA-095.yml true 0.65 0.65 apollon120 LIA/chc-comp24-LIA-096.yml true 0.12 0.12 apollon075 LIA/chc-comp24-LIA-097.yml true 13.61 13.60 apollon060 LIA/chc-comp24-LIA-098.yml false 14.05 14.04 apollon012 LIA/chc-comp24-LIA-099.yml true 0.19 0.19 apollon120 LIA/chc-comp24-LIA-100.yml TIMEOUT 60.14 60.05 apollon124 LIA/chc-comp24-LIA-101.yml TIMEOUT 60.14 60.04 apollon016 LIA/chc-comp24-LIA-102.yml TIMEOUT 60.13 60.07 apollon030 LIA/chc-comp24-LIA-103.yml TIMEOUT 60.13 60.08 apollon040 LIA/chc-comp24-LIA-104.yml TIMEOUT 60.13 60.07 apollon016 LIA/chc-comp24-LIA-105.yml TIMEOUT 60.17 60.04 apollon125 LIA/chc-comp24-LIA-106.yml TIMEOUT 60.14 60.05 apollon090 LIA/chc-comp24-LIA-107.yml TIMEOUT 60.12 60.06 apollon068 LIA/chc-comp24-LIA-108.yml true 0.22 0.23 apollon124 LIA/chc-comp24-LIA-109.yml true 0.19 0.20 apollon085 LIA/chc-comp24-LIA-110.yml TIMEOUT 60.12 60.07 apollon015 LIA/chc-comp24-LIA-111.yml true 20.01 19.98 apollon020 LIA/chc-comp24-LIA-112.yml true 0.51 0.51 apollon125 LIA/chc-comp24-LIA-113.yml TIMEOUT 60.12 60.06 apollon062 LIA/chc-comp24-LIA-114.yml true 0.11 0.12 apollon149 LIA/chc-comp24-LIA-115.yml TIMEOUT 60.08 60.07 apollon073 LIA/chc-comp24-LIA-116.yml TIMEOUT 60.09 60.07 apollon164 LIA/chc-comp24-LIA-117.yml TIMEOUT 60.10 60.07 apollon008 LIA/chc-comp24-LIA-118.yml TIMEOUT 60.11 60.08 apollon088 LIA/chc-comp24-LIA-119.yml TIMEOUT 60.08 60.07 apollon147 LIA/chc-comp24-LIA-120.yml unknown 48.94 48.95 apollon129 LIA/chc-comp24-LIA-121.yml TIMEOUT 60.08 60.06 apollon159 LIA/chc-comp24-LIA-122.yml true 34.63 34.64 apollon043 LIA/chc-comp24-LIA-123.yml TIMEOUT 60.14 60.07 apollon013 LIA/chc-comp24-LIA-124.yml TIMEOUT 60.15 60.05 apollon144 LIA/chc-comp24-LIA-125.yml TIMEOUT 60.10 60.09 apollon137 LIA/chc-comp24-LIA-126.yml true 10.52 10.50 apollon031 LIA/chc-comp24-LIA-127.yml true 0.32 0.33 apollon119 LIA/chc-comp24-LIA-128.yml TIMEOUT 60.12 59.96 apollon102 LIA/chc-comp24-LIA-129.yml true 0.45 0.45 apollon085 LIA/chc-comp24-LIA-130.yml true 3.38 3.37 apollon056 LIA/chc-comp24-LIA-131.yml true 0.85 0.86 apollon133 LIA/chc-comp24-LIA-132.yml true 0.63 0.63 apollon118 LIA/chc-comp24-LIA-133.yml true 1.17 1.17 apollon013 LIA/chc-comp24-LIA-134.yml true 0.35 0.35 apollon001 LIA/chc-comp24-LIA-135.yml true 0.30 0.30 apollon055 LIA/chc-comp24-LIA-136.yml true 0.37 0.37 apollon068 LIA/chc-comp24-LIA-137.yml true 0.11 0.11 apollon077 LIA/chc-comp24-LIA-138.yml true 3.47 3.46 apollon088 LIA/chc-comp24-LIA-139.yml TIMEOUT 60.23 60.06 apollon163 LIA/chc-comp24-LIA-140.yml TIMEOUT 60.22 59.97 apollon065 LIA/chc-comp24-LIA-141.yml true 1.59 1.59 apollon013 LIA/chc-comp24-LIA-142.yml true 0.30 0.30 apollon037 LIA/chc-comp24-LIA-143.yml true 0.29 0.29 apollon026 LIA/chc-comp24-LIA-144.yml true 0.27 0.27 apollon098 LIA/chc-comp24-LIA-145.yml true 0.25 0.25 apollon011 LIA/chc-comp24-LIA-146.yml true 0.12 0.12 apollon119 LIA/chc-comp24-LIA-147.yml true 0.27 0.27 apollon040 LIA/chc-comp24-LIA-148.yml true 0.38 0.38 apollon107 LIA/chc-comp24-LIA-149.yml true 1.88 1.89 apollon132 LIA/chc-comp24-LIA-150.yml true 1.13 1.13 apollon054 LIA/chc-comp24-LIA-151.yml true 20.69 20.70 apollon035 LIA/chc-comp24-LIA-152.yml true 21.39 21.40 apollon160 LIA/chc-comp24-LIA-153.yml true 0.73 0.74 apollon150 LIA/chc-comp24-LIA-154.yml true 1.37 1.38 apollon033 LIA/chc-comp24-LIA-155.yml TIMEOUT 60.10 60.07 apollon155 LIA/chc-comp24-LIA-156.yml true 1.10 1.10 apollon166 LIA/chc-comp24-LIA-157.yml true 13.75 13.75 apollon040 LIA/chc-comp24-LIA-158.yml TIMEOUT 60.09 60.07 apollon064 LIA/chc-comp24-LIA-159.yml true 43.41 43.41 apollon085 LIA/chc-comp24-LIA-160.yml true 0.97 0.98 apollon035 LIA/chc-comp24-LIA-161.yml true 8.45 8.46 apollon026 LIA/chc-comp24-LIA-162.yml true 0.76 0.76 apollon034 LIA/chc-comp24-LIA-163.yml true 0.27 0.27 apollon094 LIA/chc-comp24-LIA-164.yml TIMEOUT 60.14 60.05 apollon072 LIA/chc-comp24-LIA-165.yml true 1.10 1.10 apollon125 LIA/chc-comp24-LIA-166.yml true 0.37 0.37 apollon013 LIA/chc-comp24-LIA-167.yml true 0.35 0.35 apollon077 LIA/chc-comp24-LIA-168.yml true 3.31 3.31 apollon039 LIA/chc-comp24-LIA-169.yml true 0.25 0.25 apollon035 LIA/chc-comp24-LIA-170.yml false 0.28 0.28 apollon012 LIA/chc-comp24-LIA-171.yml true 0.42 0.42 apollon144 LIA/chc-comp24-LIA-172.yml true 0.39 0.39 apollon053 LIA/chc-comp24-LIA-173.yml unknown 1.09 1.09 apollon120 LIA/chc-comp24-LIA-174.yml true 0.38 0.38 apollon156 LIA/chc-comp24-LIA-175.yml true 4.95 4.95 apollon033 LIA/chc-comp24-LIA-176.yml false 3.43 3.43 apollon013 LIA/chc-comp24-LIA-177.yml false 1.72 1.72 apollon110 LIA/chc-comp24-LIA-178.yml true 0.86 0.86 apollon016 LIA/chc-comp24-LIA-179.yml true 47.85 47.74 apollon009 LIA/chc-comp24-LIA-180.yml true 2.04 2.05 apollon120 LIA/chc-comp24-LIA-181.yml false 0.25 0.25 apollon016 LIA/chc-comp24-LIA-182.yml false 0.60 0.60 apollon135 LIA/chc-comp24-LIA-183.yml TIMEOUT 60.09 60.07 apollon109 LIA/chc-comp24-LIA-184.yml true 54.02 54.01 apollon024 LIA/chc-comp24-LIA-185.yml true 56.08 56.08 apollon165 LIA/chc-comp24-LIA-186.yml false 2.35 2.35 apollon166 LIA/chc-comp24-LIA-187.yml false 2.27 2.27 apollon129 LIA/chc-comp24-LIA-188.yml false 2.53 2.53 apollon023 LIA/chc-comp24-LIA-189.yml TIMEOUT 60.08 60.08 apollon116 LIA/chc-comp24-LIA-190.yml true 40.83 40.83 apollon140 LIA/chc-comp24-LIA-191.yml false 2.24 2.24 apollon157 LIA/chc-comp24-LIA-192.yml TIMEOUT 60.08 60.06 apollon152 LIA/chc-comp24-LIA-193.yml false 8.05 8.05 apollon133 LIA/chc-comp24-LIA-194.yml TIMEOUT 60.08 60.07 apollon104 LIA/chc-comp24-LIA-195.yml false 0.57 0.57 apollon120 LIA/chc-comp24-LIA-196.yml false 0.74 0.74 apollon033 LIA/chc-comp24-LIA-197.yml false 0.53 0.53 apollon091 LIA/chc-comp24-LIA-198.yml true 42.14 42.14 apollon031 LIA/chc-comp24-LIA-199.yml true 28.53 28.53 apollon063 LIA/chc-comp24-LIA-200.yml TIMEOUT 60.08 60.08 apollon001 LIA/chc-comp24-LIA-201.yml true 30.25 30.25 apollon118 LIA/chc-comp24-LIA-202.yml true 6.50 6.50 apollon025 LIA/chc-comp24-LIA-203.yml false 13.83 13.83 apollon033 LIA/chc-comp24-LIA-204.yml false 2.58 2.58 apollon013 LIA/chc-comp24-LIA-205.yml false 0.33 0.33 apollon042 LIA/chc-comp24-LIA-206.yml true 59.77 59.79 apollon012 LIA/chc-comp24-LIA-207.yml false 1.70 1.70 apollon144 LIA/chc-comp24-LIA-208.yml TIMEOUT 60.09 60.07 apollon079 LIA/chc-comp24-LIA-209.yml false 2.55 2.55 apollon048 LIA/chc-comp24-LIA-210.yml false 0.21 0.21 apollon061 LIA/chc-comp24-LIA-211.yml true 25.25 25.26 apollon122 LIA/chc-comp24-LIA-212.yml TIMEOUT 60.08 60.06 apollon037 LIA/chc-comp24-LIA-213.yml true 52.19 52.19 apollon093 LIA/chc-comp24-LIA-214.yml true 4.06 4.05 apollon110 LIA/chc-comp24-LIA-215.yml false 0.35 0.35 apollon128 LIA/chc-comp24-LIA-216.yml false 0.33 0.33 apollon088 LIA/chc-comp24-LIA-217.yml true 0.72 0.72 apollon120 LIA/chc-comp24-LIA-218.yml true 14.91 14.91 apollon024 LIA/chc-comp24-LIA-219.yml false 0.45 0.45 apollon020 LIA/chc-comp24-LIA-220.yml true 27.92 27.92 apollon068 LIA/chc-comp24-LIA-221.yml true 0.87 0.87 apollon151 LIA/chc-comp24-LIA-222.yml true 2.46 2.46 apollon035 LIA/chc-comp24-LIA-223.yml true 2.18 2.18 apollon134 LIA/chc-comp24-LIA-224.yml false 3.27 3.27 apollon062 LIA/chc-comp24-LIA-225.yml true 0.72 0.72 apollon052 LIA/chc-comp24-LIA-226.yml TIMEOUT 60.18 60.07 apollon040 LIA/chc-comp24-LIA-227.yml TIMEOUT 60.34 60.09 apollon126 LIA/chc-comp24-LIA-228.yml TIMEOUT 60.07 60.08 apollon098 LIA/chc-comp24-LIA-229.yml TIMEOUT 60.07 60.08 apollon073 LIA/chc-comp24-LIA-230.yml TIMEOUT 60.14 60.07 apollon008 LIA/chc-comp24-LIA-231.yml TIMEOUT 60.24 60.06 apollon011 LIA/chc-comp24-LIA-232.yml false 23.96 23.95 apollon147 LIA/chc-comp24-LIA-233.yml TIMEOUT 60.11 60.07 apollon105 LIA/chc-comp24-LIA-234.yml TIMEOUT 60.35 60.07 apollon130 LIA/chc-comp24-LIA-235.yml TIMEOUT 60.27 60.09 apollon133 LIA/chc-comp24-LIA-236.yml TIMEOUT 60.29 60.06 apollon082 LIA/chc-comp24-LIA-237.yml TIMEOUT 60.23 60.07 apollon064 LIA/chc-comp24-LIA-238.yml TIMEOUT 60.36 60.07 apollon076 LIA/chc-comp24-LIA-239.yml TIMEOUT 60.31 60.08 apollon112 LIA/chc-comp24-LIA-240.yml TIMEOUT 60.35 60.08 apollon019 LIA/chc-comp24-LIA-241.yml true 17.64 17.64 apollon120 LIA/chc-comp24-LIA-242.yml TIMEOUT 60.38 60.07 apollon042 LIA/chc-comp24-LIA-243.yml OUT OF MEMORY 19.52 19.03 apollon119 LIA/chc-comp24-LIA-244.yml true 37.18 37.19 apollon034 LIA/chc-comp24-LIA-245.yml TIMEOUT 60.17 60.07 apollon091 LIA/chc-comp24-LIA-246.yml TIMEOUT 60.22 60.07 apollon160 LIA/chc-comp24-LIA-247.yml TIMEOUT 60.12 60.07 apollon071 LIA/chc-comp24-LIA-248.yml TIMEOUT 60.31 60.08 apollon007 LIA/chc-comp24-LIA-249.yml TIMEOUT 60.34 60.07 apollon014 LIA/chc-comp24-LIA-250.yml TIMEOUT 60.14 60.07 apollon127 LIA/chc-comp24-LIA-251.yml true 11.76 11.77 apollon120 LIA/chc-comp24-LIA-252.yml true 3.53 3.53 apollon066 LIA/chc-comp24-LIA-253.yml TIMEOUT 60.17 60.07 apollon051 LIA/chc-comp24-LIA-254.yml TIMEOUT 60.39 60.08 apollon151 LIA/chc-comp24-LIA-255.yml OUT OF MEMORY 25.03 24.57 apollon044 LIA/chc-comp24-LIA-256.yml TIMEOUT 60.11 60.08 apollon057 LIA/chc-comp24-LIA-257.yml OUT OF MEMORY 32.08 31.66 apollon090 LIA/chc-comp24-LIA-258.yml TIMEOUT 60.35 60.08 apollon117 LIA/chc-comp24-LIA-259.yml OUT OF MEMORY 16.20 15.70 apollon117 LIA/chc-comp24-LIA-260.yml OUT OF MEMORY 23.93 23.50 apollon082 LIA/chc-comp24-LIA-261.yml TIMEOUT 60.44 60.07 apollon034 LIA/chc-comp24-LIA-262.yml TIMEOUT 60.25 60.04 apollon160 LIA/chc-comp24-LIA-263.yml TIMEOUT 60.22 60.06 apollon140 LIA/chc-comp24-LIA-264.yml false 34.15 34.14 apollon106 LIA/chc-comp24-LIA-265.yml TIMEOUT 60.12 60.08 apollon003 LIA/chc-comp24-LIA-266.yml TIMEOUT 60.11 60.07 apollon023 LIA/chc-comp24-LIA-267.yml TIMEOUT 60.37 60.07 apollon145 LIA/chc-comp24-LIA-268.yml TIMEOUT 60.11 60.07 apollon046 LIA/chc-comp24-LIA-269.yml OUT OF MEMORY 32.37 31.91 apollon047 LIA/chc-comp24-LIA-270.yml TIMEOUT 60.46 60.07 apollon164 LIA/chc-comp24-LIA-271.yml TIMEOUT 60.28 60.07 apollon107 LIA/chc-comp24-LIA-272.yml OUT OF MEMORY 19.05 18.61 apollon026 LIA/chc-comp24-LIA-273.yml TIMEOUT 60.10 60.07 apollon098 LIA/chc-comp24-LIA-274.yml TIMEOUT 60.46 60.07 apollon114 LIA/chc-comp24-LIA-275.yml OUT OF MEMORY 19.28 18.80 apollon161 LIA/chc-comp24-LIA-276.yml TIMEOUT 60.30 60.07 apollon062 LIA/chc-comp24-LIA-277.yml TIMEOUT 60.27 60.07 apollon003 LIA/chc-comp24-LIA-278.yml TIMEOUT 60.33 60.07 apollon101 LIA/chc-comp24-LIA-279.yml false 23.80 23.81 apollon059 LIA/chc-comp24-LIA-280.yml false 13.61 13.61 apollon063 LIA/chc-comp24-LIA-281.yml TIMEOUT 60.12 60.08 apollon141 LIA/chc-comp24-LIA-282.yml TIMEOUT 60.09 60.07 apollon019 LIA/chc-comp24-LIA-283.yml TIMEOUT 60.35 60.07 apollon045 LIA/chc-comp24-LIA-284.yml false 26.03 26.04 apollon070 LIA/chc-comp24-LIA-285.yml TIMEOUT 60.11 60.08 apollon085 LIA/chc-comp24-LIA-286.yml TIMEOUT 60.24 60.08 apollon165 LIA/chc-comp24-LIA-287.yml true 36.30 36.31 apollon124 LIA/chc-comp24-LIA-288.yml TIMEOUT 60.10 60.07 apollon075 LIA/chc-comp24-LIA-289.yml TIMEOUT 60.37 60.06 apollon048 LIA/chc-comp24-LIA-290.yml OUT OF MEMORY 45.79 45.27 apollon055 LIA/chc-comp24-LIA-291.yml TIMEOUT 60.24 60.06 apollon146 LIA/chc-comp24-LIA-292.yml false 36.86 36.84 apollon113 LIA/chc-comp24-LIA-293.yml OUT OF MEMORY 50.77 50.30 apollon144 LIA/chc-comp24-LIA-294.yml TIMEOUT 60.46 60.07 apollon145 LIA/chc-comp24-LIA-295.yml OUT OF MEMORY 23.87 23.42 apollon028 LIA/chc-comp24-LIA-296.yml OUT OF MEMORY 19.78 19.30 apollon066 LIA/chc-comp24-LIA-297.yml OUT OF MEMORY 49.06 48.64 apollon069 LIA/chc-comp24-LIA-298.yml TIMEOUT 60.40 60.08 apollon132 LIA/chc-comp24-LIA-299.yml TIMEOUT 60.21 60.07 apollon013 LIA/chc-comp24-LIA-300.yml true 31.35 31.35 apollon149 --------------------------------------------------------------------------------------------------- Run set 1 done None 332.34 - Statistics: 600 Files correct: 320 correct true: 202 correct false: 118 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 279