detailed results (7457 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl199.smt2 (content) unsat unknown 0.373s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl198.smt2 (content) unsat unknown 0.554s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl197.smt2 (content) unsat unknown 0.485s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl196.smt2 (content) unsat unknown 0.507s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl195.smt2 (content) unsat unknown 0.719s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl194.smt2 (content) unsat unknown 0.460s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl193.smt2 (content) unsat unknown 0.474s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl192.smt2 (content) unsat unknown 0.303s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl191.smt2 (content) unsat unknown 0.383s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl190.smt2 (content) unsat unknown 0.297s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl189.smt2 (content) unsat unknown 0.195s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl188.smt2 (content) unsat unknown 0.305s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl187.smt2 (content) unsat unknown 0.196s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl186.smt2 (content) unsat unknown 0.222s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl185.smt2 (content) unsat unknown 0.344s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl184.smt2 (content) unsat unknown 0.518s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl183.smt2 (content) unsat unknown 0.292s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl182.smt2 (content) unsat unknown 0.500s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl181.smt2 (content) unsat unknown 0.340s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl180.smt2 (content) unsat unknown 1.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl179.smt2 (content) unsat unknown 0.398s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl178.smt2 (content) unsat unknown 0.731s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl177.smt2 (content) unsat unknown 0.241s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl176.smt2 (content) unsat unknown 0.372s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl175.smt2 (content) unsat unknown 0.242s