detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411222/gensys_icl894.smt2 (content) unsat unsat 8.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411222/gensys_icl894.smt2 (content) unsat unsat 0.364s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411221/gensys_icl893.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411221/gensys_icl893.smt2 (content) unsat unsat 0.605s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411220/gensys_icl892.smt2 (content) unsat unsat 0.927s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411220/gensys_icl892.smt2 (content) unsat unsat 0.059s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411219/gensys_icl891.smt2 (content) unsat unsat 0.380s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411219/gensys_icl891.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411218/gensys_icl890.smt2 (content) unsat unsat 1.7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411218/gensys_icl890.smt2 (content) unsat unsat 0.138s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411217/gensys_icl889.smt2 (content) unsat unsat 1.9s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411217/gensys_icl889.smt2 (content) unsat unsat 0.133s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411216/gensys_icl888.smt2 (content) unsat unsat 2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411216/gensys_icl888.smt2 (content) unsat unsat 0.158s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411215/gensys_icl887.smt2 (content) unsat unsat 3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411215/gensys_icl887.smt2 (content) unsat unsat 0.209s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411214/gensys_icl886.smt2 (content) unsat unsat 0.981s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411214/gensys_icl886.smt2 (content) unsat unsat 0.100s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411213/gensys_icl885.smt2 (content) unsat unsat 1.7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411213/gensys_icl885.smt2 (content) unsat unsat 0.152s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411212/gensys_icl884.smt2 (content) unsat unsat 5.1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411212/gensys_icl884.smt2 (content) unsat unsat 0.181s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411211/gensys_icl883.smt2 (content) unsat unsat 6.9s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411211/gensys_icl883.smt2 (content) unsat unsat 0.188s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411210/gensys_icl882.smt2 (content) unsat unsat 6.2s