BENCHMARK INFORMATION benchmark definition: ../../benchmark-defs/smoke/golem.xml name: golem run sets: CHC-COMP2024_check-sat date: Mon, 2025-04-28 21:11:34 CEST tool: Golem 0.7.1 tool executable: ./golem 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 TIMEOUT 62.03 31.01 apollon059 LIA-Lin/chc-comp24-LIA-Lin-002.yml false 0.01 0.01 apollon011 LIA-Lin/chc-comp24-LIA-Lin-003.yml false 0.02 0.01 apollon075 LIA-Lin/chc-comp24-LIA-Lin-004.yml TIMEOUT 62.02 31.01 apollon114 LIA-Lin/chc-comp24-LIA-Lin-005.yml true 15.20 7.60 apollon014 LIA-Lin/chc-comp24-LIA-Lin-006.yml false 0.01 0.01 apollon154 LIA-Lin/chc-comp24-LIA-Lin-007.yml false 0.01 0.01 apollon120 LIA-Lin/chc-comp24-LIA-Lin-008.yml false 0.03 0.02 apollon093 LIA-Lin/chc-comp24-LIA-Lin-009.yml false 0.34 0.17 apollon035 LIA-Lin/chc-comp24-LIA-Lin-010.yml TIMEOUT 62.03 31.01 apollon120 LIA-Lin/chc-comp24-LIA-Lin-011.yml true 0.02 0.03 apollon081 LIA-Lin/chc-comp24-LIA-Lin-012.yml true 0.02 0.01 apollon028 LIA-Lin/chc-comp24-LIA-Lin-013.yml TIMEOUT 62.02 31.01 apollon035 LIA-Lin/chc-comp24-LIA-Lin-014.yml false 0.02 0.01 apollon146 LIA-Lin/chc-comp24-LIA-Lin-015.yml false 0.01 0.01 apollon033 LIA-Lin/chc-comp24-LIA-Lin-016.yml false 0.02 0.01 apollon129 LIA-Lin/chc-comp24-LIA-Lin-017.yml false 0.00 0.00 apollon126 LIA-Lin/chc-comp24-LIA-Lin-018.yml true 0.01 0.01 apollon140 LIA-Lin/chc-comp24-LIA-Lin-019.yml false 0.01 0.00 apollon141 LIA-Lin/chc-comp24-LIA-Lin-020.yml false 0.00 0.00 apollon079 LIA-Lin/chc-comp24-LIA-Lin-021.yml true 0.01 0.01 apollon149 LIA-Lin/chc-comp24-LIA-Lin-022.yml false 0.02 0.01 apollon140 LIA-Lin/chc-comp24-LIA-Lin-023.yml TIMEOUT 62.03 31.01 apollon053 LIA-Lin/chc-comp24-LIA-Lin-024.yml TIMEOUT 62.03 31.01 apollon133 LIA-Lin/chc-comp24-LIA-Lin-025.yml TIMEOUT 62.01 31.01 apollon076 LIA-Lin/chc-comp24-LIA-Lin-026.yml true 5.13 2.57 apollon035 LIA-Lin/chc-comp24-LIA-Lin-027.yml TIMEOUT 62.00 31.00 apollon039 LIA-Lin/chc-comp24-LIA-Lin-028.yml TIMEOUT 62.04 31.01 apollon145 LIA-Lin/chc-comp24-LIA-Lin-029.yml true 12.08 6.05 apollon120 LIA-Lin/chc-comp24-LIA-Lin-030.yml TIMEOUT 61.64 31.01 apollon007 LIA-Lin/chc-comp24-LIA-Lin-031.yml true 2.13 1.07 apollon047 LIA-Lin/chc-comp24-LIA-Lin-032.yml TIMEOUT 62.04 31.01 apollon037 LIA-Lin/chc-comp24-LIA-Lin-033.yml TIMEOUT 62.04 31.01 apollon056 LIA-Lin/chc-comp24-LIA-Lin-034.yml true 10.07 5.04 apollon075 LIA-Lin/chc-comp24-LIA-Lin-035.yml TIMEOUT 62.04 31.01 apollon003 LIA-Lin/chc-comp24-LIA-Lin-036.yml TIMEOUT 62.01 31.01 apollon052 LIA-Lin/chc-comp24-LIA-Lin-037.yml TIMEOUT 62.03 31.01 apollon156 LIA-Lin/chc-comp24-LIA-Lin-038.yml true 42.09 21.06 apollon028 LIA-Lin/chc-comp24-LIA-Lin-039.yml true 25.24 12.70 apollon007 LIA-Lin/chc-comp24-LIA-Lin-040.yml false 0.01 0.01 apollon068 LIA-Lin/chc-comp24-LIA-Lin-041.yml true 6.99 3.50 apollon071 LIA-Lin/chc-comp24-LIA-Lin-042.yml TIMEOUT 62.06 31.01 apollon151 LIA-Lin/chc-comp24-LIA-Lin-043.yml false 0.02 0.01 apollon060 LIA-Lin/chc-comp24-LIA-Lin-044.yml true 0.05 0.03 apollon056 LIA-Lin/chc-comp24-LIA-Lin-045.yml true 9.56 4.78 apollon018 LIA-Lin/chc-comp24-LIA-Lin-046.yml false 0.03 0.02 apollon159 LIA-Lin/chc-comp24-LIA-Lin-047.yml true 12.24 6.13 apollon093 LIA-Lin/chc-comp24-LIA-Lin-048.yml true 14.45 7.23 apollon152 LIA-Lin/chc-comp24-LIA-Lin-049.yml true 0.02 0.01 apollon062 LIA-Lin/chc-comp24-LIA-Lin-050.yml true 7.38 3.70 apollon129 LIA-Lin/chc-comp24-LIA-Lin-051.yml true 0.08 0.04 apollon150 LIA-Lin/chc-comp24-LIA-Lin-052.yml false 0.01 0.01 apollon028 LIA-Lin/chc-comp24-LIA-Lin-053.yml false 0.14 0.07 apollon033 LIA-Lin/chc-comp24-LIA-Lin-054.yml false 0.01 0.01 apollon089 LIA-Lin/chc-comp24-LIA-Lin-055.yml true 0.02 0.01 apollon028 LIA-Lin/chc-comp24-LIA-Lin-056.yml true 0.33 0.17 apollon155 LIA-Lin/chc-comp24-LIA-Lin-057.yml true 0.01 0.01 apollon064 LIA-Lin/chc-comp24-LIA-Lin-058.yml TIMEOUT 62.03 31.01 apollon057 LIA-Lin/chc-comp24-LIA-Lin-059.yml true 0.04 0.02 apollon008 LIA-Lin/chc-comp24-LIA-Lin-060.yml true 0.05 0.03 apollon140 LIA-Lin/chc-comp24-LIA-Lin-061.yml true 0.03 0.02 apollon017 LIA-Lin/chc-comp24-LIA-Lin-062.yml TIMEOUT 62.06 31.01 apollon119 LIA-Lin/chc-comp24-LIA-Lin-063.yml TIMEOUT 61.88 31.01 apollon007 LIA-Lin/chc-comp24-LIA-Lin-064.yml false 0.24 0.12 apollon107 LIA-Lin/chc-comp24-LIA-Lin-065.yml false 0.05 0.03 apollon037 LIA-Lin/chc-comp24-LIA-Lin-066.yml true 0.02 0.01 apollon141 LIA-Lin/chc-comp24-LIA-Lin-067.yml TIMEOUT 61.87 31.01 apollon072 LIA-Lin/chc-comp24-LIA-Lin-068.yml false 4.67 2.35 apollon107 LIA-Lin/chc-comp24-LIA-Lin-069.yml TIMEOUT 62.03 31.00 apollon008 LIA-Lin/chc-comp24-LIA-Lin-070.yml TIMEOUT 62.05 31.01 apollon013 LIA-Lin/chc-comp24-LIA-Lin-071.yml TIMEOUT 62.01 31.00 apollon149 LIA-Lin/chc-comp24-LIA-Lin-072.yml TIMEOUT 61.86 31.01 apollon118 LIA-Lin/chc-comp24-LIA-Lin-073.yml TIMEOUT 62.04 31.00 apollon103 LIA-Lin/chc-comp24-LIA-Lin-074.yml TIMEOUT 61.86 31.01 apollon160 LIA-Lin/chc-comp24-LIA-Lin-075.yml false 0.09 0.05 apollon057 LIA-Lin/chc-comp24-LIA-Lin-076.yml TIMEOUT 61.78 31.01 apollon071 LIA-Lin/chc-comp24-LIA-Lin-077.yml TIMEOUT 62.04 31.01 apollon098 LIA-Lin/chc-comp24-LIA-Lin-078.yml false 0.08 0.04 apollon043 LIA-Lin/chc-comp24-LIA-Lin-079.yml TIMEOUT 61.98 31.00 apollon160 LIA-Lin/chc-comp24-LIA-Lin-080.yml false 16.45 8.23 apollon091 LIA-Lin/chc-comp24-LIA-Lin-081.yml false 1.36 0.68 apollon146 LIA-Lin/chc-comp24-LIA-Lin-082.yml false 0.01 0.01 apollon013 LIA-Lin/chc-comp24-LIA-Lin-083.yml false 0.12 0.06 apollon037 LIA-Lin/chc-comp24-LIA-Lin-084.yml TIMEOUT 62.03 31.01 apollon013 LIA-Lin/chc-comp24-LIA-Lin-085.yml false 1.84 0.92 apollon060 LIA-Lin/chc-comp24-LIA-Lin-086.yml false 9.82 4.91 apollon081 LIA-Lin/chc-comp24-LIA-Lin-087.yml false 6.32 3.17 apollon047 LIA-Lin/chc-comp24-LIA-Lin-088.yml false 0.14 0.07 apollon035 LIA-Lin/chc-comp24-LIA-Lin-089.yml TIMEOUT 62.02 31.01 apollon078 LIA-Lin/chc-comp24-LIA-Lin-090.yml false 0.08 0.04 apollon002 LIA-Lin/chc-comp24-LIA-Lin-091.yml false 55.83 27.92 apollon149 LIA-Lin/chc-comp24-LIA-Lin-092.yml TIMEOUT 62.06 31.01 apollon152 LIA-Lin/chc-comp24-LIA-Lin-093.yml true 0.04 0.02 apollon163 LIA-Lin/chc-comp24-LIA-Lin-094.yml true 1.56 0.78 apollon043 LIA-Lin/chc-comp24-LIA-Lin-095.yml true 0.20 0.10 apollon134 LIA-Lin/chc-comp24-LIA-Lin-096.yml true 0.23 0.12 apollon093 LIA-Lin/chc-comp24-LIA-Lin-097.yml TIMEOUT 61.99 31.01 apollon070 LIA-Lin/chc-comp24-LIA-Lin-098.yml true 2.83 1.41 apollon120 LIA-Lin/chc-comp24-LIA-Lin-099.yml true 3.43 1.72 apollon012 LIA-Lin/chc-comp24-LIA-Lin-100.yml true 20.64 10.32 apollon086 LIA-Lin/chc-comp24-LIA-Lin-101.yml TIMEOUT 61.99 31.00 apollon154 LIA-Lin/chc-comp24-LIA-Lin-102.yml true 0.02 0.01 apollon061 LIA-Lin/chc-comp24-LIA-Lin-103.yml true 0.05 0.03 apollon040 LIA-Lin/chc-comp24-LIA-Lin-104.yml TIMEOUT 62.01 31.01 apollon146 LIA-Lin/chc-comp24-LIA-Lin-105.yml true 37.51 18.77 apollon160 LIA-Lin/chc-comp24-LIA-Lin-106.yml true 0.38 0.19 apollon069 LIA-Lin/chc-comp24-LIA-Lin-107.yml true 0.04 0.02 apollon014 LIA-Lin/chc-comp24-LIA-Lin-108.yml true 1.66 0.83 apollon109 LIA-Lin/chc-comp24-LIA-Lin-109.yml true 41.98 20.99 apollon045 LIA-Lin/chc-comp24-LIA-Lin-110.yml true 10.48 5.24 apollon002 LIA-Lin/chc-comp24-LIA-Lin-111.yml TIMEOUT 61.99 31.01 apollon013 LIA-Lin/chc-comp24-LIA-Lin-112.yml true 1.39 0.70 apollon061 LIA-Lin/chc-comp24-LIA-Lin-113.yml true 3.25 1.63 apollon034 LIA-Lin/chc-comp24-LIA-Lin-114.yml TIMEOUT 62.03 31.01 apollon112 LIA-Lin/chc-comp24-LIA-Lin-115.yml TIMEOUT 62.00 31.01 apollon068 LIA-Lin/chc-comp24-LIA-Lin-116.yml TIMEOUT 61.90 31.01 apollon116 LIA-Lin/chc-comp24-LIA-Lin-117.yml true 0.21 0.11 apollon158 LIA-Lin/chc-comp24-LIA-Lin-118.yml true 0.05 0.03 apollon141 LIA-Lin/chc-comp24-LIA-Lin-119.yml TIMEOUT 62.01 31.01 apollon101 LIA-Lin/chc-comp24-LIA-Lin-120.yml true 0.04 0.02 apollon037 LIA-Lin/chc-comp24-LIA-Lin-121.yml true 3.41 1.71 apollon013 LIA-Lin/chc-comp24-LIA-Lin-122.yml true 7.74 3.87 apollon147 LIA-Lin/chc-comp24-LIA-Lin-123.yml true 0.01 0.00 apollon061 LIA-Lin/chc-comp24-LIA-Lin-124.yml true 0.02 0.01 apollon037 LIA-Lin/chc-comp24-LIA-Lin-125.yml true 0.01 0.00 apollon147 LIA-Lin/chc-comp24-LIA-Lin-126.yml false 0.01 0.01 apollon122 LIA-Lin/chc-comp24-LIA-Lin-127.yml true 0.00 0.00 apollon120 LIA-Lin/chc-comp24-LIA-Lin-128.yml true 0.38 0.19 apollon111 LIA-Lin/chc-comp24-LIA-Lin-129.yml true 0.02 0.01 apollon068 LIA-Lin/chc-comp24-LIA-Lin-130.yml true 0.01 0.01 apollon151 LIA-Lin/chc-comp24-LIA-Lin-131.yml true 0.01 0.00 apollon014 LIA-Lin/chc-comp24-LIA-Lin-132.yml true 0.02 0.01 apollon054 LIA-Lin/chc-comp24-LIA-Lin-133.yml true 0.01 0.01 apollon056 LIA-Lin/chc-comp24-LIA-Lin-134.yml true 0.01 0.01 apollon152 LIA-Lin/chc-comp24-LIA-Lin-135.yml false 0.02 0.01 apollon047 LIA-Lin/chc-comp24-LIA-Lin-136.yml true 0.01 0.00 apollon147 LIA-Lin/chc-comp24-LIA-Lin-137.yml false 0.02 0.02 apollon155 LIA-Lin/chc-comp24-LIA-Lin-138.yml true 0.01 0.01 apollon125 LIA-Lin/chc-comp24-LIA-Lin-139.yml true 0.09 0.05 apollon101 LIA-Lin/chc-comp24-LIA-Lin-140.yml true 0.01 0.01 apollon071 LIA-Lin/chc-comp24-LIA-Lin-141.yml true 0.01 0.01 apollon091 LIA-Lin/chc-comp24-LIA-Lin-142.yml true 0.49 0.25 apollon073 LIA-Lin/chc-comp24-LIA-Lin-143.yml true 0.13 0.07 apollon141 LIA-Lin/chc-comp24-LIA-Lin-144.yml true 1.48 0.76 apollon033 LIA-Lin/chc-comp24-LIA-Lin-145.yml true 0.23 0.12 apollon146 LIA-Lin/chc-comp24-LIA-Lin-146.yml true 0.03 0.02 apollon141 LIA-Lin/chc-comp24-LIA-Lin-147.yml true 0.02 0.01 apollon106 LIA-Lin/chc-comp24-LIA-Lin-148.yml false 0.28 0.14 apollon035 LIA-Lin/chc-comp24-LIA-Lin-149.yml false 0.01 0.01 apollon037 LIA-Lin/chc-comp24-LIA-Lin-150.yml false 0.01 0.01 apollon036 LIA-Lin/chc-comp24-LIA-Lin-151.yml TIMEOUT 62.03 31.01 apollon051 LIA-Lin/chc-comp24-LIA-Lin-152.yml TIMEOUT 62.03 31.01 apollon066 LIA-Lin/chc-comp24-LIA-Lin-153.yml true 0.03 0.02 apollon164 LIA-Lin/chc-comp24-LIA-Lin-154.yml true 0.12 0.07 apollon091 LIA-Lin/chc-comp24-LIA-Lin-155.yml true 0.05 0.03 apollon153 LIA-Lin/chc-comp24-LIA-Lin-156.yml true 0.02 0.01 apollon146 LIA-Lin/chc-comp24-LIA-Lin-157.yml false 0.55 0.28 apollon163 LIA-Lin/chc-comp24-LIA-Lin-158.yml TIMEOUT 62.01 31.01 apollon058 LIA-Lin/chc-comp24-LIA-Lin-159.yml TIMEOUT 62.03 31.01 apollon124 LIA-Lin/chc-comp24-LIA-Lin-160.yml TIMEOUT 62.01 31.01 apollon061 LIA-Lin/chc-comp24-LIA-Lin-161.yml true 0.51 0.26 apollon070 LIA-Lin/chc-comp24-LIA-Lin-162.yml true 0.26 0.13 apollon116 LIA-Lin/chc-comp24-LIA-Lin-163.yml true 0.03 0.02 apollon134 LIA-Lin/chc-comp24-LIA-Lin-164.yml TIMEOUT 62.01 31.01 apollon122 LIA-Lin/chc-comp24-LIA-Lin-165.yml TIMEOUT 62.02 31.01 apollon161 LIA-Lin/chc-comp24-LIA-Lin-166.yml TIMEOUT 62.00 31.01 apollon049 LIA-Lin/chc-comp24-LIA-Lin-167.yml true 0.02 0.01 apollon062 LIA-Lin/chc-comp24-LIA-Lin-168.yml true 0.03 0.02 apollon162 LIA-Lin/chc-comp24-LIA-Lin-169.yml true 0.03 0.02 apollon122 LIA-Lin/chc-comp24-LIA-Lin-170.yml true 0.01 0.01 apollon159 LIA-Lin/chc-comp24-LIA-Lin-171.yml true 0.01 0.01 apollon023 LIA-Lin/chc-comp24-LIA-Lin-172.yml true 0.01 0.01 apollon045 LIA-Lin/chc-comp24-LIA-Lin-173.yml true 0.02 0.01 apollon017 LIA-Lin/chc-comp24-LIA-Lin-174.yml true 0.02 0.01 apollon031 LIA-Lin/chc-comp24-LIA-Lin-175.yml true 0.01 0.01 apollon091 LIA-Lin/chc-comp24-LIA-Lin-176.yml false 0.06 0.03 apollon118 LIA-Lin/chc-comp24-LIA-Lin-177.yml false 0.01 0.01 apollon042 LIA-Lin/chc-comp24-LIA-Lin-178.yml false 0.01 0.01 apollon129 LIA-Lin/chc-comp24-LIA-Lin-179.yml true 0.18 0.10 apollon070 LIA-Lin/chc-comp24-LIA-Lin-180.yml TIMEOUT 61.89 31.01 apollon090 LIA-Lin/chc-comp24-LIA-Lin-181.yml TIMEOUT 62.02 31.01 apollon154 LIA-Lin/chc-comp24-LIA-Lin-182.yml false 0.03 0.02 apollon111 LIA-Lin/chc-comp24-LIA-Lin-183.yml true 0.26 0.13 apollon011 LIA-Lin/chc-comp24-LIA-Lin-184.yml TIMEOUT 62.00 31.01 apollon112 LIA-Lin/chc-comp24-LIA-Lin-185.yml false 0.16 0.08 apollon051 LIA-Lin/chc-comp24-LIA-Lin-186.yml false 0.02 0.01 apollon013 LIA-Lin/chc-comp24-LIA-Lin-187.yml false 0.03 0.02 apollon007 LIA-Lin/chc-comp24-LIA-Lin-188.yml TIMEOUT 62.00 31.00 apollon163 LIA-Lin/chc-comp24-LIA-Lin-189.yml TIMEOUT 61.97 31.00 apollon065 LIA-Lin/chc-comp24-LIA-Lin-190.yml true 0.08 0.04 apollon028 LIA-Lin/chc-comp24-LIA-Lin-191.yml false 0.06 0.03 apollon120 LIA-Lin/chc-comp24-LIA-Lin-192.yml TIMEOUT 62.02 31.01 apollon161 LIA-Lin/chc-comp24-LIA-Lin-193.yml true 0.03 0.02 apollon131 LIA-Lin/chc-comp24-LIA-Lin-194.yml true 0.04 0.03 apollon072 LIA-Lin/chc-comp24-LIA-Lin-195.yml true 0.02 0.02 apollon128 LIA-Lin/chc-comp24-LIA-Lin-196.yml true 3.42 1.72 apollon023 LIA-Lin/chc-comp24-LIA-Lin-197.yml true 0.03 0.02 apollon099 LIA-Lin/chc-comp24-LIA-Lin-198.yml true 0.08 0.05 apollon028 LIA-Lin/chc-comp24-LIA-Lin-199.yml TIMEOUT (true) 61.85 30.96 apollon019 LIA-Lin/chc-comp24-LIA-Lin-200.yml true 9.23 4.62 apollon017 LIA-Lin/chc-comp24-LIA-Lin-201.yml TIMEOUT 62.01 31.01 apollon132 LIA-Lin/chc-comp24-LIA-Lin-202.yml TIMEOUT 61.99 31.01 apollon073 LIA-Lin/chc-comp24-LIA-Lin-203.yml false 0.01 0.01 apollon070 LIA-Lin/chc-comp24-LIA-Lin-204.yml true 0.02 0.01 apollon132 LIA-Lin/chc-comp24-LIA-Lin-205.yml false 0.02 0.01 apollon040 LIA-Lin/chc-comp24-LIA-Lin-206.yml TIMEOUT 62.00 31.00 apollon049 LIA-Lin/chc-comp24-LIA-Lin-207.yml TIMEOUT 62.04 31.01 apollon151 LIA-Lin/chc-comp24-LIA-Lin-208.yml false 0.04 0.02 apollon037 LIA-Lin/chc-comp24-LIA-Lin-209.yml false 0.49 0.25 apollon104 LIA-Lin/chc-comp24-LIA-Lin-210.yml TIMEOUT 62.02 31.01 apollon102 LIA-Lin/chc-comp24-LIA-Lin-211.yml false 0.01 0.01 apollon058 LIA-Lin/chc-comp24-LIA-Lin-212.yml true 0.13 0.07 apollon141 LIA-Lin/chc-comp24-LIA-Lin-213.yml true 0.01 0.01 apollon070 LIA-Lin/chc-comp24-LIA-Lin-214.yml true 0.01 0.01 apollon093 LIA-Lin/chc-comp24-LIA-Lin-215.yml true 1.37 0.70 apollon073 LIA-Lin/chc-comp24-LIA-Lin-216.yml TIMEOUT 61.91 31.01 apollon125 LIA-Lin/chc-comp24-LIA-Lin-217.yml TIMEOUT 61.57 31.01 apollon028 LIA-Lin/chc-comp24-LIA-Lin-218.yml false 11.97 6.09 apollon071 LIA-Lin/chc-comp24-LIA-Lin-219.yml false 0.02 0.01 apollon060 LIA-Lin/chc-comp24-LIA-Lin-220.yml false 24.19 12.14 apollon107 LIA-Lin/chc-comp24-LIA-Lin-221.yml true 0.80 0.41 apollon018 LIA-Lin/chc-comp24-LIA-Lin-222.yml true 0.01 0.01 apollon091 LIA-Lin/chc-comp24-LIA-Lin-223.yml false 0.02 0.01 apollon030 LIA-Lin/chc-comp24-LIA-Lin-224.yml false 0.01 0.01 apollon117 LIA-Lin/chc-comp24-LIA-Lin-225.yml TIMEOUT 62.04 31.01 apollon062 LIA-Lin/chc-comp24-LIA-Lin-226.yml TIMEOUT 62.92 55.54 apollon079 LIA-Lin/chc-comp24-LIA-Lin-227.yml TIMEOUT 62.49 33.63 apollon144 LIA-Lin/chc-comp24-LIA-Lin-228.yml TIMEOUT 62.62 54.21 apollon089 LIA-Lin/chc-comp24-LIA-Lin-229.yml TIMEOUT 60.21 60.22 apollon047 LIA-Lin/chc-comp24-LIA-Lin-230.yml TIMEOUT 61.28 31.02 apollon065 LIA-Lin/chc-comp24-LIA-Lin-231.yml TIMEOUT 62.61 40.66 apollon105 LIA-Lin/chc-comp24-LIA-Lin-232.yml TIMEOUT 60.96 31.02 apollon047 LIA-Lin/chc-comp24-LIA-Lin-233.yml TIMEOUT 62.58 40.19 apollon070 LIA-Lin/chc-comp24-LIA-Lin-234.yml TIMEOUT 61.33 31.01 apollon075 LIA-Lin/chc-comp24-LIA-Lin-235.yml TIMEOUT 61.43 31.01 apollon128 LIA-Lin/chc-comp24-LIA-Lin-236.yml TIMEOUT 61.24 31.02 apollon132 LIA-Lin/chc-comp24-LIA-Lin-237.yml TIMEOUT 61.07 31.02 apollon146 LIA-Lin/chc-comp24-LIA-Lin-238.yml TIMEOUT 61.23 31.02 apollon040 LIA-Lin/chc-comp24-LIA-Lin-239.yml TIMEOUT 61.46 31.01 apollon118 LIA-Lin/chc-comp24-LIA-Lin-240.yml TIMEOUT 61.26 31.02 apollon051 LIA-Lin/chc-comp24-LIA-Lin-241.yml TIMEOUT 62.47 33.73 apollon062 LIA-Lin/chc-comp24-LIA-Lin-242.yml TIMEOUT 62.54 39.94 apollon117 LIA-Lin/chc-comp24-LIA-Lin-243.yml TIMEOUT 62.53 41.28 apollon102 LIA-Lin/chc-comp24-LIA-Lin-244.yml TIMEOUT 62.60 41.30 apollon091 LIA-Lin/chc-comp24-LIA-Lin-245.yml TIMEOUT 61.44 31.01 apollon067 LIA-Lin/chc-comp24-LIA-Lin-246.yml TIMEOUT 62.54 39.53 apollon063 LIA-Lin/chc-comp24-LIA-Lin-247.yml TIMEOUT 62.52 39.87 apollon126 LIA-Lin/chc-comp24-LIA-Lin-248.yml TIMEOUT 62.55 41.87 apollon037 LIA-Lin/chc-comp24-LIA-Lin-249.yml TIMEOUT 62.52 33.79 apollon090 LIA-Lin/chc-comp24-LIA-Lin-250.yml TIMEOUT 60.15 60.16 apollon150 LIA-Lin/chc-comp24-LIA-Lin-251.yml TIMEOUT 62.49 33.63 apollon122 LIA-Lin/chc-comp24-LIA-Lin-252.yml TIMEOUT 60.16 60.18 apollon073 LIA-Lin/chc-comp24-LIA-Lin-253.yml TIMEOUT 60.17 60.18 apollon123 LIA-Lin/chc-comp24-LIA-Lin-254.yml TIMEOUT 61.51 31.02 apollon121 LIA-Lin/chc-comp24-LIA-Lin-255.yml TIMEOUT 62.50 33.66 apollon026 LIA-Lin/chc-comp24-LIA-Lin-256.yml TIMEOUT 62.54 33.57 apollon060 LIA-Lin/chc-comp24-LIA-Lin-257.yml TIMEOUT 61.36 58.23 apollon146 LIA-Lin/chc-comp24-LIA-Lin-258.yml TIMEOUT 60.85 60.27 apollon006 LIA-Lin/chc-comp24-LIA-Lin-259.yml TIMEOUT 60.15 60.16 apollon125 LIA-Lin/chc-comp24-LIA-Lin-260.yml TIMEOUT 62.55 41.14 apollon034 LIA-Lin/chc-comp24-LIA-Lin-261.yml TIMEOUT 62.50 33.54 apollon014 LIA-Lin/chc-comp24-LIA-Lin-262.yml TIMEOUT 61.21 58.24 apollon107 LIA-Lin/chc-comp24-LIA-Lin-263.yml true 1.60 0.86 apollon037 LIA-Lin/chc-comp24-LIA-Lin-264.yml true 0.06 0.03 apollon034 LIA-Lin/chc-comp24-LIA-Lin-265.yml TIMEOUT 62.06 31.01 apollon053 LIA-Lin/chc-comp24-LIA-Lin-266.yml TIMEOUT 62.05 31.01 apollon058 LIA-Lin/chc-comp24-LIA-Lin-267.yml true 0.34 0.17 apollon107 LIA-Lin/chc-comp24-LIA-Lin-268.yml TIMEOUT 62.03 31.00 apollon098 LIA-Lin/chc-comp24-LIA-Lin-269.yml TIMEOUT 62.00 31.01 apollon098 LIA-Lin/chc-comp24-LIA-Lin-270.yml TIMEOUT 62.02 31.00 apollon150 LIA-Lin/chc-comp24-LIA-Lin-271.yml TIMEOUT 62.01 31.01 apollon062 LIA-Lin/chc-comp24-LIA-Lin-272.yml TIMEOUT 62.04 31.01 apollon002 LIA-Lin/chc-comp24-LIA-Lin-273.yml TIMEOUT 62.03 31.01 apollon164 LIA-Lin/chc-comp24-LIA-Lin-274.yml true 0.02 0.01 apollon119 LIA-Lin/chc-comp24-LIA-Lin-275.yml true 0.03 0.02 apollon028 LIA-Lin/chc-comp24-LIA-Lin-276.yml TIMEOUT 62.03 31.01 apollon031 LIA-Lin/chc-comp24-LIA-Lin-277.yml true 1.33 0.67 apollon093 LIA-Lin/chc-comp24-LIA-Lin-278.yml TIMEOUT 62.01 31.01 apollon164 LIA-Lin/chc-comp24-LIA-Lin-279.yml true 0.02 0.01 apollon035 LIA-Lin/chc-comp24-LIA-Lin-280.yml true 0.01 0.01 apollon072 LIA-Lin/chc-comp24-LIA-Lin-281.yml true 0.06 0.03 apollon037 LIA-Lin/chc-comp24-LIA-Lin-282.yml TIMEOUT 62.02 31.01 apollon114 LIA-Lin/chc-comp24-LIA-Lin-283.yml true 5.06 2.53 apollon129 LIA-Lin/chc-comp24-LIA-Lin-284.yml TIMEOUT 62.01 31.00 apollon106 LIA-Lin/chc-comp24-LIA-Lin-285.yml true 0.02 0.01 apollon112 LIA-Lin/chc-comp24-LIA-Lin-286.yml TIMEOUT 62.02 31.01 apollon069 LIA-Lin/chc-comp24-LIA-Lin-287.yml true 0.01 0.01 apollon141 LIA-Lin/chc-comp24-LIA-Lin-288.yml false 0.01 0.01 apollon007 LIA-Lin/chc-comp24-LIA-Lin-289.yml true 0.01 0.01 apollon045 LIA-Lin/chc-comp24-LIA-Lin-290.yml false 0.01 0.01 apollon132 LIA-Lin/chc-comp24-LIA-Lin-291.yml true 0.01 0.01 apollon106 LIA-Lin/chc-comp24-LIA-Lin-292.yml false 0.01 0.01 apollon037 LIA-Lin/chc-comp24-LIA-Lin-293.yml false 0.02 0.02 apollon141 LIA-Lin/chc-comp24-LIA-Lin-294.yml false 0.02 0.02 apollon120 LIA-Lin/chc-comp24-LIA-Lin-295.yml true 0.02 0.02 apollon026 LIA-Lin/chc-comp24-LIA-Lin-296.yml true 0.01 0.01 apollon026 LIA-Lin/chc-comp24-LIA-Lin-297.yml true 0.01 0.01 apollon144 LIA-Lin/chc-comp24-LIA-Lin-298.yml true 0.10 0.10 apollon057 LIA-Lin/chc-comp24-LIA-Lin-299.yml false 0.03 0.03 apollon147 LIA-Lin/chc-comp24-LIA-Lin-300.yml true 0.03 0.03 apollon164 LIA/chc-comp24-LIA-001.yml true 10.30 5.15 apollon059 LIA/chc-comp24-LIA-002.yml false 2.22 1.11 apollon146 LIA/chc-comp24-LIA-003.yml false 1.40 0.70 apollon101 LIA/chc-comp24-LIA-004.yml false 0.01 0.01 apollon045 LIA/chc-comp24-LIA-005.yml false 0.96 0.48 apollon018 LIA/chc-comp24-LIA-006.yml true 0.10 0.05 apollon033 LIA/chc-comp24-LIA-007.yml false 1.71 0.86 apollon076 LIA/chc-comp24-LIA-008.yml false 2.63 1.32 apollon017 LIA/chc-comp24-LIA-009.yml true 2.21 1.11 apollon072 LIA/chc-comp24-LIA-010.yml false 0.18 0.09 apollon147 LIA/chc-comp24-LIA-011.yml true 0.02 0.01 apollon062 LIA/chc-comp24-LIA-012.yml true 0.02 0.01 apollon045 LIA/chc-comp24-LIA-013.yml true 0.58 0.29 apollon060 LIA/chc-comp24-LIA-014.yml true 0.46 0.23 apollon034 LIA/chc-comp24-LIA-015.yml true 15.59 7.81 apollon144 LIA/chc-comp24-LIA-016.yml true 0.01 0.01 apollon054 LIA/chc-comp24-LIA-017.yml false 0.14 0.07 apollon102 LIA/chc-comp24-LIA-018.yml true 0.75 0.38 apollon076 LIA/chc-comp24-LIA-019.yml true 0.80 0.41 apollon149 LIA/chc-comp24-LIA-020.yml true 0.35 0.18 apollon131 LIA/chc-comp24-LIA-021.yml false 0.24 0.12 apollon011 LIA/chc-comp24-LIA-022.yml false 0.16 0.08 apollon075 LIA/chc-comp24-LIA-023.yml false 0.14 0.07 apollon089 LIA/chc-comp24-LIA-024.yml true 0.30 0.15 apollon158 LIA/chc-comp24-LIA-025.yml true 0.01 0.01 apollon019 LIA/chc-comp24-LIA-026.yml false 0.09 0.05 apollon151 LIA/chc-comp24-LIA-027.yml true 1.78 0.89 apollon073 LIA/chc-comp24-LIA-028.yml true 0.02 0.01 apollon002 LIA/chc-comp24-LIA-029.yml false 0.04 0.03 apollon007 LIA/chc-comp24-LIA-030.yml false 0.02 0.01 apollon135 LIA/chc-comp24-LIA-031.yml false 0.02 0.01 apollon018 LIA/chc-comp24-LIA-032.yml true 0.06 0.03 apollon081 LIA/chc-comp24-LIA-033.yml false 1.84 0.93 apollon045 LIA/chc-comp24-LIA-034.yml false 4.78 2.39 apollon003 LIA/chc-comp24-LIA-035.yml TIMEOUT 62.00 31.01 apollon069 LIA/chc-comp24-LIA-036.yml false 0.07 0.04 apollon073 LIA/chc-comp24-LIA-037.yml TIMEOUT 61.95 31.01 apollon134 LIA/chc-comp24-LIA-038.yml false 0.01 0.01 apollon120 LIA/chc-comp24-LIA-039.yml false 0.02 0.02 apollon017 LIA/chc-comp24-LIA-040.yml TIMEOUT 62.00 31.01 apollon114 LIA/chc-comp24-LIA-041.yml TIMEOUT 62.00 31.00 apollon148 LIA/chc-comp24-LIA-042.yml false 0.04 0.03 apollon061 LIA/chc-comp24-LIA-043.yml false 0.02 0.01 apollon099 LIA/chc-comp24-LIA-044.yml false 0.02 0.01 apollon151 LIA/chc-comp24-LIA-045.yml TIMEOUT 62.00 31.01 apollon040 LIA/chc-comp24-LIA-046.yml true 0.02 0.01 apollon043 LIA/chc-comp24-LIA-047.yml false 0.02 0.02 apollon070 LIA/chc-comp24-LIA-048.yml false 0.03 0.02 apollon126 LIA/chc-comp24-LIA-049.yml false 0.02 0.01 apollon152 LIA/chc-comp24-LIA-050.yml true 0.02 0.01 apollon139 LIA/chc-comp24-LIA-051.yml false 0.02 0.02 apollon071 LIA/chc-comp24-LIA-052.yml true 4.48 2.26 apollon164 LIA/chc-comp24-LIA-053.yml true 0.25 0.13 apollon011 LIA/chc-comp24-LIA-054.yml false 0.02 0.01 apollon147 LIA/chc-comp24-LIA-055.yml false 0.02 0.01 apollon037 LIA/chc-comp24-LIA-056.yml true 0.05 0.03 apollon075 LIA/chc-comp24-LIA-057.yml false 0.22 0.11 apollon007 LIA/chc-comp24-LIA-058.yml true 0.06 0.04 apollon075 LIA/chc-comp24-LIA-059.yml false 0.02 0.01 apollon141 LIA/chc-comp24-LIA-060.yml TIMEOUT 62.01 31.01 apollon131 LIA/chc-comp24-LIA-061.yml false 0.03 0.02 apollon017 LIA/chc-comp24-LIA-062.yml true 2.25 1.13 apollon106 LIA/chc-comp24-LIA-063.yml false 0.04 0.02 apollon028 LIA/chc-comp24-LIA-064.yml false 0.15 0.08 apollon056 LIA/chc-comp24-LIA-065.yml false 0.01 0.01 apollon001 LIA/chc-comp24-LIA-066.yml true 1.09 0.55 apollon132 LIA/chc-comp24-LIA-067.yml TIMEOUT 61.98 31.01 apollon125 LIA/chc-comp24-LIA-068.yml TIMEOUT 61.96 31.00 apollon002 LIA/chc-comp24-LIA-069.yml true 0.13 0.07 apollon028 LIA/chc-comp24-LIA-070.yml true 0.02 0.01 apollon122 LIA/chc-comp24-LIA-071.yml true 0.03 0.02 apollon017 LIA/chc-comp24-LIA-072.yml TIMEOUT 61.97 31.01 apollon131 LIA/chc-comp24-LIA-073.yml TIMEOUT 61.59 31.01 apollon028 LIA/chc-comp24-LIA-074.yml true 0.01 0.01 apollon166 LIA/chc-comp24-LIA-075.yml true 0.10 0.05 apollon150 LIA/chc-comp24-LIA-076.yml true 0.01 0.01 apollon045 LIA/chc-comp24-LIA-077.yml TIMEOUT 61.72 31.01 apollon133 LIA/chc-comp24-LIA-078.yml TIMEOUT 61.92 31.01 apollon150 LIA/chc-comp24-LIA-079.yml true 0.03 0.02 apollon037 LIA/chc-comp24-LIA-080.yml TIMEOUT 61.96 31.01 apollon127 LIA/chc-comp24-LIA-081.yml TIMEOUT 61.93 31.01 apollon003 LIA/chc-comp24-LIA-082.yml TIMEOUT 61.95 31.01 apollon124 LIA/chc-comp24-LIA-083.yml true 0.12 0.06 apollon047 LIA/chc-comp24-LIA-084.yml TIMEOUT 61.81 31.01 apollon090 LIA/chc-comp24-LIA-085.yml TIMEOUT 61.94 31.01 apollon075 LIA/chc-comp24-LIA-086.yml true 0.04 0.02 apollon118 LIA/chc-comp24-LIA-087.yml true 0.06 0.03 apollon071 LIA/chc-comp24-LIA-088.yml true 0.05 0.03 apollon160 LIA/chc-comp24-LIA-089.yml true 0.21 0.11 apollon035 LIA/chc-comp24-LIA-090.yml true 0.20 0.10 apollon035 LIA/chc-comp24-LIA-091.yml false 1.26 0.63 apollon144 LIA/chc-comp24-LIA-092.yml true 0.02 0.01 apollon118 LIA/chc-comp24-LIA-093.yml false 0.02 0.02 apollon160 LIA/chc-comp24-LIA-094.yml TIMEOUT 61.94 31.01 apollon042 LIA/chc-comp24-LIA-095.yml true 0.47 0.24 apollon061 LIA/chc-comp24-LIA-096.yml true 0.03 0.02 apollon013 LIA/chc-comp24-LIA-097.yml true 7.95 3.99 apollon003 LIA/chc-comp24-LIA-098.yml false 1.17 0.62 apollon064 LIA/chc-comp24-LIA-099.yml true 0.01 0.01 apollon069 LIA/chc-comp24-LIA-100.yml TIMEOUT 61.97 31.01 apollon037 LIA/chc-comp24-LIA-101.yml TIMEOUT 61.96 31.01 apollon020 LIA/chc-comp24-LIA-102.yml TIMEOUT 61.98 31.01 apollon012 LIA/chc-comp24-LIA-103.yml TIMEOUT 61.97 31.00 apollon117 LIA/chc-comp24-LIA-104.yml TIMEOUT 61.97 31.01 apollon140 LIA/chc-comp24-LIA-105.yml TIMEOUT 61.95 31.01 apollon134 LIA/chc-comp24-LIA-106.yml TIMEOUT 61.95 31.01 apollon035 LIA/chc-comp24-LIA-107.yml TIMEOUT 62.00 31.01 apollon111 LIA/chc-comp24-LIA-108.yml true 0.01 0.01 apollon034 LIA/chc-comp24-LIA-109.yml true 0.01 0.01 apollon040 LIA/chc-comp24-LIA-110.yml TIMEOUT 62.00 31.01 apollon111 LIA/chc-comp24-LIA-111.yml true 4.42 2.22 apollon056 LIA/chc-comp24-LIA-112.yml true 0.12 0.06 apollon107 LIA/chc-comp24-LIA-113.yml TIMEOUT 61.97 31.01 apollon141 LIA/chc-comp24-LIA-114.yml true 0.03 0.02 apollon078 LIA/chc-comp24-LIA-115.yml TIMEOUT 61.97 31.01 apollon111 LIA/chc-comp24-LIA-116.yml TIMEOUT 61.91 31.01 apollon147 LIA/chc-comp24-LIA-117.yml TIMEOUT 61.96 31.01 apollon133 LIA/chc-comp24-LIA-118.yml TIMEOUT 61.98 31.01 apollon104 LIA/chc-comp24-LIA-119.yml TIMEOUT 61.87 31.01 apollon072 LIA/chc-comp24-LIA-120.yml TIMEOUT 62.00 31.01 apollon050 LIA/chc-comp24-LIA-121.yml TIMEOUT 62.00 31.01 apollon155 LIA/chc-comp24-LIA-122.yml TIMEOUT 61.99 31.01 apollon014 LIA/chc-comp24-LIA-123.yml true 0.01 0.01 apollon045 LIA/chc-comp24-LIA-124.yml true 0.05 0.03 apollon034 LIA/chc-comp24-LIA-125.yml TIMEOUT 62.00 31.01 apollon012 LIA/chc-comp24-LIA-126.yml true 0.79 0.40 apollon028 LIA/chc-comp24-LIA-127.yml true 0.01 0.01 apollon035 LIA/chc-comp24-LIA-128.yml TIMEOUT 62.00 31.01 apollon077 LIA/chc-comp24-LIA-129.yml true 0.01 0.01 apollon160 LIA/chc-comp24-LIA-130.yml true 0.18 0.09 apollon149 LIA/chc-comp24-LIA-131.yml true 0.01 0.01 apollon034 LIA/chc-comp24-LIA-132.yml true 0.02 0.02 apollon155 LIA/chc-comp24-LIA-133.yml true 0.01 0.01 apollon111 LIA/chc-comp24-LIA-134.yml true 0.01 0.01 apollon126 LIA/chc-comp24-LIA-135.yml true 0.03 0.01 apollon065 LIA/chc-comp24-LIA-136.yml true 0.01 0.01 apollon149 LIA/chc-comp24-LIA-137.yml true 0.03 0.01 apollon112 LIA/chc-comp24-LIA-138.yml true 0.32 0.16 apollon045 LIA/chc-comp24-LIA-139.yml TIMEOUT 61.96 31.01 apollon037 LIA/chc-comp24-LIA-140.yml TIMEOUT 61.97 31.01 apollon030 LIA/chc-comp24-LIA-141.yml true 1.19 0.60 apollon017 LIA/chc-comp24-LIA-142.yml true 0.01 0.01 apollon003 LIA/chc-comp24-LIA-143.yml true 0.01 0.01 apollon098 LIA/chc-comp24-LIA-144.yml true 0.01 0.01 apollon164 LIA/chc-comp24-LIA-145.yml true 0.01 0.01 apollon051 LIA/chc-comp24-LIA-146.yml true 0.01 0.01 apollon009 LIA/chc-comp24-LIA-147.yml true 0.06 0.03 apollon035 LIA/chc-comp24-LIA-148.yml true 0.05 0.03 apollon013 LIA/chc-comp24-LIA-149.yml true 5.12 2.58 apollon068 LIA/chc-comp24-LIA-150.yml true 0.47 0.24 apollon151 LIA/chc-comp24-LIA-151.yml true 23.49 11.76 apollon062 LIA/chc-comp24-LIA-152.yml true 5.35 2.68 apollon118 LIA/chc-comp24-LIA-153.yml true 0.92 0.47 apollon008 LIA/chc-comp24-LIA-154.yml true 12.14 6.08 apollon164 LIA/chc-comp24-LIA-155.yml TIMEOUT 61.91 31.00 apollon038 LIA/chc-comp24-LIA-156.yml TIMEOUT 62.00 31.01 apollon047 LIA/chc-comp24-LIA-157.yml true 3.43 1.72 apollon075 LIA/chc-comp24-LIA-158.yml TIMEOUT 61.99 31.01 apollon138 LIA/chc-comp24-LIA-159.yml true 20.85 10.49 apollon047 LIA/chc-comp24-LIA-160.yml true 0.52 0.27 apollon056 LIA/chc-comp24-LIA-161.yml true 45.04 22.56 apollon140 LIA/chc-comp24-LIA-162.yml true 0.74 0.38 apollon037 LIA/chc-comp24-LIA-163.yml true 0.02 0.01 apollon012 LIA/chc-comp24-LIA-164.yml true 0.08 0.04 apollon059 LIA/chc-comp24-LIA-165.yml true 0.68 0.34 apollon003 LIA/chc-comp24-LIA-166.yml true 0.01 0.01 apollon069 LIA/chc-comp24-LIA-167.yml true 0.04 0.02 apollon140 LIA/chc-comp24-LIA-168.yml TIMEOUT 61.97 31.01 apollon088 LIA/chc-comp24-LIA-169.yml true 0.01 0.01 apollon151 LIA/chc-comp24-LIA-170.yml false 0.02 0.01 apollon043 LIA/chc-comp24-LIA-171.yml true 0.04 0.02 apollon090 LIA/chc-comp24-LIA-172.yml true 0.03 0.02 apollon066 LIA/chc-comp24-LIA-173.yml true 0.36 0.18 apollon011 LIA/chc-comp24-LIA-174.yml true 0.05 0.03 apollon093 LIA/chc-comp24-LIA-175.yml true 7.78 3.90 apollon009 LIA/chc-comp24-LIA-176.yml false 0.51 0.26 apollon011 LIA/chc-comp24-LIA-177.yml false 0.02 0.02 apollon050 LIA/chc-comp24-LIA-178.yml true 0.03 0.02 apollon078 LIA/chc-comp24-LIA-179.yml true 1.82 0.91 apollon118 LIA/chc-comp24-LIA-180.yml true 0.03 0.02 apollon067 LIA/chc-comp24-LIA-181.yml false 0.01 0.01 apollon127 LIA/chc-comp24-LIA-182.yml false 0.31 0.16 apollon045 LIA/chc-comp24-LIA-183.yml TIMEOUT 61.95 31.01 apollon034 LIA/chc-comp24-LIA-184.yml true 23.22 11.63 apollon064 LIA/chc-comp24-LIA-185.yml TIMEOUT 61.99 31.01 apollon043 LIA/chc-comp24-LIA-186.yml false 0.09 0.06 apollon071 LIA/chc-comp24-LIA-187.yml false 0.69 0.36 apollon107 LIA/chc-comp24-LIA-188.yml false 0.15 0.09 apollon045 LIA/chc-comp24-LIA-189.yml TIMEOUT 61.96 31.01 apollon082 LIA/chc-comp24-LIA-190.yml TIMEOUT 61.97 31.01 apollon165 LIA/chc-comp24-LIA-191.yml false 0.86 0.45 apollon056 LIA/chc-comp24-LIA-192.yml TIMEOUT 61.93 31.01 apollon035 LIA/chc-comp24-LIA-193.yml false 15.12 7.60 apollon122 LIA/chc-comp24-LIA-194.yml TIMEOUT 61.92 31.01 apollon158 LIA/chc-comp24-LIA-195.yml false 0.13 0.08 apollon028 LIA/chc-comp24-LIA-196.yml false 0.14 0.08 apollon028 LIA/chc-comp24-LIA-197.yml false 0.75 0.38 apollon124 LIA/chc-comp24-LIA-198.yml TIMEOUT 61.99 31.01 apollon097 LIA/chc-comp24-LIA-199.yml true 54.21 27.11 apollon145 LIA/chc-comp24-LIA-200.yml TIMEOUT 61.98 31.01 apollon081 LIA/chc-comp24-LIA-201.yml true 32.35 16.20 apollon158 LIA/chc-comp24-LIA-202.yml TIMEOUT 61.99 31.01 apollon019 LIA/chc-comp24-LIA-203.yml false 0.68 0.36 apollon014 LIA/chc-comp24-LIA-204.yml false 0.29 0.16 apollon035 LIA/chc-comp24-LIA-205.yml false 0.12 0.07 apollon041 LIA/chc-comp24-LIA-206.yml TIMEOUT 61.93 31.01 apollon033 LIA/chc-comp24-LIA-207.yml false 0.63 0.33 apollon002 LIA/chc-comp24-LIA-208.yml TIMEOUT 61.96 31.01 apollon044 LIA/chc-comp24-LIA-209.yml false 0.68 0.36 apollon037 LIA/chc-comp24-LIA-210.yml false 0.01 0.01 apollon151 LIA/chc-comp24-LIA-211.yml TIMEOUT 61.94 31.00 apollon099 LIA/chc-comp24-LIA-212.yml TIMEOUT 61.95 31.01 apollon018 LIA/chc-comp24-LIA-213.yml TIMEOUT 61.98 31.01 apollon093 LIA/chc-comp24-LIA-214.yml true 12.43 6.22 apollon047 LIA/chc-comp24-LIA-215.yml false 0.03 0.02 apollon151 LIA/chc-comp24-LIA-216.yml false 0.02 0.01 apollon068 LIA/chc-comp24-LIA-217.yml true 0.15 0.08 apollon105 LIA/chc-comp24-LIA-218.yml TIMEOUT 61.99 31.01 apollon060 LIA/chc-comp24-LIA-219.yml false 0.09 0.05 apollon114 LIA/chc-comp24-LIA-220.yml true 12.45 6.23 apollon141 LIA/chc-comp24-LIA-221.yml true 0.14 0.07 apollon150 LIA/chc-comp24-LIA-222.yml true 0.11 0.06 apollon009 LIA/chc-comp24-LIA-223.yml true 0.02 0.01 apollon149 LIA/chc-comp24-LIA-224.yml false 0.03 0.02 apollon134 LIA/chc-comp24-LIA-225.yml true 0.02 0.01 apollon045 LIA/chc-comp24-LIA-226.yml TIMEOUT 62.01 31.01 apollon129 LIA/chc-comp24-LIA-227.yml false 1.12 1.11 apollon072 LIA/chc-comp24-LIA-228.yml true 3.02 2.68 apollon040 LIA/chc-comp24-LIA-229.yml true 1.94 1.93 apollon075 LIA/chc-comp24-LIA-230.yml true 1.39 1.38 apollon017 LIA/chc-comp24-LIA-231.yml false 1.35 0.87 apollon007 LIA/chc-comp24-LIA-232.yml false 0.23 0.14 apollon151 LIA/chc-comp24-LIA-233.yml TIMEOUT 62.21 39.14 apollon016 LIA/chc-comp24-LIA-234.yml true 1.20 1.20 apollon091 LIA/chc-comp24-LIA-235.yml false 1.07 1.05 apollon075 LIA/chc-comp24-LIA-236.yml false 3.90 2.33 apollon037 LIA/chc-comp24-LIA-237.yml true 3.07 3.07 apollon144 LIA/chc-comp24-LIA-238.yml false 1.08 1.06 apollon051 LIA/chc-comp24-LIA-239.yml true 1.80 1.80 apollon097 LIA/chc-comp24-LIA-240.yml false 2.38 2.25 apollon040 LIA/chc-comp24-LIA-241.yml true 0.20 0.19 apollon118 LIA/chc-comp24-LIA-242.yml true 12.22 6.42 apollon106 LIA/chc-comp24-LIA-243.yml false 2.11 2.08 apollon123 LIA/chc-comp24-LIA-244.yml true 0.21 0.21 apollon037 LIA/chc-comp24-LIA-245.yml true 0.89 0.88 apollon013 LIA/chc-comp24-LIA-246.yml true 1.00 1.00 apollon033 LIA/chc-comp24-LIA-247.yml true 24.00 22.84 apollon164 LIA/chc-comp24-LIA-248.yml true 2.02 1.86 apollon160 LIA/chc-comp24-LIA-249.yml false 1.29 1.27 apollon093 LIA/chc-comp24-LIA-250.yml true 1.21 1.21 apollon056 LIA/chc-comp24-LIA-251.yml true 0.08 0.08 apollon068 LIA/chc-comp24-LIA-252.yml true 0.04 0.04 apollon158 LIA/chc-comp24-LIA-253.yml TIMEOUT 62.73 48.82 apollon129 LIA/chc-comp24-LIA-254.yml TIMEOUT 62.12 33.29 apollon151 LIA/chc-comp24-LIA-255.yml true 3.70 3.16 apollon037 LIA/chc-comp24-LIA-256.yml false 13.66 13.54 apollon062 LIA/chc-comp24-LIA-257.yml true 8.18 6.70 apollon066 LIA/chc-comp24-LIA-258.yml TIMEOUT 60.68 31.02 apollon146 LIA/chc-comp24-LIA-259.yml TIMEOUT 60.61 31.02 apollon118 LIA/chc-comp24-LIA-260.yml false 4.45 4.06 apollon132 LIA/chc-comp24-LIA-261.yml true 22.40 11.89 apollon070 LIA/chc-comp24-LIA-262.yml true 33.28 16.69 apollon072 LIA/chc-comp24-LIA-263.yml true 36.28 18.17 apollon033 LIA/chc-comp24-LIA-264.yml false 0.08 0.07 apollon037 LIA/chc-comp24-LIA-265.yml true 32.59 27.27 apollon110 LIA/chc-comp24-LIA-266.yml false 18.51 16.89 apollon070 LIA/chc-comp24-LIA-267.yml false 8.05 4.42 apollon069 LIA/chc-comp24-LIA-268.yml false 15.34 15.21 apollon096 LIA/chc-comp24-LIA-269.yml false 5.95 5.45 apollon070 LIA/chc-comp24-LIA-270.yml false 9.67 5.32 apollon013 LIA/chc-comp24-LIA-271.yml TIMEOUT 62.29 36.01 apollon138 LIA/chc-comp24-LIA-272.yml false 3.13 3.10 apollon075 LIA/chc-comp24-LIA-273.yml false 11.78 11.69 apollon152 LIA/chc-comp24-LIA-274.yml false 7.70 4.25 apollon112 LIA/chc-comp24-LIA-275.yml false 2.98 2.95 apollon056 LIA/chc-comp24-LIA-276.yml true 1.23 1.06 apollon028 LIA/chc-comp24-LIA-277.yml false 2.36 1.50 apollon132 LIA/chc-comp24-LIA-278.yml false 1.94 1.48 apollon013 LIA/chc-comp24-LIA-279.yml false 0.21 0.20 apollon068 LIA/chc-comp24-LIA-280.yml false 0.03 0.03 apollon110 LIA/chc-comp24-LIA-281.yml TIMEOUT 62.30 38.57 apollon076 LIA/chc-comp24-LIA-282.yml TIMEOUT 62.27 34.18 apollon068 LIA/chc-comp24-LIA-283.yml true 3.95 2.42 apollon056 LIA/chc-comp24-LIA-284.yml false 0.37 0.37 apollon107 LIA/chc-comp24-LIA-285.yml TIMEOUT 62.39 38.72 apollon144 LIA/chc-comp24-LIA-286.yml TIMEOUT 62.26 34.69 apollon031 LIA/chc-comp24-LIA-287.yml true 0.18 0.18 apollon122 LIA/chc-comp24-LIA-288.yml TIMEOUT 62.25 36.11 apollon071 LIA/chc-comp24-LIA-289.yml TIMEOUT 61.18 31.01 apollon130 LIA/chc-comp24-LIA-290.yml TIMEOUT 62.22 33.25 apollon018 LIA/chc-comp24-LIA-291.yml true 43.28 21.66 apollon099 LIA/chc-comp24-LIA-292.yml false 0.04 0.03 apollon118 LIA/chc-comp24-LIA-293.yml TIMEOUT 62.28 34.10 apollon045 LIA/chc-comp24-LIA-294.yml false 6.31 3.48 apollon069 LIA/chc-comp24-LIA-295.yml true 3.30 3.29 apollon164 LIA/chc-comp24-LIA-296.yml true 3.11 3.10 apollon131 LIA/chc-comp24-LIA-297.yml false 23.99 16.16 apollon141 LIA/chc-comp24-LIA-298.yml true 5.02 4.38 apollon147 LIA/chc-comp24-LIA-299.yml false 0.17 0.14 apollon111 LIA/chc-comp24-LIA-300.yml true 0.52 0.52 apollon135 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-001.yml true 0.01 0.01 apollon111 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-002.yml true 0.00 0.00 apollon037 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-003.yml false 0.01 0.01 apollon105 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-004.yml false 0.01 0.00 apollon047 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-005.yml false 6.63 3.33 apollon023 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-006.yml false 0.23 0.12 apollon157 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-007.yml false 15.14 7.58 apollon011 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-008.yml true 0.01 0.01 apollon118 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-009.yml false 0.23 0.12 apollon075 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-010.yml false 0.23 0.12 apollon040 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-011.yml false 0.04 0.02 apollon144 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-012.yml false 0.36 0.19 apollon008 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-013.yml false 14.23 7.12 apollon135 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-014.yml true 0.01 0.01 apollon066 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-015.yml TIMEOUT 62.02 31.01 apollon165 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-016.yml false 0.01 0.01 apollon117 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-017.yml TIMEOUT 61.97 31.01 apollon147 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-018.yml false 0.01 0.01 apollon050 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-019.yml false 0.01 0.01 apollon164 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-020.yml false 0.01 0.01 apollon099 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-021.yml false 0.03 0.02 apollon011 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-022.yml true 0.04 0.02 apollon017 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-023.yml false 1.20 0.60 apollon150 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-024.yml true 0.00 0.00 apollon097 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-025.yml true 0.01 0.01 apollon070 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-026.yml TIMEOUT 62.16 31.01 apollon166 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-027.yml false 0.03 0.02 apollon073 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-028.yml TIMEOUT 62.02 31.01 apollon109 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-029.yml true 0.02 0.02 apollon132 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-030.yml true 0.01 0.01 apollon075 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-031.yml false 5.94 2.97 apollon144 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-032.yml TIMEOUT 61.97 31.00 apollon019 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-033.yml true 0.01 0.01 apollon009 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-034.yml false 0.01 0.01 apollon033 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-035.yml true 0.03 0.02 apollon140 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-036.yml TIMEOUT 62.01 31.01 apollon055 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-037.yml true 0.01 0.01 apollon112 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-038.yml false 26.19 13.11 apollon111 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-039.yml TIMEOUT 61.96 31.01 apollon107 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-040.yml TIMEOUT 61.97 31.01 apollon090 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-041.yml TIMEOUT 61.49 31.01 apollon028 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-042.yml TIMEOUT 61.98 31.01 apollon096 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-043.yml TIMEOUT 61.99 31.00 apollon091 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-044.yml TIMEOUT 62.01 31.01 apollon139 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-045.yml TIMEOUT 61.99 31.01 apollon076 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-046.yml TIMEOUT 61.96 31.01 apollon007 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-047.yml TIMEOUT 62.01 31.01 apollon106 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-048.yml TIMEOUT 62.01 31.01 apollon056 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-049.yml TIMEOUT 61.83 31.01 apollon071 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-050.yml TIMEOUT 61.99 31.01 apollon009 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-051.yml TIMEOUT 61.89 31.01 apollon009 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-052.yml TIMEOUT 62.02 31.01 apollon101 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-053.yml TIMEOUT 62.01 31.00 apollon041 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-054.yml TIMEOUT 61.99 31.01 apollon013 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-055.yml TIMEOUT 62.01 31.01 apollon156 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-056.yml TIMEOUT 62.01 31.01 apollon011 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-057.yml TIMEOUT 61.98 31.01 apollon152 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-058.yml TIMEOUT 62.02 31.01 apollon167 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-059.yml TIMEOUT 61.99 31.01 apollon045 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-060.yml TIMEOUT 61.88 31.01 apollon007 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-061.yml TIMEOUT 61.95 31.01 apollon118 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-062.yml TIMEOUT 62.01 31.01 apollon054 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-063.yml false 0.07 0.04 apollon037 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-064.yml TIMEOUT 62.01 31.01 apollon116 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-065.yml TIMEOUT 62.02 31.01 apollon136 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-066.yml TIMEOUT 62.00 31.00 apollon045 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-067.yml TIMEOUT 61.97 31.01 apollon041 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-068.yml TIMEOUT 61.94 31.01 apollon160 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-069.yml TIMEOUT 62.00 31.01 apollon033 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-070.yml TIMEOUT 62.01 31.01 apollon085 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-071.yml TIMEOUT 62.00 31.01 apollon042 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-072.yml TIMEOUT 62.03 31.01 apollon025 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-073.yml TIMEOUT 62.00 31.01 apollon144 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-074.yml TIMEOUT 62.01 31.01 apollon136 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-075.yml TIMEOUT 62.00 31.01 apollon061 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-076.yml TIMEOUT 61.99 31.01 apollon059 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-077.yml TIMEOUT 62.01 31.01 apollon159 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-078.yml TIMEOUT 61.65 31.01 apollon090 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-079.yml TIMEOUT 62.00 31.01 apollon107 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-080.yml TIMEOUT 62.01 31.01 apollon044 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-081.yml TIMEOUT 61.99 31.01 apollon085 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-082.yml TIMEOUT 61.99 31.01 apollon026 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-083.yml TIMEOUT 62.02 31.01 apollon126 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-084.yml TIMEOUT 62.01 31.01 apollon064 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-085.yml TIMEOUT 62.02 31.01 apollon067 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-086.yml TIMEOUT 61.99 31.01 apollon015 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-087.yml TIMEOUT 62.01 31.01 apollon073 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-088.yml true 0.22 0.12 apollon105 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-089.yml TIMEOUT 61.84 31.01 apollon160 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-090.yml TIMEOUT 62.01 31.01 apollon162 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-091.yml TIMEOUT 61.96 31.01 apollon095 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-092.yml TIMEOUT 61.98 31.01 apollon148 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-093.yml true 0.02 0.01 apollon035 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-094.yml true 0.05 0.03 apollon126 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-095.yml TIMEOUT 61.97 31.01 apollon034 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-096.yml TIMEOUT 61.99 31.01 apollon120 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-097.yml TIMEOUT 62.01 31.01 apollon166 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-098.yml TIMEOUT 62.01 31.01 apollon153 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-099.yml TIMEOUT 62.00 31.01 apollon040 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-100.yml true 0.02 0.01 apollon068 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-101.yml TIMEOUT 61.96 31.01 apollon140 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-102.yml TIMEOUT 61.97 31.01 apollon003 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-103.yml TIMEOUT 62.02 31.01 apollon127 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-104.yml TIMEOUT 62.02 31.01 apollon135 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-105.yml TIMEOUT 62.01 31.01 apollon094 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-106.yml TIMEOUT 62.01 31.01 apollon057 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-107.yml TIMEOUT 62.00 31.00 apollon017 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-108.yml TIMEOUT 61.80 31.01 apollon028 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-109.yml true 0.01 0.01 apollon009 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-110.yml TIMEOUT 62.00 31.00 apollon025 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-111.yml TIMEOUT 61.91 31.01 apollon071 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-112.yml TIMEOUT 61.99 31.01 apollon048 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-113.yml TIMEOUT 62.01 31.01 apollon066 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-114.yml TIMEOUT 61.97 31.01 apollon113 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-115.yml TIMEOUT 62.02 31.01 apollon078 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-116.yml TIMEOUT 61.97 31.01 apollon011 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-117.yml TIMEOUT 62.00 31.01 apollon042 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-118.yml TIMEOUT 62.03 31.01 apollon008 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-119.yml TIMEOUT 61.98 31.01 apollon060 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-120.yml TIMEOUT 61.98 31.01 apollon034 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-121.yml true 0.02 0.01 apollon017 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-122.yml TIMEOUT 61.99 31.01 apollon001 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-123.yml false 0.01 0.01 apollon011 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-124.yml TIMEOUT 62.01 31.01 apollon157 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-125.yml false 0.01 0.01 apollon056 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-126.yml true 0.13 0.07 apollon135 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-127.yml false 0.01 0.01 apollon056 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-128.yml TIMEOUT 62.01 31.01 apollon164 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-129.yml TIMEOUT 62.00 31.01 apollon123 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-130.yml TIMEOUT 62.00 31.00 apollon048 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-131.yml TIMEOUT 61.94 31.01 apollon072 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-132.yml TIMEOUT 62.02 31.01 apollon140 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-133.yml false 0.02 0.01 apollon163 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-134.yml false 0.01 0.01 apollon049 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-135.yml TIMEOUT 61.99 31.01 apollon159 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-136.yml true 0.10 0.05 apollon075 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-137.yml true 0.00 0.00 apollon068 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-138.yml TIMEOUT 61.97 31.01 apollon121 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-139.yml true 0.02 0.01 apollon003 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-140.yml TIMEOUT 61.90 31.01 apollon014 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-141.yml TIMEOUT 61.94 31.01 apollon064 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-142.yml TIMEOUT 61.89 31.01 apollon110 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-143.yml TIMEOUT 61.70 31.01 apollon163 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-144.yml TIMEOUT 61.84 31.01 apollon162 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-145.yml false 30.27 15.17 apollon056 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-146.yml TIMEOUT 61.91 31.01 apollon147 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-147.yml SEGMENTATION FAULT 0.01 0.01 apollon002 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-148.yml TIMEOUT 61.82 31.00 apollon036 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-149.yml TIMEOUT 61.84 31.00 apollon075 LIA-Lin-Arrays/chc-comp24-LIA-Lin-Arrays-150.yml TIMEOUT 61.97 31.01 apollon134 ----------------------------------------------------------------------------------------------------------------- Run set 1 done None 300.31 - Statistics: 750 Files correct: 462 correct true: 279 correct false: 183 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 288