detailed results (3602 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409787/gensys_brn742.smt2 (content) unsat unsat 1.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409783/gensys_brn738.smt2 (content) unsat unsat 1.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409782/gensys_brn737.smt2 (content) unsat unsat 0.887s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409777/gensys_brn732.smt2 (content) unsat unsat 9.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409772/gensys_brn727.smt2 (content) unsat unsat 1.0s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409767/gensys_brn722.smt2 (content) unsat unsat 4.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409757/gensys_brn712.smt2 (content) unsat unsat 3.6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409755/gensys_brn710.smt2 (content) unsat unsat 1.3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409750/gensys_brn705.smt2 (content) unsat unsat 9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409745/gensys_brn700.smt2 (content) unsat unsat 0.545s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409742/gensys_brn697.smt2 (content) unsat unsat 0.474s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409692/gensys_brn647.smt2 (content) unsat unsat 0.397s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409669/gensys_brn624.smt2 (content) unsat unsat 2.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409667/gensys_brn622.smt2 (content) unsat unsat 7.1s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409642/gensys_brn597.smt2 (content) unsat unsat 0.649s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409638/gensys_brn593.smt2 (content) unsat unsat 3.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409636/gensys_brn591.smt2 (content) unsat unsat 10.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409618/gensys_brn573.smt2 (content) unsat unsat 3.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409615/gensys_brn570.smt2 (content) unsat unsat 2.6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409607/gensys_brn562.smt2 (content) unsat unsat 2.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409605/gensys_brn560.smt2 (content) unsat unsat 1.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409602/gensys_brn557.smt2 (content) unsat unsat 7.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409582/gensys_brn537.smt2 (content) unsat unsat 1.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409581/gensys_brn536.smt2 (content) unsat unsat 5.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409578/gensys_brn533.smt2 (content) unsat unsat 3s