detailed results (3852 total)

prover file res expected time
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_32.smt2 (content) sat sat 0.192s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_32.smt2 (content) sat sat 0.483s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_32.smt2 (content) sat sat 0.068s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_31.smt2 (content) sat sat 0.073s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_31.smt2 (content) sat sat 1s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_31.smt2 (content) sat sat 0.090s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_30.smt2 (content) sat sat 0.231s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_30.smt2 (content) sat sat 0.659s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_30.smt2 (content) sat sat 0.056s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_29.smt2 (content) sat sat 0.638s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_29.smt2 (content) sat sat 0.516s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_29.smt2 (content) sat sat 0.078s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_28.smt2 (content) sat sat 0.151s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_28.smt2 (content) sat sat 0.303s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_28.smt2 (content) sat sat 0.079s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_27.smt2 (content) sat sat 0.562s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_27.smt2 (content) sat sat 3s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_27.smt2 (content) sat sat 0.174s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_26.smt2 (content) sat sat 0.286s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_26.smt2 (content) sat sat 0.638s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_26.smt2 (content) sat sat 0.086s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_25.smt2 (content) sat sat 0.226s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_25.smt2 (content) sat sat 0.313s
z3 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_25.smt2 (content) sat sat 0.071s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_24.smt2 (content) sat sat 0.193s