show full table

problem	z3	sidekick-dev	z3.time	sidekick-dev.time
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_41.smt2	sat	sat	0.07	0.83
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_42.smt2	sat	sat	0.07	0.67
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_43.smt2	sat	sat	0.11	1.00
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_44.smt2	sat	sat	0.07	0.62
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_45.smt2	sat	sat	0.11	1.07
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_46.smt2	sat	sat	0.07	1.04
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_47.smt2	sat	sat	0.07	0.51
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_48.smt2	unsat	unsat	0.14	1.40
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_49.smt2	sat	sat	0.11	0.46
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_50.smt2	sat	sat	0.07	0.60
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_51.smt2	sat	sat	0.09	0.72
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_52.smt2	sat	sat	0.15	0.94
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_53.smt2	sat	sat	0.07	1.51
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_54.smt2	sat	sat	0.09	0.62
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_55.smt2	sat	sat	0.10	0.42
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_56.smt2	sat	sat	0.06	1.14
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_57.smt2	sat	sat	0.27	3.10
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_58.smt2	unsat	unsat	0.20	2.12
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_59.smt2	sat	sat	0.08	0.29
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_60.smt2	sat	sat	0.09	0.39
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_61.smt2	unsat	unsat	0.22	1.80
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_62.smt2	sat	sat	0.07	0.46
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_63.smt2	sat	sat	0.09	0.47
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_64.smt2	sat	sat	0.07	0.32
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_50_100_30_65.smt2	sat	sat	0.10	1.07

full results