show full table

problem	z3	sidekick	mc2	z3.time	sidekick.time	mc2.time
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_lann.2.prop1_ab_cti_max.smt2	sat	sat	sat	0.02	0.06	0.03
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_lann.2.prop1_ab_reg_max.smt2	sat	sat	sat	0.02	0.04	0.03
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_lann.3.prop1_ab_cti_max.smt2	sat	sat	sat	0.02	0.05	0.04
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_lann.3.prop1_ab_reg_max.smt2	sat	sat	sat	0.02	0.05	0.03
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_lann.4.prop1_ab_reg_max.smt2	unsat	unsat	unsat	0.03	0.08	0.06
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_lann.5.prop1_ab_cti_max.smt2	sat	sat	sat	0.03	0.08	0.06
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_lann.5.prop1_ab_reg_max.smt2	sat	sat	sat	0.02	0.07	0.06
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_lann.6.prop1_ab_reg_max.smt2	sat	sat	sat	0.02	0.05	0.03
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_lann.7.prop1_ab_reg_max.smt2	sat	sat	sat	0.02	0.06	0.04
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_lann.8.prop1_ab_cti_max.smt2	sat	sat	sat	0.03	0.07	0.04
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_lann.8.prop1_ab_reg_max.smt2	sat	sat	sat	0.02	0.06	0.05
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.1.prop1_ab_cti_max.smt2	sat	sat	sat	0.07	0.60	0.13
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.1.prop1_ab_reg_max.smt2	unsat	unsat	unsat	0.01	0.01	0.01
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.2.prop1_ab_cti_max.smt2	sat	sat	sat	0.07	0.53	0.47
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.2.prop1_ab_reg_max.smt2	sat	sat	sat	0.01	0.02	0.03
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.3.prop1_ab_cti_max.smt2	sat	sat	sat	0.10	0.82	0.21
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.3.prop1_ab_reg_max.smt2	unsat	unsat	unsat	0.04	0.19	0.18
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.4.prop1_ab_cti_max.smt2	sat	sat	sat	0.13	1.51	0.54
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.4.prop1_ab_reg_max.smt2	sat	sat	sat	0.01	0.02	0.01
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.5.prop1_ab_cti_max.smt2	sat	sat	sat	0.16	3.56	1.12
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.5.prop1_ab_reg_max.smt2	sat	sat	sat	0.03	0.02	0.01
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.6.prop1_ab_cti_max.smt2	sat	sat	sat	0.21	4.26	0.76
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.6.prop1_ab_reg_max.smt2	sat	sat	sat	0.03	0.02	0.02
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.1.prop1_ab_cti_max.smt2	sat	sat	sat	0.04	0.06	0.04
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.1.prop1_ab_reg_max.smt2	sat	sat	sat	0.01	0.01	0.01

full results