show full table

problem	z3	sidekick-dev	mc2	z3.time	sidekick-dev.time	mc2.time
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_41.smt2	sat	sat	sat	0.07	0.75	0.18
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_42.smt2	sat	sat	sat	0.07	0.64	0.12
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_43.smt2	sat	sat	sat	0.07	0.85	0.17
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_44.smt2	sat	sat	sat	0.07	0.49	0.14
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_45.smt2	sat	sat	sat	0.13	1.01	0.41
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_46.smt2	sat	sat	sat	0.08	1.00	0.20
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_47.smt2	sat	sat	sat	0.08	0.35	0.35
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_48.smt2	unsat	unsat	unsat	0.10	1.23	0.35
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_49.smt2	sat	sat	sat	0.09	0.45	0.14
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_50.smt2	sat	sat	sat	0.07	0.57	0.27
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_51.smt2	sat	sat	sat	0.06	0.62	0.32
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_52.smt2	sat	sat	sat	0.10	0.83	0.33
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_53.smt2	sat	sat	sat	0.05	1.31	0.11
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_54.smt2	sat	sat	sat	0.13	0.64	0.27
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_55.smt2	sat	sat	sat	0.08	0.47	0.22
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_56.smt2	sat	sat	sat	0.07	1.05	0.44
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_57.smt2	sat	sat	sat	0.19	3.39	0.74
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_58.smt2	unsat	unsat	unsat	0.23	1.98	0.33
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_59.smt2	sat	sat	sat	0.08	0.29	0.54
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_60.smt2	sat	sat	sat	0.09	0.30	0.10
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_61.smt2	unsat	unsat	unsat	0.14	1.69	0.46
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_62.smt2	sat	sat	sat	0.07	0.58	0.45
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_63.smt2	sat	sat	sat	0.07	0.46	0.77
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_64.smt2	sat	sat	sat	0.07	0.29	0.20
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_65.smt2	sat	sat	sat	0.07	0.82	0.38

full results