show full table

problem	z3	mc2-nogc-dev	mc2-dev	z3.time	mc2-nogc-dev.time	mc2-dev.time
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408985/gensys_brn1152.smt2	sat	sat	sat	0.03	0.07	0.07
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408986/gensys_brn1153.smt2	sat	sat	sat	0.03	0.13	0.12
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408987/gensys_brn1154.smt2	sat	sat	sat	0.03	0.20	0.19
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408988/gensys_brn1155.smt2	sat	sat	sat	0.03	0.16	0.16
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408989/gensys_brn1156.smt2	sat	sat	sat	0.03	0.14	0.14
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408990/gensys_brn1157.smt2	sat	sat	sat	0.03	0.29	0.30
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408991/gensys_brn1158.smt2	unsat	unsat	unsat	0.06	2.37	2.21
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408992/gensys_brn1159.smt2	unsat	unsat	unsat	0.11	4.19	4.54
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408993/gensys_brn116.smt2	sat	sat	sat	0.03	0.36	0.35
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408994/gensys_brn1160.smt2	sat	sat	sat	0.03	0.24	0.25
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408995/gensys_brn1161.smt2	sat	sat	sat	0.03	0.35	0.35
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408996/gensys_brn1162.smt2	sat	sat	sat	0.04	0.32	0.31
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408997/gensys_brn1163.smt2	sat	sat	sat	0.04	0.31	0.31
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408998/gensys_brn1164.smt2	sat	sat	sat	0.03	0.21	0.21
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408999/gensys_brn1165.smt2	sat	sat	sat	0.03	0.49	0.49
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409000/gensys_brn1166.smt2	sat	sat	sat	0.04	0.36	0.36
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409001/gensys_brn1167.smt2	sat	sat	sat	0.03	0.48	0.52
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409002/gensys_brn1168.smt2	sat	sat	sat	0.03	0.37	0.35
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409003/gensys_brn1169.smt2	sat	sat	sat	0.03	0.20	0.20
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409004/gensys_brn117.smt2	sat	sat	sat	0.03	0.69	0.71
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409005/gensys_brn1170.smt2	sat	sat	sat	0.04	0.21	0.21
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409006/gensys_brn1171.smt2	sat	sat	sat	0.04	0.16	0.15
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409007/gensys_brn1172.smt2	sat	sat	sat	0.03	0.25	0.25
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409008/gensys_brn1173.smt2	sat	sat	sat	0.04	0.24	0.24
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409009/gensys_brn1174.smt2	sat	sat	sat	0.04	0.40	0.41

full results