detailed results (7457 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl749.smt2 (content) unsat unknown 0.073s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl748.smt2 (content) unsat unknown 0.336s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl747.smt2 (content) unsat unknown 0.178s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl746.smt2 (content) unsat unknown 0.228s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl745.smt2 (content) unsat unknown 0.292s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl744.smt2 (content) unsat unknown 0.155s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl743.smt2 (content) unsat unknown 0.095s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl742.smt2 (content) unsat unknown 0.053s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl741.smt2 (content) unsat unknown 0.057s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl740.smt2 (content) unsat unknown 0.159s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl739.smt2 (content) unsat unknown 0.114s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl738.smt2 (content) unsat unknown 0.096s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl737.smt2 (content) unsat unknown 1.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl736.smt2 (content) unsat unknown 0.434s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl735.smt2 (content) unsat unknown 0.180s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl734.smt2 (content) unsat unknown 0.281s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl733.smt2 (content) unsat unknown 0.132s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl732.smt2 (content) unsat unknown 0.069s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl731.smt2 (content) unsat unknown 0.404s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl730.smt2 (content) unsat unknown 0.192s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl729.smt2 (content) unsat unknown 0.114s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl728.smt2 (content) unsat unknown 0.212s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl727.smt2 (content) unsat unknown 0.321s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl726.smt2 (content) unsat unknown 0.451s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl725.smt2 (content) unsat unknown 0.538s