detailed results (7457 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn757.smt2 (content) sat unknown 0.709s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn756.smt2 (content) sat unknown 0.102s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn755.smt2 (content) unsat unknown 8.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn754.smt2 (content) sat unknown 0.240s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn753.smt2 (content) unsat unknown 0.687s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn752.smt2 (content) unsat unknown 7.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn751.smt2 (content) sat unknown 0.124s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn750.smt2 (content) sat unknown 0.085s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn749.smt2 (content) sat unknown 0.090s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn748.smt2 (content) sat unknown 0.143s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn747.smt2 (content) sat unknown 0.103s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn746.smt2 (content) sat unknown 0.182s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn745.smt2 (content) sat unknown 0.271s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn744.smt2 (content) sat unknown 0.156s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn743.smt2 (content) sat unknown 0.284s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn742.smt2 (content) unsat unknown 2.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn741.smt2 (content) sat unknown 0.245s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn740.smt2 (content) sat unknown 0.327s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn739.smt2 (content) sat unknown 0.189s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn738.smt2 (content) unsat unknown 1.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn737.smt2 (content) unsat unknown 0.614s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn736.smt2 (content) sat unknown 0.125s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn735.smt2 (content) sat unknown 0.655s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn734.smt2 (content) sat unknown 0.153s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn733.smt2 (content) sat unknown 0.279s