show full table

problem	z3	sidekick	mc2	z3.time	sidekick.time	mc2.time
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_gear.2.prop1_ab_reg_max.smt2	sat	sat	sat	0.01	0.03	0.02
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_gear.2.prop2_ab_cti_max.smt2	sat	sat	sat	0.04	0.09	0.04
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_gear.2.prop2_ab_reg_max.smt2	unsat	unsat	unsat	0.04	0.07	0.03
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_gear.2.prop3_ab_cti_max.smt2	sat	sat	sat	0.07	0.14	0.06
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_gear.2.prop3_ab_reg_max.smt2	unsat	unsat	unsat	0.02	0.07	0.03
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_gear.2.prop4_ab_cti_max.smt2	sat	sat	sat	0.05	0.10	0.04
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_gear.2.prop4_ab_reg_max.smt2	unsat	unsat	unsat	0.02	0.08	0.03
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_Arbiter_ab_cti_max.smt2	sat	sat	sat	0.01	0.02	0.02
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_Arbiter_ab_reg_max.smt2	unsat	unsat	unsat	0.03	0.02	0.04
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_Barrel_ab_cti_max.smt2	unsat	unsat	unsat	0.01	0.02	0.01
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_BufAl_ab_br_max.smt2	sat	sat	sat	0.02	0.08	0.25
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_BufAl_ab_cti_max.smt2	sat	sat	sat	0.01	0.05	0.03
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_BufAl_ab_fp_max.smt2	unsat	unsat	unsat	0.03	0.12	0.76
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_BufAl_ab_reg_max.smt2	sat	sat	sat	0.02	0.04	0.05
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_FIFO_ab_cti_max.smt2	sat	sat	sat	0.03	0.08	0.28
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_FIFO_ab_reg_max.smt2	sat	sat	sat	0.01	0.04	0.02
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_Rrobin_ab_cti_max.smt2	unsat	unsat	unsat	0.02	0.03	0.02
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_Rrobin_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_Spinner_ab_reg_max.smt2	unsat	unsat	unsat	0.01	0.02	0.01
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_TicTacToe_ab_cti_max.smt2	sat	sat	timeout	0.10	0.20	10.08
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_TicTacToe_ab_reg_max.smt2	unsat	unsat	unsat	0.02	0.06	0.07
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_TreeArb_ab_br_max.smt2	unsat	unsat	unsat	0.04	0.11	0.18
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_TreeArb_ab_cti_max.smt2	sat	sat	sat	0.01	0.12	0.24
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_TreeArb_ab_reg_max.smt2	unsat	unsat	unsat	0.03	0.11	0.26
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_Vending_ab_cti_max.smt2	sat	sat	sat	0.03	0.07	0.18

full results