detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411310/gensys_icl982.smt2 (content) unsat unsat 0.380s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411309/gensys_icl981.smt2 (content) unsat unsat 0.994s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411309/gensys_icl981.smt2 (content) unsat unsat 0.094s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411308/gensys_icl980.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411308/gensys_icl980.smt2 (content) unsat unsat 0.520s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411307/gensys_icl979.smt2 (content) unsat unsat 3.0s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411307/gensys_icl979.smt2 (content) unsat unsat 0.221s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411306/gensys_icl978.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411306/gensys_icl978.smt2 (content) unsat unsat 1.1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411305/gensys_icl977.smt2 (content) unsat unsat 0.577s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411305/gensys_icl977.smt2 (content) unsat unsat 0.106s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411304/gensys_icl976.smt2 (content) unsat unsat 0.752s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411304/gensys_icl976.smt2 (content) unsat unsat 0.116s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411303/gensys_icl975.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411303/gensys_icl975.smt2 (content) unsat unsat 0.952s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411302/gensys_icl974.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411302/gensys_icl974.smt2 (content) unsat unsat 0.598s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411301/gensys_icl973.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411301/gensys_icl973.smt2 (content) unsat unsat 0.535s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411300/gensys_icl972.smt2 (content) unsat unsat 7.7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411300/gensys_icl972.smt2 (content) unsat unsat 0.363s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411299/gensys_icl971.smt2 (content) unsat unsat 10.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411299/gensys_icl971.smt2 (content) unsat unsat 0.426s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411298/gensys_icl970.smt2 (content) unsat unsat 1.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411298/gensys_icl970.smt2 (content) unsat unsat 0.099s