show full table

problem	z3	sidekick	mc2	z3.time	sidekick.time	mc2.time
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.8.prop1_ab_reg_max.smt2	sat	sat	sat	0.05	0.56	1.83
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.8.prop2_ab_cti_max.smt2	sat	sat	sat	0.11	2.17	1.30
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.8.prop2_ab_reg_max.smt2	sat	sat	sat	0.05	0.61	1.22
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.8.prop5_ab_cti_max.smt2	sat	sat	sat	0.11	2.23	0.47
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.8.prop5_ab_reg_max.smt2	sat	sat	sat	0.03	0.01	0.01
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.8.prop6_ab_cti_max.smt2	sat	sat	sat	0.10	2.08	0.43
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.8.prop6_ab_reg_max.smt2	unsat	unsat	unsat	0.01	0.01	0.01
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_pipeline_ab_cti_max.smt2	unsat	unsat	unsat	0.01	0.01	0.01
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_pipeline_ab_reg_max.smt2	sat	sat	sat	0.01	0.01	0.01
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_pj_icu_ab_cti_max.smt2	unsat	unsat	unsat	0.01	0.02	0.03
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_pj_icu_ab_fp_max.smt2	sat	sat	sat	0.01	0.04	0.03
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_pj_icu_ab_reg_max.smt2	unsat	unsat	unsat	0.01	0.03	0.04
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_plc.1.prop2_ab_cti_max.smt2	sat	sat	sat	0.25	0.96	0.74
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_plc.1.prop2_ab_reg_max.smt2	sat	sat	sat	0.01	0.03	0.01
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_plc.2.prop2_ab_cti_max.smt2	sat	sat	sat	0.25	0.90	0.72
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_plc.2.prop2_ab_reg_max.smt2	sat	sat	sat	0.01	0.02	0.01
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_plc.3.prop2_ab_cti_max.smt2	sat	sat	sat	0.26	0.96	1.18
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_plc.3.prop2_ab_reg_max.smt2	sat	sat	sat	0.01	0.02	0.01
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_plc.4.prop2_ab_cti_max.smt2	sat	sat	sat	0.26	0.96	0.78
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_plc.4.prop2_ab_reg_max.smt2	sat	sat	sat	0.03	0.02	0.02
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_pouring.1.prop1_ab_cti_max.smt2	timeout	sat	sat	11.19	1.94	0.55
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_pouring.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_pouring.2.prop1_ab_cti_max.smt2	timeout	sat	sat	11.05	1.69	0.51
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_pouring.2.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_production_cell.2.prop1_ab_cti_max.smt2	sat	sat	sat	0.02	0.04	0.06

full results