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/20170829-Rodin/smt6109211130895037835.smt2	sat	error	error	sat	0.01	0.01	0.01	0.01
/home/simon/w/sidekick/tests/QF_UF/20170829-Rodin/smt6377531776677660648.smt2	sat	error	error	sat	0.01	0.01	0.01	0.01
/home/simon/w/sidekick/tests/QF_UF/20170829-Rodin/smt6739662804326223632.smt2	unsat	error	error	unsat	0.01	0.01	0.01	0.01
/home/simon/w/sidekick/tests/QF_UF/20170829-Rodin/smt7452810379672948208.smt2	unsat	error	error	unsat	0.01	0.01	0.01	0.01
/home/simon/w/sidekick/tests/QF_UF/20170829-Rodin/smt7632939434921259240.smt2	unsat	error	error	unsat	0.01	0.01	0.01	0.01
/home/simon/w/sidekick/tests/QF_UF/20170829-Rodin/smt7665342989239969743.smt2	unsat	error	error	unsat	0.01	0.01	0.01	0.01
/home/simon/w/sidekick/tests/QF_UF/20170829-Rodin/smt834303034702425531.smt2	sat	error	error	sat	0.01	0.01	0.01	0.01
/home/simon/w/sidekick/tests/QF_UF/20170829-Rodin/smt862177804180920815.smt2	sat	error	error	sat	0.01	0.01	0.01	0.01
/home/simon/w/sidekick/tests/QF_UF/20170829-Rodin/smt8855268942650190404.smt2	sat	error	error	sat	0.01	0.01	0.01	0.01
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_AR_ab_cti_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_AR_ab_fp_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_Heap_ab_br_max.smt2	unsat	unsat	unsat	unsat	0.03	0.21	0.21	0.66
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_Heap_ab_cti_max.smt2	sat	sat	sat	sat	0.02	0.07	0.07	0.17
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_Heap_ab_fp_max.smt2	sat	sat	sat	sat	0.02	0.13	0.16	0.31
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_Heap_ab_reg_max.smt2	sat	sat	sat	sat	0.01	0.03	0.03	0.05
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_Huffman_dec_ab_reg_max.smt2	sat	sat	sat	sat	0.01	0.05	0.05	0.19
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_Huffman_enc_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_adding.1.prop1_ab_cti_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_adding.1.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_adding.2.prop1_ab_cti_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_adding.2.prop1_ab_reg_max.smt2	sat	sat	sat	sat	0.01	0.01	0.01	0.03
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_adding.3.prop1_ab_cti_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_adding.3.prop1_ab_reg_max.smt2	sat	sat	sat	sat	0.01	0.02	0.01	0.01
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_adding.4.prop1_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_adding.5.prop1_ab_cti_max.smt2	sat	sat	sat	sat	0.01	0.02	0.02	0.02

full results