detailed results (3632 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409782/gensys_brn737.smt2 (content) unsat unsat 0.878s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409777/gensys_brn732.smt2 (content) unsat unsat 8.1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409772/gensys_brn727.smt2 (content) unsat unsat 1.9s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409767/gensys_brn722.smt2 (content) unsat unsat 4.1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409757/gensys_brn712.smt2 (content) unsat unsat 3.1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409755/gensys_brn710.smt2 (content) unsat unsat 1.5s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409750/gensys_brn705.smt2 (content) unsat unsat 8.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409745/gensys_brn700.smt2 (content) unsat unsat 0.512s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409742/gensys_brn697.smt2 (content) unsat unsat 0.398s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409692/gensys_brn647.smt2 (content) unsat unsat 0.353s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409669/gensys_brn624.smt2 (content) unsat unsat 2.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409667/gensys_brn622.smt2 (content) unsat unsat 6.4s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409642/gensys_brn597.smt2 (content) unsat unsat 0.646s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409638/gensys_brn593.smt2 (content) unsat unsat 3.5s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409636/gensys_brn591.smt2 (content) unsat unsat 9.3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409618/gensys_brn573.smt2 (content) unsat unsat 3.3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409615/gensys_brn570.smt2 (content) unsat unsat 2.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409607/gensys_brn562.smt2 (content) unsat unsat 2.3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409605/gensys_brn560.smt2 (content) unsat unsat 1.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409602/gensys_brn557.smt2 (content) unsat unsat 7s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409582/gensys_brn537.smt2 (content) unsat unsat 1.3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409581/gensys_brn536.smt2 (content) unsat unsat 5s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409578/gensys_brn533.smt2 (content) unsat unsat 3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409572/gensys_brn527.smt2 (content) unsat unsat 0.441s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409571/gensys_brn526.smt2 (content) unsat unsat 5.6s