detailed results (5033 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412234/iso_brn579.smt2 (content) unsat unsat 0.029s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412233/iso_brn578.smt2 (content) unsat unsat 0.028s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412232/iso_brn577.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412227/iso_brn572.smt2 (content) unsat unsat 0.027s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412226/iso_brn571.smt2 (content) unsat unsat 0.030s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412224/iso_brn569.smt2 (content) unsat unsat 0.038s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412223/iso_brn568.smt2 (content) unsat unsat 0.029s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412221/iso_brn566.smt2 (content) unsat unsat 0.029s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412218/iso_brn563.smt2 (content) unsat unsat 0.039s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412214/iso_brn559.smt2 (content) unsat unsat 0.031s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412211/iso_brn556.smt2 (content) unsat unsat 0.037s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412209/iso_brn554.smt2 (content) unsat unsat 0.038s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412206/iso_brn551.smt2 (content) unsat unsat 0.029s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412205/iso_brn550.smt2 (content) unsat unsat 0.029s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412201/iso_brn546.smt2 (content) unsat unsat 0.037s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412197/iso_brn542.smt2 (content) unsat unsat 0.035s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412196/iso_brn541.smt2 (content) unsat unsat 0.031s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412194/iso_brn539.smt2 (content) unsat unsat 0.029s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412187/iso_brn532.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412183/iso_brn528.smt2 (content) unsat unsat 0.030s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412179/iso_brn524.smt2 (content) unsat unsat 0.030s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412175/iso_brn520.smt2 (content) unsat unsat 0.030s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412173/iso_brn518.smt2 (content) unsat unsat 0.031s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412162/iso_brn507.smt2 (content) unsat unsat 0.024s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412160/iso_brn505.smt2 (content) unsat unsat 0.022s