show full table

problem	z3	sidekick-dev	z3.time	sidekick-dev.time
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_41.smt2	sat	timeout	0.05	11.20
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_42.smt2	sat	sat	0.04	0.05
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_43.smt2	sat	sat	0.05	0.05
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_44.smt2	sat	sat	0.03	1.19
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_45.smt2	unsat	unsat	0.04	0.04
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_46.smt2	sat	sat	0.04	0.02
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_47.smt2	sat	error	0.05	8.25
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_48.smt2	sat	sat	0.05	0.04
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_49.smt2	sat	sat	0.04	0.05
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_50.smt2	unsat	unsat	0.03	0.03
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_51.smt2	sat	sat	0.04	0.03
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_52.smt2	sat	sat	0.04	0.04
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_53.smt2	sat	sat	0.03	0.03
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_54.smt2	sat	error	0.05	6.63
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_55.smt2	sat	sat	0.05	0.04
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_56.smt2	sat	sat	0.05	0.14
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_57.smt2	sat	sat	0.04	0.05
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_58.smt2	unsat	unsat	0.05	0.04
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_59.smt2	sat	sat	0.04	0.04
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_60.smt2	sat	sat	0.04	0.04
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_61.smt2	unsat	unsat	0.04	0.04
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_62.smt2	sat	sat	0.05	0.19
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_63.smt2	sat	sat	0.03	0.02
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_64.smt2	sat	sat	0.04	0.04
/home/simon/w/sidekick/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_30_60_45_65.smt2	sat	sat	0.04	0.04

full results