show full table

problem	z3	sidekick	mc2	z3.time	sidekick.time	mc2.time
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn060.smt2	sat	sat	sat	0.02	0.03	0.03
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn061.smt2	sat	sat	sat	0.02	0.04	0.05
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn062.smt2	sat	sat	sat	0.11	0.27	0.12
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn063.smt2	sat	sat	sat	0.01	0.04	0.03
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn064.smt2	sat	sat	sat	0.06	0.12	0.07
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn065.smt2	sat	sat	sat	0.01	0.04	0.02
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn066.smt2	sat	sat	sat	0.01	0.03	0.03
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn067.smt2	sat	sat	sat	0.01	0.03	0.02
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn068.smt2	sat	sat	sat	0.01	0.03	0.02
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn069.smt2	sat	sat	sat	0.02	0.03	0.02
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn070.smt2	sat	sat	sat	0.01	0.04	0.02
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn071.smt2	sat	sat	sat	0.03	0.06	0.02
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn072.smt2	sat	sat	sat	0.03	0.03	0.02
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn073.smt2	sat	sat	sat	0.02	0.05	0.06
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn074.smt2	sat	sat	sat	0.03	0.13	0.16
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn075.smt2	sat	sat	sat	0.03	0.04	0.05
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn076.smt2	sat	sat	sat	0.02	0.12	0.14
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn077.smt2	sat	sat	sat	0.12	0.73	1.14
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn078.smt2	sat	sat	sat	0.02	0.06	0.29
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn079.smt2	sat	sat	sat	0.05	0.20	0.53
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn080.smt2	sat	sat	sat	0.04	0.12	0.29
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn081.smt2	sat	sat	sat	0.03	0.14	0.38
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn082.smt2	sat	sat	sat	0.02	0.08	0.26
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn083.smt2	sat	sat	sat	0.04	0.12	0.46
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn084.smt2	sat	sat	sat	0.05	0.16	0.41

full results