detailed results (1284 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_66.smt2 (content) timeout sat 17.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_65.smt2 (content) timeout sat 16.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_64.smt2 (content) timeout sat 14.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_63.smt2 (content) timeout sat 22.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_62.smt2 (content) timeout sat 14.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_61.smt2 (content) unsat unsat 0.253s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_60.smt2 (content) unknown sat 13.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_59.smt2 (content) timeout sat 22.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_58.smt2 (content) unsat unsat 0.153s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_57.smt2 (content) timeout sat 23s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_56.smt2 (content) timeout sat 24.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_55.smt2 (content) timeout sat 17.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_54.smt2 (content) unknown sat 12.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_53.smt2 (content) sat sat 1.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_52.smt2 (content) unknown sat 13.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_51.smt2 (content) timeout sat 20.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_50.smt2 (content) unsat unsat 0.299s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_49.smt2 (content) timeout sat 15.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_48.smt2 (content) timeout sat 14.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_47.smt2 (content) sat sat 4.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_46.smt2 (content) timeout sat 24.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_45.smt2 (content) unsat unsat 0.227s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_44.smt2 (content) error sat 0.174s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_43.smt2 (content) timeout sat 18.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_42.smt2 (content) sat sat 8.7s