detailed results (7457 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl924.smt2 (content) unsat unknown 0.686s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl923.smt2 (content) unsat unknown 0.346s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl922.smt2 (content) unsat unknown 0.500s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl921.smt2 (content) unsat unknown 0.937s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl920.smt2 (content) unsat unknown 0.464s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl919.smt2 (content) unsat unknown 0.226s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl918.smt2 (content) unsat unknown 0.309s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl917.smt2 (content) unsat unknown 0.121s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl916.smt2 (content) unsat unknown 0.106s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl915.smt2 (content) unsat unknown 0.107s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl914.smt2 (content) unsat unknown 0.613s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl913.smt2 (content) unsat unknown 0.076s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl912.smt2 (content) unsat unknown 0.315s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl911.smt2 (content) unsat unknown 0.117s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl910.smt2 (content) unsat unknown 0.114s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl909.smt2 (content) unsat unknown 0.648s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl908.smt2 (content) unsat unknown 0.167s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl907.smt2 (content) unsat unknown 0.286s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl906.smt2 (content) unsat unknown 0.735s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl905.smt2 (content) unsat unknown 0.183s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl904.smt2 (content) unsat unknown 0.831s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl903.smt2 (content) unsat unknown 0.500s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl902.smt2 (content) unsat unknown 0.255s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl901.smt2 (content) unsat unknown 1.1s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl900.smt2 (content) unsat unknown 0.067s