detailed results (5033 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410869/gensys_icl541.smt2 (content) unsat unsat 0.270s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410868/gensys_icl540.smt2 (content) unsat unsat 0.423s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410867/gensys_icl539.smt2 (content) unsat unsat 0.272s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410866/gensys_icl538.smt2 (content) unsat unsat 0.432s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410865/gensys_icl537.smt2 (content) unsat unsat 0.239s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410864/gensys_icl536.smt2 (content) unsat unsat 0.565s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410863/gensys_icl535.smt2 (content) unsat unsat 0.599s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410862/gensys_icl534.smt2 (content) unsat unsat 0.342s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410861/gensys_icl533.smt2 (content) unsat unsat 0.777s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410860/gensys_icl532.smt2 (content) unsat unsat 0.093s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410859/gensys_icl531.smt2 (content) unsat unsat 0.226s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410858/gensys_icl530.smt2 (content) unsat unsat 0.090s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410857/gensys_icl529.smt2 (content) unsat unsat 0.147s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410856/gensys_icl528.smt2 (content) unsat unsat 0.190s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410855/gensys_icl527.smt2 (content) unsat unsat 0.195s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410854/gensys_icl526.smt2 (content) unsat unsat 0.431s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410853/gensys_icl525.smt2 (content) unsat unsat 0.141s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410852/gensys_icl524.smt2 (content) unsat unsat 0.138s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410851/gensys_icl523.smt2 (content) unsat unsat 0.313s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410850/gensys_icl522.smt2 (content) unsat unsat 0.316s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410849/gensys_icl521.smt2 (content) unsat unsat 0.189s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410848/gensys_icl520.smt2 (content) unsat unsat 0.411s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410847/gensys_icl519.smt2 (content) unsat unsat 0.187s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410846/gensys_icl518.smt2 (content) unsat unsat 0.519s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410845/gensys_icl517.smt2 (content) unsat unsat 0.605s