detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408743/gensys_brn026.smt2 (content) sat sat 0.062s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408743/gensys_brn026.smt2 (content) sat sat 0.027s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408742/gensys_brn025.smt2 (content) sat sat 0.154s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408742/gensys_brn025.smt2 (content) sat sat 0.079s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408742/gensys_brn025.smt2 (content) sat sat 0.044s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408741/gensys_brn024.smt2 (content) unsat unsat 0.857s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408741/gensys_brn024.smt2 (content) unsat unsat 0.321s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408741/gensys_brn024.smt2 (content) unsat unsat 0.129s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408740/gensys_brn023.smt2 (content) unsat unsat 1.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408740/gensys_brn023.smt2 (content) unsat unsat 1.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408740/gensys_brn023.smt2 (content) unsat unsat 0.163s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408739/gensys_brn022.smt2 (content) sat sat 0.148s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408739/gensys_brn022.smt2 (content) sat sat 0.131s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408739/gensys_brn022.smt2 (content) sat sat 0.030s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408738/gensys_brn021.smt2 (content) sat sat 0.142s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408738/gensys_brn021.smt2 (content) sat sat 0.146s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408738/gensys_brn021.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408737/gensys_brn020.smt2 (content) unsat unsat 0.919s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408737/gensys_brn020.smt2 (content) unsat unsat 0.636s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408737/gensys_brn020.smt2 (content) unsat unsat 0.182s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408736/gensys_brn019.smt2 (content) sat sat 0.132s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408736/gensys_brn019.smt2 (content) sat sat 0.080s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408736/gensys_brn019.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408735/gensys_brn018.smt2 (content) sat sat 0.224s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408735/gensys_brn018.smt2 (content) sat sat 0.131s