detailed results (3680 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_69.smt2 (content) sat sat 0.797s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_67.smt2 (content) sat sat 1.5s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_66.smt2 (content) sat sat 0.085s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_65.smt2 (content) sat sat 0.244s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_64.smt2 (content) sat sat 0.201s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_63.smt2 (content) sat sat 0.273s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_62.smt2 (content) sat sat 0.705s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_60.smt2 (content) sat sat 0.499s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_59.smt2 (content) sat sat 0.308s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_57.smt2 (content) sat sat 0.879s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_56.smt2 (content) sat sat 0.525s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_55.smt2 (content) sat sat 0.219s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_54.smt2 (content) sat sat 0.218s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_53.smt2 (content) sat sat 0.403s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_52.smt2 (content) sat sat 0.411s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_51.smt2 (content) sat sat 0.576s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_50.smt2 (content) sat sat 0.266s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_49.smt2 (content) sat sat 0.434s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_47.smt2 (content) sat sat 0.588s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_46.smt2 (content) sat sat 0.266s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_45.smt2 (content) sat sat 0.424s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_44.smt2 (content) sat sat 0.185s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_43.smt2 (content) sat sat 0.273s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_42.smt2 (content) sat sat 0.249s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_41.smt2 (content) sat sat 0.426s