detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410460/gensys_icl132.smt2 (content) unsat unsat 0.366s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410459/gensys_icl131.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410459/gensys_icl131.smt2 (content) unsat unsat 0.727s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410458/gensys_icl130.smt2 (content) unsat unsat 0.779s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410458/gensys_icl130.smt2 (content) unsat unsat 0.146s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410457/gensys_icl129.smt2 (content) unsat unsat 5.1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410457/gensys_icl129.smt2 (content) unsat unsat 0.481s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410456/gensys_icl1283.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410456/gensys_icl1283.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410455/gensys_icl1282.smt2 (content) unsat unsat 1.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410455/gensys_icl1282.smt2 (content) unsat unsat 0.136s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410454/gensys_icl1281.smt2 (content) unsat unsat 0.728s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410454/gensys_icl1281.smt2 (content) unsat unsat 0.170s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410453/gensys_icl1280.smt2 (content) unsat unsat 0.383s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410453/gensys_icl1280.smt2 (content) unsat unsat 0.118s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410452/gensys_icl128.smt2 (content) unsat unsat 10s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410452/gensys_icl128.smt2 (content) unsat unsat 0.768s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410451/gensys_icl1279.smt2 (content) unsat unsat 1.4s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410451/gensys_icl1279.smt2 (content) unsat unsat 0.230s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410450/gensys_icl1278.smt2 (content) unsat unsat 1.5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410450/gensys_icl1278.smt2 (content) unsat unsat 0.163s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410449/gensys_icl1277.smt2 (content) unsat unsat 0.705s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410449/gensys_icl1277.smt2 (content) unsat unsat 0.167s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410448/gensys_icl1276.smt2 (content) unsat unsat 1.5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410448/gensys_icl1276.smt2 (content) unsat unsat 0.157s