detailed results (7457 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn407.smt2 (content) unsat unknown 1.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn406.smt2 (content) unsat unknown 1.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn405.smt2 (content) sat unknown 0.131s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn404.smt2 (content) sat unknown 0.268s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn403.smt2 (content) sat unknown 0.130s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn402.smt2 (content) sat unknown 0.232s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn401.smt2 (content) sat unknown 0.079s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn400.smt2 (content) sat unknown 0.056s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn399.smt2 (content) sat unknown 0.174s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn398.smt2 (content) sat unknown 0.045s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn397.smt2 (content) sat unknown 0.068s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn396.smt2 (content) unsat unknown 0.978s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn395.smt2 (content) unsat unknown 1.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn394.smt2 (content) sat unknown 0.089s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn393.smt2 (content) unsat unknown 0.695s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn392.smt2 (content) unsat unknown 1.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn391.smt2 (content) sat unknown 0.124s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn390.smt2 (content) sat unknown 0.088s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn389.smt2 (content) sat unknown 0.049s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn388.smt2 (content) sat unknown 0.229s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn387.smt2 (content) sat unknown 0.303s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn386.smt2 (content) sat unknown 0.147s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn385.smt2 (content) sat unknown 0.100s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn384.smt2 (content) sat unknown 0.124s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn383.smt2 (content) sat unknown 0.107s