detailed results (3887 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn954.smt2 (content) unsat unknown 3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn949.smt2 (content) unsat unknown 5.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn945.smt2 (content) unsat unknown 3.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn935.smt2 (content) unsat unknown 0.998s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn933.smt2 (content) unsat unknown 4.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn932.smt2 (content) unsat unknown 8.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn919.smt2 (content) unsat unknown 0.579s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn913.smt2 (content) unsat unknown 0.517s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn905.smt2 (content) unsat unknown 4.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn903.smt2 (content) unsat unknown 0.446s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn900.smt2 (content) unsat unknown 1.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn878.smt2 (content) unsat unknown 1.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn876.smt2 (content) unsat unknown 1.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn875.smt2 (content) unsat unknown 2.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn868.smt2 (content) unsat unknown 0.390s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn863.smt2 (content) unsat unknown 10.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn851.smt2 (content) unsat unknown 9.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn849.smt2 (content) unsat unknown 1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn836.smt2 (content) unsat unknown 0.293s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn834.smt2 (content) unsat unknown 1.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn827.smt2 (content) unsat unknown 1.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn825.smt2 (content) unsat unknown 0.086s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn824.smt2 (content) unsat unknown 0.124s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn821.smt2 (content) unsat unknown 0.759s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn813.smt2 (content) unsat unknown 0.674s