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/QG-classification/qg5/gensys_brn482.smt2	sat	sat	sat	sat	0.02	0.08	0.08	0.10
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn483.smt2	sat	sat	sat	sat	0.02	0.07	0.07	0.16
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn484.smt2	sat	sat	sat	sat	0.02	0.11	0.11	0.17
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn485.smt2	sat	sat	sat	sat	0.02	0.10	0.09	0.17
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn486.smt2	sat	sat	sat	sat	0.01	0.06	0.06	0.07
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn487.smt2	unsat	unsat	unsat	unsat	0.11	0.57	0.57	1.14
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn488.smt2	unsat	unsat	unsat	unsat	0.17	0.81	0.78	1.35
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn489.smt2	sat	sat	sat	sat	0.02	0.04	0.04	0.04
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn490.smt2	sat	sat	sat	sat	0.02	0.08	0.08	0.08
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn491.smt2	sat	sat	sat	sat	0.01	0.04	0.04	0.07
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn492.smt2	sat	sat	sat	sat	0.02	0.07	0.07	0.08
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn493.smt2	sat	sat	sat	sat	0.02	0.21	0.21	0.10
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn494.smt2	unsat	unsat	unsat	unsat	0.05	3.09	3.03	4.37
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn495.smt2	sat	sat	sat	sat	0.01	0.06	0.06	0.07
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn496.smt2	sat	sat	sat	sat	0.01	0.06	0.06	0.08
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn497.smt2	sat	sat	sat	sat	0.01	0.08	0.08	0.10
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn498.smt2	sat	sat	sat	sat	0.02	0.07	0.07	0.09
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn499.smt2	sat	sat	sat	sat	0.01	0.06	0.06	0.14
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn500.smt2	sat	sat	sat	sat	0.02	0.19	0.17	0.16
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn501.smt2	sat	sat	sat	sat	0.02	0.07	0.06	0.13
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn502.smt2	sat	sat	sat	sat	0.02	0.06	0.06	0.24
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn503.smt2	unsat	unsat	unsat	unsat	0.03	1.46	1.42	1.67
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn504.smt2	sat	sat	sat	sat	0.02	0.07	0.09	0.16
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn505.smt2	sat	sat	sat	sat	0.01	0.04	0.04	0.04
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn506.smt2	unsat	unsat	unsat	unsat	0.03	1.72	1.65	1.98

full results