detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410135/gensys_icl091.smt2 (content) unsat unsat 0.772s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410134/gensys_icl090.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410134/gensys_icl090.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410134/gensys_icl090.smt2 (content) unsat unsat 0.640s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410133/gensys_icl089.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410133/gensys_icl089.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410133/gensys_icl089.smt2 (content) unsat unsat 0.908s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410132/gensys_icl088.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410132/gensys_icl088.smt2 (content) unsat unsat 6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410132/gensys_icl088.smt2 (content) unsat unsat 0.558s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410131/gensys_icl087.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410131/gensys_icl087.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410131/gensys_icl087.smt2 (content) unsat unsat 1.5s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410130/gensys_icl086.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410130/gensys_icl086.smt2 (content) unsat unsat 6.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410130/gensys_icl086.smt2 (content) unsat unsat 0.972s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410129/gensys_icl085.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410129/gensys_icl085.smt2 (content) unsat unsat 10.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410129/gensys_icl085.smt2 (content) unsat unsat 0.817s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410128/gensys_icl084.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410128/gensys_icl084.smt2 (content) unsat unsat 7.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410128/gensys_icl084.smt2 (content) unsat unsat 1.1s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410127/gensys_icl083.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410127/gensys_icl083.smt2 (content) unsat unsat 3.7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410127/gensys_icl083.smt2 (content) unsat unsat 0.374s