detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn031.smt2 (content) sat unknown 0.038s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn030.smt2 (content) sat unknown 0.194s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn030.smt2 (content) sat unknown 0.186s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn030.smt2 (content) sat unknown 0.047s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn029.smt2 (content) unsat unknown 2.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn029.smt2 (content) unsat unknown 1.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn029.smt2 (content) unsat unknown 0.250s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn028.smt2 (content) sat unknown 0.766s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn028.smt2 (content) sat unknown 0.452s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn028.smt2 (content) sat unknown 0.034s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn027.smt2 (content) sat unknown 0.250s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn027.smt2 (content) sat unknown 0.159s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn027.smt2 (content) sat unknown 0.043s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn026.smt2 (content) sat unknown 0.375s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn026.smt2 (content) sat unknown 0.255s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn026.smt2 (content) sat unknown 0.030s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn025.smt2 (content) unsat unknown 1.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn025.smt2 (content) unsat unknown 0.820s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn025.smt2 (content) unsat unknown 0.190s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn024.smt2 (content) sat unknown 0.222s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn024.smt2 (content) sat unknown 0.108s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn024.smt2 (content) sat unknown 0.034s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn023.smt2 (content) sat unknown 0.161s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn023.smt2 (content) sat unknown 0.095s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn023.smt2 (content) sat unknown 0.041s