show full table

problem	z3	sidekick-dev	z3.time	sidekick-dev.time
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn035.smt2	unsat	unsat	0.09	0.27
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn036.smt2	sat	sat	0.03	0.04
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn037.smt2	sat	sat	0.05	0.09
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn038.smt2	sat	sat	0.04	0.24
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn039.smt2	sat	sat	0.03	0.07
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn040.smt2	sat	sat	0.03	0.08
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn041.smt2	sat	sat	0.05	0.09
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn042.smt2	sat	sat	0.04	0.07
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn043.smt2	sat	sat	0.05	0.19
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn044.smt2	sat	sat	0.05	0.27
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn045.smt2	sat	sat	0.04	0.13
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn046.smt2	sat	sat	0.04	0.13
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn047.smt2	unsat	unsat	0.15	1.67
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn048.smt2	sat	sat	0.04	0.19
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn049.smt2	unsat	unsat	0.08	0.77
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn050.smt2	sat	sat	0.04	0.13
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn051.smt2	sat	sat	0.05	0.09
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn052.smt2	sat	sat	0.05	0.15
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn053.smt2	unsat	unsat	0.11	0.92
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn054.smt2	sat	sat	0.03	0.05
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn055.smt2	sat	sat	0.04	0.05
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn056.smt2	sat	sat	0.04	0.04
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn057.smt2	sat	sat	0.03	0.14
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn058.smt2	sat	sat	0.05	0.07
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn059.smt2	sat	sat	0.04	0.07

full results