detailed results (2568 total)

prover file res expected time
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_41.smt2 (content) sat sat 0.051s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_40.smt2 (content) sat sat 0.124s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_40.smt2 (content) sat sat 0.042s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_39.smt2 (content) sat sat 0.149s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_39.smt2 (content) sat sat 0.051s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_38.smt2 (content) sat sat 0.188s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_38.smt2 (content) sat sat 0.045s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_37.smt2 (content) sat sat 0.269s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_37.smt2 (content) sat sat 0.043s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_36.smt2 (content) sat sat 0.199s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_36.smt2 (content) sat sat 0.052s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_35.smt2 (content) unsat unsat 0.105s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_35.smt2 (content) unsat unsat 0.080s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_34.smt2 (content) sat sat 0.236s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_34.smt2 (content) sat sat 0.055s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_33.smt2 (content) sat sat 0.208s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_33.smt2 (content) sat sat 0.044s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_32.smt2 (content) sat sat 0.108s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_32.smt2 (content) sat sat 0.034s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_31.smt2 (content) sat sat 0.039s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_31.smt2 (content) sat sat 0.070s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_30.smt2 (content) sat sat 0.126s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_30.smt2 (content) sat sat 0.063s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_29.smt2 (content) sat sat 0.444s
z3 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_29.smt2 (content) sat sat 0.078s