detailed results (275 total)

proverfileresexpectedtime
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-60.smt2(content)timeoutsat11.5s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-08.smt2(content)timeoutsat11.5s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-temporal-machine-shop-2-3-A80.smt2(content)timeoutsat11.4s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-temporal-machine-shop-2-3-A70.smt2(content)timeoutsat11.2s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-temporal-machine-shop-2-3-A40.smt2(content)timeoutsat11.3s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-temporal-machine-shop-2-3-A30.smt2(content)timeoutsat11.4s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-temporal-machine-shop-2-3-A20.smt2(content)timeoutsat11.2s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-8.smt2(content)timeoutsat11.3s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-70.smt2(content)timeoutsat11.3s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-7.smt2(content)timeoutsat11.4s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-60.smt2(content)timeoutsat11.2s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-6.smt2(content)timeoutsat11.3s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-40.smt2(content)timeoutsat11.2s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-4.smt2(content)timeoutsat11.3s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-30.smt2(content)timeoutsat11.2s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-3.smt2(content)timeoutsat11.2s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-20.smt2(content)timeoutsat11.2s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-10.smt2(content)timeoutsat11.8s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-matrix8x8.pddl.smt2(content)timeoutsat11.2s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-matrix7x7.pddl.smt2(content)timeoutsat11.2s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-matrix5x5.pddl.smt2(content)timeoutsat11.2s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-matrix4x4.pddl.smt2(content)timeoutsat11.3s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-matrix2x2.pddl.smt2(content)timeoutsat11.5s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/DTP-Scheduling/constraints-tempo-depth-150.smt2(content)timeoutsat11.2s
sidekick-dev/home/simon/w/sidekick/tests/QF_LRA/2017-Heizmann-UltimateInvariantSynthesis/_sanfoundry_10_ground.i_6_3_3.bpl_13.smt2(content)timeoutunknown11.1s