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_78.smt2 (content) timeout sat 14.9s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_78.smt2 (content) sat sat 0.062s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_77.smt2 (content) timeout sat 15.2s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_77.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_76.smt2 (content) timeout sat 13.9s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_76.smt2 (content) sat sat 0.105s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_75.smt2 (content) sat sat 4.0s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_75.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_74.smt2 (content) timeout sat 13.7s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_74.smt2 (content) sat sat 0.074s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_73.smt2 (content) sat sat 0.986s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_73.smt2 (content) sat sat 0.097s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_72.smt2 (content) sat sat 1.3s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_72.smt2 (content) sat sat 0.085s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_71.smt2 (content) unsat unsat 1.6s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_71.smt2 (content) unsat unsat 0.171s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_70.smt2 (content) timeout sat 16s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_70.smt2 (content) sat sat 0.081s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_69.smt2 (content) timeout sat 13.9s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_69.smt2 (content) sat sat 0.108s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_68.smt2 (content) unsat unsat 0.773s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_68.smt2 (content) unsat unsat 0.090s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_67.smt2 (content) timeout sat 13.7s
z3 /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_67.smt2 (content) sat sat 0.110s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_66.smt2 (content) timeout sat 14.5s