detailed results (5033 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410994/gensys_icl666.smt2 (content) unsat unsat 0.216s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410993/gensys_icl665.smt2 (content) unsat unsat 0.217s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410992/gensys_icl664.smt2 (content) unsat unsat 0.765s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410991/gensys_icl663.smt2 (content) unsat unsat 1.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410990/gensys_icl662.smt2 (content) unsat unsat 0.185s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410989/gensys_icl661.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410988/gensys_icl660.smt2 (content) unsat unsat 1.1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410987/gensys_icl659.smt2 (content) unsat unsat 1.1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410986/gensys_icl658.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410985/gensys_icl657.smt2 (content) unsat unsat 0.479s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410984/gensys_icl656.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410983/gensys_icl655.smt2 (content) unsat unsat 0.150s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410982/gensys_icl654.smt2 (content) unsat unsat 0.267s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410981/gensys_icl653.smt2 (content) unsat unsat 2.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410980/gensys_icl652.smt2 (content) unsat unsat 0.457s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410979/gensys_icl651.smt2 (content) unsat unsat 0.832s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410978/gensys_icl650.smt2 (content) unsat unsat 0.395s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410977/gensys_icl649.smt2 (content) unsat unsat 0.563s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410976/gensys_icl648.smt2 (content) unsat unsat 0.450s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410975/gensys_icl647.smt2 (content) unsat unsat 0.534s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410974/gensys_icl646.smt2 (content) unsat unsat 0.466s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410973/gensys_icl645.smt2 (content) unsat unsat 0.266s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410972/gensys_icl644.smt2 (content) unsat unsat 0.504s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410971/gensys_icl643.smt2 (content) unsat unsat 0.509s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410970/gensys_icl642.smt2 (content) unsat unsat 0.163s