detailed results (2568 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_41.smt2 (content) unsat unsat 0.098s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_40.smt2 (content) unsat unsat 0.152s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_40.smt2 (content) unsat unsat 0.070s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_39.smt2 (content) unsat unsat 0.254s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_39.smt2 (content) unsat unsat 0.069s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_38.smt2 (content) unsat unsat 0.297s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_38.smt2 (content) unsat unsat 0.152s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_37.smt2 (content) unsat unsat 0.242s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_37.smt2 (content) unsat unsat 0.083s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_36.smt2 (content) unsat unsat 0.282s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_36.smt2 (content) unsat unsat 0.087s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_35.smt2 (content) unsat unsat 0.244s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_35.smt2 (content) unsat unsat 0.098s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_34.smt2 (content) unsat unsat 0.368s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_34.smt2 (content) unsat unsat 0.095s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_33.smt2 (content) unsat unsat 0.194s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_33.smt2 (content) unsat unsat 0.080s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_32.smt2 (content) unsat unsat 0.261s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_32.smt2 (content) unsat unsat 0.075s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_31.smt2 (content) unsat unsat 0.222s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_31.smt2 (content) unsat unsat 0.104s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_30.smt2 (content) unsat unsat 0.273s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_30.smt2 (content) unsat unsat 0.080s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_29.smt2 (content) unsat unsat 0.334s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_150_30_29.smt2 (content) unsat unsat 0.112s