detailed results (382 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_49.smt2 (content) sat sat 0.490s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_48.smt2 (content) sat sat 0.167s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_47.smt2 (content) sat sat 0.152s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_46.smt2 (content) sat sat 3.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_43.smt2 (content) sat sat 0.824s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_42.smt2 (content) sat sat 0.159s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_41.smt2 (content) sat sat 0.244s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_40.smt2 (content) sat sat 7.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_39.smt2 (content) sat sat 0.511s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_37.smt2 (content) sat sat 1.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_35.smt2 (content) sat sat 0.131s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_34.smt2 (content) sat sat 0.243s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_33.smt2 (content) sat sat 0.168s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_32.smt2 (content) sat sat 0.160s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_31.smt2 (content) sat sat 0.157s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_30.smt2 (content) sat sat 0.200s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_29.smt2 (content) sat sat 0.139s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_26.smt2 (content) sat sat 0.222s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_23.smt2 (content) sat sat 0.225s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_22.smt2 (content) sat sat 0.138s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_19.smt2 (content) sat sat 0.351s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_14.smt2 (content) sat sat 3.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_12.smt2 (content) sat sat 2.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_11.smt2 (content) sat sat 0.364s
sidekick-dev /home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_10.smt2 (content) sat sat 6.6s