show full table

problem	z3	sidekick-dev	z3.time	sidekick-dev.time
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1281.smt2	sat	sat	0.03	0.13
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1282.smt2	sat	sat	0.06	0.13
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1283.smt2	sat	sat	0.05	0.16
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1284.smt2	sat	sat	0.04	0.14
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1285.smt2	sat	sat	0.05	0.15
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1286.smt2	sat	sat	0.04	0.12
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1287.smt2	unsat	unsat	0.09	2.64
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1288.smt2	sat	sat	0.04	0.11
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1289.smt2	sat	sat	0.05	0.11
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn129.smt2	sat	sat	0.05	0.31
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1290.smt2	sat	sat	0.04	0.09
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1291.smt2	sat	sat	0.05	0.18
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1292.smt2	sat	sat	0.06	0.16
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1293.smt2	sat	sat	0.05	0.14
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1294.smt2	sat	sat	0.05	0.11
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1295.smt2	sat	sat	0.04	0.12
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1296.smt2	sat	sat	0.03	0.15
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1297.smt2	sat	sat	0.04	0.12
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1298.smt2	sat	sat	0.04	0.21
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1299.smt2	sat	sat	0.07	0.35
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn130.smt2	sat	sat	0.06	0.55
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1300.smt2	sat	sat	0.05	0.55
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1301.smt2	unsat	unknown	0.88	11.47
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1302.smt2	sat	sat	0.03	0.19
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1303.smt2	sat	sat	0.05	0.26

full results