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_leader_filters.2.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.02	0.06	0.06	0.04
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.2.prop1_ab_reg_max.smt2	sat	sat	sat	sat	0.01	0.01	0.01	0.02
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.3.prop1_ab_reg_max.smt2	sat	sat	sat	sat	0.01	0.01	0.01	0.03
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.4.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.03	0.10	0.10	0.06
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.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_leader_filters.5.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.03	0.50	0.49	0.13
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.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_leader_filters.6.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.03	0.15	0.16	0.08
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.6.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_leader_filters.7.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.04	0.59	0.60	0.14
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.7.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_lifts.1.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.10	0.21	0.23	0.16
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.1.prop1_ab_reg_max.smt2	unsat	unsat	unsat	unsat	0.03	0.16	0.16	0.06
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.2.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.11	0.18	0.19	0.14
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.2.prop1_ab_reg_max.smt2	unsat	unsat	unsat	unsat	0.03	0.16	0.16	0.07
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.3.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.20	0.69	0.70	0.21
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.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_lifts.4.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.20	0.36	0.39	0.22
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.4.prop1_ab_reg_max.smt2	unsat	unsat	unsat	unsat	0.05	0.23	0.23	0.09
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.5.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.20	0.55	0.55	0.24
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.5.prop1_ab_reg_max.smt2	unsat	unsat	unsat	unsat	0.05	0.23	0.24	0.10
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.6.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.34	1.41	1.42	0.34
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.6.prop1_ab_reg_max.smt2	unsat	unsat	unsat	unsat	0.06	0.33	0.33	0.13
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.7.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.37	1.24	1.26	0.73
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.7.prop1_ab_reg_max.smt2	unsat	unsat	unsat	unsat	0.06	0.34	0.35	0.13

full results