detailed results (326 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_95.smt2 (content) timeout sat 13.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_90.smt2 (content) timeout sat 13s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_88.smt2 (content) timeout sat 12.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_86.smt2 (content) timeout sat 13.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_84.smt2 (content) timeout sat 13.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_83.smt2 (content) timeout sat 13s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_80.smt2 (content) timeout sat 14s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_78.smt2 (content) timeout sat 13.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_77.smt2 (content) timeout sat 13.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_76.smt2 (content) timeout sat 13.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_75.smt2 (content) timeout sat 13.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_71.smt2 (content) timeout sat 13.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_68.smt2 (content) timeout sat 14.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_65.smt2 (content) timeout sat 13.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_63.smt2 (content) timeout sat 13.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_61.smt2 (content) timeout sat 14.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_58.smt2 (content) timeout sat 12.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_53.smt2 (content) timeout sat 14.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_52.smt2 (content) timeout sat 14.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_48.smt2 (content) timeout sat 13.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_47.smt2 (content) timeout sat 13.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_39.smt2 (content) timeout sat 14.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_38.smt2 (content) timeout sat 13.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_37.smt2 (content) timeout sat 12.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_36.smt2 (content) timeout sat 13.3s