show full table

problem	z3	sidekick-dev	z3.time	sidekick-dev.time
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn607.smt2	sat	sat	0.06	0.46
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn608.smt2	sat	sat	0.08	0.47
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn609.smt2	sat	sat	0.06	0.50
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn610.smt2	sat	sat	0.07	0.29
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn611.smt2	sat	sat	0.04	0.75
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn612.smt2	sat	sat	0.05	0.27
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn613.smt2	sat	sat	0.05	1.00
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn614.smt2	sat	sat	0.09	0.58
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn615.smt2	sat	sat	0.04	0.43
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn616.smt2	sat	sat	0.14	0.40
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn617.smt2	sat	sat	0.03	0.16
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn618.smt2	sat	sat	0.04	0.21
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn619.smt2	sat	sat	0.05	0.21
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn620.smt2	sat	sat	0.05	0.28
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn621.smt2	sat	sat	0.06	0.88
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn622.smt2	unsat	timeout	0.97	12.16
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn623.smt2	sat	sat	0.05	0.29
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn624.smt2	unsat	unsat	0.55	3.54
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn625.smt2	sat	sat	0.05	0.30
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn626.smt2	sat	sat	0.05	0.41
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn627.smt2	sat	sat	0.06	0.32
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn628.smt2	sat	sat	0.04	0.48
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn629.smt2	sat	sat	0.10	0.46
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn630.smt2	sat	sat	0.05	0.69
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn631.smt2	sat	sat	0.05	0.24

full results