detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408243/gensys_brn022.smt2 (content) sat sat 0.123s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408243/gensys_brn022.smt2 (content) sat sat 0.046s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408242/gensys_brn021.smt2 (content) sat sat 0.160s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408242/gensys_brn021.smt2 (content) sat sat 0.094s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408242/gensys_brn021.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408241/gensys_brn020.smt2 (content) sat sat 0.208s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408241/gensys_brn020.smt2 (content) sat sat 0.129s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408241/gensys_brn020.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408240/gensys_brn019.smt2 (content) unsat unsat 0.239s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408240/gensys_brn019.smt2 (content) unsat unsat 0.121s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408240/gensys_brn019.smt2 (content) unsat unsat 0.043s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408239/gensys_brn018.smt2 (content) sat sat 0.192s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408239/gensys_brn018.smt2 (content) sat sat 0.088s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408239/gensys_brn018.smt2 (content) sat sat 0.042s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408238/gensys_brn017.smt2 (content) sat sat 0.295s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408238/gensys_brn017.smt2 (content) sat sat 0.092s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408238/gensys_brn017.smt2 (content) sat sat 0.038s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408237/gensys_brn016.smt2 (content) sat sat 0.369s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408237/gensys_brn016.smt2 (content) sat sat 0.138s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408237/gensys_brn016.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408236/gensys_brn015.smt2 (content) unsat unsat 0.952s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408236/gensys_brn015.smt2 (content) unsat unsat 0.373s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408236/gensys_brn015.smt2 (content) unsat unsat 0.095s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408235/gensys_brn014.smt2 (content) sat sat 0.265s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408235/gensys_brn014.smt2 (content) sat sat 0.258s