detailed results (2568 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_16.smt2 (content) unsat unsat 0.072s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_15.smt2 (content) unsat unsat 0.331s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_15.smt2 (content) unsat unsat 0.198s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_14.smt2 (content) unsat unsat 0.172s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_14.smt2 (content) unsat unsat 0.173s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_13.smt2 (content) unsat unsat 0.100s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_13.smt2 (content) unsat unsat 0.067s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_12.smt2 (content) unsat unsat 0.101s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_12.smt2 (content) unsat unsat 0.072s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_11.smt2 (content) unsat unsat 0.099s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_11.smt2 (content) unsat unsat 0.070s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_10.smt2 (content) unsat unsat 0.088s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_10.smt2 (content) unsat unsat 0.068s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_09.smt2 (content) unsat unsat 0.120s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_09.smt2 (content) unsat unsat 0.074s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_08.smt2 (content) unsat unsat 0.155s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_08.smt2 (content) unsat unsat 0.090s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_07.smt2 (content) unsat unsat 0.053s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_07.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_06.smt2 (content) unsat unsat 0.104s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_06.smt2 (content) unsat unsat 0.064s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_05.smt2 (content) unsat unsat 0.364s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_05.smt2 (content) unsat unsat 0.127s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_04.smt2 (content) unsat unsat 0.114s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_75_45_04.smt2 (content) unsat unsat 0.075s