BENCHMARK INFORMATION benchmark definition: ../../benchmark-defs/smoke/chococatalia.xml name: chococatalia run sets: CHC-COMP2024_check-sat.ADT-LIA date: Sat, 2025-05-03 07:34:57 EDT 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 apollon051 chc-comp24-ADT-LIA-002.yml TIMEOUT 60.14 59.65 apollon165 chc-comp24-ADT-LIA-003.yml TIMEOUT 60.10 59.69 apollon101 chc-comp24-ADT-LIA-004.yml true 0.44 0.43 apollon130 chc-comp24-ADT-LIA-005.yml TIMEOUT 60.08 59.84 apollon020 chc-comp24-ADT-LIA-006.yml TIMEOUT 60.08 59.93 apollon092 chc-comp24-ADT-LIA-007.yml false 0.84 0.81 apollon076 chc-comp24-ADT-LIA-008.yml true 3.71 3.61 apollon006 chc-comp24-ADT-LIA-009.yml false 2.87 2.77 apollon048 chc-comp24-ADT-LIA-010.yml unknown 12.90 12.71 apollon076 chc-comp24-ADT-LIA-011.yml true 2.04 1.88 apollon033 chc-comp24-ADT-LIA-012.yml true 0.55 0.51 apollon130 chc-comp24-ADT-LIA-013.yml false 0.85 0.84 apollon005 chc-comp24-ADT-LIA-014.yml false 6.75 6.36 apollon100 chc-comp24-ADT-LIA-015.yml true 0.53 0.49 apollon036 chc-comp24-ADT-LIA-016.yml TIMEOUT 60.10 59.62 apollon161 chc-comp24-ADT-LIA-017.yml TIMEOUT 60.09 59.80 apollon101 chc-comp24-ADT-LIA-018.yml true 10.02 9.48 apollon097 chc-comp24-ADT-LIA-019.yml true 0.78 0.70 apollon060 chc-comp24-ADT-LIA-020.yml false 5.18 4.89 apollon019 chc-comp24-ADT-LIA-021.yml TIMEOUT 60.28 59.62 apollon155 chc-comp24-ADT-LIA-022.yml TIMEOUT 60.11 59.44 apollon100 chc-comp24-ADT-LIA-023.yml TIMEOUT 60.53 56.96 apollon131 chc-comp24-ADT-LIA-024.yml unknown 6.78 6.69 apollon024 chc-comp24-ADT-LIA-025.yml TIMEOUT 60.09 60.05 apollon102 chc-comp24-ADT-LIA-026.yml true 1.78 1.64 apollon100 chc-comp24-ADT-LIA-027.yml unknown 1.45 1.44 apollon132 chc-comp24-ADT-LIA-028.yml TIMEOUT 60.08 59.92 apollon100 chc-comp24-ADT-LIA-029.yml true 4.59 3.72 apollon030 chc-comp24-ADT-LIA-030.yml false 0.78 0.79 apollon076 chc-comp24-ADT-LIA-031.yml true 0.70 0.64 apollon132 chc-comp24-ADT-LIA-032.yml TIMEOUT 60.07 59.97 apollon020 chc-comp24-ADT-LIA-033.yml false 0.94 0.92 apollon092 chc-comp24-ADT-LIA-034.yml false 2.10 2.11 apollon054 chc-comp24-ADT-LIA-035.yml false 0.34 0.36 apollon130 chc-comp24-ADT-LIA-036.yml TIMEOUT 60.15 59.35 apollon120 chc-comp24-ADT-LIA-037.yml false 0.57 0.61 apollon005 chc-comp24-ADT-LIA-038.yml TIMEOUT 60.07 60.02 apollon019 chc-comp24-ADT-LIA-039.yml true 1.01 0.91 apollon149 chc-comp24-ADT-LIA-040.yml TIMEOUT 60.08 59.91 apollon069 chc-comp24-ADT-LIA-041.yml TIMEOUT 60.09 59.76 apollon140 chc-comp24-ADT-LIA-042.yml TIMEOUT 60.11 59.79 apollon092 chc-comp24-ADT-LIA-043.yml TIMEOUT 60.11 59.57 apollon140 chc-comp24-ADT-LIA-044.yml true 2.03 2.05 apollon060 chc-comp24-ADT-LIA-045.yml true 0.53 0.49 apollon018 chc-comp24-ADT-LIA-046.yml TIMEOUT 60.09 59.74 apollon149 chc-comp24-ADT-LIA-047.yml false 1.04 1.02 apollon057 chc-comp24-ADT-LIA-048.yml false 28.59 28.11 apollon070 chc-comp24-ADT-LIA-049.yml false 0.85 0.83 apollon157 chc-comp24-ADT-LIA-050.yml false 1.75 1.66 apollon006 chc-comp24-ADT-LIA-051.yml TIMEOUT 60.08 59.87 apollon060 chc-comp24-ADT-LIA-052.yml false 1.30 1.30 apollon019 chc-comp24-ADT-LIA-053.yml TIMEOUT 60.09 59.83 apollon097 chc-comp24-ADT-LIA-054.yml TIMEOUT 60.19 59.52 apollon024 chc-comp24-ADT-LIA-055.yml TIMEOUT 60.07 60.03 apollon032 chc-comp24-ADT-LIA-056.yml true 0.42 0.41 apollon020 chc-comp24-ADT-LIA-057.yml true 0.40 0.39 apollon051 chc-comp24-ADT-LIA-058.yml TIMEOUT 60.18 59.24 apollon056 chc-comp24-ADT-LIA-059.yml TIMEOUT 60.13 59.46 apollon057 chc-comp24-ADT-LIA-060.yml true 0.14 0.15 apollon005 chc-comp24-ADT-LIA-061.yml true 0.30 0.30 apollon101 chc-comp24-ADT-LIA-062.yml true 1.19 1.06 apollon060 chc-comp24-ADT-LIA-063.yml true 7.79 7.83 apollon102 chc-comp24-ADT-LIA-064.yml true 55.06 54.85 apollon155 chc-comp24-ADT-LIA-065.yml TIMEOUT 60.29 58.51 apollon157 chc-comp24-ADT-LIA-066.yml true 1.64 1.70 apollon031 chc-comp24-ADT-LIA-067.yml TIMEOUT 60.07 59.99 apollon112 chc-comp24-ADT-LIA-068.yml TIMEOUT 60.13 59.75 apollon106 chc-comp24-ADT-LIA-069.yml false 4.66 4.55 apollon120 chc-comp24-ADT-LIA-070.yml false 2.82 2.79 apollon056 chc-comp24-ADT-LIA-071.yml TIMEOUT 60.67 57.53 apollon041 chc-comp24-ADT-LIA-072.yml TIMEOUT 60.13 59.51 apollon019 chc-comp24-ADT-LIA-073.yml true 0.12 0.13 apollon006 chc-comp24-ADT-LIA-074.yml TIMEOUT 60.18 59.39 apollon106 chc-comp24-ADT-LIA-075.yml true 0.50 0.48 apollon102 chc-comp24-ADT-LIA-076.yml true 23.57 23.57 apollon102 chc-comp24-ADT-LIA-077.yml TIMEOUT 60.11 59.79 apollon030 chc-comp24-ADT-LIA-078.yml TIMEOUT 60.08 59.94 apollon071 chc-comp24-ADT-LIA-079.yml TIMEOUT 60.08 59.94 apollon060 chc-comp24-ADT-LIA-080.yml true 26.28 25.90 apollon060 chc-comp24-ADT-LIA-081.yml true 0.21 0.22 apollon154 chc-comp24-ADT-LIA-082.yml TIMEOUT 60.08 59.96 apollon125 chc-comp24-ADT-LIA-083.yml TIMEOUT 60.13 59.13 apollon131 chc-comp24-ADT-LIA-084.yml true 0.72 0.67 apollon165 chc-comp24-ADT-LIA-085.yml TIMEOUT 60.10 59.65 apollon140 chc-comp24-ADT-LIA-086.yml TIMEOUT 60.08 60.01 apollon020 chc-comp24-ADT-LIA-087.yml TIMEOUT 60.09 59.85 apollon019 chc-comp24-ADT-LIA-088.yml true 1.67 1.74 apollon036 chc-comp24-ADT-LIA-089.yml true 0.93 0.90 apollon036 chc-comp24-ADT-LIA-090.yml TIMEOUT 60.07 60.12 apollon072 chc-comp24-ADT-LIA-091.yml true 0.95 0.96 apollon100 chc-comp24-ADT-LIA-092.yml TIMEOUT 60.07 60.06 apollon097 chc-comp24-ADT-LIA-093.yml TIMEOUT 60.07 60.05 apollon076 chc-comp24-ADT-LIA-094.yml true 9.16 9.14 apollon005 chc-comp24-ADT-LIA-095.yml TIMEOUT 60.07 60.06 apollon051 chc-comp24-ADT-LIA-096.yml true 3.67 3.36 apollon101 chc-comp24-ADT-LIA-097.yml true 2.29 2.37 apollon033 chc-comp24-ADT-LIA-098.yml TIMEOUT 60.07 60.10 apollon024 chc-comp24-ADT-LIA-099.yml true 1.36 1.24 apollon019 chc-comp24-ADT-LIA-100.yml TIMEOUT 60.07 60.00 apollon036 chc-comp24-ADT-LIA-101.yml true 22.24 22.24 apollon092 chc-comp24-ADT-LIA-102.yml true 2.05 2.12 apollon056 chc-comp24-ADT-LIA-103.yml false 1.58 1.42 apollon101 chc-comp24-ADT-LIA-104.yml TIMEOUT 60.10 59.61 apollon031 chc-comp24-ADT-LIA-105.yml false 1.62 1.48 apollon030 chc-comp24-ADT-LIA-106.yml TIMEOUT 60.07 60.05 apollon056 chc-comp24-ADT-LIA-107.yml TIMEOUT 60.10 59.86 apollon069 chc-comp24-ADT-LIA-108.yml false 1.13 1.07 apollon102 chc-comp24-ADT-LIA-109.yml TIMEOUT 60.10 59.67 apollon112 chc-comp24-ADT-LIA-110.yml TIMEOUT 60.08 59.84 apollon060 chc-comp24-ADT-LIA-111.yml TIMEOUT 60.12 59.42 apollon006 chc-comp24-ADT-LIA-112.yml false 1.74 1.64 apollon161 chc-comp24-ADT-LIA-113.yml false 3.15 2.87 apollon097 chc-comp24-ADT-LIA-114.yml true 0.48 0.46 apollon157 chc-comp24-ADT-LIA-115.yml TIMEOUT 60.09 59.71 apollon081 chc-comp24-ADT-LIA-116.yml true 6.04 5.58 apollon097 chc-comp24-ADT-LIA-117.yml TIMEOUT 60.19 59.05 apollon070 chc-comp24-ADT-LIA-118.yml false 0.66 0.64 apollon076 chc-comp24-ADT-LIA-119.yml false 0.34 0.32 apollon155 chc-comp24-ADT-LIA-120.yml true 1.26 1.27 apollon033 chc-comp24-ADT-LIA-121.yml false 1.35 1.34 apollon155 chc-comp24-ADT-LIA-122.yml false 3.65 3.34 apollon155 chc-comp24-ADT-LIA-123.yml true 1.01 0.94 apollon060 chc-comp24-ADT-LIA-124.yml false 1.03 0.98 apollon097 chc-comp24-ADT-LIA-125.yml false 1.19 1.14 apollon090 chc-comp24-ADT-LIA-126.yml false 0.51 0.51 apollon102 chc-comp24-ADT-LIA-127.yml false 1.13 1.03 apollon054 chc-comp24-ADT-LIA-128.yml false 1.38 1.39 apollon100 chc-comp24-ADT-LIA-129.yml TIMEOUT 60.27 58.79 apollon060 chc-comp24-ADT-LIA-130.yml TIMEOUT 60.13 59.59 apollon078 chc-comp24-ADT-LIA-131.yml false 4.55 4.03 apollon155 chc-comp24-ADT-LIA-132.yml TIMEOUT 60.12 59.70 apollon131 chc-comp24-ADT-LIA-133.yml false 3.65 3.36 apollon097 chc-comp24-ADT-LIA-134.yml true 2.22 1.99 apollon032 chc-comp24-ADT-LIA-135.yml false 0.54 0.54 apollon165 chc-comp24-ADT-LIA-136.yml false 0.29 0.30 apollon060 chc-comp24-ADT-LIA-137.yml true 1.31 1.23 apollon130 chc-comp24-ADT-LIA-138.yml true 0.97 0.90 apollon130 chc-comp24-ADT-LIA-139.yml false 4.49 4.09 apollon157 chc-comp24-ADT-LIA-140.yml true 0.91 0.84 apollon048 chc-comp24-ADT-LIA-141.yml true 1.03 0.95 apollon036 chc-comp24-ADT-LIA-142.yml true 1.02 0.94 apollon006 chc-comp24-ADT-LIA-143.yml true 1.04 0.95 apollon097 chc-comp24-ADT-LIA-144.yml true 1.04 0.96 apollon069 chc-comp24-ADT-LIA-145.yml true 0.52 0.50 apollon054 chc-comp24-ADT-LIA-146.yml true 0.58 0.56 apollon054 chc-comp24-ADT-LIA-147.yml true 2.48 2.16 apollon140 chc-comp24-ADT-LIA-148.yml false 29.45 28.93 apollon020 chc-comp24-ADT-LIA-149.yml true 0.64 0.61 apollon076 chc-comp24-ADT-LIA-150.yml false 4.57 4.15 apollon041 chc-comp24-ADT-LIA-151.yml false 3.90 3.57 apollon060 chc-comp24-ADT-LIA-152.yml false 1.62 1.52 apollon078 chc-comp24-ADT-LIA-153.yml false 4.23 3.86 apollon036 chc-comp24-ADT-LIA-154.yml true 1.08 1.00 apollon060 chc-comp24-ADT-LIA-155.yml false 4.21 3.70 apollon092 chc-comp24-ADT-LIA-156.yml false 4.77 4.32 apollon100 chc-comp24-ADT-LIA-157.yml true 0.45 0.43 apollon057 chc-comp24-ADT-LIA-158.yml true 2.07 1.81 apollon125 chc-comp24-ADT-LIA-159.yml TIMEOUT 60.11 59.64 apollon032 chc-comp24-ADT-LIA-160.yml true 0.99 0.92 apollon076 chc-comp24-ADT-LIA-161.yml false 4.29 3.89 apollon149 chc-comp24-ADT-LIA-162.yml false 4.63 4.21 apollon072 chc-comp24-ADT-LIA-163.yml false 0.22 0.23 apollon155 chc-comp24-ADT-LIA-164.yml TIMEOUT 60.11 59.64 apollon161 chc-comp24-ADT-LIA-165.yml false 4.61 4.20 apollon057 chc-comp24-ADT-LIA-166.yml true 0.52 0.49 apollon120 chc-comp24-ADT-LIA-167.yml false 1.74 1.64 apollon140 chc-comp24-ADT-LIA-168.yml TIMEOUT 60.14 59.97 apollon054 chc-comp24-ADT-LIA-169.yml false 4.20 4.01 apollon155 chc-comp24-ADT-LIA-170.yml true 0.57 0.54 apollon056 chc-comp24-ADT-LIA-171.yml false 4.40 3.99 apollon130 chc-comp24-ADT-LIA-172.yml true 4.31 3.96 apollon140 chc-comp24-ADT-LIA-173.yml true 1.68 1.54 apollon036 chc-comp24-ADT-LIA-174.yml TIMEOUT 60.11 59.73 apollon155 chc-comp24-ADT-LIA-175.yml true 1.82 1.69 apollon005 chc-comp24-ADT-LIA-176.yml TIMEOUT 60.11 59.67 apollon140 chc-comp24-ADT-LIA-177.yml false 1.90 1.78 apollon076 chc-comp24-ADT-LIA-178.yml true 1.38 1.29 apollon005 chc-comp24-ADT-LIA-179.yml TIMEOUT 60.10 59.79 apollon130 chc-comp24-ADT-LIA-180.yml TIMEOUT 60.14 59.34 apollon165 chc-comp24-ADT-LIA-181.yml false 4.44 4.13 apollon131 chc-comp24-ADT-LIA-182.yml TIMEOUT 60.25 58.50 apollon056 chc-comp24-ADT-LIA-183.yml true 0.79 0.77 apollon051 chc-comp24-ADT-LIA-184.yml true 0.14 0.15 apollon056 chc-comp24-ADT-LIA-185.yml TIMEOUT 60.15 59.17 apollon090 chc-comp24-ADT-LIA-186.yml true 9.19 8.62 apollon155 chc-comp24-ADT-LIA-187.yml false 0.44 0.44 apollon051 chc-comp24-ADT-LIA-188.yml false 1.77 1.72 apollon060 chc-comp24-ADT-LIA-189.yml true 2.23 2.02 apollon060 chc-comp24-ADT-LIA-190.yml false 32.24 31.67 apollon157 chc-comp24-ADT-LIA-191.yml false 5.19 4.79 apollon036 chc-comp24-ADT-LIA-192.yml true 4.20 3.93 apollon125 chc-comp24-ADT-LIA-193.yml true 4.73 4.32 apollon018 chc-comp24-ADT-LIA-194.yml false 0.24 0.25 apollon030 chc-comp24-ADT-LIA-195.yml false 1.41 1.30 apollon036 chc-comp24-ADT-LIA-196.yml false 1.95 1.83 apollon005 chc-comp24-ADT-LIA-197.yml false 1.83 1.73 apollon030 chc-comp24-ADT-LIA-198.yml TIMEOUT 60.20 59.03 apollon155 chc-comp24-ADT-LIA-199.yml true 0.20 0.20 apollon130 chc-comp24-ADT-LIA-200.yml true 1.12 1.09 apollon069 chc-comp24-ADT-LIA-201.yml unknown 8.66 8.42 apollon048 chc-comp24-ADT-LIA-202.yml false 0.56 0.55 apollon140 chc-comp24-ADT-LIA-203.yml false 0.34 0.35 apollon112 chc-comp24-ADT-LIA-204.yml true 0.26 0.27 apollon165 chc-comp24-ADT-LIA-205.yml true 0.60 0.59 apollon100 chc-comp24-ADT-LIA-206.yml false 0.31 0.32 apollon155 chc-comp24-ADT-LIA-207.yml false 2.52 2.38 apollon130 chc-comp24-ADT-LIA-208.yml true 0.40 0.40 apollon125 chc-comp24-ADT-LIA-209.yml TIMEOUT 60.16 59.50 apollon154 chc-comp24-ADT-LIA-210.yml TIMEOUT 60.14 59.53 apollon112 chc-comp24-ADT-LIA-211.yml TIMEOUT 60.15 59.66 apollon081 chc-comp24-ADT-LIA-212.yml TIMEOUT 60.19 59.08 apollon019 chc-comp24-ADT-LIA-213.yml TIMEOUT 60.19 59.17 apollon102 chc-comp24-ADT-LIA-214.yml TIMEOUT 60.16 59.49 apollon071 chc-comp24-ADT-LIA-215.yml false 22.45 22.29 apollon155 chc-comp24-ADT-LIA-216.yml false 1.25 1.19 apollon155 chc-comp24-ADT-LIA-217.yml true 12.71 11.96 apollon060 chc-comp24-ADT-LIA-218.yml TIMEOUT 60.17 59.49 apollon101 chc-comp24-ADT-LIA-219.yml true 0.73 0.72 apollon154 chc-comp24-ADT-LIA-220.yml true 6.33 6.15 apollon157 chc-comp24-ADT-LIA-221.yml true 21.61 21.28 apollon130 chc-comp24-ADT-LIA-222.yml true 0.06 0.07 apollon054 chc-comp24-ADT-LIA-223.yml TIMEOUT 60.11 59.63 apollon137 chc-comp24-ADT-LIA-224.yml false 0.90 0.89 apollon137 chc-comp24-ADT-LIA-225.yml false 1.71 1.64 apollon019 chc-comp24-ADT-LIA-226.yml TIMEOUT 60.18 59.34 apollon155 chc-comp24-ADT-LIA-227.yml false 0.35 0.36 apollon078 chc-comp24-ADT-LIA-228.yml true 0.29 0.30 apollon051 chc-comp24-ADT-LIA-229.yml false 0.47 0.47 apollon005 chc-comp24-ADT-LIA-230.yml false 2.33 2.16 apollon155 chc-comp24-ADT-LIA-231.yml true 52.42 51.12 apollon051 chc-comp24-ADT-LIA-232.yml TIMEOUT 60.16 59.40 apollon137 chc-comp24-ADT-LIA-233.yml true 1.54 1.57 apollon076 chc-comp24-ADT-LIA-234.yml TIMEOUT 60.18 59.36 apollon005 chc-comp24-ADT-LIA-235.yml true 0.16 0.17 apollon165 chc-comp24-ADT-LIA-236.yml true 0.35 0.35 apollon060 chc-comp24-ADT-LIA-237.yml false 0.31 0.33 apollon036 chc-comp24-ADT-LIA-238.yml TIMEOUT 60.20 59.16 apollon019 chc-comp24-ADT-LIA-239.yml TIMEOUT 60.10 59.73 apollon051 chc-comp24-ADT-LIA-240.yml TIMEOUT 60.12 59.66 apollon048 chc-comp24-ADT-LIA-241.yml false 3.19 2.90 apollon154 chc-comp24-ADT-LIA-242.yml TIMEOUT 60.11 59.76 apollon102 chc-comp24-ADT-LIA-243.yml TIMEOUT 60.13 59.76 apollon006 chc-comp24-ADT-LIA-244.yml TIMEOUT 60.17 58.90 apollon031 chc-comp24-ADT-LIA-245.yml TIMEOUT 60.24 59.07 apollon090 chc-comp24-ADT-LIA-246.yml unknown 35.12 35.02 apollon092 chc-comp24-ADT-LIA-247.yml TIMEOUT 60.22 59.20 apollon024 chc-comp24-ADT-LIA-248.yml TIMEOUT 60.28 58.16 apollon048 chc-comp24-ADT-LIA-249.yml true 10.82 10.63 apollon140 chc-comp24-ADT-LIA-250.yml TIMEOUT 60.19 59.29 apollon100 chc-comp24-ADT-LIA-251.yml TIMEOUT 60.15 59.01 apollon005 chc-comp24-ADT-LIA-252.yml true 3.76 3.64 apollon120 chc-comp24-ADT-LIA-253.yml TIMEOUT 60.21 58.32 apollon036 chc-comp24-ADT-LIA-254.yml false 1.19 1.12 apollon020 chc-comp24-ADT-LIA-255.yml TIMEOUT 60.19 58.87 apollon100 chc-comp24-ADT-LIA-256.yml TIMEOUT 60.07 60.03 apollon057 chc-comp24-ADT-LIA-257.yml TIMEOUT 60.32 58.78 apollon103 chc-comp24-ADT-LIA-258.yml true 0.14 0.14 apollon056 chc-comp24-ADT-LIA-259.yml TIMEOUT 60.10 59.91 apollon056 chc-comp24-ADT-LIA-260.yml true 0.53 0.51 apollon120 chc-comp24-ADT-LIA-261.yml TIMEOUT 60.08 60.02 apollon019 chc-comp24-ADT-LIA-262.yml true 10.69 10.14 apollon125 chc-comp24-ADT-LIA-263.yml TIMEOUT 60.07 60.15 apollon005 chc-comp24-ADT-LIA-264.yml false 2.64 2.39 apollon125 chc-comp24-ADT-LIA-265.yml false 8.72 7.94 apollon005 chc-comp24-ADT-LIA-266.yml true 0.96 1.01 apollon140 chc-comp24-ADT-LIA-267.yml TIMEOUT 60.23 59.08 apollon033 chc-comp24-ADT-LIA-268.yml TIMEOUT 60.15 59.62 apollon060 chc-comp24-ADT-LIA-269.yml TIMEOUT 60.10 60.01 apollon120 chc-comp24-ADT-LIA-270.yml TIMEOUT 60.08 60.04 apollon102 chc-comp24-ADT-LIA-271.yml true 6.23 5.82 apollon154 chc-comp24-ADT-LIA-272.yml false 1.49 1.42 apollon072 chc-comp24-ADT-LIA-273.yml TIMEOUT 60.15 59.94 apollon018 chc-comp24-ADT-LIA-274.yml true 6.38 6.01 apollon157 chc-comp24-ADT-LIA-275.yml true 0.46 0.45 apollon033 chc-comp24-ADT-LIA-276.yml TIMEOUT 60.25 59.15 apollon072 chc-comp24-ADT-LIA-277.yml true 5.20 5.05 apollon155 chc-comp24-ADT-LIA-278.yml TIMEOUT 60.19 58.70 apollon054 chc-comp24-ADT-LIA-279.yml TIMEOUT 60.09 59.97 apollon018 chc-comp24-ADT-LIA-280.yml TIMEOUT 60.12 59.35 apollon048 chc-comp24-ADT-LIA-281.yml TIMEOUT 60.24 58.63 apollon154 chc-comp24-ADT-LIA-282.yml TIMEOUT 60.13 59.76 apollon125 chc-comp24-ADT-LIA-283.yml TIMEOUT 60.10 59.87 apollon076 chc-comp24-ADT-LIA-284.yml true 0.81 0.77 apollon125 chc-comp24-ADT-LIA-285.yml TIMEOUT 60.12 59.46 apollon130 chc-comp24-ADT-LIA-286.yml TIMEOUT 60.09 60.06 apollon078 chc-comp24-ADT-LIA-287.yml TIMEOUT 60.19 58.33 apollon005 chc-comp24-ADT-LIA-288.yml TIMEOUT 60.13 59.37 apollon112 chc-comp24-ADT-LIA-289.yml TIMEOUT 60.33 58.05 apollon130 chc-comp24-ADT-LIA-290.yml TIMEOUT 60.10 59.81 apollon101 chc-comp24-ADT-LIA-291.yml TIMEOUT 60.15 59.30 apollon125 chc-comp24-ADT-LIA-292.yml TIMEOUT 60.21 58.32 apollon103 chc-comp24-ADT-LIA-293.yml TIMEOUT 60.14 59.17 apollon131 chc-comp24-ADT-LIA-294.yml TIMEOUT 60.09 59.90 apollon149 chc-comp24-ADT-LIA-295.yml TIMEOUT 60.10 59.57 apollon024 chc-comp24-ADT-LIA-296.yml true 11.16 10.59 apollon030 chc-comp24-ADT-LIA-297.yml true 1.08 1.11 apollon137 chc-comp24-ADT-LIA-298.yml false 2.45 2.23 apollon125 chc-comp24-ADT-LIA-299.yml TIMEOUT 60.10 59.65 apollon033 chc-comp24-ADT-LIA-300.yml TIMEOUT 60.10 59.94 apollon102 ------------------------------------------------------------------------------------------- Run set 1 done None 186.86 - Statistics: 300 Files correct: 126 correct true: 50 correct false: 76 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 126