detailed results (3654 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409755/gensys_brn710.smt2 (content) unsat unsat 1.4s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409750/gensys_brn705.smt2 (content) unsat unsat 7.5s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409745/gensys_brn700.smt2 (content) unsat unsat 0.448s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409742/gensys_brn697.smt2 (content) unsat unsat 0.379s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409692/gensys_brn647.smt2 (content) unsat unsat 0.335s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409683/gensys_brn638.smt2 (content) unsat unsat 9.9s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409669/gensys_brn624.smt2 (content) unsat unsat 2.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409667/gensys_brn622.smt2 (content) unsat unsat 6.1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409642/gensys_brn597.smt2 (content) unsat unsat 0.569s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409638/gensys_brn593.smt2 (content) unsat unsat 3.4s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409636/gensys_brn591.smt2 (content) unsat unsat 8.0s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409618/gensys_brn573.smt2 (content) unsat unsat 2.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409615/gensys_brn570.smt2 (content) unsat unsat 2.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409610/gensys_brn565.smt2 (content) unsat unsat 10.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409607/gensys_brn562.smt2 (content) unsat unsat 1.0s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409605/gensys_brn560.smt2 (content) unsat unsat 1.7s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409602/gensys_brn557.smt2 (content) unsat unsat 6.3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409582/gensys_brn537.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409581/gensys_brn536.smt2 (content) unsat unsat 4.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409578/gensys_brn533.smt2 (content) unsat unsat 2.7s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409572/gensys_brn527.smt2 (content) unsat unsat 0.417s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409571/gensys_brn526.smt2 (content) unsat unsat 5.4s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409566/gensys_brn521.smt2 (content) unsat unsat 0.272s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409564/gensys_brn519.smt2 (content) unsat unsat 0.421s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409561/gensys_brn516.smt2 (content) unsat unsat 0.305s