detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_LRA/TM/p-DepotsNum_s8.msat.smt2 (content) sat sat 0.597s
mc2 /home/simon/workspace/smtlib/QF_LRA/TM/p-3-bucket_s10.smt2 (content) timeout sat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/TM/p-3-bucket_s10.smt2 (content) error sat 0.040s
z3 /home/simon/workspace/smtlib/QF_LRA/TM/p-3-bucket_s10.smt2 (content) timeout sat 11s
mc2 /home/simon/workspace/smtlib/QF_LRA/TM/p-2-bucket_s11.smt2 (content) sat sat 3.7s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/TM/p-2-bucket_s11.smt2 (content) error sat 0.035s
z3 /home/simon/workspace/smtlib/QF_LRA/TM/p-2-bucket_s11.smt2 (content) sat sat 1.4s
mc2 /home/simon/workspace/smtlib/QF_LRA/TM/p-1-bucket_s9.smt2 (content) timeout sat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/TM/p-1-bucket_s9.smt2 (content) error sat 0.048s
z3 /home/simon/workspace/smtlib/QF_LRA/TM/p-1-bucket_s9.smt2 (content) sat sat 1.8s
mc2 /home/simon/workspace/smtlib/QF_LRA/TM/p-0-bucket_s7.smt2 (content) unsat sat 0.576s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/TM/p-0-bucket_s7.smt2 (content) error sat 0.024s
z3 /home/simon/workspace/smtlib/QF_LRA/TM/p-0-bucket_s7.smt2 (content) sat sat 0.127s
mc2 /home/simon/workspace/smtlib/QF_LRA/TM/p-0-bucket_s13.smt2 (content) sat sat 3.6s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/TM/p-0-bucket_s13.smt2 (content) error sat 0.033s
z3 /home/simon/workspace/smtlib/QF_LRA/TM/p-0-bucket_s13.smt2 (content) sat sat 0.633s
mc2 /home/simon/workspace/smtlib/QF_LRA/TM/p-0-bucket_s10.smt2 (content) sat sat 1.5s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/TM/p-0-bucket_s10.smt2 (content) error sat 0.026s
z3 /home/simon/workspace/smtlib/QF_LRA/TM/p-0-bucket_s10.smt2 (content) sat sat 0.296s
mc2 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled75.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) timeout sat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled75.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) error sat 0.201s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled75.bpl_Iteration1_Loop_7-phaseTemplate.smt2 (content) timeout sat 11s
mc2 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled75.bpl_Iteration1_Loop_6-phaseTemplate.smt2 (content) timeout sat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled75.bpl_Iteration1_Loop_6-phaseTemplate.smt2 (content) error sat 0.134s
z3 /home/simon/workspace/smtlib/QF_LRA/LassoRanker/Ultimate/yPositive-SIscaled75.bpl_Iteration1_Loop_6-phaseTemplate.smt2 (content) timeout sat 11s