detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409618/gensys_brn573.smt2 (content) unsat unsat 3.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409618/gensys_brn573.smt2 (content) unsat unsat 0.398s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409617/gensys_brn572.smt2 (content) sat sat 0.519s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409617/gensys_brn572.smt2 (content) sat sat 0.275s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409617/gensys_brn572.smt2 (content) sat sat 0.043s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409616/gensys_brn571.smt2 (content) sat sat 0.663s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409616/gensys_brn571.smt2 (content) sat sat 0.236s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409616/gensys_brn571.smt2 (content) sat sat 0.076s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409615/gensys_brn570.smt2 (content) unsat unsat 2.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409615/gensys_brn570.smt2 (content) unsat unsat 2.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409615/gensys_brn570.smt2 (content) unsat unsat 0.228s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409614/gensys_brn569.smt2 (content) sat sat 0.740s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409614/gensys_brn569.smt2 (content) sat sat 0.344s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409614/gensys_brn569.smt2 (content) sat sat 0.052s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409613/gensys_brn568.smt2 (content) sat sat 0.402s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409613/gensys_brn568.smt2 (content) sat sat 0.277s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409613/gensys_brn568.smt2 (content) sat sat 0.085s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409612/gensys_brn567.smt2 (content) sat sat 0.409s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409612/gensys_brn567.smt2 (content) sat sat 0.445s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409612/gensys_brn567.smt2 (content) sat sat 0.105s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409611/gensys_brn566.smt2 (content) sat sat 0.473s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409611/gensys_brn566.smt2 (content) sat sat 1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409611/gensys_brn566.smt2 (content) sat sat 0.086s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409610/gensys_brn565.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409610/gensys_brn565.smt2 (content) timeout unsat 11s