detailed results (5033 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409178/gensys_brn133.smt2 (content) unsat unsat 0.409s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409176/gensys_brn1326.smt2 (content) unsat unsat 0.206s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409171/gensys_brn1321.smt2 (content) unsat unsat 0.051s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409169/gensys_brn132.smt2 (content) unsat unsat 0.991s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409168/gensys_brn1319.smt2 (content) unsat unsat 0.174s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409164/gensys_brn1315.smt2 (content) unsat unsat 0.055s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409158/gensys_brn131.smt2 (content) unsat unsat 0.881s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409156/gensys_brn1308.smt2 (content) unsat unsat 0.093s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409149/gensys_brn1301.smt2 (content) unsat unsat 0.783s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409133/gensys_brn1287.smt2 (content) unsat unsat 0.042s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409126/gensys_brn1280.smt2 (content) unsat unsat 0.343s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409116/gensys_brn1271.smt2 (content) unsat unsat 0.363s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409108/gensys_brn1264.smt2 (content) unsat unsat 0.034s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409107/gensys_brn1263.smt2 (content) unsat unsat 0.084s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409106/gensys_brn1262.smt2 (content) unsat unsat 0.065s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409104/gensys_brn1260.smt2 (content) unsat unsat 0.059s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409097/gensys_brn1254.smt2 (content) unsat unsat 0.064s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409082/gensys_brn1240.smt2 (content) unsat unsat 0.028s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409081/gensys_brn124.smt2 (content) unsat unsat 0.164s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409079/gensys_brn1238.smt2 (content) unsat unsat 0.078s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409074/gensys_brn1233.smt2 (content) unsat unsat 0.082s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409072/gensys_brn1231.smt2 (content) unsat unsat 0.093s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409071/gensys_brn1230.smt2 (content) unsat unsat 0.100s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409070/gensys_brn123.smt2 (content) unsat unsat 0.205s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409066/gensys_brn1226.smt2 (content) unsat unsat 0.039s