detailed results (3602 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409383/gensys_brn338.smt2 (content) unsat unsat 7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409377/gensys_brn332.smt2 (content) unsat unsat 8.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409368/gensys_brn323.smt2 (content) unsat unsat 0.560s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409366/gensys_brn321.smt2 (content) unsat unsat 5.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409363/gensys_brn318.smt2 (content) unsat unsat 3.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409336/gensys_brn291.smt2 (content) unsat unsat 1.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409333/gensys_brn288.smt2 (content) unsat unsat 0.496s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409329/gensys_brn284.smt2 (content) unsat unsat 0.311s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409328/gensys_brn283.smt2 (content) unsat unsat 0.498s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409324/gensys_brn279.smt2 (content) unsat unsat 2.3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409321/gensys_brn276.smt2 (content) unsat unsat 0.418s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409317/gensys_brn272.smt2 (content) unsat unsat 2.3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409315/gensys_brn270.smt2 (content) unsat unsat 0.359s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409313/gensys_brn268.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409312/gensys_brn267.smt2 (content) unsat unsat 1.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409310/gensys_brn265.smt2 (content) unsat unsat 1.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409309/gensys_brn264.smt2 (content) unsat unsat 0.757s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409306/gensys_brn261.smt2 (content) unsat unsat 3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409298/gensys_brn253.smt2 (content) unsat unsat 2.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409293/gensys_brn248.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409289/gensys_brn244.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409288/gensys_brn243.smt2 (content) unsat unsat 2.1s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409283/gensys_brn238.smt2 (content) unsat unsat 8.1s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409270/gensys_brn225.smt2 (content) unsat unsat 0.296s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409265/gensys_brn220.smt2 (content) unsat unsat 0.696s