BENCHMARK INFORMATION benchmark definition: ../../benchmark-defs/smoke/loat.xml name: loat run sets: CHC-COMP2024_check-sat.LIA-Lin date: Mon, 2025-04-28 21:11:44 CEST tool: LoAT cac6f7584cd3e9033eea021181c0df2b5ebe6e80 tool executable: ./loat_chc_comp.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.LIA-Lin Run set 1 of 1 with options '' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------- chc-comp24-LIA-Lin-001.yml true 2.04 1.02 apollon147 chc-comp24-LIA-Lin-002.yml false 0.11 1.02 apollon107 chc-comp24-LIA-Lin-003.yml false 0.19 1.01 apollon093 chc-comp24-LIA-Lin-004.yml TIMEOUT 61.98 31.01 apollon154 chc-comp24-LIA-Lin-005.yml true 1.31 1.01 apollon013 chc-comp24-LIA-Lin-006.yml false 0.11 1.02 apollon107 chc-comp24-LIA-Lin-007.yml false 0.17 1.01 apollon017 chc-comp24-LIA-Lin-008.yml false 0.14 1.01 apollon167 chc-comp24-LIA-Lin-009.yml false 0.40 1.02 apollon131 chc-comp24-LIA-Lin-010.yml true 1.17 1.02 apollon072 chc-comp24-LIA-Lin-011.yml true 1.16 1.02 apollon054 chc-comp24-LIA-Lin-012.yml true 0.24 1.02 apollon017 chc-comp24-LIA-Lin-013.yml TIMEOUT 61.83 31.00 apollon007 chc-comp24-LIA-Lin-014.yml false 0.20 1.01 apollon093 chc-comp24-LIA-Lin-015.yml false 0.04 1.01 apollon160 chc-comp24-LIA-Lin-016.yml false 0.27 1.02 apollon071 chc-comp24-LIA-Lin-017.yml false 0.06 1.02 apollon037 chc-comp24-LIA-Lin-018.yml true 1.13 1.01 apollon017 chc-comp24-LIA-Lin-019.yml false 0.06 1.01 apollon037 chc-comp24-LIA-Lin-020.yml false 0.05 1.02 apollon114 chc-comp24-LIA-Lin-021.yml true 0.14 1.01 apollon041 chc-comp24-LIA-Lin-022.yml false 0.27 1.01 apollon145 chc-comp24-LIA-Lin-023.yml true 2.04 1.02 apollon132 chc-comp24-LIA-Lin-024.yml TIMEOUT 61.76 31.00 apollon117 chc-comp24-LIA-Lin-025.yml true 38.20 19.13 apollon145 chc-comp24-LIA-Lin-026.yml true 46.30 23.17 apollon163 chc-comp24-LIA-Lin-027.yml TIMEOUT 61.75 31.00 apollon167 chc-comp24-LIA-Lin-028.yml true 12.11 6.07 apollon059 chc-comp24-LIA-Lin-029.yml true 42.24 21.16 apollon012 chc-comp24-LIA-Lin-030.yml true 6.04 3.03 apollon014 chc-comp24-LIA-Lin-031.yml true 24.10 12.10 apollon132 chc-comp24-LIA-Lin-032.yml true 2.03 1.02 apollon030 chc-comp24-LIA-Lin-033.yml true 28.19 14.13 apollon086 chc-comp24-LIA-Lin-034.yml true 6.02 3.03 apollon107 chc-comp24-LIA-Lin-035.yml TIMEOUT 61.94 31.01 apollon077 chc-comp24-LIA-Lin-036.yml TIMEOUT 61.98 31.00 apollon101 chc-comp24-LIA-Lin-037.yml true 16.13 8.07 apollon034 chc-comp24-LIA-Lin-038.yml TIMEOUT 61.80 31.00 apollon085 chc-comp24-LIA-Lin-039.yml TIMEOUT 61.96 31.01 apollon061 chc-comp24-LIA-Lin-040.yml false 0.09 1.01 apollon150 chc-comp24-LIA-Lin-041.yml TIMEOUT 61.47 31.00 apollon028 chc-comp24-LIA-Lin-042.yml TIMEOUT 61.98 31.00 apollon150 chc-comp24-LIA-Lin-043.yml false 0.14 1.01 apollon086 chc-comp24-LIA-Lin-044.yml true 54.26 27.19 apollon122 chc-comp24-LIA-Lin-045.yml TIMEOUT 61.97 31.01 apollon065 chc-comp24-LIA-Lin-046.yml false 0.15 1.01 apollon059 chc-comp24-LIA-Lin-047.yml TIMEOUT 61.96 31.01 apollon042 chc-comp24-LIA-Lin-048.yml TIMEOUT 61.99 31.00 apollon005 chc-comp24-LIA-Lin-049.yml true 2.03 1.02 apollon094 chc-comp24-LIA-Lin-050.yml TIMEOUT 61.89 31.01 apollon017 chc-comp24-LIA-Lin-051.yml TIMEOUT 61.96 31.00 apollon103 chc-comp24-LIA-Lin-052.yml false 0.08 1.01 apollon012 chc-comp24-LIA-Lin-053.yml false 1.08 1.01 apollon078 chc-comp24-LIA-Lin-054.yml false 0.17 1.01 apollon002 chc-comp24-LIA-Lin-055.yml true 2.03 1.02 apollon137 chc-comp24-LIA-Lin-056.yml true 2.04 1.02 apollon045 chc-comp24-LIA-Lin-057.yml true 1.12 1.02 apollon120 chc-comp24-LIA-Lin-058.yml TIMEOUT 61.92 31.01 apollon122 chc-comp24-LIA-Lin-059.yml true 1.10 1.01 apollon067 chc-comp24-LIA-Lin-060.yml TIMEOUT 61.94 31.00 apollon064 chc-comp24-LIA-Lin-061.yml TIMEOUT 61.93 31.01 apollon073 chc-comp24-LIA-Lin-062.yml TIMEOUT 61.97 31.01 apollon034 chc-comp24-LIA-Lin-063.yml TIMEOUT 61.90 31.00 apollon014 chc-comp24-LIA-Lin-064.yml false 1.47 1.01 apollon122 chc-comp24-LIA-Lin-065.yml false 1.26 1.01 apollon067 chc-comp24-LIA-Lin-066.yml true 2.03 1.02 apollon120 chc-comp24-LIA-Lin-067.yml TIMEOUT 61.90 31.01 apollon071 chc-comp24-LIA-Lin-068.yml false 1.21 1.02 apollon064 chc-comp24-LIA-Lin-069.yml TIMEOUT 61.84 31.01 apollon120 chc-comp24-LIA-Lin-070.yml false 1.19 1.02 apollon078 chc-comp24-LIA-Lin-071.yml false 1.15 1.01 apollon156 chc-comp24-LIA-Lin-072.yml false 1.33 1.01 apollon009 chc-comp24-LIA-Lin-073.yml false 1.39 1.02 apollon037 chc-comp24-LIA-Lin-074.yml TIMEOUT 61.96 31.00 apollon075 chc-comp24-LIA-Lin-075.yml false 1.98 1.01 apollon135 chc-comp24-LIA-Lin-076.yml false 1.52 1.01 apollon090 chc-comp24-LIA-Lin-077.yml TIMEOUT 61.90 31.00 apollon106 chc-comp24-LIA-Lin-078.yml false 0.25 1.01 apollon059 chc-comp24-LIA-Lin-079.yml TIMEOUT 61.65 31.00 apollon126 chc-comp24-LIA-Lin-080.yml false 1.11 1.02 apollon024 chc-comp24-LIA-Lin-081.yml false 1.12 1.02 apollon008 chc-comp24-LIA-Lin-082.yml false 0.07 1.01 apollon034 chc-comp24-LIA-Lin-083.yml false 0.37 1.02 apollon082 chc-comp24-LIA-Lin-084.yml TIMEOUT 61.73 31.01 apollon039 chc-comp24-LIA-Lin-085.yml false 14.19 7.11 apollon017 chc-comp24-LIA-Lin-086.yml TIMEOUT 61.97 31.00 apollon059 chc-comp24-LIA-Lin-087.yml false 2.03 1.02 apollon135 chc-comp24-LIA-Lin-088.yml false 0.59 1.01 apollon135 chc-comp24-LIA-Lin-089.yml TIMEOUT 61.85 31.00 apollon007 chc-comp24-LIA-Lin-090.yml false 2.03 1.02 apollon101 chc-comp24-LIA-Lin-091.yml TIMEOUT 62.01 31.01 apollon022 chc-comp24-LIA-Lin-092.yml false 2.04 1.02 apollon024 chc-comp24-LIA-Lin-093.yml true 2.04 1.02 apollon150 chc-comp24-LIA-Lin-094.yml true 0.38 1.02 apollon122 chc-comp24-LIA-Lin-095.yml true 38.72 19.42 apollon043 chc-comp24-LIA-Lin-096.yml true 4.09 2.05 apollon012 chc-comp24-LIA-Lin-097.yml true 1.21 1.02 apollon054 chc-comp24-LIA-Lin-098.yml true 0.70 1.01 apollon098 chc-comp24-LIA-Lin-099.yml true 0.40 1.01 apollon101 chc-comp24-LIA-Lin-100.yml true 1.10 1.02 apollon120 chc-comp24-LIA-Lin-101.yml TIMEOUT 61.77 31.01 apollon160 chc-comp24-LIA-Lin-102.yml true 2.03 1.02 apollon131 chc-comp24-LIA-Lin-103.yml true 0.22 1.01 apollon045 chc-comp24-LIA-Lin-104.yml true 1.08 1.01 apollon054 chc-comp24-LIA-Lin-105.yml true 14.11 7.07 apollon003 chc-comp24-LIA-Lin-106.yml true 2.03 1.02 apollon042 chc-comp24-LIA-Lin-107.yml true 2.03 1.02 apollon072 chc-comp24-LIA-Lin-108.yml true 2.04 1.02 apollon126 chc-comp24-LIA-Lin-109.yml true 2.03 1.02 apollon082 chc-comp24-LIA-Lin-110.yml true 1.53 1.02 apollon153 chc-comp24-LIA-Lin-111.yml true 2.05 1.03 apollon131 chc-comp24-LIA-Lin-112.yml true 2.04 1.02 apollon075 chc-comp24-LIA-Lin-113.yml true 1.04 1.02 apollon071 chc-comp24-LIA-Lin-114.yml true 4.07 2.05 apollon113 chc-comp24-LIA-Lin-115.yml true 1.34 1.01 apollon132 chc-comp24-LIA-Lin-116.yml true 1.31 1.01 apollon163 chc-comp24-LIA-Lin-117.yml TIMEOUT 61.97 31.00 apollon072 chc-comp24-LIA-Lin-118.yml true 0.11 1.01 apollon160 chc-comp24-LIA-Lin-119.yml true 3.50 2.04 apollon073 chc-comp24-LIA-Lin-120.yml true 2.05 1.03 apollon082 chc-comp24-LIA-Lin-121.yml true 0.95 1.01 apollon012 chc-comp24-LIA-Lin-122.yml true 1.94 1.01 apollon098 chc-comp24-LIA-Lin-123.yml true 0.06 1.02 apollon028 chc-comp24-LIA-Lin-124.yml true 1.15 1.02 apollon017 chc-comp24-LIA-Lin-125.yml true 0.05 1.01 apollon057 chc-comp24-LIA-Lin-126.yml false 0.09 1.01 apollon122 chc-comp24-LIA-Lin-127.yml true 0.04 1.01 apollon163 chc-comp24-LIA-Lin-128.yml true 2.04 1.03 apollon142 chc-comp24-LIA-Lin-129.yml true 0.36 1.02 apollon118 chc-comp24-LIA-Lin-130.yml true 0.15 1.01 apollon147 chc-comp24-LIA-Lin-131.yml true 0.06 1.02 apollon020 chc-comp24-LIA-Lin-132.yml true 0.37 1.02 apollon097 chc-comp24-LIA-Lin-133.yml true 0.07 1.02 apollon120 chc-comp24-LIA-Lin-134.yml true 0.06 1.02 apollon012 chc-comp24-LIA-Lin-135.yml false 0.16 1.02 apollon106 chc-comp24-LIA-Lin-136.yml true 0.05 1.01 apollon163 chc-comp24-LIA-Lin-137.yml false 0.17 1.02 apollon012 chc-comp24-LIA-Lin-138.yml true 0.06 1.01 apollon059 chc-comp24-LIA-Lin-139.yml true 2.05 1.03 apollon120 chc-comp24-LIA-Lin-140.yml true 0.08 1.01 apollon078 chc-comp24-LIA-Lin-141.yml true 0.06 1.01 apollon073 chc-comp24-LIA-Lin-142.yml true 1.13 1.01 apollon109 chc-comp24-LIA-Lin-143.yml true 2.04 1.02 apollon131 chc-comp24-LIA-Lin-144.yml TIMEOUT 61.96 31.00 apollon015 chc-comp24-LIA-Lin-145.yml true 2.05 1.03 apollon146 chc-comp24-LIA-Lin-146.yml true 1.28 1.02 apollon034 chc-comp24-LIA-Lin-147.yml TIMEOUT 61.72 31.01 apollon003 chc-comp24-LIA-Lin-148.yml false 1.53 1.01 apollon047 chc-comp24-LIA-Lin-149.yml false 0.16 1.02 apollon064 chc-comp24-LIA-Lin-150.yml false 0.10 1.01 apollon078 chc-comp24-LIA-Lin-151.yml TIMEOUT 61.99 31.00 apollon116 chc-comp24-LIA-Lin-152.yml TIMEOUT 61.92 31.00 apollon133 chc-comp24-LIA-Lin-153.yml true 1.33 1.01 apollon106 chc-comp24-LIA-Lin-154.yml TIMEOUT 61.99 31.01 apollon012 chc-comp24-LIA-Lin-155.yml true 1.24 1.01 apollon126 chc-comp24-LIA-Lin-156.yml TIMEOUT 61.69 31.01 apollon118 chc-comp24-LIA-Lin-157.yml false 1.58 1.02 apollon024 chc-comp24-LIA-Lin-158.yml TIMEOUT 61.99 31.01 apollon135 chc-comp24-LIA-Lin-159.yml true 6.08 3.05 apollon012 chc-comp24-LIA-Lin-160.yml TIMEOUT 61.93 31.00 apollon078 chc-comp24-LIA-Lin-161.yml true 1.14 1.01 apollon167 chc-comp24-LIA-Lin-162.yml true 1.76 1.02 apollon068 chc-comp24-LIA-Lin-163.yml true 1.25 1.01 apollon003 chc-comp24-LIA-Lin-164.yml true 2.05 1.03 apollon042 chc-comp24-LIA-Lin-165.yml TIMEOUT 61.97 31.00 apollon131 chc-comp24-LIA-Lin-166.yml TIMEOUT 61.89 31.00 apollon137 chc-comp24-LIA-Lin-167.yml true 0.15 1.02 apollon058 chc-comp24-LIA-Lin-168.yml true 1.38 1.01 apollon150 chc-comp24-LIA-Lin-169.yml true 1.44 1.02 apollon122 chc-comp24-LIA-Lin-170.yml true 0.46 1.01 apollon042 chc-comp24-LIA-Lin-171.yml true 0.18 1.02 apollon054 chc-comp24-LIA-Lin-172.yml true 2.03 1.02 apollon116 chc-comp24-LIA-Lin-173.yml true 1.34 1.01 apollon009 chc-comp24-LIA-Lin-174.yml true 1.25 1.01 apollon034 chc-comp24-LIA-Lin-175.yml true 2.04 1.02 apollon024 chc-comp24-LIA-Lin-176.yml false 0.57 1.01 apollon014 chc-comp24-LIA-Lin-177.yml false 0.21 1.02 apollon118 chc-comp24-LIA-Lin-178.yml false 0.10 1.01 apollon120 chc-comp24-LIA-Lin-179.yml true 6.04 3.02 apollon054 chc-comp24-LIA-Lin-180.yml true 8.05 4.04 apollon060 chc-comp24-LIA-Lin-181.yml TIMEOUT 61.93 31.00 apollon110 chc-comp24-LIA-Lin-182.yml false 0.18 1.01 apollon109 chc-comp24-LIA-Lin-183.yml true 1.50 1.01 apollon059 chc-comp24-LIA-Lin-184.yml true 2.03 1.02 apollon137 chc-comp24-LIA-Lin-185.yml false 0.95 1.01 apollon098 chc-comp24-LIA-Lin-186.yml false 0.10 1.01 apollon064 chc-comp24-LIA-Lin-187.yml false 0.29 1.02 apollon078 chc-comp24-LIA-Lin-188.yml true 4.04 2.03 apollon007 chc-comp24-LIA-Lin-189.yml TIMEOUT 61.92 31.00 apollon019 chc-comp24-LIA-Lin-190.yml true 0.49 1.02 apollon059 chc-comp24-LIA-Lin-191.yml false 0.30 1.01 apollon163 chc-comp24-LIA-Lin-192.yml true 1.22 1.01 apollon016 chc-comp24-LIA-Lin-193.yml true 1.39 1.02 apollon047 chc-comp24-LIA-Lin-194.yml true 2.04 1.02 apollon048 chc-comp24-LIA-Lin-195.yml true 1.29 1.01 apollon012 chc-comp24-LIA-Lin-196.yml true 1.67 1.01 apollon024 chc-comp24-LIA-Lin-197.yml true 1.69 1.01 apollon054 chc-comp24-LIA-Lin-198.yml true 1.36 1.01 apollon048 chc-comp24-LIA-Lin-199.yml true 4.06 2.04 apollon002 chc-comp24-LIA-Lin-200.yml true 1.37 1.01 apollon139 chc-comp24-LIA-Lin-201.yml true 2.05 1.02 apollon024 chc-comp24-LIA-Lin-202.yml true 1.66 1.01 apollon016 chc-comp24-LIA-Lin-203.yml false 0.12 1.01 apollon097 chc-comp24-LIA-Lin-204.yml true 0.60 1.02 apollon013 chc-comp24-LIA-Lin-205.yml false 0.11 1.01 apollon090 chc-comp24-LIA-Lin-206.yml TIMEOUT 61.96 31.00 apollon031 chc-comp24-LIA-Lin-207.yml TIMEOUT 61.99 31.01 apollon045 chc-comp24-LIA-Lin-208.yml false 0.21 1.02 apollon067 chc-comp24-LIA-Lin-209.yml false 2.00 1.02 apollon048 chc-comp24-LIA-Lin-210.yml TIMEOUT 62.01 31.00 apollon066 chc-comp24-LIA-Lin-211.yml false 0.07 1.01 apollon101 chc-comp24-LIA-Lin-212.yml true 0.27 1.02 apollon131 chc-comp24-LIA-Lin-213.yml true 0.11 1.01 apollon017 chc-comp24-LIA-Lin-214.yml true 0.14 1.02 apollon072 chc-comp24-LIA-Lin-215.yml true 2.03 1.02 apollon008 chc-comp24-LIA-Lin-216.yml TIMEOUT 61.61 31.01 apollon002 chc-comp24-LIA-Lin-217.yml TIMEOUT 61.59 31.01 apollon018 chc-comp24-LIA-Lin-218.yml false 23.99 12.10 apollon116 chc-comp24-LIA-Lin-219.yml false 0.21 1.01 apollon120 chc-comp24-LIA-Lin-220.yml false 36.11 18.16 apollon123 chc-comp24-LIA-Lin-221.yml true 2.04 1.03 apollon061 chc-comp24-LIA-Lin-222.yml true 0.11 1.02 apollon058 chc-comp24-LIA-Lin-223.yml false 0.22 1.01 apollon132 chc-comp24-LIA-Lin-224.yml false 0.08 1.01 apollon124 chc-comp24-LIA-Lin-225.yml true 1.13 1.02 apollon131 chc-comp24-LIA-Lin-226.yml OUT OF MEMORY 56.16 28.02 apollon139 chc-comp24-LIA-Lin-227.yml TIMEOUT 61.78 31.00 apollon067 chc-comp24-LIA-Lin-228.yml TIMEOUT 61.94 31.00 apollon097 chc-comp24-LIA-Lin-229.yml OUT OF MEMORY 57.13 28.52 apollon107 chc-comp24-LIA-Lin-230.yml TIMEOUT 61.48 31.01 apollon130 chc-comp24-LIA-Lin-231.yml TIMEOUT 61.97 31.00 apollon014 chc-comp24-LIA-Lin-232.yml TIMEOUT 61.46 31.00 apollon064 chc-comp24-LIA-Lin-233.yml TIMEOUT 61.86 31.00 apollon163 chc-comp24-LIA-Lin-234.yml TIMEOUT 61.50 31.01 apollon142 chc-comp24-LIA-Lin-235.yml TIMEOUT 61.46 31.01 apollon098 chc-comp24-LIA-Lin-236.yml TIMEOUT 61.41 31.00 apollon147 chc-comp24-LIA-Lin-237.yml TIMEOUT 61.34 31.01 apollon146 chc-comp24-LIA-Lin-238.yml TIMEOUT 61.49 31.01 apollon011 chc-comp24-LIA-Lin-239.yml TIMEOUT 61.52 31.00 apollon131 chc-comp24-LIA-Lin-240.yml TIMEOUT 61.48 31.00 apollon146 chc-comp24-LIA-Lin-241.yml TIMEOUT 61.72 31.00 apollon082 chc-comp24-LIA-Lin-242.yml TIMEOUT 61.95 31.01 apollon120 chc-comp24-LIA-Lin-243.yml TIMEOUT 61.89 31.01 apollon054 chc-comp24-LIA-Lin-244.yml TIMEOUT 61.93 31.00 apollon064 chc-comp24-LIA-Lin-245.yml TIMEOUT 61.50 31.01 apollon023 chc-comp24-LIA-Lin-246.yml TIMEOUT 61.94 31.00 apollon107 chc-comp24-LIA-Lin-247.yml TIMEOUT 61.85 31.01 apollon008 chc-comp24-LIA-Lin-248.yml TIMEOUT 61.95 31.01 apollon141 chc-comp24-LIA-Lin-249.yml TIMEOUT 61.75 31.00 apollon114 chc-comp24-LIA-Lin-250.yml TIMEOUT 61.88 31.00 apollon054 chc-comp24-LIA-Lin-251.yml TIMEOUT 61.77 31.00 apollon122 chc-comp24-LIA-Lin-252.yml TIMEOUT 61.95 31.01 apollon109 chc-comp24-LIA-Lin-253.yml TIMEOUT 61.90 31.00 apollon093 chc-comp24-LIA-Lin-254.yml TIMEOUT 61.34 31.01 apollon013 chc-comp24-LIA-Lin-255.yml TIMEOUT 61.66 31.01 apollon090 chc-comp24-LIA-Lin-256.yml TIMEOUT 61.68 31.01 apollon071 chc-comp24-LIA-Lin-257.yml TIMEOUT 61.92 31.00 apollon101 chc-comp24-LIA-Lin-258.yml TIMEOUT 60.15 29.98 apollon009 chc-comp24-LIA-Lin-259.yml TIMEOUT 61.92 31.00 apollon046 chc-comp24-LIA-Lin-260.yml TIMEOUT 61.92 31.01 apollon041 chc-comp24-LIA-Lin-261.yml TIMEOUT 61.77 31.00 apollon093 chc-comp24-LIA-Lin-262.yml TIMEOUT 61.86 31.00 apollon045 chc-comp24-LIA-Lin-263.yml true 2.05 1.03 apollon064 chc-comp24-LIA-Lin-264.yml true 2.05 1.03 apollon122 chc-comp24-LIA-Lin-265.yml true 1.16 1.01 apollon078 chc-comp24-LIA-Lin-266.yml true 1.39 1.01 apollon149 chc-comp24-LIA-Lin-267.yml true 2.03 1.02 apollon163 chc-comp24-LIA-Lin-268.yml true 1.15 1.02 apollon120 chc-comp24-LIA-Lin-269.yml true 1.60 1.01 apollon048 chc-comp24-LIA-Lin-270.yml true 24.33 12.18 apollon047 chc-comp24-LIA-Lin-271.yml true 2.05 1.03 apollon131 chc-comp24-LIA-Lin-272.yml true 1.15 1.01 apollon017 chc-comp24-LIA-Lin-273.yml TIMEOUT 61.88 31.01 apollon007 chc-comp24-LIA-Lin-274.yml true 1.23 1.02 apollon041 chc-comp24-LIA-Lin-275.yml true 1.13 1.01 apollon075 chc-comp24-LIA-Lin-276.yml true 1.32 1.01 apollon128 chc-comp24-LIA-Lin-277.yml true 2.05 1.03 apollon149 chc-comp24-LIA-Lin-278.yml true 2.04 1.02 apollon107 chc-comp24-LIA-Lin-279.yml true 2.03 1.02 apollon163 chc-comp24-LIA-Lin-280.yml true 2.04 1.02 apollon114 chc-comp24-LIA-Lin-281.yml true 2.03 1.02 apollon045 chc-comp24-LIA-Lin-282.yml TIMEOUT 61.95 31.00 apollon057 chc-comp24-LIA-Lin-283.yml true 2.05 1.03 apollon090 chc-comp24-LIA-Lin-284.yml true 1.35 1.01 apollon068 chc-comp24-LIA-Lin-285.yml true 1.40 1.01 apollon065 chc-comp24-LIA-Lin-286.yml true 2.07 1.04 apollon131 chc-comp24-LIA-Lin-287.yml true 0.10 1.01 apollon078 chc-comp24-LIA-Lin-288.yml false 0.15 1.01 apollon154 chc-comp24-LIA-Lin-289.yml true 0.11 1.01 apollon137 chc-comp24-LIA-Lin-290.yml false 0.19 1.02 apollon060 chc-comp24-LIA-Lin-291.yml true 0.15 1.01 apollon149 chc-comp24-LIA-Lin-292.yml false 0.17 1.02 apollon064 chc-comp24-LIA-Lin-293.yml false 0.15 1.01 apollon106 chc-comp24-LIA-Lin-294.yml false 0.15 1.02 apollon126 chc-comp24-LIA-Lin-295.yml true 0.23 1.02 apollon067 chc-comp24-LIA-Lin-296.yml true 0.12 1.01 apollon126 chc-comp24-LIA-Lin-297.yml true 0.09 1.01 apollon146 chc-comp24-LIA-Lin-298.yml true 0.94 1.01 apollon130 chc-comp24-LIA-Lin-299.yml false 0.16 1.01 apollon016 chc-comp24-LIA-Lin-300.yml true 1.38 1.02 apollon007 ------------------------------------------------------------------------------------------- Run set 1 done None 279.59 - Statistics: 300 Files correct: 193 correct true: 129 correct false: 64 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 87