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/409110/gensys_brn1266.smt2	sat	sat	sat	0.03	0.50	0.48
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409111/gensys_brn1267.smt2	sat	sat	sat	0.03	0.19	0.18
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409112/gensys_brn1268.smt2	sat	sat	sat	0.03	0.18	0.18
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409113/gensys_brn1269.smt2	sat	sat	sat	0.03	0.20	0.20
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409114/gensys_brn127.smt2	sat	sat	sat	0.04	0.64	0.69
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409115/gensys_brn1270.smt2	sat	sat	sat	0.04	0.19	0.21
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409116/gensys_brn1271.smt2	unsat	unsat	unsat	0.38	5.55	4.85
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409117/gensys_brn1272.smt2	sat	sat	sat	0.03	0.27	0.27
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409118/gensys_brn1273.smt2	sat	sat	sat	0.05	0.31	0.31
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409119/gensys_brn1274.smt2	sat	sat	sat	0.03	0.15	0.16
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409120/gensys_brn1275.smt2	sat	sat	sat	0.04	0.40	0.39
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409121/gensys_brn1276.smt2	sat	sat	sat	0.03	0.20	0.20
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409122/gensys_brn1277.smt2	sat	sat	sat	0.03	0.20	0.20
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409123/gensys_brn1278.smt2	sat	sat	sat	0.03	0.22	0.23
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409124/gensys_brn1279.smt2	sat	sat	sat	0.03	0.22	0.23
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409125/gensys_brn128.smt2	sat	sat	sat	0.04	0.43	0.44
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409126/gensys_brn1280.smt2	unsat	unsat	unsat	0.29	3.02	3.06
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409127/gensys_brn1281.smt2	sat	sat	sat	0.03	0.09	0.09
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409128/gensys_brn1282.smt2	sat	sat	sat	0.05	0.28	0.27
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409129/gensys_brn1283.smt2	sat	sat	sat	0.04	0.33	0.32
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409130/gensys_brn1284.smt2	sat	sat	sat	0.03	0.22	0.24
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409131/gensys_brn1285.smt2	sat	sat	sat	0.04	0.25	0.24
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409132/gensys_brn1286.smt2	sat	sat	sat	0.04	0.12	0.18
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409133/gensys_brn1287.smt2	unsat	unsat	unsat	0.04	1.72	1.76
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409134/gensys_brn1288.smt2	sat	sat	sat	0.03	0.14	0.14

full results