show full table

problem	z3	sidekick-dev	z3.time	sidekick-dev.time
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn060.smt2	sat	sat	0.03	0.08
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn061.smt2	sat	sat	0.04	0.06
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn062.smt2	sat	sat	0.07	0.10
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn063.smt2	sat	sat	0.08	0.13
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn064.smt2	sat	sat	0.07	0.11
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn065.smt2	sat	sat	0.06	0.12
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn066.smt2	sat	sat	0.04	0.08
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn067.smt2	sat	sat	0.04	0.05
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn068.smt2	sat	sat	0.03	0.04
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn069.smt2	sat	sat	0.05	0.06
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn070.smt2	sat	sat	0.03	0.07
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn071.smt2	sat	sat	0.05	0.12
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn072.smt2	sat	sat	0.04	0.06
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn073.smt2	sat	sat	0.03	0.19
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn074.smt2	sat	sat	0.05	0.16
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn075.smt2	sat	sat	0.05	0.08
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn076.smt2	sat	sat	0.04	0.44
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn077.smt2	sat	sat	0.05	0.43
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn078.smt2	sat	sat	0.07	0.42
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn079.smt2	sat	sat	0.06	0.44
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn080.smt2	sat	sat	0.06	0.29
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn081.smt2	sat	sat	0.07	0.22
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn082.smt2	sat	sat	0.04	0.20
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn083.smt2	sat	sat	0.05	0.21
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn084.smt2	sat	sat	0.07	0.51

full results