show full table

problem	z3	sidekick-dev	sidekick	mc2	z3.time	sidekick-dev.time	sidekick.time	mc2.time
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1236.smt2	sat	sat	sat	sat	0.02	0.08	0.09	0.10
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1237.smt2	sat	sat	sat	sat	0.02	0.08	0.08	0.08
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1238.smt2	unsat	unsat	unsat	unsat	0.05	1.90	1.89	2.66
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1239.smt2	sat	sat	sat	sat	0.02	0.15	0.15	0.19
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn124.smt2	unsat	unsat	unsat	unsat	0.10	1.56	1.54	3.86
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1240.smt2	unsat	unsat	unsat	unsat	0.02	0.24	0.23	0.35
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1241.smt2	sat	sat	sat	sat	0.01	0.03	0.03	0.02
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1242.smt2	sat	sat	sat	sat	0.01	0.03	0.03	0.03
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1243.smt2	sat	sat	sat	sat	0.01	0.06	0.06	0.05
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1244.smt2	sat	sat	sat	sat	0.01	0.05	0.05	0.06
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1245.smt2	sat	sat	sat	sat	0.02	0.06	0.06	0.09
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1246.smt2	sat	sat	sat	sat	0.02	0.07	0.07	0.07
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1247.smt2	sat	sat	sat	sat	0.02	0.11	0.11	0.11
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1248.smt2	sat	sat	sat	sat	0.02	0.11	0.11	0.21
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1249.smt2	sat	sat	sat	sat	0.02	0.09	0.09	0.13
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn125.smt2	sat	sat	sat	sat	0.02	0.17	0.17	0.20
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1250.smt2	sat	sat	sat	sat	0.02	0.17	0.17	0.31
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1251.smt2	sat	sat	sat	sat	0.02	0.12	0.12	0.18
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1252.smt2	sat	sat	sat	sat	0.02	0.13	0.12	0.23
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1253.smt2	sat	sat	sat	sat	0.02	0.33	0.33	0.24
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1254.smt2	unsat	unsat	unsat	unsat	0.04	2.29	2.28	2.00
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1255.smt2	sat	sat	sat	sat	0.02	0.30	0.30	0.16
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1256.smt2	sat	sat	sat	sat	0.02	0.16	0.16	0.23
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1257.smt2	sat	sat	sat	sat	0.02	0.18	0.18	0.15
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1258.smt2	sat	sat	sat	sat	0.02	0.18	0.17	0.26

full results