detailed results (2568 total)

prover file res expected time
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_16.smt2 (content) sat sat 0.050s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_15.smt2 (content) sat sat 0.335s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_15.smt2 (content) sat sat 0.049s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_14.smt2 (content) sat sat 0.098s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_14.smt2 (content) sat sat 0.081s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_13.smt2 (content) sat sat 0.419s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_13.smt2 (content) sat sat 0.037s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_12.smt2 (content) sat sat 0.484s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_12.smt2 (content) sat sat 0.044s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_11.smt2 (content) sat sat 0.126s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_11.smt2 (content) sat sat 0.071s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_10.smt2 (content) sat sat 0.104s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_10.smt2 (content) sat sat 0.035s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_09.smt2 (content) sat sat 0.478s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_09.smt2 (content) sat sat 0.086s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_08.smt2 (content) sat sat 0.195s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_08.smt2 (content) sat sat 0.081s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_07.smt2 (content) unsat unsat 0.073s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_07.smt2 (content) unsat unsat 0.066s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_06.smt2 (content) sat sat 0.087s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_06.smt2 (content) sat sat 0.037s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_05.smt2 (content) sat sat 0.067s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_05.smt2 (content) sat sat 0.073s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_04.smt2 (content) sat sat 0.172s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_04.smt2 (content) sat sat 0.048s