detailed results (4327 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl989.smt2 (content) unsat unsat 1.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl988.smt2 (content) unsat unsat 0.835s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl987.smt2 (content) unsat unsat 2.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl986.smt2 (content) unsat unsat 0.344s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl985.smt2 (content) unsat unsat 0.357s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl984.smt2 (content) unsat unsat 0.256s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl983.smt2 (content) unsat unsat 0.433s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl982.smt2 (content) unsat unsat 0.398s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl981.smt2 (content) unsat unsat 0.098s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl980.smt2 (content) unsat unsat 0.513s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl979.smt2 (content) unsat unsat 0.360s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl978.smt2 (content) unsat unsat 1.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl977.smt2 (content) unsat unsat 0.183s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl976.smt2 (content) unsat unsat 0.160s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl975.smt2 (content) unsat unsat 0.852s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl974.smt2 (content) unsat unsat 0.850s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl973.smt2 (content) unsat unsat 0.451s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl972.smt2 (content) unsat unsat 0.490s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl971.smt2 (content) unsat unsat 0.552s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl970.smt2 (content) unsat unsat 0.149s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl969.smt2 (content) unsat unsat 0.757s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl968.smt2 (content) unsat unsat 0.512s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl967.smt2 (content) unsat unsat 0.140s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl966.smt2 (content) unsat unsat 0.137s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl965.smt2 (content) unsat unsat 0.371s