detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409446/gensys_brn401.smt2 (content) sat sat 0.176s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409446/gensys_brn401.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409445/gensys_brn400.smt2 (content) sat sat 0.066s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409445/gensys_brn400.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409444/gensys_brn399.smt2 (content) sat sat 0.155s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409444/gensys_brn399.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409443/gensys_brn398.smt2 (content) sat sat 0.078s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409443/gensys_brn398.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409442/gensys_brn397.smt2 (content) sat sat 0.120s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409442/gensys_brn397.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409441/gensys_brn396.smt2 (content) unsat unsat 1.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409441/gensys_brn396.smt2 (content) unsat unsat 0.125s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409440/gensys_brn395.smt2 (content) unsat unsat 2.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409440/gensys_brn395.smt2 (content) unsat unsat 0.172s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409439/gensys_brn394.smt2 (content) sat sat 0.216s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409439/gensys_brn394.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409438/gensys_brn393.smt2 (content) unsat unsat 0.529s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409438/gensys_brn393.smt2 (content) unsat unsat 0.143s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409437/gensys_brn392.smt2 (content) unsat unsat 1.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409437/gensys_brn392.smt2 (content) unsat unsat 0.138s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409436/gensys_brn391.smt2 (content) sat sat 0.094s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409436/gensys_brn391.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409435/gensys_brn390.smt2 (content) sat sat 0.101s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409435/gensys_brn390.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409434/gensys_brn389.smt2 (content) sat sat 0.105s