show full table

problem	z3	mc2	z3.time	mc2.time
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_41.smt2	sat	sat	0.05	0.12
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_42.smt2	sat	sat	0.04	0.07
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_43.smt2	sat	sat	0.06	0.14
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_44.smt2	sat	sat	0.04	0.11
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_45.smt2	sat	sat	0.07	0.25
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_46.smt2	sat	sat	0.04	0.13
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_47.smt2	sat	sat	0.05	0.20
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_48.smt2	unsat	unsat	0.08	0.24
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_49.smt2	sat	sat	0.06	0.09
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_50.smt2	sat	sat	0.04	0.18
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_51.smt2	sat	sat	0.06	0.19
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_52.smt2	sat	sat	0.07	0.26
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_53.smt2	sat	sat	0.04	0.08
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_54.smt2	sat	sat	0.06	0.13
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_55.smt2	sat	sat	0.05	0.13
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_56.smt2	sat	sat	0.05	0.24
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_57.smt2	sat	sat	0.22	0.57
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_58.smt2	unsat	unsat	0.12	0.24
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_59.smt2	sat	sat	0.04	0.32
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_60.smt2	sat	sat	0.07	0.07
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_61.smt2	unsat	unsat	0.13	0.27
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_62.smt2	sat	sat	0.04	0.30
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_63.smt2	sat	sat	0.09	0.78
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_64.smt2	sat	sat	0.04	0.23
/home/simon/w/mc2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_65.smt2	sat	sat	0.06	0.32

full results