detailed results (4253 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl016.smt2 (content) unsat unknown 0.081s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl015.smt2 (content) unsat unknown 0.053s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl014.smt2 (content) unsat unknown 0.093s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl013.smt2 (content) unsat unknown 0.066s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl012.smt2 (content) unsat unknown 0.073s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl011.smt2 (content) unsat unknown 0.041s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl010.smt2 (content) unsat unknown 0.037s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl009.smt2 (content) unsat unknown 0.031s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl008.smt2 (content) unsat unknown 0.068s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl007.smt2 (content) unsat unknown 0.021s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl006.smt2 (content) unsat unknown 0.029s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl005.smt2 (content) unsat unknown 0.026s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl004.smt2 (content) unsat unknown 0.025s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl003.smt2 (content) unsat unknown 0.014s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl002.smt2 (content) unsat unknown 0.014s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl001.smt2 (content) unsat unknown 0.025s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn998.smt2 (content) unsat unknown 0.584s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn997.smt2 (content) unsat unknown 0.547s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn974.smt2 (content) unsat unknown 0.080s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn973.smt2 (content) unsat unknown 0.175s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn969.smt2 (content) unsat unknown 0.428s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn962.smt2 (content) unsat unknown 0.168s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn961.smt2 (content) unsat unknown 0.080s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn959.smt2 (content) unsat unknown 0.200s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn957.smt2 (content) unsat unknown 0.088s