show full table

problem	z3	sidekick	mc2	z3.time	sidekick.time	mc2.time
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_Vending_ab_reg_max.smt2	sat	sat	sat	0.01	0.04	0.03
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_Vlunc_ab_cti_max.smt2	unsat	unsat	unsat	0.01	0.01	0.01
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_b02_ab_br_max.smt2	sat	sat	sat	0.01	0.01	0.01
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_b02_ab_reg_max.smt2	unsat	unsat	unsat	0.01	0.01	0.01
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_b03_ab_cti_max.smt2	sat	sat	sat	0.01	0.06	0.02
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_b04_ab_cti_max.smt2	unsat	unsat	unsat	0.01	0.01	0.01
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_b04_ab_reg_max.smt2	unsat	unsat	unsat	0.01	0.01	0.01
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_b05_ab_br_max.smt2	sat	sat	sat	0.03	0.15	0.37
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_b05_ab_cti_max.smt2	sat	sat	sat	0.10	0.26	0.88
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_b05_ab_reg_max.smt2	unsat	unsat	unsat	0.02	0.04	0.01
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_b07_ab_reg_max.smt2	sat	sat	sat	0.01	0.02	0.01
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_b08_ab_cti_max.smt2	unsat	unsat	unsat	0.01	0.02	0.07
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_b08_ab_reg_max.smt2	unsat	unsat	unsat	0.01	0.03	0.11
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_segments_ab_cti_max.smt2	sat	sat	sat	0.01	0.01	0.01
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_segments_ab_reg_max.smt2	unsat	unsat	unsat	0.02	0.01	0.02
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_traffic_light_example_ab_cti_max.smt2	unsat	unsat	unsat	0.01	0.01	0.01
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_traffic_light_example_ab_reg_max.smt2	unsat	unsat	unsat	0.01	0.02	0.02
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.1.prop1_ab_reg_max.smt2	sat	sat	sat	0.04	0.04	0.05
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.2.prop1_ab_br_max.smt2	unsat	unsat	timeout	0.13	1.04	10.10
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.2.prop1_ab_reg_max.smt2	sat	sat	sat	0.01	0.15	0.09
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_br_max.smt2	sat	sat	timeout	0.08	1.73	10.11
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_fp_max.smt2	sat	sat	sat	0.06	5.56	3.66
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_reg_max.smt2	sat	sat	sat	0.02	0.09	0.08
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.4.prop1_ab_reg_max.smt2	sat	sat	sat	0.05	0.11	0.10
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.1.prop1_ab_cti_max.smt2	sat	sat	sat	0.04	0.06	0.02

full results