detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn081.smt2 (content) unsat unknown 0.155s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn080.smt2 (content) sat unknown 0.445s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn080.smt2 (content) sat unknown 0.232s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn080.smt2 (content) sat unknown 0.044s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn079.smt2 (content) sat unknown 0.250s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn079.smt2 (content) sat unknown 0.173s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn079.smt2 (content) sat unknown 0.029s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn078.smt2 (content) sat unknown 1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn078.smt2 (content) sat unknown 0.955s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn078.smt2 (content) sat unknown 0.034s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn077.smt2 (content) sat unknown 0.565s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn077.smt2 (content) sat unknown 0.799s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn077.smt2 (content) sat unknown 0.054s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn076.smt2 (content) unsat unknown 2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn076.smt2 (content) unsat unknown 2.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn076.smt2 (content) unsat unknown 0.183s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn075.smt2 (content) sat unknown 0.303s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn075.smt2 (content) sat unknown 0.498s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn075.smt2 (content) sat unknown 0.046s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn074.smt2 (content) sat unknown 0.731s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn074.smt2 (content) sat unknown 0.753s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn074.smt2 (content) sat unknown 0.062s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn073.smt2 (content) unsat unknown 2.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn073.smt2 (content) unsat unknown 1s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn073.smt2 (content) unsat unknown 0.150s