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_brn1077.smt2	sat	sat	sat	sat	0.06	0.53	0.55	0.26
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1078.smt2	sat	sat	sat	sat	0.03	0.44	0.44	0.29
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1079.smt2	sat	sat	sat	sat	0.03	0.10	0.10	0.26
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn108.smt2	sat	sat	sat	sat	0.03	0.12	0.12	0.29
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1080.smt2	sat	sat	sat	sat	0.02	0.07	0.07	0.27
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1081.smt2	sat	sat	sat	sat	0.02	0.09	0.09	0.12
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1082.smt2	sat	sat	sat	sat	0.02	0.06	0.06	0.10
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1083.smt2	unsat	unsat	unsat	unsat	0.03	0.14	0.14	0.29
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1084.smt2	sat	sat	sat	sat	0.01	0.08	0.08	0.10
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1085.smt2	unsat	unsat	unsat	unsat	0.04	0.37	0.37	1.40
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1086.smt2	sat	sat	sat	sat	0.02	0.08	0.08	0.09
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1087.smt2	unsat	unsat	unsat	unsat	0.05	0.60	0.60	1.20
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1088.smt2	sat	sat	sat	sat	0.01	0.03	0.03	0.03
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1089.smt2	sat	sat	sat	sat	0.01	0.04	0.04	0.03
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn109.smt2	sat	sat	sat	sat	0.02	0.32	0.32	0.63
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1090.smt2	sat	sat	sat	sat	0.01	0.04	0.04	0.03
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1091.smt2	sat	sat	sat	sat	0.01	0.03	0.03	0.04
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1092.smt2	sat	sat	sat	sat	0.02	0.06	0.06	0.08
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1093.smt2	sat	sat	sat	sat	0.02	0.07	0.08	0.14
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1094.smt2	sat	sat	sat	sat	0.03	0.08	0.08	0.15
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1095.smt2	sat	sat	sat	sat	0.01	0.05	0.05	0.07
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1096.smt2	sat	sat	sat	sat	0.01	0.06	0.06	0.07
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1097.smt2	sat	sat	sat	sat	0.02	0.07	0.07	0.18
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1098.smt2	unsat	unsat	unsat	unsat	0.46	5.18	5.14	10.01
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1099.smt2	sat	sat	sat	sat	0.01	0.05	0.06	0.08

full results