detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410068/gensys_icl024.smt2 (content) unsat unsat 0.548s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410068/gensys_icl024.smt2 (content) unsat unsat 0.092s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410067/gensys_icl023.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410067/gensys_icl023.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410067/gensys_icl023.smt2 (content) unsat unsat 0.089s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410066/gensys_icl022.smt2 (content) unsat unsat 1.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410066/gensys_icl022.smt2 (content) unsat unsat 1.8s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410066/gensys_icl022.smt2 (content) unsat unsat 0.136s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410065/gensys_icl021.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410065/gensys_icl021.smt2 (content) unsat unsat 0.372s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410065/gensys_icl021.smt2 (content) unsat unsat 0.115s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410064/gensys_icl020.smt2 (content) unsat unsat 1.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410064/gensys_icl020.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410064/gensys_icl020.smt2 (content) unsat unsat 0.143s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410063/gensys_icl019.smt2 (content) unsat unsat 0.979s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410063/gensys_icl019.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410063/gensys_icl019.smt2 (content) unsat unsat 0.098s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410062/gensys_icl018.smt2 (content) unsat unsat 0.588s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410062/gensys_icl018.smt2 (content) unsat unsat 0.405s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410062/gensys_icl018.smt2 (content) unsat unsat 0.069s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410061/gensys_icl017.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410061/gensys_icl017.smt2 (content) unsat unsat 1.5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410061/gensys_icl017.smt2 (content) unsat unsat 0.102s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410060/gensys_icl016.smt2 (content) unsat unsat 1.1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410060/gensys_icl016.smt2 (content) unsat unsat 2s