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_brn1145.smt2	sat	sat	sat	sat	0.02	0.09	0.09	0.15
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1146.smt2	sat	sat	sat	sat	0.02	0.14	0.14	0.20
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1147.smt2	sat	sat	sat	sat	0.02	0.09	0.09	0.10
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1148.smt2	unsat	unsat	unsat	unsat	0.09	3.89	3.85	6.22
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1149.smt2	unsat	unsat	unsat	unsat	0.07	4.42	4.47	7.45
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn115.smt2	unsat	unsat	unsat	unsat	0.31	0.48	0.51	7.85
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1150.smt2	unsat	unsat	unsat	unsat	0.08	5.41	5.59	6.30
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1151.smt2	sat	sat	sat	sat	0.01	0.04	0.04	0.04
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1152.smt2	sat	sat	sat	sat	0.01	0.04	0.04	0.04
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1153.smt2	sat	sat	sat	sat	0.01	0.04	0.04	0.09
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1154.smt2	sat	sat	sat	sat	0.01	0.05	0.05	0.11
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1155.smt2	sat	sat	sat	sat	0.01	0.08	0.10	0.14
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1156.smt2	sat	sat	sat	sat	0.02	0.07	0.06	0.09
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1157.smt2	sat	sat	sat	sat	0.02	0.06	0.05	0.18
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1158.smt2	unsat	unsat	unsat	unsat	0.03	1.60	1.61	1.79
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1159.smt2	unsat	unsat	unsat	unsat	0.05	0.40	0.41	3.08
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn116.smt2	sat	sat	sat	sat	0.02	0.21	0.22	0.24
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1160.smt2	sat	sat	sat	sat	0.02	0.10	0.10	0.15
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1161.smt2	sat	sat	sat	sat	0.02	0.12	0.12	0.22
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1162.smt2	sat	sat	sat	sat	0.02	0.08	0.08	0.20
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1163.smt2	sat	sat	sat	sat	0.02	0.14	0.14	0.20
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1164.smt2	sat	sat	sat	sat	0.02	0.07	0.07	0.13
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1165.smt2	sat	sat	sat	sat	0.02	0.11	0.11	0.32
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1166.smt2	sat	sat	sat	sat	0.02	0.16	0.15	0.24
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1167.smt2	sat	sat	sat	sat	0.02	0.13	0.13	0.28

full results