detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn565.smt2 (content) timeout unknown 11.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn565.smt2 (content) unsat unknown 1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn564.smt2 (content) sat unknown 0.437s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn564.smt2 (content) sat unknown 0.436s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn564.smt2 (content) sat unknown 0.106s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn563.smt2 (content) sat unknown 1.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn563.smt2 (content) sat unknown 0.219s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn563.smt2 (content) sat unknown 0.050s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn562.smt2 (content) unsat unknown 9.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn562.smt2 (content) unsat unknown 5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn562.smt2 (content) unsat unknown 0.418s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn561.smt2 (content) sat unknown 0.232s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn561.smt2 (content) sat unknown 0.247s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn561.smt2 (content) sat unknown 0.030s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn560.smt2 (content) unsat unknown 15.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn560.smt2 (content) unsat unknown 4.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn560.smt2 (content) unsat unknown 1.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn559.smt2 (content) sat unknown 0.323s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn559.smt2 (content) sat unknown 0.164s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn559.smt2 (content) sat unknown 0.050s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn558.smt2 (content) sat unknown 0.460s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn558.smt2 (content) sat unknown 0.248s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn558.smt2 (content) sat unknown 0.025s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn557.smt2 (content) timeout unknown 10.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn557.smt2 (content) unsat unknown 9.3s