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_pgm_protocol.8.prop1_ab_reg_max.smt2	sat	sat	sat	sat	0.05	0.54	0.53	2.45
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.8.prop2_ab_cti_max.smt2	sat	sat	sat	sat	0.10	2.65	2.66	1.54
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.8.prop2_ab_reg_max.smt2	sat	sat	sat	sat	0.05	0.73	0.82	1.72
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.8.prop5_ab_cti_max.smt2	sat	sat	sat	sat	0.10	2.70	2.77	0.61
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.8.prop5_ab_reg_max.smt2	sat	sat	sat	sat	0.01	0.01	0.01	0.02
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.8.prop6_ab_cti_max.smt2	sat	sat	sat	sat	0.09	2.62	2.78	0.67
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.8.prop6_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_pipeline_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_pipeline_ab_reg_max.smt2	sat	sat	sat	sat	0.01	0.01	0.01	0.02
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_pj_icu_ab_cti_max.smt2	unsat	unsat	unsat	unsat	0.01	0.02	0.02	0.03
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_pj_icu_ab_fp_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_pj_icu_ab_reg_max.smt2	unsat	unsat	unsat	unsat	0.01	0.02	0.03	0.03
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_plc.1.prop2_ab_cti_max.smt2	sat	sat	sat	sat	0.21	1.15	1.17	1.09
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_plc.1.prop2_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_plc.2.prop2_ab_cti_max.smt2	sat	sat	sat	sat	0.21	1.11	1.10	1.03
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_plc.2.prop2_ab_reg_max.smt2	sat	sat	sat	sat	0.01	0.02	0.02	0.02
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_plc.3.prop2_ab_cti_max.smt2	sat	sat	sat	sat	0.20	1.17	1.17	1.10
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_plc.3.prop2_ab_reg_max.smt2	sat	sat	sat	sat	0.01	0.02	0.02	0.01
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_plc.4.prop2_ab_cti_max.smt2	sat	sat	sat	sat	0.21	1.20	1.14	1.04
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_plc.4.prop2_ab_reg_max.smt2	sat	sat	sat	sat	0.01	0.02	0.02	0.01
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_pouring.1.prop1_ab_cti_max.smt2	timeout	sat	sat	sat	11.06	2.33	2.38	0.69
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_pouring.1.prop1_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_pouring.2.prop1_ab_cti_max.smt2	sat	sat	sat	sat	9.56	1.86	1.87	0.60
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_pouring.2.prop1_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_production_cell.2.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.02	0.04	0.05	0.03

full results