show full table

problem	z3	sidekick-dev	sidekick	mc2	z3.time	sidekick-dev.time	sidekick.time	mc2.time
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.8.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.34	1.14	1.20	0.32
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.8.prop1_ab_reg_max.smt2	unsat	unsat	unsat	unsat	0.01	0.01	0.01	0.02
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_loyd.1.prop1_ab_br_max.smt2	unsat	unsat	unsat	unsat	0.02	0.08	0.07	0.41
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_loyd.1.prop1_ab_reg_max.smt2	unsat	unsat	unsat	unsat	0.01	0.01	0.01	0.01
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_loyd.2.prop1_ab_br_max.smt2	unsat	unsat	unsat	unsat	0.02	0.18	0.19	1.67
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_loyd.2.prop1_ab_reg_max.smt2	unsat	unsat	unsat	unsat	0.01	0.01	0.01	0.02
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_loyd.3.prop1_ab_br_max.smt2	unsat	unsat	unsat	unsat	0.04	0.41	0.43	4.95
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_loyd.3.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.01	0.08	0.07	0.07
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_loyd.3.prop1_ab_reg_max.smt2	unsat	unsat	unsat	unsat	0.01	0.01	0.01	0.03
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lup.1.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.02	0.07	0.07	0.03
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lup.1.prop1_ab_reg_max.smt2	unsat	unsat	unsat	unsat	0.01	0.01	0.01	0.01
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lup.2.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.05	0.14	0.13	0.07
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lup.2.prop1_ab_reg_max.smt2	unsat	unsat	unsat	unsat	0.02	0.10	0.10	0.04
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lup.3.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.05	0.15	0.16	0.06
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lup.3.prop1_ab_reg_max.smt2	unsat	unsat	unsat	unsat	0.01	0.01	0.01	0.02
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lup.4.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.06	0.20	0.21	0.08
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lup.4.prop1_ab_reg_max.smt2	unsat	unsat	unsat	unsat	0.01	0.01	0.01	0.02
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_mcs.1.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.02	0.07	0.07	0.04
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_mcs.2.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.02	0.06	0.06	0.03
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_mcs.3.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.03	0.09	0.09	0.06
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_mcs.3.prop1_ab_reg_max.smt2	sat	sat	sat	sat	0.01	0.01	0.01	0.01
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_mcs.4.prop1_ab_reg_max.smt2	sat	sat	sat	sat	0.01	0.01	0.01	0.01
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_mcs.5.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.03	0.22	0.22	0.08
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_mcs.5.prop1_ab_reg_max.smt2	sat	sat	sat	sat	0.01	0.01	0.01	0.01
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_mcs.6.prop1_ab_reg_max.smt2	sat	sat	sat	sat	0.01	0.01	0.01	0.01

full results