detailed results (3887 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn478.smt2 (content) unsat unknown 0.695s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn476.smt2 (content) unsat unknown 0.548s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn475.smt2 (content) unsat unknown 1.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn470.smt2 (content) unsat unknown 2.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn469.smt2 (content) unsat unknown 1.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn464.smt2 (content) unsat unknown 2.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn462.smt2 (content) unsat unknown 5.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn453.smt2 (content) unsat unknown 3.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn448.smt2 (content) unsat unknown 0.451s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn447.smt2 (content) unsat unknown 0.249s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn444.smt2 (content) unsat unknown 7.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn442.smt2 (content) unsat unknown 2.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn436.smt2 (content) unsat unknown 10.0s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn435.smt2 (content) unsat unknown 6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn434.smt2 (content) unsat unknown 4.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn433.smt2 (content) unsat unknown 2.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn428.smt2 (content) unsat unknown 0.052s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn427.smt2 (content) unsat unknown 0.139s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn425.smt2 (content) unsat unknown 0.620s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn421.smt2 (content) unsat unknown 5.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn420.smt2 (content) unsat unknown 6.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn417.smt2 (content) unsat unknown 0.296s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn415.smt2 (content) unsat unknown 7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn412.smt2 (content) unsat unknown 12.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn410.smt2 (content) unsat unknown 0.195s