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_h_Vending_ab_reg_max.smt2	sat	sat	sat	sat	0.01	0.02	0.02	0.03
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_Vlunc_ab_cti_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_h_b02_ab_br_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_h_b02_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_h_b03_ab_cti_max.smt2	sat	sat	sat	sat	0.01	0.03	0.03	0.02
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_b04_ab_cti_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_h_b04_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_h_b05_ab_br_max.smt2	sat	sat	sat	sat	0.03	0.19	0.19	0.53
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_b05_ab_cti_max.smt2	sat	sat	sat	sat	0.02	0.08	0.08	0.32
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_b05_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_h_b07_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_h_b08_ab_cti_max.smt2	unsat	unsat	unsat	unsat	0.01	0.02	0.02	0.08
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_b08_ab_reg_max.smt2	unsat	unsat	unsat	unsat	0.01	0.02	0.02	0.09
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_segments_ab_cti_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_h_segments_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_h_traffic_light_example_ab_cti_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_h_traffic_light_example_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_hanoi.1.prop1_ab_reg_max.smt2	sat	sat	sat	sat	0.01	0.05	0.05	0.05
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.2.prop1_ab_br_max.smt2	unsat	unsat	unsat	timeout	0.10	1.34	1.44	10.06
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.2.prop1_ab_reg_max.smt2	sat	sat	sat	sat	0.01	0.08	0.08	0.09
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_br_max.smt2	sat	sat	sat	timeout	0.07	2.26	2.18	10.08
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_fp_max.smt2	sat	sat	sat	sat	0.07	6.59	6.91	4.78
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_reg_max.smt2	sat	sat	sat	sat	0.01	0.12	0.13	0.09
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.4.prop1_ab_reg_max.smt2	sat	sat	sat	sat	0.02	0.14	0.14	0.14
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.1.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.02	0.06	0.06	0.03

full results