detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410797/gensys_icl469.smt2 (content) unsat unsat 0.978s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410797/gensys_icl469.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410796/gensys_icl468.smt2 (content) unsat unsat 2.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410796/gensys_icl468.smt2 (content) unsat unsat 0.089s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410795/gensys_icl467.smt2 (content) unsat unsat 0.903s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410795/gensys_icl467.smt2 (content) unsat unsat 0.062s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410794/gensys_icl466.smt2 (content) unsat unsat 1.4s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410794/gensys_icl466.smt2 (content) unsat unsat 0.077s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410793/gensys_icl465.smt2 (content) unsat unsat 0.426s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410793/gensys_icl465.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410792/gensys_icl464.smt2 (content) unsat unsat 0.695s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410792/gensys_icl464.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410791/gensys_icl463.smt2 (content) unsat unsat 0.937s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410791/gensys_icl463.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410790/gensys_icl462.smt2 (content) unsat unsat 0.685s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410790/gensys_icl462.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410789/gensys_icl461.smt2 (content) unsat unsat 1.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410789/gensys_icl461.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410788/gensys_icl460.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410788/gensys_icl460.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410787/gensys_icl459.smt2 (content) unsat unsat 2.5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410787/gensys_icl459.smt2 (content) unsat unsat 0.380s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410786/gensys_icl458.smt2 (content) unsat unsat 5.4s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410786/gensys_icl458.smt2 (content) unsat unsat 0.433s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410785/gensys_icl457.smt2 (content) unsat unsat 5s