detailed results (2568 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_78.smt2 (content) unsat unsat 0.300s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_78.smt2 (content) unsat unsat 0.075s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_77.smt2 (content) unsat unsat 0.486s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_77.smt2 (content) unsat unsat 0.104s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_76.smt2 (content) unsat unsat 0.334s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_76.smt2 (content) unsat unsat 0.126s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_75.smt2 (content) unsat unsat 0.178s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_75.smt2 (content) unsat unsat 0.081s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_74.smt2 (content) unsat unsat 0.342s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_74.smt2 (content) unsat unsat 0.100s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_73.smt2 (content) unsat unsat 0.156s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_73.smt2 (content) unsat unsat 0.090s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_72.smt2 (content) unsat unsat 0.303s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_72.smt2 (content) unsat unsat 0.154s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_71.smt2 (content) unsat unsat 0.162s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_71.smt2 (content) unsat unsat 0.076s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_70.smt2 (content) unsat unsat 0.232s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_70.smt2 (content) unsat unsat 0.092s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_69.smt2 (content) unsat unsat 0.248s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_69.smt2 (content) unsat unsat 0.093s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_68.smt2 (content) unsat unsat 0.178s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_68.smt2 (content) unsat unsat 0.076s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_67.smt2 (content) unsat unsat 0.246s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_67.smt2 (content) unsat unsat 0.062s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_66.smt2 (content) unsat unsat 0.209s