<runscript output="output">
    <machine name="precision-3480" cpu="i7-1370P" memory="32GB"/>
    <machine name="kr-node" cpu="E3-1260L" memory="32GB"/>
    <config name="default" template="templates/seq-generic.sh"/>
    <system name="clingo" version="6.0.0" measures="clasp" config="default" cmdline="--stats -q">
        <setting name="gcc-opt"          cmdline="gcc-opt"          tag="benchmark"/>
        <setting name="gcc-lto"          cmdline="gcc-lto"          tag="benchmark"/>
        <setting name="gcc-pgo"          cmdline="gcc-pgo"          tag="benchmark"/>
        <setting name="gcc-tbbmalloc"    cmdline="gcc-tbbmalloc"    tag="benchmark"/>
        <setting name="gcc-jemalloc"     cmdline="gcc-jemalloc"     tag="benchmark"/>
        <setting name="gcc-mimalloc"     cmdline="gcc-mimalloc"     tag="benchmark"/>
        <setting name="gcc-tcmalloc"     cmdline="gcc-tcmalloc"     tag="benchmark"/>
        <setting name="gcc-instrument"   cmdline="gcc-instrument"   tag="instrument"/>
        <setting name="clang-opt"        cmdline="clang-opt"        tag="benchmark"/>
        <setting name="clang-lto"        cmdline="clang-lto"        tag="benchmark"/>
        <setting name="clang-pgo"        cmdline="clang-pgo"        tag="benchmark"/>
        <setting name="clang-tbbmalloc"  cmdline="clang-tbbmalloc"  tag="benchmark"/>
        <setting name="clang-jemalloc"   cmdline="clang-jemalloc"   tag="benchmark"/>
        <setting name="clang-mimalloc"   cmdline="clang-mimalloc"   tag="benchmark"/>
        <setting name="clang-tcmalloc"   cmdline="clang-tcmalloc"   tag="benchmark"/>
        <setting name="clang-instrument" cmdline="clang-instrument" tag="instrument"/>
    </system>
    <seqjob name="instrument" timeout="600s" runs="1" parallel="1"/>
    <distjob name="benchmark" timeout="1200s" runs="1" script_mode="timeout" walltime="30h" cpt="8" partition="kr"/>
    <benchmark name="clingo-instrument">
        <files path="benchmarks">
            <encoding file="benchmarks/graceful-graphs/encoding.lp"/>
            <add file="graceful-graphs/0002-triple_cone_6-24-1.lp"/>
            <add file="graceful-graphs/0044-prism_6_3-30-1.lp"/>
            <add file="graceful-graphs/0050-prism_7_3-35-1.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/knight-tour/encoding.lp"/>
            <add file="knight-tour/44-knight_tour-40-0.lp"/>
            <add file="knight-tour/54-knight_tour-40-0.lp"/>
            <add file="knight-tour/67-knight_tour-45-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/valves-location/encoding.lp"/>
            <add file="valves-location/0004-ValvesLocationProblem-711-0.lp"/>
            <add file="valves-location/0005-ValvesLocationProblem-710-0.lp"/>
            <add file="valves-location/0006-ValvesLocationProblem-450-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/combined-configuration/encoding.lp"/>
            <add file="combined-configuration/000116_combined_configuration_problem-0-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/spack/encoding.lp"/>
            <add file="spack/01-ascent.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/graph-coloring/encoding.lp"/>
            <add file="graph-coloring/0006-graph_colouring-125-0.lp"/>
            <add file="graph-coloring/0027-graph_colouring-135-0.lp"/>
            <add file="graph-coloring/0032-graph_colouring-140-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/labyrinth/encoding.lp"/>
            <add file="labyrinth/0008-labyrinth-11-0.lp"/>
            <add file="labyrinth/0010-labyrinth-13-0.lp"/>
            <add file="labyrinth/0015-labyrinth-11-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/video-streaming/encoding.lp"/>
            <add file="video-streaming/23-multimedia-0-0.lp"/>
            <add file="video-streaming/24-multimedia-0-0.lp"/>
            <add file="video-streaming/25-multimedia-0-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/no-mystery/encoding.lp"/>
            <add file="no-mystery/0009-nomystery-63-0.lp"/>
            <add file="no-mystery/0031-nomystery-52-0.lp"/>
            <add file="no-mystery/0033-nomystery-32-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/abstract-dialectical-frameworks/encoding.lp"/>
            <add file="abstract-dialectical-frameworks/0012-adf_wf-10-8.lp"/>
            <add file="abstract-dialectical-frameworks/0037-adf_wf-10-8.lp"/>
            <add file="abstract-dialectical-frameworks/0041-adf_wf-15-8.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/sokoban/encoding.lp"/>
            <add file="sokoban/0069-sokoban-30-1.lp"/>
            <add file="sokoban/0091-sokoban-90-1.lp"/>
            <add file="sokoban/0093-sokoban-120-1.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/minimal-diagnosis/encoding.lp"/>
            <add file="minimal-diagnosis/0005-minimal_diagnosis-149-0.lp"/>
            <add file="minimal-diagnosis/0044-minimal_diagnosis-174-0.lp"/>
            <add file="minimal-diagnosis/0069-minimal_diagnosis-199-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/qualitative-spatial-reasoning/encoding.lp"/>
            <add file="qualitative-spatial-reasoning/0002-ia_dsj-0-0.lp"/>
            <add file="qualitative-spatial-reasoning/0006-ia_dsj-0-0.lp"/>
            <add file="qualitative-spatial-reasoning/0011-ia_dsj-0-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/ricochet-robots/encoding.lp"/>
            <add file="ricochet-robots/038-ricochetrobot-13-0.lp"/>
            <add file="ricochet-robots/046-ricochetrobot-13-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/crossing-minimization/encoding.lp"/>
            <add file="crossing-minimization/0002-crossing_minimization-9-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/visit-all/encoding.lp"/>
            <add file="visit-all/0009-visitall-36-1.lp"/>
            <add file="visit-all/0010-visitall-36-1.lp"/>
            <add file="visit-all/0032-visitall-39-1.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/incremental-scheduling/encoding.lp"/>
            <add file="incremental-scheduling/0004-incremental_scheduling-12990-0.lp"/>
            <add file="incremental-scheduling/0013-incremental_scheduling-12610-0.lp"/>
            <add file="incremental-scheduling/0020-incremental_scheduling-12820-0.lp"/>
        </files>
    </benchmark>
    <benchmark name="clingo">
        <files path="benchmarks">
            <encoding file="benchmarks/graceful-graphs/encoding.lp"/>
            <add file="graceful-graphs/0002-triple_cone_6-24-1.lp"/>
            <add file="graceful-graphs/0050-prism_7_3-35-1.lp"/>
            <add file="graceful-graphs/0044-prism_6_3-30-1.lp"/>
            <add file="graceful-graphs/0024-suspended_prism_5_3-40-1.lp"/>
            <add file="graceful-graphs/0048-triple_wheel_8-48-1.lp"/>
            <add file="graceful-graphs/0001-quadruple_cone_5-25-1.lp"/>
            <add file="graceful-graphs/0004-double_cone_6-18-1.lp"/>
            <add file="graceful-graphs/0026-suspended_prism_7_2-35-1.lp"/>
            <add file="graceful-graphs/0007-windmill_5_2-20-1.lp"/>
            <add file="graceful-graphs/0013-clique_clique_3_3-18-1.lp"/>
            <add file="graceful-graphs/0035-suspended_prism_5_4-55-1.lp"/>
            <add file="graceful-graphs/0014-clique_clique_4_3-30-1.lp"/>
            <add file="graceful-graphs/0020-double_cone_12-36-1.lp"/>
            <add file="graceful-graphs/0045-triple_wheel_7-42-1.lp"/>
            <add file="graceful-graphs/0022-suspended_prism_6_2-30-1.lp"/>
            <add file="graceful-graphs/0038-clique_path_4_5-46-1.lp"/>
            <add file="graceful-graphs/0042-clique_path_4_6-56-1.lp"/>
            <add file="graceful-graphs/0043-doughnut_3_7-42-1.lp"/>
            <add file="graceful-graphs/0047-doughnut_4_6-48-1.lp"/>
            <add file="graceful-graphs/0059-prism_5_6-55-1.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/knight-tour/encoding.lp"/>
            <add file="knight-tour/227-knight_tour-85-0.lp"/>
            <add file="knight-tour/214-knight_tour-80-0.lp"/>
            <add file="knight-tour/237-knight_tour-85-0.lp"/>
            <add file="knight-tour/44-knight_tour-40-0.lp"/>
            <add file="knight-tour/92-knight_tour-50-0.lp"/>
            <add file="knight-tour/111-knight_tour-55-0.lp"/>
            <add file="knight-tour/114-knight_tour-55-0.lp"/>
            <add file="knight-tour/117-knight_tour-55-0.lp"/>
            <add file="knight-tour/130-knight_tour-60-0.lp"/>
            <add file="knight-tour/282-knight_tour-100-0.lp"/>
            <add file="knight-tour/296-knight_tour-100-0.lp"/>
            <add file="knight-tour/173-knight_tour-70-0.lp"/>
            <add file="knight-tour/186-knight_tour-75-0.lp"/>
            <add file="knight-tour/104-knight_tour-55-0.lp"/>
            <add file="knight-tour/105-knight_tour-55-0.lp"/>
            <add file="knight-tour/106-knight_tour-55-0.lp"/>
            <add file="knight-tour/108-knight_tour-55-0.lp"/>
            <add file="knight-tour/206-knight_tour-80-0.lp"/>
            <add file="knight-tour/318-knightTour_58_1.lp"/>
            <add file="knight-tour/319-knightTour_58_2.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/stable-mariage/encoding.lp"/>
            <add file="stable-mariage/35-stable_marriage-0-0.lp"/>
            <add file="stable-mariage/4-stable_marriage-0-0.lp"/>
            <add file="stable-mariage/53-stable_marriage-0-0.lp"/>
            <add file="stable-mariage/12-stable_marriage-0-0.lp"/>
            <add file="stable-mariage/24-stable_marriage-0-0.lp"/>
            <add file="stable-mariage/55-stable_marriage-0-0.lp"/>
            <add file="stable-mariage/56-stable_marriage-0-0.lp"/>
            <add file="stable-mariage/31-stable_marriage-0-0.lp"/>
            <add file="stable-mariage/37-stable_marriage-0-0.lp"/>
            <add file="stable-mariage/23-stable_marriage-0-0.lp"/>
            <add file="stable-mariage/18-stable_marriage-0-0.lp"/>
            <add file="stable-mariage/41-stable_marriage-0-0.lp"/>
            <add file="stable-mariage/61-stable_marriage-0-0.lp"/>
            <add file="stable-mariage/63-stable_marriage-0-0.lp"/>
            <add file="stable-mariage/72-stable_marriage-0-0.lp"/>
            <add file="stable-mariage/73-stable_marriage-0-0.lp"/>
            <add file="stable-mariage/74-stable_marriage-0-0.lp"/>
            <add file="stable-mariage/7-stable_marriage-0-0.lp"/>
            <add file="stable-mariage/8-stable_marriage-0-0.lp"/>
            <add file="stable-mariage/9-stable_marriage-0-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/valves-location/encoding.lp"/>
            <add file="valves-location/0006-ValvesLocationProblem-450-0.lp"/>
            <add file="valves-location/0007-ValvesLocationProblem-2053-0.lp"/>
            <add file="valves-location/0013-ValvesLocationProblem-450-0.lp"/>
            <add file="valves-location/0004-ValvesLocationProblem-711-0.lp"/>
            <add file="valves-location/0005-ValvesLocationProblem-710-0.lp"/>
            <add file="valves-location/0015-ValvesLocationProblem-166-0.lp"/>
            <add file="valves-location/0024-ValvesLocationProblem-210-0.lp"/>
            <add file="valves-location/0025-ValvesLocationProblem-466-0.lp"/>
            <add file="valves-location/0027-ValvesLocationProblem-711-0.lp"/>
            <add file="valves-location/0031-ValvesLocationProblem-166-0.lp"/>
            <add file="valves-location/0035-ValvesLocationProblem-711-0.lp"/>
            <add file="valves-location/0039-ValvesLocationProblem-166-0.lp"/>
            <add file="valves-location/0049-ValvesLocationProblem-466-0.lp"/>
            <add file="valves-location/0055-ValvesLocationProblem-166-0.lp"/>
            <add file="valves-location/0304-ValvesLocationProblem-210-0.lp"/>
            <add file="valves-location/0028-ValvesLocationProblem-710-0.lp"/>
            <add file="valves-location/0128-ValvesLocationProblem-210-0.lp"/>
            <add file="valves-location/0143-ValvesLocationProblem-166-0.lp"/>
            <add file="valves-location/0157-ValvesLocationProblem-450-0.lp"/>
            <add file="valves-location/0163-ValvesLocationProblem-711-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/combined-configuration/encoding.lp"/>
            <add file="combined-configuration/000116_combined_configuration_problem-0-0.lp"/>
            <add file="combined-configuration/000121_combined_configuration_problem-0-0.lp"/>
            <add file="combined-configuration/000306_18_combined_configuration_problem-0-0.lp"/>
            <add file="combined-configuration/000306_16_combined_configuration_problem-0-0.lp"/>
            <add file="combined-configuration/000306_1_combined_configuration_problem-0-0.lp"/>
            <add file="combined-configuration/000306_2_combined_configuration_problem-0-0.lp"/>
            <add file="combined-configuration/000306_4_combined_configuration_problem-0-0.lp"/>
            <add file="combined-configuration/000306_7_combined_configuration_problem-0-0.lp"/>
            <add file="combined-configuration/000306_8_combined_configuration_problem-0-0.lp"/>
            <add file="combined-configuration/000306_9_combined_configuration_problem-0-0.lp"/>
            <add file="combined-configuration/000306_combined_configuration_problem-0-0.lp"/>
            <add file="combined-configuration/000237_14_combined_configuration_problem-0-0.lp"/>
            <add file="combined-configuration/000257_12_combined_configuration_problem-0-0.lp"/>
            <add file="combined-configuration/000306_17_combined_configuration_problem-0-0.lp"/>
            <add file="combined-configuration/000306_20_combined_configuration_problem-0-0.lp"/>
            <add file="combined-configuration/001004_combined_configuration_problem-0-0.lp"/>
            <add file="combined-configuration/grid_000841_combined_configuration_problem-0-0.lp"/>
            <add file="combined-configuration/grid_000900_combined_configuration_problem-0-0.lp"/>
            <add file="combined-configuration/grid_000961_combined_configuration_problem-0-0.lp"/>
            <add file="combined-configuration/grid_001024_combined_configuration_problem-0-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/maximal-clique/encoding.lp"/>
            <add file="maximal-clique/39-Maximal_Clique-1600-0.lp"/>
            <add file="maximal-clique/51-Maximal_Clique-1900-0.lp"/>
            <add file="maximal-clique/12-Maximal_Clique-900-0.lp"/>
            <add file="maximal-clique/14-Maximal_Clique-1000-0.lp"/>
            <add file="maximal-clique/16-Maximal_Clique-1000-0.lp"/>
            <add file="maximal-clique/17-Maximal_Clique-1100-0.lp"/>
            <add file="maximal-clique/22-Maximal_Clique-1200-0.lp"/>
            <add file="maximal-clique/26-Maximal_Clique-1300-0.lp"/>
            <add file="maximal-clique/28-Maximal_Clique-1300-0.lp"/>
            <add file="maximal-clique/5-Maximal_Clique-800-0.lp"/>
            <add file="maximal-clique/101-Maximal_Clique-3200-0.lp"/>
            <add file="maximal-clique/112-Maximal_Clique-3400-0.lp"/>
            <add file="maximal-clique/35-Maximal_Clique-1500-0.lp"/>
            <add file="maximal-clique/45-Maximal_Clique-1800-0.lp"/>
            <add file="maximal-clique/56-Maximal_Clique-2000-0.lp"/>
            <add file="maximal-clique/62-Maximal_Clique-2200-0.lp"/>
            <add file="maximal-clique/63-Maximal_Clique-2200-0.lp"/>
            <add file="maximal-clique/65-Maximal_Clique-2300-0.lp"/>
            <add file="maximal-clique/78-Maximal_Clique-2600-0.lp"/>
            <add file="maximal-clique/96-Maximal_Clique-3000-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/spack/encoding.lp"/>
            <add file="spack/01-ascent.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/complex-optimization/encoding.lp"/>
            <add file="complex-optimization/0010-ComplexOPTjnh15cnf0246-0-0.lp"/>
            <add file="complex-optimization/0011-ComplexOPTjnh16cnf0246-0-0.lp"/>
            <add file="complex-optimization/0013-ComplexOPTjnh19cnf0246-0-0.lp"/>
            <add file="complex-optimization/0014-ComplexOPTjnh202cnf0246-0-0.lp"/>
            <add file="complex-optimization/0015-ComplexOPTjnh206cnf0246-0-0.lp"/>
            <add file="complex-optimization/0016-ComplexOPTjnh208cnf0246-0-0.lp"/>
            <add file="complex-optimization/0017-ComplexOPTjnh20cnf0246-0-0.lp"/>
            <add file="complex-optimization/0018-ComplexOPTjnh211cnf0246-0-0.lp"/>
            <add file="complex-optimization/0019-ComplexOPTjnh214cnf0246-0-0.lp"/>
            <add file="complex-optimization/0020-ComplexOPTjnh215cnf0246-0-0.lp"/>
            <add file="complex-optimization/0021-ComplexOPTjnh216cnf0246-0-0.lp"/>
            <add file="complex-optimization/0022-ComplexOPTjnh219cnf0246-0-0.lp"/>
            <add file="complex-optimization/0023-ComplexOPTjnh2cnf0246-0-0.lp"/>
            <add file="complex-optimization/0024-ComplexOPTjnh302cnf0246-0-0.lp"/>
            <add file="complex-optimization/0025-ComplexOPTjnh303cnf0246-0-0.lp"/>
            <add file="complex-optimization/0026-ComplexOPTjnh304cnf0246-0-0.lp"/>
            <add file="complex-optimization/0027-ComplexOPTjnh305cnf0246-0-0.lp"/>
            <add file="complex-optimization/0028-ComplexOPTjnh306cnf0246-0-0.lp"/>
            <add file="complex-optimization/0029-ComplexOPTjnh307cnf0246-0-0.lp"/>
            <add file="complex-optimization/0030-ComplexOPTjnh308cnf0246-0-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/graph-coloring/encoding.lp"/>
            <add file="graph-coloring/0027-graph_colouring-135-0.lp"/>
            <add file="graph-coloring/0006-graph_colouring-125-0.lp"/>
            <add file="graph-coloring/0032-graph_colouring-140-0.lp"/>
            <add file="graph-coloring/0057-graph_colouring-150-0.lp"/>
            <add file="graph-coloring/0015-graph_colouring-130-0.lp"/>
            <add file="graph-coloring/0034-graph_colouring-140-0.lp"/>
            <add file="graph-coloring/0038-graph_colouring-140-0.lp"/>
            <add file="graph-coloring/0043-graph_colouring-145-0.lp"/>
            <add file="graph-coloring/0030-graph_colouring-135-0.lp"/>
            <add file="graph-coloring/0004-graph_colouring-125-0.lp"/>
            <add file="graph-coloring/0020-graph_colouring-130-0.lp"/>
            <add file="graph-coloring/0012-graph_colouring-130-0.lp"/>
            <add file="graph-coloring/0045-graph_colouring-145-0.lp"/>
            <add file="graph-coloring/0051-graph_colouring-150-0.lp"/>
            <add file="graph-coloring/0055-graph_colouring-150-0.lp"/>
            <add file="graph-coloring/0056-graph_colouring-150-0.lp"/>
            <add file="graph-coloring/0058-graph_colouring-150-0.lp"/>
            <add file="graph-coloring/0002-graph_colouring-125-0.lp"/>
            <add file="graph-coloring/0011-graph_colouring-130-0.lp"/>
            <add file="graph-coloring/0052-graph_colouring-150-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/labyrinth/encoding.lp"/>
            <add file="labyrinth/0010-labyrinth-13-0.lp"/>
            <add file="labyrinth/0073-labyrinth-15-0.lp"/>
            <add file="labyrinth/0048-labyrinth-15-0.lp"/>
            <add file="labyrinth/0063-labyrinth-16-0.lp"/>
            <add file="labyrinth/0102-labyrinth-20-0.lp"/>
            <add file="labyrinth/0014-labyrinth-23-0.lp"/>
            <add file="labyrinth/0092-labyrinth-17-0.lp"/>
            <add file="labyrinth/0124-labyrinth-15-0.lp"/>
            <add file="labyrinth/0166-labyrinth-14-0.lp"/>
            <add file="labyrinth/0044-labyrinth-23-0.lp"/>
            <add file="labyrinth/0210-labyrinth-20-0.lp"/>
            <add file="labyrinth/0224-labyrinth-21-0.lp"/>
            <add file="labyrinth/0230-labyrinth-22-0.lp"/>
            <add file="labyrinth/0237-labyrinth-22-0.lp"/>
            <add file="labyrinth/0203-labyrinth-20-0.lp"/>
            <add file="labyrinth/0243-labyrinth-23-0.lp"/>
            <add file="labyrinth/0204-labyrinth-20-0.lp"/>
            <add file="labyrinth/0207-labyrinth-20-0.lp"/>
            <add file="labyrinth/0231-labyrinth-22-0.lp"/>
            <add file="labyrinth/0240-labyrinth-22-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/video-streaming/encoding.lp"/>
            <add file="video-streaming/24-multimedia-0-0.lp"/>
            <add file="video-streaming/25-multimedia-0-0.lp"/>
            <add file="video-streaming/26-multimedia-0-0.lp"/>
            <add file="video-streaming/27-multimedia-0-0.lp"/>
            <add file="video-streaming/28-multimedia-0-0.lp"/>
            <add file="video-streaming/29-multimedia-0-0.lp"/>
            <add file="video-streaming/30-multimedia-0-0.lp"/>
            <add file="video-streaming/31-multimedia-0-0.lp"/>
            <add file="video-streaming/33-multimedia-0-0.lp"/>
            <add file="video-streaming/36-multimedia-0-0.lp"/>
            <add file="video-streaming/37-multimedia-0-0.lp"/>
            <add file="video-streaming/0-multimedia-0-0.lp"/>
            <add file="video-streaming/11-multimedia-0-0.lp"/>
            <add file="video-streaming/12-multimedia-0-0.lp"/>
            <add file="video-streaming/14-multimedia-0-0.lp"/>
            <add file="video-streaming/21-multimedia-0-0.lp"/>
            <add file="video-streaming/22-multimedia-0-0.lp"/>
            <add file="video-streaming/6-multimedia-0-0.lp"/>
            <add file="video-streaming/9-multimedia-0-0.lp"/>
            <add file="video-streaming/8-multimedia-0-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/no-mystery/encoding.lp"/>
            <add file="no-mystery/0009-nomystery-63-0.lp"/>
            <add file="no-mystery/0031-nomystery-52-0.lp"/>
            <add file="no-mystery/0033-nomystery-32-0.lp"/>
            <add file="no-mystery/0045-nomystery-44-0.lp"/>
            <add file="no-mystery/0006-nomystery-55-0.lp"/>
            <add file="no-mystery/0007-nomystery-57-0.lp"/>
            <add file="no-mystery/0010-nomystery-56-0.lp"/>
            <add file="no-mystery/0039-nomystery-42-0.lp"/>
            <add file="no-mystery/0042-nomystery-56-0.lp"/>
            <add file="no-mystery/0036-nomystery-47-0.lp"/>
            <add file="no-mystery/0013-nomystery-77-0.lp"/>
            <add file="no-mystery/0037-nomystery-36-0.lp"/>
            <add file="no-mystery/0016-nomystery-88-0.lp"/>
            <add file="no-mystery/0018-nomystery-73-0.lp"/>
            <add file="no-mystery/0020-nomystery-69-0.lp"/>
            <add file="no-mystery/0021-nomystery-80-0.lp"/>
            <add file="no-mystery/0022-nomystery-129-0.lp"/>
            <add file="no-mystery/0023-nomystery-91-0.lp"/>
            <add file="no-mystery/0025-nomystery-85-0.lp"/>
            <add file="no-mystery/0029-nomystery-123-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/steiner-tree/encoding.lp"/>
            <add file="steiner-tree/fixed-instance26-0-0-399-0.lp"/>
            <add file="steiner-tree/fixed-instance01-0-0-984-0.lp"/>
            <add file="steiner-tree/fixed-instance02-0-0-692-0.lp"/>
            <add file="steiner-tree/fixed-instance09-0-0-692-0.lp"/>
            <add file="steiner-tree/fixed-instance10-0-0-1270-0.lp"/>
            <add file="steiner-tree/fixed-instance11-0-0-1175-0.lp"/>
            <add file="steiner-tree/fixed-instance13-0-0-1362-0.lp"/>
            <add file="steiner-tree/fixed-instance14-0-0-1363-0.lp"/>
            <add file="steiner-tree/fixed-instance17-0-0-1456-0.lp"/>
            <add file="steiner-tree/fixed-instance18-0-0-2495-0.lp"/>
            <add file="steiner-tree/fixed-instance21-0-0-888-0.lp"/>
            <add file="steiner-tree/fixed-instance23-0-0-888-0.lp"/>
            <add file="steiner-tree/fixed-instance24-0-0-596-0.lp"/>
            <add file="steiner-tree/fixed-instance40-0-0-1549-0.lp"/>
            <add file="steiner-tree/fixed-instance44-0-0-2628-0.lp"/>
            <add file="steiner-tree/fixed-instance45-0-0-3144-0.lp"/>
            <add file="steiner-tree/fixed-instance46-0-0-976-0.lp"/>
            <add file="steiner-tree/fixed-instance13-0-0-100-0.lp"/>
            <add file="steiner-tree/fixed-instance41-0-0-100-0.lp"/>
            <add file="steiner-tree/fixed-instance43-0-0-100-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/abstract-dialectical-frameworks/encoding.lp"/>
            <add file="abstract-dialectical-frameworks/0012-adf_wf-10-8.lp"/>
            <add file="abstract-dialectical-frameworks/0037-adf_wf-10-8.lp"/>
            <add file="abstract-dialectical-frameworks/0041-adf_wf-15-8.lp"/>
            <add file="abstract-dialectical-frameworks/0042-adf_wf-15-8.lp"/>
            <add file="abstract-dialectical-frameworks/0043-adf_wf-15-8.lp"/>
            <add file="abstract-dialectical-frameworks/0044-adf_wf-15-8.lp"/>
            <add file="abstract-dialectical-frameworks/0065-adf_wf-15-8.lp"/>
            <add file="abstract-dialectical-frameworks/0080-adf_wf-15-8.lp"/>
            <add file="abstract-dialectical-frameworks/0099-adf_wf-20-8.lp"/>
            <add file="abstract-dialectical-frameworks/0103-adf_wf-20-8.lp"/>
            <add file="abstract-dialectical-frameworks/0105-adf_wf-20-8.lp"/>
            <add file="abstract-dialectical-frameworks/0106-adf_wf-20-8.lp"/>
            <add file="abstract-dialectical-frameworks/0166-adf_wf-30-8.lp"/>
            <add file="abstract-dialectical-frameworks/0070-adf_wf-15-8.lp"/>
            <add file="abstract-dialectical-frameworks/0088-adf_wf-20-8.lp"/>
            <add file="abstract-dialectical-frameworks/0110-adf_wf-20-8.lp"/>
            <add file="abstract-dialectical-frameworks/0146-adf_wf-25-8.lp"/>
            <add file="abstract-dialectical-frameworks/0163-adf_wf-30-8.lp"/>
            <add file="abstract-dialectical-frameworks/0164-adf_wf-30-8.lp"/>
            <add file="abstract-dialectical-frameworks/0194-adf_wf-30-8.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/sokoban/encoding.lp"/>
            <add file="sokoban/0308-sokoban-73-1.lp"/>
            <add file="sokoban/0407-sokoban-63-1.lp"/>
            <add file="sokoban/0529-sokoban-28-1.lp"/>
            <add file="sokoban/0312-sokoban-27-1.lp"/>
            <add file="sokoban/0207-sokoban-31-1.lp"/>
            <add file="sokoban/0484-sokoban-38-1.lp"/>
            <add file="sokoban/0272-sokoban-135-1.lp"/>
            <add file="sokoban/0237-sokoban-108-1.lp"/>
            <add file="sokoban/0525-sokoban-196-1.lp"/>
            <add file="sokoban/0082-sokoban-123-1.lp"/>
            <add file="sokoban/0579-sokoban-98-1.lp"/>
            <add file="sokoban/0310-sokoban-147-1.lp"/>
            <add file="sokoban/0760-sokoban-48-1.lp"/>
            <add file="sokoban/0748-sokoban-98-1.lp"/>
            <add file="sokoban/0326-sokoban-112-1.lp"/>
            <add file="sokoban/0044-sokoban-180-1.lp"/>
            <add file="sokoban/0219-sokoban-49-1.lp"/>
            <add file="sokoban/0366-sokoban-468-1.lp"/>
            <add file="sokoban/0444-sokoban-303-1.lp"/>
            <add file="sokoban/0761-sokoban-202-1.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/permutation-pattern-matching/encoding.lp"/>
            <add file="permutation-pattern-matching/0018-ppm-250-0.lp"/>
            <add file="permutation-pattern-matching/0129-ppm-120-0.lp"/>
            <add file="permutation-pattern-matching/0092-ppm-70-0.lp"/>
            <add file="permutation-pattern-matching/0117-ppm-70-0.lp"/>
            <add file="permutation-pattern-matching/0051-ppm-350-0.lp"/>
            <add file="permutation-pattern-matching/0055-ppm-200-0.lp"/>
            <add file="permutation-pattern-matching/0149-ppm-140-0.lp"/>
            <add file="permutation-pattern-matching/0125-ppm-140-0.lp"/>
            <add file="permutation-pattern-matching/0044-ppm-250-0.lp"/>
            <add file="permutation-pattern-matching/0053-ppm-200-0.lp"/>
            <add file="permutation-pattern-matching/0056-ppm-200-0.lp"/>
            <add file="permutation-pattern-matching/0059-ppm-200-0.lp"/>
            <add file="permutation-pattern-matching/0015-ppm-350-0.lp"/>
            <add file="permutation-pattern-matching/0017-ppm-250-0.lp"/>
            <add file="permutation-pattern-matching/0033-ppm-250-0.lp"/>
            <add file="permutation-pattern-matching/0039-ppm-250-0.lp"/>
            <add file="permutation-pattern-matching/0048-ppm-350-0.lp"/>
            <add file="permutation-pattern-matching/0054-ppm-250-0.lp"/>
            <add file="permutation-pattern-matching/0057-ppm-250-0.lp"/>
            <add file="permutation-pattern-matching/0058-ppm-250-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/minimal-diagnosis/encoding.lp"/>
            <add file="minimal-diagnosis/0045-minimal_diagnosis-199-0.lp"/>
            <add file="minimal-diagnosis/0054-minimal_diagnosis-199-0.lp"/>
            <add file="minimal-diagnosis/0185-minimal_diagnosis-274-0.lp"/>
            <add file="minimal-diagnosis/0189-minimal_diagnosis-274-0.lp"/>
            <add file="minimal-diagnosis/0225-minimal_diagnosis-299-0.lp"/>
            <add file="minimal-diagnosis/0228-minimal_diagnosis-299-0.lp"/>
            <add file="minimal-diagnosis/0232-minimal_diagnosis-299-0.lp"/>
            <add file="minimal-diagnosis/0234-minimal_diagnosis-299-0.lp"/>
            <add file="minimal-diagnosis/0236-minimal_diagnosis-299-0.lp"/>
            <add file="minimal-diagnosis/0196-minimal_diagnosis-274-0.lp"/>
            <add file="minimal-diagnosis/0205-minimal_diagnosis-299-0.lp"/>
            <add file="minimal-diagnosis/0211-minimal_diagnosis-299-0.lp"/>
            <add file="minimal-diagnosis/0212-minimal_diagnosis-299-0.lp"/>
            <add file="minimal-diagnosis/0240-minimal_diagnosis-299-0.lp"/>
            <add file="minimal-diagnosis/0244-minimal_diagnosis-299-0.lp"/>
            <add file="minimal-diagnosis/0029-minimal_diagnosis-174-0.lp"/>
            <add file="minimal-diagnosis/0213-minimal_diagnosis-299-0.lp"/>
            <add file="minimal-diagnosis/0080-minimal_diagnosis-199-0.lp"/>
            <add file="minimal-diagnosis/0207-minimal_diagnosis-299-0.lp"/>
            <add file="minimal-diagnosis/0210-minimal_diagnosis-299-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/connected-still-life/encoding.lp"/>
            <add file="connected-still-life/002-still_live_4-9-1.lp"/>
            <add file="connected-still-life/003-still_live_4-9-1.lp"/>
            <add file="connected-still-life/004-still_live_4-9-1.lp"/>
            <add file="connected-still-life/005-still_live_4-9-1.lp"/>
            <add file="connected-still-life/008-still_live_3-9-1.lp"/>
            <add file="connected-still-life/080-still_live_28-12-1.lp"/>
            <add file="connected-still-life/093-still_live_50-13-1.lp"/>
            <add file="connected-still-life/055-still_live_18-11-1.lp"/>
            <add file="connected-still-life/001-still_live_4-9-1.lp"/>
            <add file="connected-still-life/072-still_live_32-12-1.lp"/>
            <add file="connected-still-life/073-still_live_32-12-1.lp"/>
            <add file="connected-still-life/078-still_live_28-12-1.lp"/>
            <add file="connected-still-life/086-still_live_55-13-1.lp"/>
            <add file="connected-still-life/007-still_live_3-9-1.lp"/>
            <add file="connected-still-life/029-still_live_10-10-1.lp"/>
            <add file="connected-still-life/065-still_live_40-12-1.lp"/>
            <add file="connected-still-life/075-still_live_32-12-1.lp"/>
            <add file="connected-still-life/090-still_live_55-13-1.lp"/>
            <add file="connected-still-life/109-still_live_78-14-1.lp"/>
            <add file="connected-still-life/114-still_live_72-14-1.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/qualitative-spatial-reasoning/encoding.lp"/>
            <add file="qualitative-spatial-reasoning/0100-ia_dsj-0-0.lp"/>
            <add file="qualitative-spatial-reasoning/0104-ia_dsj-0-0.lp"/>
            <add file="qualitative-spatial-reasoning/0107-ia_dsj-0-0.lp"/>
            <add file="qualitative-spatial-reasoning/0111-ia_dsj-0-0.lp"/>
            <add file="qualitative-spatial-reasoning/0041-ia_dsj-0-0.lp"/>
            <add file="qualitative-spatial-reasoning/0043-ia_dsj-0-0.lp"/>
            <add file="qualitative-spatial-reasoning/0044-ia_dsj-0-0.lp"/>
            <add file="qualitative-spatial-reasoning/0057-ia_dsj-0-0.lp"/>
            <add file="qualitative-spatial-reasoning/0006-ia_dsj-0-0.lp"/>
            <add file="qualitative-spatial-reasoning/0150-ia_dsj-0-0.lp"/>
            <add file="qualitative-spatial-reasoning/0103-ia_dsj-0-0.lp"/>
            <add file="qualitative-spatial-reasoning/0118-ia_dsj-0-0.lp"/>
            <add file="qualitative-spatial-reasoning/0125-ia_dsj-0-0.lp"/>
            <add file="qualitative-spatial-reasoning/0134-ia_dsj-0-0.lp"/>
            <add file="qualitative-spatial-reasoning/0155-ia_dsj-0-0.lp"/>
            <add file="qualitative-spatial-reasoning/0136-ia_dsj-0-0.lp"/>
            <add file="qualitative-spatial-reasoning/0152-ia_dsj-0-0.lp"/>
            <add file="qualitative-spatial-reasoning/0154-ia_dsj-0-0.lp"/>
            <add file="qualitative-spatial-reasoning/0121-ia_dsj-0-0.lp"/>
            <add file="qualitative-spatial-reasoning/0132-ia_dsj-0-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/ricochet-robots/encoding.lp"/>
            <add file="ricochet-robots/038-ricochetrobot-13-0.lp"/>
            <add file="ricochet-robots/046-ricochetrobot-13-0.lp"/>
            <add file="ricochet-robots/001-ricochetrobot-12-0.lp"/>
            <add file="ricochet-robots/064-ricochetrobot-13-0.lp"/>
            <add file="ricochet-robots/085-ricochetrobot-12-0.lp"/>
            <add file="ricochet-robots/089-ricochetrobot-15-0.lp"/>
            <add file="ricochet-robots/093-ricochetrobot-13-0.lp"/>
            <add file="ricochet-robots/100-ricochetrobot-16-0.lp"/>
            <add file="ricochet-robots/157-ricochetrobot-18-0.lp"/>
            <add file="ricochet-robots/116-ricochetrobot-17-0.lp"/>
            <add file="ricochet-robots/130-ricochetrobot-19-0.lp"/>
            <add file="ricochet-robots/165-ricochetrobot-16-0.lp"/>
            <add file="ricochet-robots/166-ricochetrobot-18-0.lp"/>
            <add file="ricochet-robots/201-ricochetrobot-21-0.lp"/>
            <add file="ricochet-robots/205-ricochetrobot-18-0.lp"/>
            <add file="ricochet-robots/206-ricochetrobot-25-0.lp"/>
            <add file="ricochet-robots/228-ricochetrobot-25-0.lp"/>
            <add file="ricochet-robots/229-ricochetrobot-22-0.lp"/>
            <add file="ricochet-robots/236-ricochetrobot-21-0.lp"/>
            <add file="ricochet-robots/237-ricochetrobot-23-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/max-sat/encoding.lp"/>
            <add file="max-sat/2c3aece6-c8b2-11df-a040-00163e3d3b7c_l3.wcnf-0-0.lp"/>
            <add file="max-sat/4ede8d96-c17a-11df-a7c5-00163e3d3b7c_l3.wcnf-0-0.lp"/>
            <add file="max-sat/7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l3.wcnf-0-0.lp"/>
            <add file="max-sat/WCNF_pathways_p20.wcnf-0-0.lp"/>
            <add file="max-sat/10tree305p.wcnf-0-0.lp"/>
            <add file="max-sat/10tree310p.wcnf-0-0.lp"/>
            <add file="max-sat/10tree330p.wcnf-0-0.lp"/>
            <add file="max-sat/10tree405posib.wcnf-0-0.lp"/>
            <add file="max-sat/1504.wcsp.dir.wcnf-0-0.lp"/>
            <add file="max-sat/8222799a-9af8-11df-8b50-00163e46d37a_l1.wcnf-0-0.lp"/>
            <add file="max-sat/b20-s_PathRelaxation_Set_FS_11.wcnf-0-0.lp"/>
            <add file="max-sat/b21-s_PathRelaxation_Set_FS_8.wcnf-0-0.lp"/>
            <add file="max-sat/c1355_F1183gat-1262gat@1.wcnf-0-0.lp"/>
            <add file="max-sat/normalized-ii8e1.wcnf-0-0.lp"/>
            <add file="max-sat/normalized-ii8e2.wcnf-0-0.lp"/>
            <add file="max-sat/rand208_l1.wcnf-0-0.lp"/>
            <add file="max-sat/rand208_l2.wcnf-0-0.lp"/>
            <add file="max-sat/rand209_l2.wcnf-0-0.lp"/>
            <add file="max-sat/spi.wcnf-0-0.lp"/>
            <add file="max-sat/SU1__simp-genos.haps.70.wcnf-0-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/crossing-minimization/encoding.lp"/>
            <add file="crossing-minimization/0002-crossing_minimization-9-0.lp"/>
            <add file="crossing-minimization/0030-crossing_minimization-8-0.lp"/>
            <add file="crossing-minimization/0062-crossing_minimization-9-0.lp"/>
            <add file="crossing-minimization/0028-crossing_minimization-8-0.lp"/>
            <add file="crossing-minimization/0017-crossing_minimization-10-0.lp"/>
            <add file="crossing-minimization/0061-crossing_minimization-8-0.lp"/>
            <add file="crossing-minimization/0068-crossing_minimization-9-0.lp"/>
            <add file="crossing-minimization/0006-crossing_minimization-9-0.lp"/>
            <add file="crossing-minimization/0014-crossing_minimization-10-0.lp"/>
            <add file="crossing-minimization/0021-crossing_minimization-8-0.lp"/>
            <add file="crossing-minimization/0022-crossing_minimization-8-0.lp"/>
            <add file="crossing-minimization/0023-crossing_minimization-8-0.lp"/>
            <add file="crossing-minimization/0026-crossing_minimization-8-0.lp"/>
            <add file="crossing-minimization/0027-crossing_minimization-8-0.lp"/>
            <add file="crossing-minimization/0029-crossing_minimization-8-0.lp"/>
            <add file="crossing-minimization/0031-crossing_minimization-8-0.lp"/>
            <add file="crossing-minimization/0032-crossing_minimization-9-0.lp"/>
            <add file="crossing-minimization/0033-crossing_minimization-9-0.lp"/>
            <add file="crossing-minimization/0034-crossing_minimization-9-0.lp"/>
            <add file="crossing-minimization/0048-crossing_minimization-10-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/system-synthesis/encoding.lp"/>
            <add file="system-synthesis/026-5x5_80_101-16000000-0.lp"/>
            <add file="system-synthesis/047-5x5_80_211-16000000-0.lp"/>
            <add file="system-synthesis/056-6x6_70_263-16000000-0.lp"/>
            <add file="system-synthesis/020-4x4_90_071-16000000-0.lp"/>
            <add file="system-synthesis/024-4x4_90_089-16000000-0.lp"/>
            <add file="system-synthesis/059-6x6_70_277-16000000-0.lp"/>
            <add file="system-synthesis/068-6x6_70_337-16000000-0.lp"/>
            <add file="system-synthesis/070-6x6_70_349-16000000-0.lp"/>
            <add file="system-synthesis/027-5x5_80_103-16000000-0.lp"/>
            <add file="system-synthesis/091-6x6_80_467-16000000-0.lp"/>
            <add file="system-synthesis/094-6x6_80_491-16000000-0.lp"/>
            <add file="system-synthesis/096-6x6_80_503-16000000-0.lp"/>
            <add file="system-synthesis/097-6x6_80_509-16000000-0.lp"/>
            <add file="system-synthesis/098-6x6_80_521-16000000-0.lp"/>
            <add file="system-synthesis/099-6x6_80_523-16000000-0.lp"/>
            <add file="system-synthesis/100-6x6_80_541-16000000-0.lp"/>
            <add file="system-synthesis/008-4x4_90_019-16000000-0.lp"/>
            <add file="system-synthesis/018-4x4_90_061-16000000-0.lp"/>
            <add file="system-synthesis/021-4x4_90_073-16000000-0.lp"/>
            <add file="system-synthesis/025-4x4_90_097-16000000-0.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/visit-all/encoding.lp"/>
            <add file="visit-all/0032-visitall-39-1.lp"/>
            <add file="visit-all/0089-visitall-66-1.lp"/>
            <add file="visit-all/0090-visitall-66-1.lp"/>
            <add file="visit-all/0091-visitall-66-1.lp"/>
            <add file="visit-all/0092-visitall-66-1.lp"/>
            <add file="visit-all/0009-visitall-36-1.lp"/>
            <add file="visit-all/0010-visitall-36-1.lp"/>
            <add file="visit-all/0051-visitall-42-1.lp"/>
            <add file="visit-all/0011-visitall-36-1.lp"/>
            <add file="visit-all/0012-visitall-36-1.lp"/>
            <add file="visit-all/0029-visitall-39-1.lp"/>
            <add file="visit-all/0030-visitall-39-1.lp"/>
            <add file="visit-all/0031-visitall-39-1.lp"/>
            <add file="visit-all/0020-visitall-67-1.lp"/>
            <add file="visit-all/0037-visitall-73-1.lp"/>
            <add file="visit-all/0059-visitall-79-1.lp"/>
            <add file="visit-all/0077-visitall-91-1.lp"/>
            <add file="visit-all/0100-visitall-122-1.lp"/>
            <add file="visit-all/0034-visitall-55-1.lp"/>
            <add file="visit-all/0036-visitall-55-1.lp"/>
        </files>
        <files path="benchmarks">
            <encoding file="benchmarks/incremental-scheduling/encoding.lp"/>
            <add file="incremental-scheduling/0157-incremental_scheduling-17904-0.lp"/>
            <add file="incremental-scheduling/0020-incremental_scheduling-12820-0.lp"/>
            <add file="incremental-scheduling/0103-incremental_scheduling-18468-0.lp"/>
            <add file="incremental-scheduling/0013-incremental_scheduling-12610-0.lp"/>
            <add file="incremental-scheduling/0070-incremental_scheduling-14520-0.lp"/>
            <add file="incremental-scheduling/0005-incremental_scheduling-12000-0.lp"/>
            <add file="incremental-scheduling/0006-incremental_scheduling-12000-0.lp"/>
            <add file="incremental-scheduling/0230-incremental_scheduling-27735-0.lp"/>
            <add file="incremental-scheduling/0185-incremental_scheduling-18456-0.lp"/>
            <add file="incremental-scheduling/0113-incremental_scheduling-17280-0.lp"/>
            <add file="incremental-scheduling/0094-incremental_scheduling-14520-0.lp"/>
            <add file="incremental-scheduling/0220-incremental_scheduling-28080-0.lp"/>
            <add file="incremental-scheduling/0286-incremental_scheduling-40842-0.lp"/>
            <add file="incremental-scheduling/0324-incremental_scheduling-50520-0.lp"/>
            <add file="incremental-scheduling/0214-incremental_scheduling-28185-0.lp"/>
            <add file="incremental-scheduling/0209-incremental_scheduling-28005-0.lp"/>
            <add file="incremental-scheduling/0315-incremental_scheduling-48000-0.lp"/>
            <add file="incremental-scheduling/0320-incremental_scheduling-48000-0.lp"/>
            <add file="incremental-scheduling/0321-incremental_scheduling-48000-0.lp"/>
            <add file="incremental-scheduling/0322-incremental_scheduling-48000-0.lp"/>
        </files>
    </benchmark>
    <project name="clingo-instrument" job="instrument">
        <runtag machine="kr-node" benchmark="clingo-instrument" tag="instrument"/>
    </project>
    <project name="clingo-benchmark" job="benchmark">
        <runtag machine="kr-node" benchmark="clingo" tag="benchmark"/>
    </project>
</runscript>
