detailed results (740 total)

prover file res expected time
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_29.smt2 (content) sat sat 0.638s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_28.smt2 (content) sat sat 0.151s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_27.smt2 (content) sat sat 0.562s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_26.smt2 (content) sat sat 0.286s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_25.smt2 (content) sat sat 0.226s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_24.smt2 (content) sat sat 0.193s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_22.smt2 (content) sat sat 0.117s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_21.smt2 (content) sat sat 0.415s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_20.smt2 (content) sat sat 0.193s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_19.smt2 (content) sat sat 0.227s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_18.smt2 (content) sat sat 0.114s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_17.smt2 (content) sat sat 0.151s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_16.smt2 (content) sat sat 0.089s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_15.smt2 (content) sat sat 0.460s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_14.smt2 (content) sat sat 0.130s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_13.smt2 (content) sat sat 0.615s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_12.smt2 (content) sat sat 0.679s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_11.smt2 (content) sat sat 0.174s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_10.smt2 (content) sat sat 0.172s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_09.smt2 (content) sat sat 0.721s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_08.smt2 (content) sat sat 0.309s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_06.smt2 (content) sat sat 0.144s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_05.smt2 (content) sat sat 0.133s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_04.smt2 (content) sat sat 0.210s
mc2 /home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_03.smt2 (content) sat sat 0.754s