detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-tempo-depth-150.smt2 (content) error sat 0.026s
z3 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-tempo-depth-150.smt2 (content) sat sat 0.378s
mc2 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-tempo-depth-100.smt2 (content) sat sat 9.5s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-tempo-depth-100.smt2 (content) error sat 0.025s
z3 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-tempo-depth-100.smt2 (content) sat sat 0.164s
mc2 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-tempo-depth-10.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-tempo-depth-10.smt2 (content) error sat 0.022s
z3 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-tempo-depth-10.smt2 (content) sat sat 0.030s
mc2 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-cooking23.smt2 (content) sat sat 0.124s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-cooking23.smt2 (content) error sat 0.020s
z3 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-cooking23.smt2 (content) sat sat 0.035s
mc2 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-cooking22.smt2 (content) sat sat 0.141s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-cooking22.smt2 (content) error sat 0.018s
z3 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-cooking22.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-cooking21.smt2 (content) sat sat 0.088s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-cooking21.smt2 (content) error sat 0.019s
z3 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-cooking21.smt2 (content) sat sat 0.039s
mc2 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-cooking20.smt2 (content) sat sat 0.083s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-cooking20.smt2 (content) error sat 0.018s
z3 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-cooking20.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-cooking19.smt2 (content) sat sat 0.104s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-cooking19.smt2 (content) error sat 0.020s
z3 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-cooking19.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-cooking18.smt2 (content) sat sat 0.063s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/DTP-Scheduling/constraints-cooking18.smt2 (content) error sat 0.021s