detailed results (3852 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_74.smt2 (content) unsat unsat 0.393s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_74.smt2 (content) unsat unsat 0.065s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_73.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_73.smt2 (content) unsat unsat 0.173s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_73.smt2 (content) unsat unsat 0.051s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_72.smt2 (content) unsat unsat 0.063s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_72.smt2 (content) unsat unsat 0.197s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_72.smt2 (content) unsat unsat 0.055s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_71.smt2 (content) unsat unsat 0.060s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_71.smt2 (content) unsat unsat 0.133s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_71.smt2 (content) unsat unsat 0.073s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_70.smt2 (content) unsat unsat 0.067s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_70.smt2 (content) unsat unsat 0.188s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_70.smt2 (content) unsat unsat 0.080s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_69.smt2 (content) unsat unsat 0.102s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_69.smt2 (content) unsat unsat 0.328s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_69.smt2 (content) unsat unsat 0.083s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_68.smt2 (content) unsat unsat 0.066s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_68.smt2 (content) unsat unsat 0.205s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_68.smt2 (content) unsat unsat 0.075s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_67.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_67.smt2 (content) unsat unsat 0.191s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_67.smt2 (content) unsat unsat 0.082s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_66.smt2 (content) unsat unsat 0.063s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_66.smt2 (content) unsat unsat 0.145s