detailed results (5033 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409515/gensys_brn470.smt2 (content) unsat unsat 0.047s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409514/gensys_brn469.smt2 (content) unsat unsat 0.052s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409509/gensys_brn464.smt2 (content) unsat unsat 0.201s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409507/gensys_brn462.smt2 (content) unsat unsat 0.107s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409498/gensys_brn453.smt2 (content) unsat unsat 0.460s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409493/gensys_brn448.smt2 (content) unsat unsat 0.065s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409492/gensys_brn447.smt2 (content) unsat unsat 0.061s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409489/gensys_brn444.smt2 (content) unsat unsat 0.220s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409487/gensys_brn442.smt2 (content) unsat unsat 0.373s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409481/gensys_brn436.smt2 (content) unsat unsat 0.692s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409480/gensys_brn435.smt2 (content) unsat unsat 0.443s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409479/gensys_brn434.smt2 (content) unsat unsat 0.403s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409478/gensys_brn433.smt2 (content) unsat unsat 0.473s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409473/gensys_brn428.smt2 (content) unsat unsat 0.027s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409472/gensys_brn427.smt2 (content) unsat unsat 0.030s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409470/gensys_brn425.smt2 (content) unsat unsat 0.078s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409466/gensys_brn421.smt2 (content) unsat unsat 0.772s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409465/gensys_brn420.smt2 (content) unsat unsat 0.687s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409462/gensys_brn417.smt2 (content) unsat unsat 0.077s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409460/gensys_brn415.smt2 (content) unsat unsat 0.348s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409457/gensys_brn412.smt2 (content) unsat unsat 0.669s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409455/gensys_brn410.smt2 (content) unsat unsat 0.051s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409452/gensys_brn407.smt2 (content) unsat unsat 0.103s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409451/gensys_brn406.smt2 (content) unsat unsat 0.102s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409441/gensys_brn396.smt2 (content) unsat unsat 0.151s