show full table

problem	z3	sidekick-dev	mc2	z3.time	sidekick-dev.time	mc2.time
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_42.smt2	sat	error	sat	0.10	0.02	0.25
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_43.smt2	sat	error	sat	0.09	0.02	0.28
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_44.smt2	sat	error	sat	0.13	0.02	0.17
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_45.smt2	sat	error	sat	0.09	0.02	0.38
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_46.smt2	sat	error	sat	0.08	0.03	0.25
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_47.smt2	sat	error	sat	0.11	0.03	0.58
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_48.smt2	unsat	error	unsat	0.17	0.02	0.23
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_49.smt2	sat	error	sat	0.08	0.02	0.43
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_50.smt2	sat	error	sat	0.08	0.02	0.22
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_51.smt2	sat	error	sat	0.09	0.02	0.61
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_52.smt2	sat	error	sat	0.10	0.02	0.40
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_53.smt2	sat	error	sat	0.07	0.02	0.39
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_54.smt2	sat	error	sat	0.09	0.02	0.20
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_55.smt2	sat	error	sat	0.10	0.02	0.22
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_56.smt2	sat	error	sat	0.21	0.02	0.49
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_57.smt2	sat	error	sat	0.10	0.03	0.88
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_58.smt2	unsat	error	unsat	0.31	0.02	0.32
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_59.smt2	sat	error	sat	0.08	0.02	0.30
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_60.smt2	sat	error	sat	0.09	0.03	0.42
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_61.smt2	unsat	error	unsat	0.19	0.02	0.42
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_62.smt2	sat	error	sat	0.07	0.02	0.73
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_63.smt2	sat	error	sat	0.06	0.02	0.22
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_64.smt2	sat	error	sat	0.07	0.02	0.22
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_65.smt2	sat	error	sat	0.08	0.02	0.25
/home/simon/workspace/smtlib/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_66.smt2	sat	error	sat	0.07	0.02	0.08

full results