detailed results (3677 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_73.smt2 (content) sat sat 0.154s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_72.smt2 (content) sat sat 0.434s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_70.smt2 (content) sat sat 0.152s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_69.smt2 (content) sat sat 0.756s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_67.smt2 (content) sat sat 1.7s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_66.smt2 (content) sat sat 0.084s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_65.smt2 (content) sat sat 0.249s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_64.smt2 (content) sat sat 0.211s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_63.smt2 (content) sat sat 0.215s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_62.smt2 (content) sat sat 0.749s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_60.smt2 (content) sat sat 0.512s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_59.smt2 (content) sat sat 0.335s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_57.smt2 (content) sat sat 0.980s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_56.smt2 (content) sat sat 0.513s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_55.smt2 (content) sat sat 0.279s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_54.smt2 (content) sat sat 0.225s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_53.smt2 (content) sat sat 0.424s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_52.smt2 (content) sat sat 0.466s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_51.smt2 (content) sat sat 0.589s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_50.smt2 (content) sat sat 0.262s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_49.smt2 (content) sat sat 0.451s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_47.smt2 (content) sat sat 0.671s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_46.smt2 (content) sat sat 0.257s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_45.smt2 (content) sat sat 0.437s
mc2-dev /home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_44.smt2 (content) sat sat 0.165s