detailed results (480 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_64.smt2 (content) timeout sat 14.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_62.smt2 (content) timeout sat 20.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_56.smt2 (content) timeout sat 17.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_55.smt2 (content) timeout sat 22.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_51.smt2 (content) timeout sat 24.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_50.smt2 (content) timeout sat 20.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_49.smt2 (content) timeout sat 26.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_47.smt2 (content) timeout sat 18.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_46.smt2 (content) timeout sat 15.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_44.smt2 (content) timeout sat 19.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_43.smt2 (content) timeout sat 30.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_42.smt2 (content) timeout sat 20.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_41.smt2 (content) timeout sat 39.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_39.smt2 (content) timeout sat 26.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_38.smt2 (content) timeout sat 35.0s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_37.smt2 (content) timeout sat 19.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_36.smt2 (content) timeout sat 16.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_33.smt2 (content) timeout sat 10.0s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_32.smt2 (content) timeout sat 27.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_31.smt2 (content) timeout sat 28.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_28.smt2 (content) timeout sat 31.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_27.smt2 (content) timeout sat 28.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_25.smt2 (content) timeout sat 11.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_24.smt2 (content) timeout sat 20.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_22.smt2 (content) timeout sat 10.4s