detailed results (3654 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409336/gensys_brn291.smt2 (content) unsat unsat 1.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409333/gensys_brn288.smt2 (content) unsat unsat 0.440s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409329/gensys_brn284.smt2 (content) unsat unsat 0.270s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409328/gensys_brn283.smt2 (content) unsat unsat 0.430s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409324/gensys_brn279.smt2 (content) unsat unsat 1.0s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409321/gensys_brn276.smt2 (content) unsat unsat 0.355s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409317/gensys_brn272.smt2 (content) unsat unsat 2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409315/gensys_brn270.smt2 (content) unsat unsat 0.313s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409313/gensys_brn268.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409312/gensys_brn267.smt2 (content) unsat unsat 1.3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409310/gensys_brn265.smt2 (content) unsat unsat 1.5s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409309/gensys_brn264.smt2 (content) unsat unsat 0.638s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409306/gensys_brn261.smt2 (content) unsat unsat 2.7s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409298/gensys_brn253.smt2 (content) unsat unsat 1.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409293/gensys_brn248.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409289/gensys_brn244.smt2 (content) unsat unsat 0.997s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409288/gensys_brn243.smt2 (content) unsat unsat 1.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409283/gensys_brn238.smt2 (content) unsat unsat 6.9s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409270/gensys_brn225.smt2 (content) unsat unsat 0.254s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409265/gensys_brn220.smt2 (content) unsat unsat 0.581s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409254/gensys_brn209.smt2 (content) unsat unsat 1.1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409251/gensys_brn206.smt2 (content) unsat unsat 3.5s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409245/gensys_brn200.smt2 (content) unsat unsat 3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409225/gensys_brn180.smt2 (content) unsat unsat 2.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409211/gensys_brn166.smt2 (content) unsat unsat 7.4s