detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410143/gensys_icl099.smt2 (content) unsat unsat 1.7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410143/gensys_icl099.smt2 (content) unsat unsat 0.165s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410142/gensys_icl098.smt2 (content) unsat unsat 2.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410142/gensys_icl098.smt2 (content) unsat unsat 0.886s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410142/gensys_icl098.smt2 (content) unsat unsat 0.118s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410141/gensys_icl097.smt2 (content) unsat unsat 6.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410141/gensys_icl097.smt2 (content) unsat unsat 1.5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410141/gensys_icl097.smt2 (content) unsat unsat 0.184s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410140/gensys_icl096.smt2 (content) unsat unsat 5.3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410140/gensys_icl096.smt2 (content) unsat unsat 1.5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410140/gensys_icl096.smt2 (content) unsat unsat 0.233s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410139/gensys_icl095.smt2 (content) unsat unsat 7.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410139/gensys_icl095.smt2 (content) unsat unsat 2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410139/gensys_icl095.smt2 (content) unsat unsat 0.182s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410138/gensys_icl094.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410138/gensys_icl094.smt2 (content) unsat unsat 5.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410138/gensys_icl094.smt2 (content) unsat unsat 0.636s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410137/gensys_icl093.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410137/gensys_icl093.smt2 (content) unsat unsat 5.4s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410137/gensys_icl093.smt2 (content) unsat unsat 0.771s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410136/gensys_icl092.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410136/gensys_icl092.smt2 (content) unsat unsat 5.9s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410136/gensys_icl092.smt2 (content) unsat unsat 0.448s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410135/gensys_icl091.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410135/gensys_icl091.smt2 (content) timeout unsat 11s