detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn540.smt2 (content) sat unknown 0.452s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn540.smt2 (content) sat unknown 0.113s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn539.smt2 (content) sat unknown 0.328s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn539.smt2 (content) sat unknown 0.246s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn539.smt2 (content) sat unknown 0.045s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn538.smt2 (content) sat unknown 0.658s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn538.smt2 (content) sat unknown 0.319s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn538.smt2 (content) sat unknown 0.037s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn537.smt2 (content) unsat unknown 1.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn537.smt2 (content) unsat unknown 0.925s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn537.smt2 (content) unsat unknown 0.131s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn536.smt2 (content) unsat unknown 6.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn536.smt2 (content) unsat unknown 3.0s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn536.smt2 (content) unsat unknown 0.203s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn535.smt2 (content) sat unknown 0.310s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn535.smt2 (content) sat unknown 0.307s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn535.smt2 (content) sat unknown 0.035s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn534.smt2 (content) sat unknown 0.172s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn534.smt2 (content) sat unknown 0.097s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn534.smt2 (content) sat unknown 0.022s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn533.smt2 (content) unsat unknown 4.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn533.smt2 (content) unsat unknown 3.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn533.smt2 (content) unsat unknown 0.426s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn532.smt2 (content) sat unknown 0.604s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn532.smt2 (content) sat unknown 0.183s