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_brn1304.smt2	sat	sat	sat	sat	0.02	0.17	0.17	0.26
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1305.smt2	sat	sat	sat	sat	0.03	0.11	0.11	0.17
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1306.smt2	sat	sat	sat	sat	0.02	0.07	0.07	0.12
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1307.smt2	sat	sat	sat	sat	0.02	0.17	0.18	0.17
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1308.smt2	unsat	unsat	unsat	unsat	0.06	4.09	4.07	3.87
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1309.smt2	sat	sat	sat	sat	0.01	0.03	0.03	0.03
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn131.smt2	unsat	unsat	unsat	timeout	0.60	8.05	8.19	10.07
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1310.smt2	sat	sat	sat	sat	0.01	0.05	0.05	0.06
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1311.smt2	sat	sat	sat	sat	0.01	0.09	0.09	0.05
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1312.smt2	sat	sat	sat	sat	0.02	0.04	0.04	0.06
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1313.smt2	sat	sat	sat	sat	0.02	0.05	0.05	0.09
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1314.smt2	sat	sat	sat	sat	0.02	0.07	0.07	0.13
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1315.smt2	unsat	unsat	unsat	unsat	0.03	0.47	0.47	1.07
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1316.smt2	sat	sat	sat	sat	0.02	0.04	0.04	0.07
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1317.smt2	sat	sat	sat	sat	0.02	0.06	0.06	0.08
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1318.smt2	sat	sat	sat	sat	0.02	0.08	0.09	0.15
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1319.smt2	unsat	unsat	unsat	unsat	0.12	1.02	1.06	1.11
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn132.smt2	unsat	unsat	unsat	timeout	0.59	8.35	8.32	10.05
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1320.smt2	sat	sat	sat	sat	0.02	0.05	0.05	0.07
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1321.smt2	unsat	unsat	unsat	unsat	0.03	1.05	1.04	1.56
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1322.smt2	sat	sat	sat	sat	0.01	0.06	0.06	0.05
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1323.smt2	sat	sat	sat	sat	0.02	0.05	0.05	0.11
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1324.smt2	sat	sat	sat	sat	0.02	0.07	0.07	0.14
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1325.smt2	sat	sat	sat	sat	0.02	0.07	0.06	0.10
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1326.smt2	unsat	unsat	unsat	unsat	0.14	0.72	0.75	1.50

full results