show full table

problem	z3	sidekick	mc2	z3.time	sidekick.time	mc2.time
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_repgen_sk008.smt2	sat	sat	sat	0.04	1.23	3.60
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_repgen_sk009.smt2	sat	sat	sat	0.02	0.56	0.66
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_repgen_sk010.smt2	sat	sat	sat	0.04	0.69	8.99
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_repgen_sk011.smt2	sat	sat	sat	0.13	0.78	9.34
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_repgen_sk012.smt2	sat	sat	sat	0.05	0.93	1.97
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_repgen_sk013.smt2	sat	sat	sat	0.03	1.07	9.21
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_repgen_sk014.smt2	sat	sat	sat	0.03	1.35	9.52
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_repgen_sk015.smt2	sat	sat	sat	0.05	0.57	5.86
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_repgen_sk016.smt2	sat	sat	timeout	0.09	1.85	10.19
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_repgen_sk017.smt2	sat	sat	sat	0.06	0.80	5.96
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk001.smt2	sat	sat	sat	0.02	0.06	0.16
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk002.smt2	sat	sat	sat	0.04	0.08	0.48
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk003.smt2	sat	sat	sat	0.02	0.04	0.48
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk004.smt2	sat	sat	sat	0.04	0.09	0.30
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk005.smt2	sat	sat	sat	0.05	0.21	0.73
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk006.smt2	sat	sat	sat	0.06	0.37	1.06
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk007.smt2	sat	sat	sat	0.03	0.11	0.98
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk008.smt2	sat	sat	sat	0.04	0.18	1.17
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk009.smt2	sat	sat	sat	0.03	0.06	0.37
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk010.smt2	sat	sat	sat	0.03	0.09	0.50
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk011.smt2	unsat	unsat	unsat	0.06	0.16	1.13
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk012.smt2	sat	sat	sat	0.02	0.19	0.74
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk013.smt2	sat	sat	sat	0.06	0.18	0.57
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk014.smt2	unsat	unsat	unsat	0.04	0.16	1.04
/home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk015.smt2	unsat	unsat	unsat	0.03	0.11	0.79

full results