detailed results (5033 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412094/iso_brn439.smt2 (content) unsat unsat 0.023s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412086/iso_brn431.smt2 (content) unsat unsat 0.024s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412079/iso_brn424.smt2 (content) unsat unsat 0.021s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412074/iso_brn419.smt2 (content) unsat unsat 0.024s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412069/iso_brn414.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412066/iso_brn411.smt2 (content) unsat unsat 0.024s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412064/iso_brn409.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412052/iso_brn397.smt2 (content) unsat unsat 0.024s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412046/iso_brn391.smt2 (content) unsat unsat 0.022s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412043/iso_brn388.smt2 (content) unsat unsat 0.022s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412042/iso_brn387.smt2 (content) unsat unsat 0.024s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412041/iso_brn386.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412040/iso_brn385.smt2 (content) unsat unsat 0.027s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412039/iso_brn384.smt2 (content) unsat unsat 0.027s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412035/iso_brn380.smt2 (content) unsat unsat 0.028s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412034/iso_brn379.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412027/iso_brn372.smt2 (content) unsat unsat 0.024s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412024/iso_brn369.smt2 (content) unsat unsat 0.024s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412018/iso_brn363.smt2 (content) unsat unsat 0.028s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412017/iso_brn362.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412008/iso_brn353.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412006/iso_brn351.smt2 (content) unsat unsat 0.024s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412001/iso_brn346.smt2 (content) unsat unsat 0.027s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412000/iso_brn345.smt2 (content) unsat unsat 0.024s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411999/iso_brn344.smt2 (content) unsat unsat 0.029s