detailed results (4328 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl988.smt2 (content) unsat unsat 0.791s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl987.smt2 (content) unsat unsat 1.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl986.smt2 (content) unsat unsat 0.088s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl985.smt2 (content) unsat unsat 0.252s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl984.smt2 (content) unsat unsat 0.255s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl983.smt2 (content) unsat unsat 0.370s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl982.smt2 (content) unsat unsat 0.456s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl981.smt2 (content) unsat unsat 0.121s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl980.smt2 (content) unsat unsat 0.803s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl979.smt2 (content) unsat unsat 0.281s
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.120s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl976.smt2 (content) unsat unsat 0.131s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl975.smt2 (content) unsat unsat 0.922s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl974.smt2 (content) unsat unsat 0.708s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl973.smt2 (content) unsat unsat 0.593s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl972.smt2 (content) unsat unsat 0.393s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl971.smt2 (content) unsat unsat 0.496s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl970.smt2 (content) unsat unsat 0.140s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl969.smt2 (content) unsat unsat 0.721s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl968.smt2 (content) unsat unsat 0.373s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl967.smt2 (content) unsat unsat 0.176s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl966.smt2 (content) unsat unsat 0.273s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl965.smt2 (content) unsat unsat 0.641s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl964.smt2 (content) unsat unsat 0.224s