detailed results (741 total)

prover file res expected time
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_01.smt2 (content) sat sat 0.437s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_00.smt2 (content) sat sat 0.118s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_99.smt2 (content) sat sat 0.059s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_98.smt2 (content) sat sat 0.125s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_97.smt2 (content) sat sat 0.067s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_96.smt2 (content) sat sat 0.075s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_95.smt2 (content) sat sat 0.054s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_94.smt2 (content) sat sat 0.070s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_93.smt2 (content) sat sat 0.054s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_92.smt2 (content) sat sat 0.039s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_91.smt2 (content) sat sat 0.075s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_90.smt2 (content) sat sat 0.114s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_89.smt2 (content) sat sat 0.120s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_88.smt2 (content) sat sat 0.073s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_87.smt2 (content) sat sat 0.051s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_86.smt2 (content) sat sat 0.089s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_85.smt2 (content) sat sat 0.044s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_84.smt2 (content) sat sat 0.087s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_83.smt2 (content) sat sat 0.041s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_82.smt2 (content) sat sat 0.068s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_80.smt2 (content) sat sat 0.100s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_79.smt2 (content) sat sat 0.070s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_78.smt2 (content) sat sat 0.120s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_77.smt2 (content) sat sat 0.069s
mc2 /home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_76.smt2 (content) sat sat 0.113s