detailed results (140 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_08.smt2 (content) unknown sat 13.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_91.smt2 (content) unknown sat 13.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_79.smt2 (content) unknown sat 13.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_71.smt2 (content) unknown sat 14.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_66.smt2 (content) unknown sat 11.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_59.smt2 (content) unknown sat 10.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_58.smt2 (content) unknown sat 15s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_47.smt2 (content) unknown sat 13.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_34.smt2 (content) unknown sat 20.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_32.smt2 (content) unknown sat 12.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_31.smt2 (content) unknown sat 14.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_22.smt2 (content) unknown sat 11.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_98.smt2 (content) unknown sat 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_82.smt2 (content) unknown sat 12.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_78.smt2 (content) unknown sat 12.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_72.smt2 (content) unknown sat 11.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_69.smt2 (content) unknown sat 13.6s
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_54.smt2 (content) unknown sat 12.9s
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_29.smt2 (content) unknown sat 13.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_25.smt2 (content) unknown sat 13.0s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_05.smt2 (content) unknown sat 11.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0800_10_28.smt2 (content) unknown sat 13s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomCoupled/pb_real_40_0800_10_26.smt2 (content) unknown sat 13.2s