detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn740.smt2 (content) sat unknown 0.327s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn740.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn739.smt2 (content) sat unknown 0.175s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn739.smt2 (content) sat unknown 0.189s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn739.smt2 (content) sat unknown 0.021s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn738.smt2 (content) unsat unknown 1.0s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn738.smt2 (content) unsat unknown 1.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn738.smt2 (content) unsat unknown 0.640s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn737.smt2 (content) unsat unknown 4.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn737.smt2 (content) unsat unknown 0.614s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn737.smt2 (content) unsat unknown 0.413s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn736.smt2 (content) sat unknown 0.153s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn736.smt2 (content) sat unknown 0.125s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn736.smt2 (content) sat unknown 0.030s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn735.smt2 (content) sat unknown 1.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn735.smt2 (content) sat unknown 0.655s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn735.smt2 (content) sat unknown 0.158s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn734.smt2 (content) sat unknown 0.339s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn734.smt2 (content) sat unknown 0.153s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn734.smt2 (content) sat unknown 0.048s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn733.smt2 (content) sat unknown 0.193s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn733.smt2 (content) sat unknown 0.279s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn733.smt2 (content) sat unknown 0.041s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn732.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn732.smt2 (content) unsat unknown 7s