detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408251/gensys_brn030.smt2 (content) sat sat 0.279s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408251/gensys_brn030.smt2 (content) sat sat 0.264s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408251/gensys_brn030.smt2 (content) sat sat 0.052s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408250/gensys_brn029.smt2 (content) unsat unsat 1.4s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408250/gensys_brn029.smt2 (content) unsat unsat 0.856s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408250/gensys_brn029.smt2 (content) unsat unsat 0.212s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408249/gensys_brn028.smt2 (content) sat sat 0.567s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408249/gensys_brn028.smt2 (content) sat sat 0.403s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408249/gensys_brn028.smt2 (content) sat sat 0.084s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408248/gensys_brn027.smt2 (content) sat sat 0.383s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408248/gensys_brn027.smt2 (content) sat sat 0.244s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408248/gensys_brn027.smt2 (content) sat sat 0.054s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408247/gensys_brn026.smt2 (content) sat sat 0.411s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408247/gensys_brn026.smt2 (content) sat sat 0.213s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408247/gensys_brn026.smt2 (content) sat sat 0.049s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408246/gensys_brn025.smt2 (content) unsat unsat 1.0s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408246/gensys_brn025.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408246/gensys_brn025.smt2 (content) unsat unsat 0.222s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408245/gensys_brn024.smt2 (content) sat sat 0.352s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408245/gensys_brn024.smt2 (content) sat sat 0.170s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408245/gensys_brn024.smt2 (content) sat sat 0.042s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408244/gensys_brn023.smt2 (content) sat sat 0.222s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408244/gensys_brn023.smt2 (content) sat sat 0.165s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408244/gensys_brn023.smt2 (content) sat sat 0.045s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408243/gensys_brn022.smt2 (content) sat sat 0.131s