detailed results (5033 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412381/iso_brn726.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412380/iso_brn725.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412372/iso_brn717.smt2 (content) unsat unsat 0.032s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412366/iso_brn711.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412359/iso_brn704.smt2 (content) unsat unsat 0.027s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412358/iso_brn703.smt2 (content) unsat unsat 0.027s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412357/iso_brn702.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412356/iso_brn701.smt2 (content) unsat unsat 0.029s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412350/iso_brn695.smt2 (content) unsat unsat 0.033s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412346/iso_brn691.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412344/iso_brn689.smt2 (content) unsat unsat 0.032s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412342/iso_brn687.smt2 (content) unsat unsat 0.035s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412338/iso_brn683.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412334/iso_brn679.smt2 (content) unsat unsat 0.030s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412332/iso_brn677.smt2 (content) unsat unsat 0.030s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412330/iso_brn675.smt2 (content) unsat unsat 0.031s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412329/iso_brn674.smt2 (content) unsat unsat 0.029s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412328/iso_brn673.smt2 (content) unsat unsat 0.035s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412325/iso_brn670.smt2 (content) unsat unsat 0.029s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412322/iso_brn667.smt2 (content) unsat unsat 0.028s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412321/iso_brn666.smt2 (content) unsat unsat 0.030s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412320/iso_brn665.smt2 (content) unsat unsat 0.032s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412319/iso_brn664.smt2 (content) unsat unsat 0.033s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412318/iso_brn663.smt2 (content) unsat unsat 0.034s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412317/iso_brn662.smt2 (content) unsat unsat 0.045s