detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn165.smt2 (content) sat unknown 0.123s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn165.smt2 (content) sat unknown 0.028s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn164.smt2 (content) sat unknown 0.276s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn164.smt2 (content) sat unknown 0.095s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn164.smt2 (content) sat unknown 0.027s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn163.smt2 (content) timeout unknown 10.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn163.smt2 (content) unsat unknown 0.540s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn163.smt2 (content) unsat unknown 0.899s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn162.smt2 (content) sat unknown 0.362s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn162.smt2 (content) sat unknown 0.374s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn162.smt2 (content) sat unknown 0.041s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn161.smt2 (content) sat unknown 0.296s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn161.smt2 (content) sat unknown 0.287s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn161.smt2 (content) sat unknown 0.048s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn160.smt2 (content) sat unknown 0.134s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn160.smt2 (content) sat unknown 0.155s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn160.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn159.smt2 (content) unsat unknown 7.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn159.smt2 (content) unsat unknown 2.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn159.smt2 (content) unsat unknown 0.485s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn158.smt2 (content) sat unknown 0.149s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn158.smt2 (content) sat unknown 0.084s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn158.smt2 (content) sat unknown 0.030s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn157.smt2 (content) sat unknown 0.110s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn157.smt2 (content) sat unknown 0.096s