detailed results (137 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_97.smt2 (content) sat sat 5.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_95.smt2 (content) sat sat 7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_93.smt2 (content) sat sat 6.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_92.smt2 (content) sat sat 10s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_87.smt2 (content) sat sat 14.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_84.smt2 (content) sat sat 6.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_83.smt2 (content) sat sat 2.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_78.smt2 (content) sat sat 8.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_60.smt2 (content) sat sat 7.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_59.smt2 (content) sat sat 8.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_55.smt2 (content) sat sat 7.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_53.smt2 (content) sat sat 0.695s