detailed results (3632 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409472/gensys_brn427.smt2 (content) unsat unsat 0.203s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409470/gensys_brn425.smt2 (content) unsat unsat 0.660s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409466/gensys_brn421.smt2 (content) unsat unsat 8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409465/gensys_brn420.smt2 (content) unsat unsat 7.9s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409462/gensys_brn417.smt2 (content) unsat unsat 0.417s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409460/gensys_brn415.smt2 (content) unsat unsat 3.3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409457/gensys_brn412.smt2 (content) unsat unsat 7.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409455/gensys_brn410.smt2 (content) unsat unsat 0.270s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409452/gensys_brn407.smt2 (content) unsat unsat 0.996s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409451/gensys_brn406.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409441/gensys_brn396.smt2 (content) unsat unsat 1.4s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409440/gensys_brn395.smt2 (content) unsat unsat 2.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409438/gensys_brn393.smt2 (content) unsat unsat 0.457s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409437/gensys_brn392.smt2 (content) unsat unsat 1.4s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409418/gensys_brn373.smt2 (content) unsat unsat 3.1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409413/gensys_brn368.smt2 (content) unsat unsat 1.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409412/gensys_brn367.smt2 (content) unsat unsat 1.7s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409410/gensys_brn365.smt2 (content) unsat unsat 3.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409405/gensys_brn360.smt2 (content) unsat unsat 5s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409395/gensys_brn350.smt2 (content) unsat unsat 7.7s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409393/gensys_brn348.smt2 (content) unsat unsat 4.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409387/gensys_brn342.smt2 (content) unsat unsat 6.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409384/gensys_brn339.smt2 (content) unsat unsat 2.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409383/gensys_brn338.smt2 (content) unsat unsat 6.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409377/gensys_brn332.smt2 (content) unsat unsat 8.4s