detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn782.smt2 (content) sat unknown 0.034s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn781.smt2 (content) sat unknown 0.127s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn781.smt2 (content) sat unknown 0.210s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn781.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn780.smt2 (content) sat unknown 0.244s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn780.smt2 (content) sat unknown 0.128s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn780.smt2 (content) sat unknown 0.028s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn779.smt2 (content) sat unknown 0.137s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn779.smt2 (content) sat unknown 0.084s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn779.smt2 (content) sat unknown 0.030s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn778.smt2 (content) sat unknown 0.154s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn778.smt2 (content) sat unknown 0.093s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn778.smt2 (content) sat unknown 0.032s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn777.smt2 (content) unsat unknown 3.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn777.smt2 (content) unsat unknown 1.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn777.smt2 (content) unsat unknown 0.358s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn776.smt2 (content) sat unknown 0.193s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn776.smt2 (content) sat unknown 0.120s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn776.smt2 (content) sat unknown 0.031s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn775.smt2 (content) unsat unknown 0.983s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn775.smt2 (content) unsat unknown 0.693s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn775.smt2 (content) unsat unknown 0.092s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn774.smt2 (content) sat unknown 0.226s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn774.smt2 (content) sat unknown 0.102s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn774.smt2 (content) sat unknown 0.029s