detailed results (2568 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_53.smt2 (content) sat sat 0.063s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_53.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_52.smt2 (content) sat sat 0.059s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_52.smt2 (content) sat sat 0.072s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_51.smt2 (content) sat sat 0.084s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_51.smt2 (content) sat sat 0.071s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_50.smt2 (content) timeout sat 11.3s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_50.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_49.smt2 (content) error sat 9.4s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_49.smt2 (content) sat sat 0.083s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_48.smt2 (content) unsat unsat 0.206s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_48.smt2 (content) unsat unsat 0.125s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_47.smt2 (content) timeout sat 11.3s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_47.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_46.smt2 (content) sat sat 0.070s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_46.smt2 (content) sat sat 0.064s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_45.smt2 (content) sat sat 0.089s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_45.smt2 (content) sat sat 0.090s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_44.smt2 (content) error sat 8.5s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_44.smt2 (content) sat sat 0.063s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_43.smt2 (content) sat sat 0.074s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_43.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_42.smt2 (content) sat sat 0.114s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_42.smt2 (content) sat sat 0.062s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_41.smt2 (content) sat sat 0.062s