detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409685/gensys_brn640.smt2 (content) sat sat 0.054s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409684/gensys_brn639.smt2 (content) sat sat 0.368s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409684/gensys_brn639.smt2 (content) sat sat 0.234s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409684/gensys_brn639.smt2 (content) sat sat 0.051s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409683/gensys_brn638.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409683/gensys_brn638.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409683/gensys_brn638.smt2 (content) unsat unsat 0.393s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409682/gensys_brn637.smt2 (content) sat sat 0.439s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409682/gensys_brn637.smt2 (content) sat sat 0.187s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409682/gensys_brn637.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409681/gensys_brn636.smt2 (content) sat sat 0.419s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409681/gensys_brn636.smt2 (content) sat sat 0.231s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409681/gensys_brn636.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409680/gensys_brn635.smt2 (content) sat sat 0.567s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409680/gensys_brn635.smt2 (content) sat sat 0.243s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409680/gensys_brn635.smt2 (content) sat sat 0.063s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409679/gensys_brn634.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409679/gensys_brn634.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409679/gensys_brn634.smt2 (content) unsat unsat 0.648s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409678/gensys_brn633.smt2 (content) sat sat 0.892s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409678/gensys_brn633.smt2 (content) sat sat 0.181s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409678/gensys_brn633.smt2 (content) sat sat 0.152s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409677/gensys_brn632.smt2 (content) sat sat 0.371s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409677/gensys_brn632.smt2 (content) sat sat 0.105s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409677/gensys_brn632.smt2 (content) sat sat 0.033s