detailed results (741 total)

prover file res expected time
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_47.smt2 (content) sat sat 0.075s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_46.smt2 (content) sat sat 0.047s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_45.smt2 (content) sat sat 0.114s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_44.smt2 (content) sat sat 0.075s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_42.smt2 (content) sat sat 0.061s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_41.smt2 (content) sat sat 0.068s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_40.smt2 (content) sat sat 0.075s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_39.smt2 (content) sat sat 0.094s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_38.smt2 (content) sat sat 0.136s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_37.smt2 (content) sat sat 0.104s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_36.smt2 (content) sat sat 0.044s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_35.smt2 (content) sat sat 0.092s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_34.smt2 (content) sat sat 0.097s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_32.smt2 (content) sat sat 0.208s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_31.smt2 (content) sat sat 0.169s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_30.smt2 (content) sat sat 0.094s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_29.smt2 (content) sat sat 0.145s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_28.smt2 (content) sat sat 0.063s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_27.smt2 (content) sat sat 0.094s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_26.smt2 (content) sat sat 0.114s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_25.smt2 (content) sat sat 0.103s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_23.smt2 (content) sat sat 0.071s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_22.smt2 (content) sat sat 0.060s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_21.smt2 (content) sat sat 0.076s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_20.smt2 (content) sat sat 0.080s