BENCHMARK INFORMATION benchmark definition: ../../benchmark-defs/smoke/chococatalia.xml name: chococatalia run sets: CHC-COMP2024_check-sat.ADT-LIA date: Mon, 2025-04-28 21:10:55 CEST tool: ChocoCatalia tool executable: ./run 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.ADT-LIA Run set 1 of 1 with options '' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------- chc-comp24-ADT-LIA-001.yml TIMEOUT 60.08 59.91 apollon037 chc-comp24-ADT-LIA-002.yml TIMEOUT 60.14 59.62 apollon164 chc-comp24-ADT-LIA-003.yml TIMEOUT 60.24 57.58 apollon072 chc-comp24-ADT-LIA-004.yml true 1.13 1.05 apollon057 chc-comp24-ADT-LIA-005.yml TIMEOUT 60.08 59.82 apollon141 chc-comp24-ADT-LIA-006.yml TIMEOUT 60.08 59.92 apollon110 chc-comp24-ADT-LIA-007.yml false 0.93 0.90 apollon078 chc-comp24-ADT-LIA-008.yml true 3.56 3.48 apollon060 chc-comp24-ADT-LIA-009.yml false 4.87 4.74 apollon013 chc-comp24-ADT-LIA-010.yml unknown 15.26 15.02 apollon097 chc-comp24-ADT-LIA-011.yml true 2.77 2.55 apollon019 chc-comp24-ADT-LIA-012.yml true 0.67 0.61 apollon051 chc-comp24-ADT-LIA-013.yml false 1.04 1.02 apollon011 chc-comp24-ADT-LIA-014.yml false 9.60 9.06 apollon015 chc-comp24-ADT-LIA-015.yml true 0.67 0.60 apollon068 chc-comp24-ADT-LIA-016.yml TIMEOUT 60.11 59.58 apollon034 chc-comp24-ADT-LIA-017.yml TIMEOUT 60.09 59.77 apollon122 chc-comp24-ADT-LIA-018.yml true 16.62 15.88 apollon038 chc-comp24-ADT-LIA-019.yml true 3.46 3.22 apollon078 chc-comp24-ADT-LIA-020.yml false 7.35 6.98 apollon110 chc-comp24-ADT-LIA-021.yml TIMEOUT 60.14 58.94 apollon028 chc-comp24-ADT-LIA-022.yml TIMEOUT 60.13 59.25 apollon116 chc-comp24-ADT-LIA-023.yml false 54.08 52.22 apollon053 chc-comp24-ADT-LIA-024.yml unknown 7.18 7.08 apollon167 chc-comp24-ADT-LIA-025.yml TIMEOUT 60.08 60.05 apollon150 chc-comp24-ADT-LIA-026.yml true 3.40 3.12 apollon125 chc-comp24-ADT-LIA-027.yml unknown 1.76 1.75 apollon057 chc-comp24-ADT-LIA-028.yml TIMEOUT 60.08 59.88 apollon015 chc-comp24-ADT-LIA-029.yml true 7.28 6.26 apollon117 chc-comp24-ADT-LIA-030.yml false 0.63 0.63 apollon146 chc-comp24-ADT-LIA-031.yml true 0.76 0.69 apollon064 chc-comp24-ADT-LIA-032.yml TIMEOUT 60.07 60.00 apollon095 chc-comp24-ADT-LIA-033.yml false 1.22 1.20 apollon131 chc-comp24-ADT-LIA-034.yml false 2.88 2.83 apollon017 chc-comp24-ADT-LIA-035.yml false 0.39 0.40 apollon098 chc-comp24-ADT-LIA-036.yml TIMEOUT 60.18 59.23 apollon117 chc-comp24-ADT-LIA-037.yml false 0.58 0.72 apollon089 chc-comp24-ADT-LIA-038.yml TIMEOUT 60.08 59.94 apollon107 chc-comp24-ADT-LIA-039.yml true 4.91 4.61 apollon068 chc-comp24-ADT-LIA-040.yml TIMEOUT 60.08 59.89 apollon120 chc-comp24-ADT-LIA-041.yml TIMEOUT 60.10 59.67 apollon045 chc-comp24-ADT-LIA-042.yml TIMEOUT 60.10 59.77 apollon146 chc-comp24-ADT-LIA-043.yml TIMEOUT 60.10 59.56 apollon163 chc-comp24-ADT-LIA-044.yml true 3.46 3.40 apollon057 chc-comp24-ADT-LIA-045.yml true 0.60 0.54 apollon037 chc-comp24-ADT-LIA-046.yml TIMEOUT 60.10 59.68 apollon011 chc-comp24-ADT-LIA-047.yml false 1.13 1.11 apollon164 chc-comp24-ADT-LIA-048.yml false 31.30 30.68 apollon159 chc-comp24-ADT-LIA-049.yml false 0.97 0.96 apollon164 chc-comp24-ADT-LIA-050.yml false 2.12 2.02 apollon090 chc-comp24-ADT-LIA-051.yml TIMEOUT 60.09 59.85 apollon054 chc-comp24-ADT-LIA-052.yml false 1.76 1.69 apollon013 chc-comp24-ADT-LIA-053.yml TIMEOUT 60.09 59.80 apollon061 chc-comp24-ADT-LIA-054.yml TIMEOUT 60.18 59.50 apollon122 chc-comp24-ADT-LIA-055.yml TIMEOUT 60.07 60.03 apollon053 chc-comp24-ADT-LIA-056.yml true 3.98 3.73 apollon060 chc-comp24-ADT-LIA-057.yml true 1.95 1.80 apollon117 chc-comp24-ADT-LIA-058.yml TIMEOUT 60.18 59.06 apollon153 chc-comp24-ADT-LIA-059.yml TIMEOUT 60.16 59.28 apollon071 chc-comp24-ADT-LIA-060.yml true 0.16 0.17 apollon038 chc-comp24-ADT-LIA-061.yml true 1.70 1.55 apollon012 chc-comp24-ADT-LIA-062.yml true 4.57 4.24 apollon097 chc-comp24-ADT-LIA-063.yml true 8.91 8.93 apollon114 chc-comp24-ADT-LIA-064.yml true 55.37 55.14 apollon012 chc-comp24-ADT-LIA-065.yml TIMEOUT 60.29 58.40 apollon033 chc-comp24-ADT-LIA-066.yml true 1.69 1.74 apollon033 chc-comp24-ADT-LIA-067.yml TIMEOUT 60.08 59.95 apollon121 chc-comp24-ADT-LIA-068.yml TIMEOUT 60.13 59.71 apollon147 chc-comp24-ADT-LIA-069.yml false 4.56 4.45 apollon053 chc-comp24-ADT-LIA-070.yml false 2.97 2.94 apollon085 chc-comp24-ADT-LIA-071.yml TIMEOUT 60.68 57.70 apollon159 chc-comp24-ADT-LIA-072.yml TIMEOUT 60.18 59.27 apollon006 chc-comp24-ADT-LIA-073.yml true 0.16 0.17 apollon123 chc-comp24-ADT-LIA-074.yml TIMEOUT 60.22 59.04 apollon051 chc-comp24-ADT-LIA-075.yml true 4.41 4.20 apollon153 chc-comp24-ADT-LIA-076.yml true 24.26 24.25 apollon072 chc-comp24-ADT-LIA-077.yml TIMEOUT 60.10 59.75 apollon090 chc-comp24-ADT-LIA-078.yml TIMEOUT 60.08 59.94 apollon071 chc-comp24-ADT-LIA-079.yml TIMEOUT 60.08 59.92 apollon124 chc-comp24-ADT-LIA-080.yml true 32.41 31.89 apollon136 chc-comp24-ADT-LIA-081.yml true 0.19 0.20 apollon120 chc-comp24-ADT-LIA-082.yml TIMEOUT 60.08 59.95 apollon073 chc-comp24-ADT-LIA-083.yml TIMEOUT 60.39 55.33 apollon066 chc-comp24-ADT-LIA-084.yml true 4.03 3.80 apollon107 chc-comp24-ADT-LIA-085.yml TIMEOUT 60.10 59.60 apollon018 chc-comp24-ADT-LIA-086.yml TIMEOUT 60.07 60.01 apollon033 chc-comp24-ADT-LIA-087.yml TIMEOUT 60.09 59.86 apollon132 chc-comp24-ADT-LIA-088.yml true 1.64 1.70 apollon037 chc-comp24-ADT-LIA-089.yml true 1.15 1.05 apollon064 chc-comp24-ADT-LIA-090.yml TIMEOUT 60.06 60.13 apollon110 chc-comp24-ADT-LIA-091.yml true 3.64 3.37 apollon051 chc-comp24-ADT-LIA-092.yml true 31.79 31.79 apollon098 chc-comp24-ADT-LIA-093.yml TIMEOUT 60.09 59.69 apollon099 chc-comp24-ADT-LIA-094.yml true 9.97 9.92 apollon097 chc-comp24-ADT-LIA-095.yml TIMEOUT 60.07 60.04 apollon098 chc-comp24-ADT-LIA-096.yml TIMEOUT 60.34 56.02 apollon156 chc-comp24-ADT-LIA-097.yml true 2.30 2.36 apollon160 chc-comp24-ADT-LIA-098.yml TIMEOUT 60.06 60.11 apollon141 chc-comp24-ADT-LIA-099.yml true 1.72 1.58 apollon009 chc-comp24-ADT-LIA-100.yml TIMEOUT 60.07 59.98 apollon009 chc-comp24-ADT-LIA-101.yml true 26.43 26.41 apollon023 chc-comp24-ADT-LIA-102.yml true 2.10 2.17 apollon133 chc-comp24-ADT-LIA-103.yml false 2.47 2.27 apollon118 chc-comp24-ADT-LIA-104.yml TIMEOUT 60.40 55.19 apollon146 chc-comp24-ADT-LIA-105.yml false 2.06 1.90 apollon079 chc-comp24-ADT-LIA-106.yml TIMEOUT 60.07 60.04 apollon078 chc-comp24-ADT-LIA-107.yml TIMEOUT 60.12 59.84 apollon019 chc-comp24-ADT-LIA-108.yml false 33.37 30.15 apollon031 chc-comp24-ADT-LIA-109.yml TIMEOUT 60.13 59.65 apollon051 chc-comp24-ADT-LIA-110.yml TIMEOUT 60.09 59.79 apollon125 chc-comp24-ADT-LIA-111.yml TIMEOUT 60.12 59.42 apollon037 chc-comp24-ADT-LIA-112.yml false 2.14 1.97 apollon071 chc-comp24-ADT-LIA-113.yml false 3.73 3.38 apollon013 chc-comp24-ADT-LIA-114.yml true 1.18 1.10 apollon111 chc-comp24-ADT-LIA-115.yml TIMEOUT 60.10 59.58 apollon140 chc-comp24-ADT-LIA-116.yml TIMEOUT 60.24 58.36 apollon002 chc-comp24-ADT-LIA-117.yml TIMEOUT 60.18 59.24 apollon140 chc-comp24-ADT-LIA-118.yml false 0.74 0.72 apollon107 chc-comp24-ADT-LIA-119.yml false 0.34 0.32 apollon057 chc-comp24-ADT-LIA-120.yml true 1.46 1.49 apollon051 chc-comp24-ADT-LIA-121.yml false 1.42 1.40 apollon160 chc-comp24-ADT-LIA-122.yml false 2.91 2.66 apollon141 chc-comp24-ADT-LIA-123.yml true 2.24 2.10 apollon097 chc-comp24-ADT-LIA-124.yml false 1.02 0.98 apollon066 chc-comp24-ADT-LIA-125.yml false 1.32 1.27 apollon071 chc-comp24-ADT-LIA-126.yml false 0.60 0.59 apollon009 chc-comp24-ADT-LIA-127.yml false 1.60 1.50 apollon051 chc-comp24-ADT-LIA-128.yml false 1.48 1.44 apollon060 chc-comp24-ADT-LIA-129.yml TIMEOUT 60.30 58.78 apollon060 chc-comp24-ADT-LIA-130.yml TIMEOUT 60.13 59.57 apollon164 chc-comp24-ADT-LIA-131.yml false 30.21 24.73 apollon035 chc-comp24-ADT-LIA-132.yml TIMEOUT 60.15 59.69 apollon118 chc-comp24-ADT-LIA-133.yml false 3.02 2.74 apollon127 chc-comp24-ADT-LIA-134.yml TIMEOUT 60.50 53.99 apollon013 chc-comp24-ADT-LIA-135.yml false 0.55 0.55 apollon003 chc-comp24-ADT-LIA-136.yml false 0.34 0.34 apollon060 chc-comp24-ADT-LIA-137.yml true 3.60 3.38 apollon055 chc-comp24-ADT-LIA-138.yml true 2.09 1.91 apollon097 chc-comp24-ADT-LIA-139.yml false 2.86 2.64 apollon066 chc-comp24-ADT-LIA-140.yml true 1.46 1.35 apollon162 chc-comp24-ADT-LIA-141.yml true 1.92 2.00 apollon141 chc-comp24-ADT-LIA-142.yml true 1.83 1.68 apollon164 chc-comp24-ADT-LIA-143.yml true 1.98 1.84 apollon013 chc-comp24-ADT-LIA-144.yml true 1.87 1.71 apollon085 chc-comp24-ADT-LIA-145.yml true 0.95 0.91 apollon107 chc-comp24-ADT-LIA-146.yml true 1.28 1.19 apollon035 chc-comp24-ADT-LIA-147.yml TIMEOUT 60.50 54.10 apollon118 chc-comp24-ADT-LIA-148.yml false 35.82 30.31 apollon068 chc-comp24-ADT-LIA-149.yml true 2.81 2.59 apollon040 chc-comp24-ADT-LIA-150.yml false 3.67 3.34 apollon038 chc-comp24-ADT-LIA-151.yml false 3.33 3.01 apollon034 chc-comp24-ADT-LIA-152.yml false 1.25 1.17 apollon040 chc-comp24-ADT-LIA-153.yml false 3.32 3.04 apollon164 chc-comp24-ADT-LIA-154.yml true 2.02 1.86 apollon098 chc-comp24-ADT-LIA-155.yml false 31.79 26.44 apollon035 chc-comp24-ADT-LIA-156.yml false 3.64 3.30 apollon068 chc-comp24-ADT-LIA-157.yml true 1.64 1.54 apollon121 chc-comp24-ADT-LIA-158.yml TIMEOUT 60.42 55.14 apollon064 chc-comp24-ADT-LIA-159.yml false 35.85 30.29 apollon060 chc-comp24-ADT-LIA-160.yml true 2.06 1.89 apollon035 chc-comp24-ADT-LIA-161.yml false 3.44 3.13 apollon111 chc-comp24-ADT-LIA-162.yml false 4.47 4.02 apollon026 chc-comp24-ADT-LIA-163.yml false 0.26 0.27 apollon031 chc-comp24-ADT-LIA-164.yml TIMEOUT 60.11 59.67 apollon151 chc-comp24-ADT-LIA-165.yml false 3.59 3.29 apollon071 chc-comp24-ADT-LIA-166.yml true 1.38 1.28 apollon162 chc-comp24-ADT-LIA-167.yml false 1.20 1.13 apollon072 chc-comp24-ADT-LIA-168.yml false 30.31 30.14 apollon060 chc-comp24-ADT-LIA-169.yml false 34.44 32.27 apollon051 chc-comp24-ADT-LIA-170.yml true 1.70 1.54 apollon140 chc-comp24-ADT-LIA-171.yml false 3.80 3.43 apollon038 chc-comp24-ADT-LIA-172.yml TIMEOUT 60.49 54.64 apollon059 chc-comp24-ADT-LIA-173.yml TIMEOUT 60.41 55.22 apollon019 chc-comp24-ADT-LIA-174.yml TIMEOUT 60.11 59.74 apollon097 chc-comp24-ADT-LIA-175.yml true 2.22 2.02 apollon042 chc-comp24-ADT-LIA-176.yml TIMEOUT 60.11 59.68 apollon085 chc-comp24-ADT-LIA-177.yml false 2.17 2.00 apollon150 chc-comp24-ADT-LIA-178.yml true 2.18 2.02 apollon146 chc-comp24-ADT-LIA-179.yml TIMEOUT 60.12 59.71 apollon045 chc-comp24-ADT-LIA-180.yml TIMEOUT 60.49 54.30 apollon159 chc-comp24-ADT-LIA-181.yml false 3.48 3.23 apollon138 chc-comp24-ADT-LIA-182.yml TIMEOUT 60.23 58.99 apollon097 chc-comp24-ADT-LIA-183.yml true 1.14 1.10 apollon009 chc-comp24-ADT-LIA-184.yml true 0.16 0.17 apollon109 chc-comp24-ADT-LIA-185.yml TIMEOUT 60.16 59.14 apollon107 chc-comp24-ADT-LIA-186.yml TIMEOUT 60.43 54.84 apollon057 chc-comp24-ADT-LIA-187.yml false 0.43 0.43 apollon012 chc-comp24-ADT-LIA-188.yml false 30.88 30.11 apollon090 chc-comp24-ADT-LIA-189.yml TIMEOUT 60.54 53.54 apollon121 chc-comp24-ADT-LIA-190.yml false 30.80 30.31 apollon003 chc-comp24-ADT-LIA-191.yml false 36.14 30.66 apollon055 chc-comp24-ADT-LIA-192.yml TIMEOUT 60.17 59.25 apollon095 chc-comp24-ADT-LIA-193.yml unknown 48.40 42.81 apollon017 chc-comp24-ADT-LIA-194.yml false 0.27 0.28 apollon009 chc-comp24-ADT-LIA-195.yml false 1.50 1.38 apollon060 chc-comp24-ADT-LIA-196.yml false 1.46 1.36 apollon107 chc-comp24-ADT-LIA-197.yml false 33.58 30.33 apollon144 chc-comp24-ADT-LIA-198.yml TIMEOUT 60.46 54.77 apollon162 chc-comp24-ADT-LIA-199.yml true 0.21 0.21 apollon107 chc-comp24-ADT-LIA-200.yml true 1.31 1.27 apollon051 chc-comp24-ADT-LIA-201.yml unknown 11.12 10.90 apollon031 chc-comp24-ADT-LIA-202.yml false 0.61 0.60 apollon107 chc-comp24-ADT-LIA-203.yml false 0.41 0.41 apollon013 chc-comp24-ADT-LIA-204.yml true 0.28 0.28 apollon012 chc-comp24-ADT-LIA-205.yml true 0.67 0.65 apollon013 chc-comp24-ADT-LIA-206.yml false 0.32 0.33 apollon109 chc-comp24-ADT-LIA-207.yml false 2.69 2.53 apollon012 chc-comp24-ADT-LIA-208.yml true 0.44 0.44 apollon136 chc-comp24-ADT-LIA-209.yml TIMEOUT 60.17 59.35 apollon009 chc-comp24-ADT-LIA-210.yml TIMEOUT 60.16 59.47 apollon111 chc-comp24-ADT-LIA-211.yml TIMEOUT 60.17 59.61 apollon107 chc-comp24-ADT-LIA-212.yml TIMEOUT 60.18 58.98 apollon044 chc-comp24-ADT-LIA-213.yml TIMEOUT 60.21 58.95 apollon019 chc-comp24-ADT-LIA-214.yml TIMEOUT 60.19 59.34 apollon160 chc-comp24-ADT-LIA-215.yml TIMEOUT 60.24 58.89 apollon133 chc-comp24-ADT-LIA-216.yml false 1.39 1.32 apollon121 chc-comp24-ADT-LIA-217.yml true 25.62 24.97 apollon127 chc-comp24-ADT-LIA-218.yml TIMEOUT 60.21 59.26 apollon016 chc-comp24-ADT-LIA-219.yml true 0.65 0.64 apollon057 chc-comp24-ADT-LIA-220.yml true 6.47 6.27 apollon003 chc-comp24-ADT-LIA-221.yml true 23.77 23.42 apollon111 chc-comp24-ADT-LIA-222.yml true 0.06 0.07 apollon109 chc-comp24-ADT-LIA-223.yml TIMEOUT 60.11 59.69 apollon109 chc-comp24-ADT-LIA-224.yml false 1.14 1.11 apollon031 chc-comp24-ADT-LIA-225.yml false 2.13 2.05 apollon060 chc-comp24-ADT-LIA-226.yml TIMEOUT 60.17 59.46 apollon120 chc-comp24-ADT-LIA-227.yml false 0.36 0.37 apollon120 chc-comp24-ADT-LIA-228.yml true 0.36 0.36 apollon160 chc-comp24-ADT-LIA-229.yml false 0.53 0.53 apollon103 chc-comp24-ADT-LIA-230.yml false 2.98 2.77 apollon013 chc-comp24-ADT-LIA-231.yml TIMEOUT 60.36 58.68 apollon055 chc-comp24-ADT-LIA-232.yml TIMEOUT 60.16 59.34 apollon125 chc-comp24-ADT-LIA-233.yml true 1.83 1.83 apollon109 chc-comp24-ADT-LIA-234.yml TIMEOUT 60.14 59.50 apollon150 chc-comp24-ADT-LIA-235.yml true 0.18 0.18 apollon138 chc-comp24-ADT-LIA-236.yml true 0.43 0.43 apollon109 chc-comp24-ADT-LIA-237.yml false 0.31 0.32 apollon122 chc-comp24-ADT-LIA-238.yml TIMEOUT 60.20 59.17 apollon107 chc-comp24-ADT-LIA-239.yml TIMEOUT 60.11 59.66 apollon117 chc-comp24-ADT-LIA-240.yml TIMEOUT 60.13 59.53 apollon042 chc-comp24-ADT-LIA-241.yml false 34.36 30.26 apollon118 chc-comp24-ADT-LIA-242.yml TIMEOUT 60.12 59.66 apollon093 chc-comp24-ADT-LIA-243.yml TIMEOUT 60.13 59.75 apollon160 chc-comp24-ADT-LIA-244.yml TIMEOUT 60.21 58.68 apollon138 chc-comp24-ADT-LIA-245.yml TIMEOUT 60.26 59.02 apollon105 chc-comp24-ADT-LIA-246.yml unknown 34.30 34.20 apollon058 chc-comp24-ADT-LIA-247.yml TIMEOUT 60.23 59.10 apollon026 chc-comp24-ADT-LIA-248.yml TIMEOUT 60.31 58.18 apollon079 chc-comp24-ADT-LIA-249.yml true 11.36 11.23 apollon140 chc-comp24-ADT-LIA-250.yml TIMEOUT 60.19 59.27 apollon164 chc-comp24-ADT-LIA-251.yml TIMEOUT 60.35 56.31 apollon078 chc-comp24-ADT-LIA-252.yml true 4.53 4.37 apollon121 chc-comp24-ADT-LIA-253.yml TIMEOUT 60.44 55.19 apollon136 chc-comp24-ADT-LIA-254.yml false 32.52 30.19 apollon031 chc-comp24-ADT-LIA-255.yml TIMEOUT 60.21 58.85 apollon037 chc-comp24-ADT-LIA-256.yml TIMEOUT 60.07 59.99 apollon012 chc-comp24-ADT-LIA-257.yml TIMEOUT 60.32 58.78 apollon018 chc-comp24-ADT-LIA-258.yml true 0.18 0.18 apollon009 chc-comp24-ADT-LIA-259.yml TIMEOUT 60.09 59.95 apollon065 chc-comp24-ADT-LIA-260.yml true 1.32 1.25 apollon012 chc-comp24-ADT-LIA-261.yml TIMEOUT 60.09 60.01 apollon120 chc-comp24-ADT-LIA-262.yml TIMEOUT 60.51 54.62 apollon133 chc-comp24-ADT-LIA-263.yml TIMEOUT 60.07 60.08 apollon167 chc-comp24-ADT-LIA-264.yml false 34.04 30.24 apollon002 chc-comp24-ADT-LIA-265.yml false 35.55 30.62 apollon090 chc-comp24-ADT-LIA-266.yml true 0.97 1.01 apollon037 chc-comp24-ADT-LIA-267.yml TIMEOUT 60.28 59.17 apollon060 chc-comp24-ADT-LIA-268.yml TIMEOUT 60.13 59.61 apollon071 chc-comp24-ADT-LIA-269.yml TIMEOUT 60.10 59.98 apollon107 chc-comp24-ADT-LIA-270.yml TIMEOUT 60.09 60.01 apollon103 chc-comp24-ADT-LIA-271.yml true 36.91 32.79 apollon153 chc-comp24-ADT-LIA-272.yml false 1.09 1.04 apollon122 chc-comp24-ADT-LIA-273.yml TIMEOUT 60.13 59.97 apollon026 chc-comp24-ADT-LIA-274.yml TIMEOUT 60.16 59.11 apollon131 chc-comp24-ADT-LIA-275.yml true 1.09 1.01 apollon072 chc-comp24-ADT-LIA-276.yml TIMEOUT 60.28 59.12 apollon023 chc-comp24-ADT-LIA-277.yml true 5.40 5.23 apollon164 chc-comp24-ADT-LIA-278.yml TIMEOUT 60.21 58.59 apollon113 chc-comp24-ADT-LIA-279.yml TIMEOUT 60.09 59.95 apollon012 chc-comp24-ADT-LIA-280.yml TIMEOUT 60.43 55.55 apollon008 chc-comp24-ADT-LIA-281.yml TIMEOUT 60.23 58.47 apollon013 chc-comp24-ADT-LIA-282.yml TIMEOUT 60.14 59.74 apollon156 chc-comp24-ADT-LIA-283.yml TIMEOUT 60.11 59.81 apollon127 chc-comp24-ADT-LIA-284.yml true 0.97 0.93 apollon012 chc-comp24-ADT-LIA-285.yml TIMEOUT 60.12 59.44 apollon079 chc-comp24-ADT-LIA-286.yml TIMEOUT 60.08 60.10 apollon089 chc-comp24-ADT-LIA-287.yml TIMEOUT 60.37 56.30 apollon040 chc-comp24-ADT-LIA-288.yml TIMEOUT 60.13 59.32 apollon014 chc-comp24-ADT-LIA-289.yml TIMEOUT 60.36 58.02 apollon098 chc-comp24-ADT-LIA-290.yml TIMEOUT 60.10 59.78 apollon011 chc-comp24-ADT-LIA-291.yml TIMEOUT 60.17 59.25 apollon038 chc-comp24-ADT-LIA-292.yml TIMEOUT 60.48 54.73 apollon064 chc-comp24-ADT-LIA-293.yml TIMEOUT 60.12 59.33 apollon160 chc-comp24-ADT-LIA-294.yml TIMEOUT 60.10 59.84 apollon042 chc-comp24-ADT-LIA-295.yml TIMEOUT 60.11 59.50 apollon028 chc-comp24-ADT-LIA-296.yml TIMEOUT 60.49 55.12 apollon123 chc-comp24-ADT-LIA-297.yml true 1.13 1.16 apollon111 chc-comp24-ADT-LIA-298.yml false 34.06 30.27 apollon123 chc-comp24-ADT-LIA-299.yml TIMEOUT 60.11 59.64 apollon064 chc-comp24-ADT-LIA-300.yml TIMEOUT 60.10 59.92 apollon164 ------------------------------------------------------------------------------------------- Run set 1 done None 159.66 - Statistics: 300 Files correct: 127 correct true: 49 correct false: 78 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 138