BENCHMARK INFORMATION benchmark definition: ../../benchmark-defs/smoke/chc2c.xml name: chc2c run sets: CHC-COMP2024_check-sat date: Mon, 2025-04-28 23:15:45 CEST tool: CHC2C 1.0 tool executable: ./chc-comp25.sh options: resource limits: - memory: 7000.0 MB - time: 60 s - cpu cores: 2 hardware requirements: - cpu model: Intel Xeon E3-1230 v5 @ 3.40 GHz - cpu cores: 2 - memory: 7000.0 MB ------------------------------------------------------------ CHC-COMP2024_check-sat Run set 1 of 1 with options '' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------- LIA-Lin/chc-comp24-LIA-Lin-001.yml LIA-Lin/chc-comp24-LIA-Lin-002.yml LIA-Lin/chc-comp24-LIA-Lin-003.yml LIA-Lin/chc-comp24-LIA-Lin-004.yml LIA-Lin/chc-comp24-LIA-Lin-005.yml LIA-Lin/chc-comp24-LIA-Lin-006.yml LIA-Lin/chc-comp24-LIA-Lin-007.yml LIA-Lin/chc-comp24-LIA-Lin-008.yml LIA-Lin/chc-comp24-LIA-Lin-009.yml LIA-Lin/chc-comp24-LIA-Lin-010.yml unknown 1.24 1.24 apollon055 LIA-Lin/chc-comp24-LIA-Lin-011.yml LIA-Lin/chc-comp24-LIA-Lin-012.yml LIA-Lin/chc-comp24-LIA-Lin-013.yml LIA-Lin/chc-comp24-LIA-Lin-014.yml LIA-Lin/chc-comp24-LIA-Lin-015.yml LIA-Lin/chc-comp24-LIA-Lin-016.yml LIA-Lin/chc-comp24-LIA-Lin-017.yml LIA-Lin/chc-comp24-LIA-Lin-018.yml unknown 1.07 1.06 apollon001 LIA-Lin/chc-comp24-LIA-Lin-019.yml LIA-Lin/chc-comp24-LIA-Lin-020.yml LIA-Lin/chc-comp24-LIA-Lin-021.yml LIA-Lin/chc-comp24-LIA-Lin-022.yml LIA-Lin/chc-comp24-LIA-Lin-023.yml LIA-Lin/chc-comp24-LIA-Lin-024.yml LIA-Lin/chc-comp24-LIA-Lin-025.yml LIA-Lin/chc-comp24-LIA-Lin-026.yml LIA-Lin/chc-comp24-LIA-Lin-027.yml LIA-Lin/chc-comp24-LIA-Lin-028.yml LIA-Lin/chc-comp24-LIA-Lin-029.yml LIA-Lin/chc-comp24-LIA-Lin-030.yml LIA-Lin/chc-comp24-LIA-Lin-031.yml LIA-Lin/chc-comp24-LIA-Lin-032.yml LIA-Lin/chc-comp24-LIA-Lin-033.yml LIA-Lin/chc-comp24-LIA-Lin-034.yml LIA-Lin/chc-comp24-LIA-Lin-035.yml LIA-Lin/chc-comp24-LIA-Lin-036.yml LIA-Lin/chc-comp24-LIA-Lin-037.yml LIA-Lin/chc-comp24-LIA-Lin-038.yml LIA-Lin/chc-comp24-LIA-Lin-039.yml unknown 1.10 1.10 apollon001 LIA-Lin/chc-comp24-LIA-Lin-040.yml LIA-Lin/chc-comp24-LIA-Lin-041.yml LIA-Lin/chc-comp24-LIA-Lin-042.yml LIA-Lin/chc-comp24-LIA-Lin-043.yml LIA-Lin/chc-comp24-LIA-Lin-044.yml LIA-Lin/chc-comp24-LIA-Lin-045.yml LIA-Lin/chc-comp24-LIA-Lin-046.yml LIA-Lin/chc-comp24-LIA-Lin-047.yml LIA-Lin/chc-comp24-LIA-Lin-048.yml LIA-Lin/chc-comp24-LIA-Lin-049.yml LIA-Lin/chc-comp24-LIA-Lin-050.yml LIA-Lin/chc-comp24-LIA-Lin-051.yml LIA-Lin/chc-comp24-LIA-Lin-052.yml LIA-Lin/chc-comp24-LIA-Lin-053.yml LIA-Lin/chc-comp24-LIA-Lin-054.yml LIA-Lin/chc-comp24-LIA-Lin-055.yml LIA-Lin/chc-comp24-LIA-Lin-056.yml LIA-Lin/chc-comp24-LIA-Lin-057.yml LIA-Lin/chc-comp24-LIA-Lin-058.yml LIA-Lin/chc-comp24-LIA-Lin-059.yml LIA-Lin/chc-comp24-LIA-Lin-060.yml LIA-Lin/chc-comp24-LIA-Lin-061.yml LIA-Lin/chc-comp24-LIA-Lin-062.yml LIA-Lin/chc-comp24-LIA-Lin-063.yml LIA-Lin/chc-comp24-LIA-Lin-064.yml LIA-Lin/chc-comp24-LIA-Lin-065.yml LIA-Lin/chc-comp24-LIA-Lin-066.yml LIA-Lin/chc-comp24-LIA-Lin-067.yml LIA-Lin/chc-comp24-LIA-Lin-068.yml LIA-Lin/chc-comp24-LIA-Lin-069.yml LIA-Lin/chc-comp24-LIA-Lin-070.yml unknown 1.18 1.18 apollon055 LIA-Lin/chc-comp24-LIA-Lin-071.yml LIA-Lin/chc-comp24-LIA-Lin-072.yml LIA-Lin/chc-comp24-LIA-Lin-073.yml unknown 1.24 1.24 apollon002 LIA-Lin/chc-comp24-LIA-Lin-074.yml LIA-Lin/chc-comp24-LIA-Lin-075.yml LIA-Lin/chc-comp24-LIA-Lin-076.yml LIA-Lin/chc-comp24-LIA-Lin-077.yml LIA-Lin/chc-comp24-LIA-Lin-078.yml LIA-Lin/chc-comp24-LIA-Lin-079.yml LIA-Lin/chc-comp24-LIA-Lin-080.yml LIA-Lin/chc-comp24-LIA-Lin-081.yml LIA-Lin/chc-comp24-LIA-Lin-082.yml LIA-Lin/chc-comp24-LIA-Lin-083.yml LIA-Lin/chc-comp24-LIA-Lin-084.yml LIA-Lin/chc-comp24-LIA-Lin-085.yml LIA-Lin/chc-comp24-LIA-Lin-086.yml LIA-Lin/chc-comp24-LIA-Lin-087.yml LIA-Lin/chc-comp24-LIA-Lin-088.yml LIA-Lin/chc-comp24-LIA-Lin-089.yml LIA-Lin/chc-comp24-LIA-Lin-090.yml LIA-Lin/chc-comp24-LIA-Lin-091.yml LIA-Lin/chc-comp24-LIA-Lin-092.yml LIA-Lin/chc-comp24-LIA-Lin-093.yml LIA-Lin/chc-comp24-LIA-Lin-094.yml LIA-Lin/chc-comp24-LIA-Lin-095.yml LIA-Lin/chc-comp24-LIA-Lin-096.yml LIA-Lin/chc-comp24-LIA-Lin-097.yml LIA-Lin/chc-comp24-LIA-Lin-098.yml LIA-Lin/chc-comp24-LIA-Lin-099.yml unknown 1.10 1.10 apollon002 LIA-Lin/chc-comp24-LIA-Lin-100.yml LIA-Lin/chc-comp24-LIA-Lin-101.yml LIA-Lin/chc-comp24-LIA-Lin-102.yml LIA-Lin/chc-comp24-LIA-Lin-103.yml unknown 1.20 1.20 apollon002 LIA-Lin/chc-comp24-LIA-Lin-104.yml LIA-Lin/chc-comp24-LIA-Lin-105.yml LIA-Lin/chc-comp24-LIA-Lin-106.yml LIA-Lin/chc-comp24-LIA-Lin-107.yml LIA-Lin/chc-comp24-LIA-Lin-108.yml LIA-Lin/chc-comp24-LIA-Lin-109.yml LIA-Lin/chc-comp24-LIA-Lin-110.yml LIA-Lin/chc-comp24-LIA-Lin-111.yml LIA-Lin/chc-comp24-LIA-Lin-112.yml LIA-Lin/chc-comp24-LIA-Lin-113.yml LIA-Lin/chc-comp24-LIA-Lin-114.yml LIA-Lin/chc-comp24-LIA-Lin-115.yml LIA-Lin/chc-comp24-LIA-Lin-116.yml LIA-Lin/chc-comp24-LIA-Lin-117.yml LIA-Lin/chc-comp24-LIA-Lin-118.yml LIA-Lin/chc-comp24-LIA-Lin-119.yml LIA-Lin/chc-comp24-LIA-Lin-120.yml LIA-Lin/chc-comp24-LIA-Lin-121.yml LIA-Lin/chc-comp24-LIA-Lin-122.yml LIA-Lin/chc-comp24-LIA-Lin-123.yml LIA-Lin/chc-comp24-LIA-Lin-124.yml LIA-Lin/chc-comp24-LIA-Lin-125.yml LIA-Lin/chc-comp24-LIA-Lin-126.yml LIA-Lin/chc-comp24-LIA-Lin-127.yml LIA-Lin/chc-comp24-LIA-Lin-128.yml LIA-Lin/chc-comp24-LIA-Lin-129.yml LIA-Lin/chc-comp24-LIA-Lin-130.yml LIA-Lin/chc-comp24-LIA-Lin-131.yml LIA-Lin/chc-comp24-LIA-Lin-132.yml LIA-Lin/chc-comp24-LIA-Lin-133.yml LIA-Lin/chc-comp24-LIA-Lin-134.yml LIA-Lin/chc-comp24-LIA-Lin-135.yml LIA-Lin/chc-comp24-LIA-Lin-136.yml LIA-Lin/chc-comp24-LIA-Lin-137.yml LIA-Lin/chc-comp24-LIA-Lin-138.yml LIA-Lin/chc-comp24-LIA-Lin-139.yml LIA-Lin/chc-comp24-LIA-Lin-140.yml LIA-Lin/chc-comp24-LIA-Lin-141.yml LIA-Lin/chc-comp24-LIA-Lin-142.yml LIA-Lin/chc-comp24-LIA-Lin-143.yml LIA-Lin/chc-comp24-LIA-Lin-144.yml LIA-Lin/chc-comp24-LIA-Lin-145.yml LIA-Lin/chc-comp24-LIA-Lin-146.yml LIA-Lin/chc-comp24-LIA-Lin-147.yml LIA-Lin/chc-comp24-LIA-Lin-148.yml LIA-Lin/chc-comp24-LIA-Lin-149.yml LIA-Lin/chc-comp24-LIA-Lin-150.yml LIA-Lin/chc-comp24-LIA-Lin-151.yml LIA-Lin/chc-comp24-LIA-Lin-152.yml LIA-Lin/chc-comp24-LIA-Lin-153.yml LIA-Lin/chc-comp24-LIA-Lin-154.yml LIA-Lin/chc-comp24-LIA-Lin-155.yml LIA-Lin/chc-comp24-LIA-Lin-156.yml LIA-Lin/chc-comp24-LIA-Lin-157.yml LIA-Lin/chc-comp24-LIA-Lin-158.yml LIA-Lin/chc-comp24-LIA-Lin-159.yml LIA-Lin/chc-comp24-LIA-Lin-160.yml unknown 1.30 1.29 apollon012 LIA-Lin/chc-comp24-LIA-Lin-161.yml LIA-Lin/chc-comp24-LIA-Lin-162.yml LIA-Lin/chc-comp24-LIA-Lin-163.yml LIA-Lin/chc-comp24-LIA-Lin-164.yml unknown 1.30 1.30 apollon012 LIA-Lin/chc-comp24-LIA-Lin-165.yml LIA-Lin/chc-comp24-LIA-Lin-166.yml LIA-Lin/chc-comp24-LIA-Lin-167.yml LIA-Lin/chc-comp24-LIA-Lin-168.yml LIA-Lin/chc-comp24-LIA-Lin-169.yml LIA-Lin/chc-comp24-LIA-Lin-170.yml LIA-Lin/chc-comp24-LIA-Lin-171.yml LIA-Lin/chc-comp24-LIA-Lin-172.yml LIA-Lin/chc-comp24-LIA-Lin-173.yml LIA-Lin/chc-comp24-LIA-Lin-174.yml LIA-Lin/chc-comp24-LIA-Lin-175.yml LIA-Lin/chc-comp24-LIA-Lin-176.yml LIA-Lin/chc-comp24-LIA-Lin-177.yml LIA-Lin/chc-comp24-LIA-Lin-178.yml LIA-Lin/chc-comp24-LIA-Lin-179.yml LIA-Lin/chc-comp24-LIA-Lin-180.yml LIA-Lin/chc-comp24-LIA-Lin-181.yml LIA-Lin/chc-comp24-LIA-Lin-182.yml LIA-Lin/chc-comp24-LIA-Lin-183.yml LIA-Lin/chc-comp24-LIA-Lin-184.yml LIA-Lin/chc-comp24-LIA-Lin-185.yml LIA-Lin/chc-comp24-LIA-Lin-186.yml LIA-Lin/chc-comp24-LIA-Lin-187.yml unknown 1.17 1.16 apollon055 LIA-Lin/chc-comp24-LIA-Lin-188.yml LIA-Lin/chc-comp24-LIA-Lin-189.yml LIA-Lin/chc-comp24-LIA-Lin-190.yml LIA-Lin/chc-comp24-LIA-Lin-191.yml LIA-Lin/chc-comp24-LIA-Lin-192.yml LIA-Lin/chc-comp24-LIA-Lin-193.yml LIA-Lin/chc-comp24-LIA-Lin-194.yml LIA-Lin/chc-comp24-LIA-Lin-195.yml LIA-Lin/chc-comp24-LIA-Lin-196.yml LIA-Lin/chc-comp24-LIA-Lin-197.yml LIA-Lin/chc-comp24-LIA-Lin-198.yml LIA-Lin/chc-comp24-LIA-Lin-199.yml LIA-Lin/chc-comp24-LIA-Lin-200.yml LIA-Lin/chc-comp24-LIA-Lin-201.yml LIA-Lin/chc-comp24-LIA-Lin-202.yml LIA-Lin/chc-comp24-LIA-Lin-203.yml LIA-Lin/chc-comp24-LIA-Lin-204.yml LIA-Lin/chc-comp24-LIA-Lin-205.yml LIA-Lin/chc-comp24-LIA-Lin-206.yml LIA-Lin/chc-comp24-LIA-Lin-207.yml LIA-Lin/chc-comp24-LIA-Lin-208.yml LIA-Lin/chc-comp24-LIA-Lin-209.yml LIA-Lin/chc-comp24-LIA-Lin-210.yml LIA-Lin/chc-comp24-LIA-Lin-211.yml LIA-Lin/chc-comp24-LIA-Lin-212.yml LIA-Lin/chc-comp24-LIA-Lin-213.yml LIA-Lin/chc-comp24-LIA-Lin-214.yml LIA-Lin/chc-comp24-LIA-Lin-215.yml LIA-Lin/chc-comp24-LIA-Lin-216.yml LIA-Lin/chc-comp24-LIA-Lin-217.yml LIA-Lin/chc-comp24-LIA-Lin-218.yml LIA-Lin/chc-comp24-LIA-Lin-219.yml LIA-Lin/chc-comp24-LIA-Lin-220.yml LIA-Lin/chc-comp24-LIA-Lin-221.yml LIA-Lin/chc-comp24-LIA-Lin-222.yml LIA-Lin/chc-comp24-LIA-Lin-223.yml LIA-Lin/chc-comp24-LIA-Lin-224.yml LIA-Lin/chc-comp24-LIA-Lin-225.yml LIA-Lin/chc-comp24-LIA-Lin-226.yml LIA-Lin/chc-comp24-LIA-Lin-227.yml LIA-Lin/chc-comp24-LIA-Lin-228.yml LIA-Lin/chc-comp24-LIA-Lin-229.yml LIA-Lin/chc-comp24-LIA-Lin-230.yml LIA-Lin/chc-comp24-LIA-Lin-231.yml LIA-Lin/chc-comp24-LIA-Lin-232.yml LIA-Lin/chc-comp24-LIA-Lin-233.yml LIA-Lin/chc-comp24-LIA-Lin-234.yml LIA-Lin/chc-comp24-LIA-Lin-235.yml LIA-Lin/chc-comp24-LIA-Lin-236.yml LIA-Lin/chc-comp24-LIA-Lin-237.yml LIA-Lin/chc-comp24-LIA-Lin-238.yml LIA-Lin/chc-comp24-LIA-Lin-239.yml LIA-Lin/chc-comp24-LIA-Lin-240.yml LIA-Lin/chc-comp24-LIA-Lin-241.yml LIA-Lin/chc-comp24-LIA-Lin-242.yml LIA-Lin/chc-comp24-LIA-Lin-243.yml LIA-Lin/chc-comp24-LIA-Lin-244.yml LIA-Lin/chc-comp24-LIA-Lin-245.yml LIA-Lin/chc-comp24-LIA-Lin-246.yml LIA-Lin/chc-comp24-LIA-Lin-247.yml LIA-Lin/chc-comp24-LIA-Lin-248.yml LIA-Lin/chc-comp24-LIA-Lin-249.yml LIA-Lin/chc-comp24-LIA-Lin-250.yml LIA-Lin/chc-comp24-LIA-Lin-251.yml LIA-Lin/chc-comp24-LIA-Lin-252.yml LIA-Lin/chc-comp24-LIA-Lin-253.yml LIA-Lin/chc-comp24-LIA-Lin-254.yml LIA-Lin/chc-comp24-LIA-Lin-255.yml LIA-Lin/chc-comp24-LIA-Lin-256.yml LIA-Lin/chc-comp24-LIA-Lin-257.yml LIA-Lin/chc-comp24-LIA-Lin-258.yml LIA-Lin/chc-comp24-LIA-Lin-259.yml LIA-Lin/chc-comp24-LIA-Lin-260.yml LIA-Lin/chc-comp24-LIA-Lin-261.yml LIA-Lin/chc-comp24-LIA-Lin-262.yml LIA-Lin/chc-comp24-LIA-Lin-263.yml LIA-Lin/chc-comp24-LIA-Lin-264.yml LIA-Lin/chc-comp24-LIA-Lin-265.yml unknown 1.10 1.09 apollon055 LIA-Lin/chc-comp24-LIA-Lin-266.yml LIA-Lin/chc-comp24-LIA-Lin-267.yml LIA-Lin/chc-comp24-LIA-Lin-268.yml LIA-Lin/chc-comp24-LIA-Lin-269.yml LIA-Lin/chc-comp24-LIA-Lin-270.yml LIA-Lin/chc-comp24-LIA-Lin-271.yml LIA-Lin/chc-comp24-LIA-Lin-272.yml LIA-Lin/chc-comp24-LIA-Lin-273.yml LIA-Lin/chc-comp24-LIA-Lin-274.yml LIA-Lin/chc-comp24-LIA-Lin-275.yml LIA-Lin/chc-comp24-LIA-Lin-276.yml LIA-Lin/chc-comp24-LIA-Lin-277.yml LIA-Lin/chc-comp24-LIA-Lin-278.yml LIA-Lin/chc-comp24-LIA-Lin-279.yml LIA-Lin/chc-comp24-LIA-Lin-280.yml LIA-Lin/chc-comp24-LIA-Lin-281.yml LIA-Lin/chc-comp24-LIA-Lin-282.yml LIA-Lin/chc-comp24-LIA-Lin-283.yml LIA-Lin/chc-comp24-LIA-Lin-284.yml LIA-Lin/chc-comp24-LIA-Lin-285.yml LIA-Lin/chc-comp24-LIA-Lin-286.yml LIA-Lin/chc-comp24-LIA-Lin-287.yml LIA-Lin/chc-comp24-LIA-Lin-288.yml LIA-Lin/chc-comp24-LIA-Lin-289.yml LIA-Lin/chc-comp24-LIA-Lin-290.yml LIA-Lin/chc-comp24-LIA-Lin-291.yml LIA-Lin/chc-comp24-LIA-Lin-292.yml LIA-Lin/chc-comp24-LIA-Lin-293.yml LIA-Lin/chc-comp24-LIA-Lin-294.yml LIA-Lin/chc-comp24-LIA-Lin-295.yml LIA-Lin/chc-comp24-LIA-Lin-296.yml LIA-Lin/chc-comp24-LIA-Lin-297.yml LIA-Lin/chc-comp24-LIA-Lin-298.yml LIA-Lin/chc-comp24-LIA-Lin-299.yml LIA-Lin/chc-comp24-LIA-Lin-300.yml LIA/chc-comp24-LIA-001.yml LIA/chc-comp24-LIA-002.yml LIA/chc-comp24-LIA-003.yml LIA/chc-comp24-LIA-004.yml LIA/chc-comp24-LIA-005.yml LIA/chc-comp24-LIA-006.yml LIA/chc-comp24-LIA-007.yml unknown 1.25 1.24 apollon012 LIA/chc-comp24-LIA-008.yml LIA/chc-comp24-LIA-009.yml LIA/chc-comp24-LIA-010.yml LIA/chc-comp24-LIA-011.yml LIA/chc-comp24-LIA-012.yml LIA/chc-comp24-LIA-013.yml LIA/chc-comp24-LIA-014.yml LIA/chc-comp24-LIA-015.yml LIA/chc-comp24-LIA-016.yml LIA/chc-comp24-LIA-017.yml LIA/chc-comp24-LIA-018.yml LIA/chc-comp24-LIA-019.yml LIA/chc-comp24-LIA-020.yml LIA/chc-comp24-LIA-021.yml LIA/chc-comp24-LIA-022.yml LIA/chc-comp24-LIA-023.yml LIA/chc-comp24-LIA-024.yml LIA/chc-comp24-LIA-025.yml LIA/chc-comp24-LIA-026.yml LIA/chc-comp24-LIA-027.yml LIA/chc-comp24-LIA-028.yml LIA/chc-comp24-LIA-029.yml LIA/chc-comp24-LIA-030.yml LIA/chc-comp24-LIA-031.yml LIA/chc-comp24-LIA-032.yml unknown 1.10 1.10 apollon001 LIA/chc-comp24-LIA-033.yml LIA/chc-comp24-LIA-034.yml LIA/chc-comp24-LIA-035.yml LIA/chc-comp24-LIA-036.yml LIA/chc-comp24-LIA-037.yml LIA/chc-comp24-LIA-038.yml LIA/chc-comp24-LIA-039.yml LIA/chc-comp24-LIA-040.yml LIA/chc-comp24-LIA-041.yml LIA/chc-comp24-LIA-042.yml LIA/chc-comp24-LIA-043.yml LIA/chc-comp24-LIA-044.yml LIA/chc-comp24-LIA-045.yml LIA/chc-comp24-LIA-046.yml LIA/chc-comp24-LIA-047.yml LIA/chc-comp24-LIA-048.yml LIA/chc-comp24-LIA-049.yml LIA/chc-comp24-LIA-050.yml unknown 1.09 1.09 apollon001 LIA/chc-comp24-LIA-051.yml LIA/chc-comp24-LIA-052.yml LIA/chc-comp24-LIA-053.yml LIA/chc-comp24-LIA-054.yml LIA/chc-comp24-LIA-055.yml LIA/chc-comp24-LIA-056.yml LIA/chc-comp24-LIA-057.yml LIA/chc-comp24-LIA-058.yml LIA/chc-comp24-LIA-059.yml unknown 1.15 1.14 apollon055 LIA/chc-comp24-LIA-060.yml LIA/chc-comp24-LIA-061.yml LIA/chc-comp24-LIA-062.yml LIA/chc-comp24-LIA-063.yml LIA/chc-comp24-LIA-064.yml unknown 1.10 1.10 apollon001 LIA/chc-comp24-LIA-065.yml LIA/chc-comp24-LIA-066.yml LIA/chc-comp24-LIA-067.yml LIA/chc-comp24-LIA-068.yml LIA/chc-comp24-LIA-069.yml LIA/chc-comp24-LIA-070.yml LIA/chc-comp24-LIA-071.yml LIA/chc-comp24-LIA-072.yml LIA/chc-comp24-LIA-073.yml LIA/chc-comp24-LIA-074.yml LIA/chc-comp24-LIA-075.yml LIA/chc-comp24-LIA-076.yml LIA/chc-comp24-LIA-077.yml LIA/chc-comp24-LIA-078.yml LIA/chc-comp24-LIA-079.yml LIA/chc-comp24-LIA-080.yml LIA/chc-comp24-LIA-081.yml LIA/chc-comp24-LIA-082.yml LIA/chc-comp24-LIA-083.yml LIA/chc-comp24-LIA-084.yml LIA/chc-comp24-LIA-085.yml LIA/chc-comp24-LIA-086.yml LIA/chc-comp24-LIA-087.yml LIA/chc-comp24-LIA-088.yml LIA/chc-comp24-LIA-089.yml LIA/chc-comp24-LIA-090.yml LIA/chc-comp24-LIA-091.yml LIA/chc-comp24-LIA-092.yml LIA/chc-comp24-LIA-093.yml LIA/chc-comp24-LIA-094.yml LIA/chc-comp24-LIA-095.yml LIA/chc-comp24-LIA-096.yml LIA/chc-comp24-LIA-097.yml LIA/chc-comp24-LIA-098.yml LIA/chc-comp24-LIA-099.yml LIA/chc-comp24-LIA-100.yml LIA/chc-comp24-LIA-101.yml LIA/chc-comp24-LIA-102.yml LIA/chc-comp24-LIA-103.yml LIA/chc-comp24-LIA-104.yml LIA/chc-comp24-LIA-105.yml LIA/chc-comp24-LIA-106.yml LIA/chc-comp24-LIA-107.yml LIA/chc-comp24-LIA-108.yml LIA/chc-comp24-LIA-109.yml LIA/chc-comp24-LIA-110.yml LIA/chc-comp24-LIA-111.yml LIA/chc-comp24-LIA-112.yml LIA/chc-comp24-LIA-113.yml LIA/chc-comp24-LIA-114.yml LIA/chc-comp24-LIA-115.yml LIA/chc-comp24-LIA-116.yml LIA/chc-comp24-LIA-117.yml LIA/chc-comp24-LIA-118.yml LIA/chc-comp24-LIA-119.yml LIA/chc-comp24-LIA-120.yml unknown 1.21 1.20 apollon012 LIA/chc-comp24-LIA-121.yml LIA/chc-comp24-LIA-122.yml LIA/chc-comp24-LIA-123.yml LIA/chc-comp24-LIA-124.yml LIA/chc-comp24-LIA-125.yml LIA/chc-comp24-LIA-126.yml LIA/chc-comp24-LIA-127.yml LIA/chc-comp24-LIA-128.yml LIA/chc-comp24-LIA-129.yml LIA/chc-comp24-LIA-130.yml LIA/chc-comp24-LIA-131.yml LIA/chc-comp24-LIA-132.yml LIA/chc-comp24-LIA-133.yml LIA/chc-comp24-LIA-134.yml LIA/chc-comp24-LIA-135.yml LIA/chc-comp24-LIA-136.yml LIA/chc-comp24-LIA-137.yml LIA/chc-comp24-LIA-138.yml LIA/chc-comp24-LIA-139.yml LIA/chc-comp24-LIA-140.yml LIA/chc-comp24-LIA-141.yml LIA/chc-comp24-LIA-142.yml LIA/chc-comp24-LIA-143.yml LIA/chc-comp24-LIA-144.yml LIA/chc-comp24-LIA-145.yml LIA/chc-comp24-LIA-146.yml unknown 1.09 1.09 apollon001 LIA/chc-comp24-LIA-147.yml LIA/chc-comp24-LIA-148.yml LIA/chc-comp24-LIA-149.yml LIA/chc-comp24-LIA-150.yml LIA/chc-comp24-LIA-151.yml LIA/chc-comp24-LIA-152.yml LIA/chc-comp24-LIA-153.yml LIA/chc-comp24-LIA-154.yml LIA/chc-comp24-LIA-155.yml LIA/chc-comp24-LIA-156.yml LIA/chc-comp24-LIA-157.yml LIA/chc-comp24-LIA-158.yml LIA/chc-comp24-LIA-159.yml LIA/chc-comp24-LIA-160.yml LIA/chc-comp24-LIA-161.yml LIA/chc-comp24-LIA-162.yml LIA/chc-comp24-LIA-163.yml LIA/chc-comp24-LIA-164.yml LIA/chc-comp24-LIA-165.yml LIA/chc-comp24-LIA-166.yml LIA/chc-comp24-LIA-167.yml LIA/chc-comp24-LIA-168.yml LIA/chc-comp24-LIA-169.yml LIA/chc-comp24-LIA-170.yml LIA/chc-comp24-LIA-171.yml LIA/chc-comp24-LIA-172.yml unknown 1.25 1.25 apollon012 LIA/chc-comp24-LIA-173.yml LIA/chc-comp24-LIA-174.yml LIA/chc-comp24-LIA-175.yml LIA/chc-comp24-LIA-176.yml LIA/chc-comp24-LIA-177.yml LIA/chc-comp24-LIA-178.yml LIA/chc-comp24-LIA-179.yml LIA/chc-comp24-LIA-180.yml LIA/chc-comp24-LIA-181.yml LIA/chc-comp24-LIA-182.yml LIA/chc-comp24-LIA-183.yml LIA/chc-comp24-LIA-184.yml LIA/chc-comp24-LIA-185.yml unknown 1.08 1.07 apollon055 LIA/chc-comp24-LIA-186.yml LIA/chc-comp24-LIA-187.yml LIA/chc-comp24-LIA-188.yml LIA/chc-comp24-LIA-189.yml LIA/chc-comp24-LIA-190.yml LIA/chc-comp24-LIA-191.yml LIA/chc-comp24-LIA-192.yml LIA/chc-comp24-LIA-193.yml unknown 1.07 1.07 apollon062 LIA/chc-comp24-LIA-194.yml LIA/chc-comp24-LIA-195.yml LIA/chc-comp24-LIA-196.yml LIA/chc-comp24-LIA-197.yml LIA/chc-comp24-LIA-198.yml LIA/chc-comp24-LIA-199.yml LIA/chc-comp24-LIA-200.yml LIA/chc-comp24-LIA-201.yml LIA/chc-comp24-LIA-202.yml LIA/chc-comp24-LIA-203.yml LIA/chc-comp24-LIA-204.yml unknown 1.45 1.44 apollon012 LIA/chc-comp24-LIA-205.yml LIA/chc-comp24-LIA-206.yml LIA/chc-comp24-LIA-207.yml LIA/chc-comp24-LIA-208.yml LIA/chc-comp24-LIA-209.yml LIA/chc-comp24-LIA-210.yml LIA/chc-comp24-LIA-211.yml LIA/chc-comp24-LIA-212.yml LIA/chc-comp24-LIA-213.yml LIA/chc-comp24-LIA-214.yml LIA/chc-comp24-LIA-215.yml LIA/chc-comp24-LIA-216.yml LIA/chc-comp24-LIA-217.yml LIA/chc-comp24-LIA-218.yml LIA/chc-comp24-LIA-219.yml LIA/chc-comp24-LIA-220.yml LIA/chc-comp24-LIA-221.yml LIA/chc-comp24-LIA-222.yml LIA/chc-comp24-LIA-223.yml LIA/chc-comp24-LIA-224.yml LIA/chc-comp24-LIA-225.yml LIA/chc-comp24-LIA-226.yml LIA/chc-comp24-LIA-227.yml LIA/chc-comp24-LIA-228.yml LIA/chc-comp24-LIA-229.yml LIA/chc-comp24-LIA-230.yml LIA/chc-comp24-LIA-231.yml LIA/chc-comp24-LIA-232.yml LIA/chc-comp24-LIA-233.yml LIA/chc-comp24-LIA-234.yml LIA/chc-comp24-LIA-235.yml unknown 1.17 1.17 apollon002 LIA/chc-comp24-LIA-236.yml LIA/chc-comp24-LIA-237.yml LIA/chc-comp24-LIA-238.yml LIA/chc-comp24-LIA-239.yml LIA/chc-comp24-LIA-240.yml LIA/chc-comp24-LIA-241.yml LIA/chc-comp24-LIA-242.yml LIA/chc-comp24-LIA-243.yml LIA/chc-comp24-LIA-244.yml LIA/chc-comp24-LIA-245.yml LIA/chc-comp24-LIA-246.yml LIA/chc-comp24-LIA-247.yml LIA/chc-comp24-LIA-248.yml LIA/chc-comp24-LIA-249.yml LIA/chc-comp24-LIA-250.yml LIA/chc-comp24-LIA-251.yml unknown 1.30 1.29 apollon125 LIA/chc-comp24-LIA-252.yml LIA/chc-comp24-LIA-253.yml LIA/chc-comp24-LIA-254.yml LIA/chc-comp24-LIA-255.yml LIA/chc-comp24-LIA-256.yml LIA/chc-comp24-LIA-257.yml LIA/chc-comp24-LIA-258.yml LIA/chc-comp24-LIA-259.yml LIA/chc-comp24-LIA-260.yml LIA/chc-comp24-LIA-261.yml LIA/chc-comp24-LIA-262.yml LIA/chc-comp24-LIA-263.yml LIA/chc-comp24-LIA-264.yml LIA/chc-comp24-LIA-265.yml LIA/chc-comp24-LIA-266.yml LIA/chc-comp24-LIA-267.yml LIA/chc-comp24-LIA-268.yml LIA/chc-comp24-LIA-269.yml LIA/chc-comp24-LIA-270.yml LIA/chc-comp24-LIA-271.yml LIA/chc-comp24-LIA-272.yml unknown 1.23 1.22 apollon002 LIA/chc-comp24-LIA-273.yml LIA/chc-comp24-LIA-274.yml unknown 1.07 1.07 apollon001 LIA/chc-comp24-LIA-275.yml LIA/chc-comp24-LIA-276.yml LIA/chc-comp24-LIA-277.yml LIA/chc-comp24-LIA-278.yml LIA/chc-comp24-LIA-279.yml LIA/chc-comp24-LIA-280.yml LIA/chc-comp24-LIA-281.yml LIA/chc-comp24-LIA-282.yml LIA/chc-comp24-LIA-283.yml LIA/chc-comp24-LIA-284.yml LIA/chc-comp24-LIA-285.yml LIA/chc-comp24-LIA-286.yml LIA/chc-comp24-LIA-287.yml LIA/chc-comp24-LIA-288.yml LIA/chc-comp24-LIA-289.yml LIA/chc-comp24-LIA-290.yml LIA/chc-comp24-LIA-291.yml LIA/chc-comp24-LIA-292.yml LIA/chc-comp24-LIA-293.yml LIA/chc-comp24-LIA-294.yml unknown 1.25 1.24 apollon077 LIA/chc-comp24-LIA-295.yml LIA/chc-comp24-LIA-296.yml LIA/chc-comp24-LIA-297.yml LIA/chc-comp24-LIA-298.yml LIA/chc-comp24-LIA-299.yml LIA/chc-comp24-LIA-300.yml --------------------------------------------------------------------------------------------------- Run set 1 done None 26.00 - Statistics: 27 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 27