detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn089.smt2 (content) unsat unknown 0.577s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn089.smt2 (content) unsat unknown 0.137s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn088.smt2 (content) sat unknown 0.140s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn088.smt2 (content) sat unknown 0.102s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn088.smt2 (content) sat unknown 0.029s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn087.smt2 (content) unsat unknown 1.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn087.smt2 (content) unsat unknown 1.1s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn087.smt2 (content) unsat unknown 0.256s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn086.smt2 (content) sat unknown 0.294s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn086.smt2 (content) sat unknown 0.237s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn086.smt2 (content) sat unknown 0.029s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn085.smt2 (content) unsat unknown 2.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn085.smt2 (content) unsat unknown 1.0s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn085.smt2 (content) unsat unknown 0.378s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn084.smt2 (content) unsat unknown 1.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn084.smt2 (content) unsat unknown 1.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn084.smt2 (content) unsat unknown 0.251s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn083.smt2 (content) sat unknown 0.293s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn083.smt2 (content) sat unknown 0.174s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn083.smt2 (content) sat unknown 0.031s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn082.smt2 (content) sat unknown 0.267s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn082.smt2 (content) sat unknown 0.173s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn082.smt2 (content) sat unknown 0.027s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn081.smt2 (content) unsat unknown 0.786s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn081.smt2 (content) unsat unknown 0.520s