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_firewire_tree.3.prop2_ab_cti_max.smt2	sat	timeout	timeout	sat	1.58	11.07	11.07	4.04
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.3.prop2_ab_reg_max.smt2	sat	sat	sat	sat	0.17	3.39	3.41	2.24
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.3.prop3_ab_cti_max.smt2	sat	timeout	timeout	sat	1.53	11.07	11.08	3.96
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.3.prop3_ab_reg_max.smt2	sat	sat	sat	sat	0.18	3.66	3.69	1.87
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop1_ab_cti_max.smt2	sat	timeout	timeout	sat	3.05	11.07	11.10	7.57
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop2_ab_cti_max.smt2	sat	timeout	timeout	sat	3.14	11.08	11.08	6.91
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop2_ab_reg_max.smt2	sat	sat	sat	sat	0.26	7.65	7.47	5.34
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop3_ab_cti_max.smt2	sat	timeout	timeout	sat	3.14	11.08	11.08	7.25
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop3_ab_reg_max.smt2	sat	sat	sat	sat	0.26	5.55	5.38	4.78
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop1_ab_cti_max.smt2	timeout	timeout	timeout	timeout	11.05	11.09	11.07	10.11
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop1_ab_reg_max.smt2	unsat	unsat	unsat	timeout	0.43	2.06	2.05	10.10
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop2_ab_cti_max.smt2	timeout	timeout	timeout	timeout	11.05	11.07	11.08	10.06
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop2_ab_reg_max.smt2	sat	timeout	timeout	timeout	0.84	11.07	11.07	10.14
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop3_ab_cti_max.smt2	timeout	timeout	timeout	timeout	11.11	11.07	11.07	10.10
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop3_ab_reg_max.smt2	sat	timeout	timeout	timeout	0.99	11.07	11.08	10.10
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_fischer.1.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.02	0.03	0.03	0.02
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_fischer.2.prop1_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_fischer.3.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.02	0.06	0.07	0.04
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_fischer.3.prop1_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_fischer.4.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.02	0.07	0.07	0.06
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_fischer.4.prop1_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_fischer.5.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.02	0.07	0.07	0.05
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_fischer.5.prop1_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_fischer.6.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.04	0.09	0.10	0.09
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_fischer.6.prop1_ab_reg_max.smt2	sat	sat	sat	sat	0.01	0.01	0.01	0.01

full results