show full table

problem	z3	sidekick-dev	z3.time	sidekick-dev.time
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn1327.smt2	sat	sat	0.04	0.15
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn133.smt2	unsat	unsat	0.68	1.08
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn134.smt2	unsat	unsat	0.37	5.80
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn135.smt2	sat	sat	0.12	0.85
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn136.smt2	sat	sat	0.10	0.88
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn137.smt2	sat	sat	0.07	0.32
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn138.smt2	sat	sat	0.04	0.19
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn139.smt2	sat	sat	0.05	0.43
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn140.smt2	sat	sat	0.05	0.27
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn141.smt2	sat	sat	0.08	0.21
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn142.smt2	sat	sat	0.07	0.31
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn143.smt2	sat	sat	0.04	0.30
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn144.smt2	sat	sat	0.07	0.35
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn145.smt2	sat	sat	0.06	0.45
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn146.smt2	sat	sat	0.05	0.14
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn147.smt2	sat	sat	0.05	0.45
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn148.smt2	sat	sat	0.05	0.21
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn149.smt2	sat	sat	0.05	0.34
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn150.smt2	sat	sat	0.05	0.14
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn151.smt2	sat	sat	0.07	0.33
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn152.smt2	sat	sat	0.07	0.35
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn153.smt2	sat	sat	0.05	0.30
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn154.smt2	sat	sat	0.05	0.31
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn155.smt2	sat	sat	0.07	0.37
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn156.smt2	sat	sat	0.05	0.12

full results