detailed results (3602 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409478/gensys_brn433.smt2 (content) unsat unsat 3.0s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409473/gensys_brn428.smt2 (content) unsat unsat 0.079s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409472/gensys_brn427.smt2 (content) unsat unsat 0.205s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409470/gensys_brn425.smt2 (content) unsat unsat 0.707s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409466/gensys_brn421.smt2 (content) unsat unsat 8.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409465/gensys_brn420.smt2 (content) unsat unsat 8.6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409462/gensys_brn417.smt2 (content) unsat unsat 0.464s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409460/gensys_brn415.smt2 (content) unsat unsat 3.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409457/gensys_brn412.smt2 (content) unsat unsat 8.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409455/gensys_brn410.smt2 (content) unsat unsat 0.288s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409452/gensys_brn407.smt2 (content) unsat unsat 1.1s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409451/gensys_brn406.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409441/gensys_brn396.smt2 (content) unsat unsat 1.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409440/gensys_brn395.smt2 (content) unsat unsat 2.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409438/gensys_brn393.smt2 (content) unsat unsat 0.529s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409437/gensys_brn392.smt2 (content) unsat unsat 1.3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409418/gensys_brn373.smt2 (content) unsat unsat 3.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409413/gensys_brn368.smt2 (content) unsat unsat 1.0s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409412/gensys_brn367.smt2 (content) unsat unsat 1.0s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409410/gensys_brn365.smt2 (content) unsat unsat 3.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409405/gensys_brn360.smt2 (content) unsat unsat 5.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409395/gensys_brn350.smt2 (content) unsat unsat 7.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409393/gensys_brn348.smt2 (content) unsat unsat 5.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409387/gensys_brn342.smt2 (content) unsat unsat 6.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409384/gensys_brn339.smt2 (content) unsat unsat 2.9s