detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409484/gensys_brn439.smt2 (content) sat sat 0.047s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409483/gensys_brn438.smt2 (content) sat sat 0.200s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409483/gensys_brn438.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409482/gensys_brn437.smt2 (content) sat sat 0.100s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409482/gensys_brn437.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409481/gensys_brn436.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409481/gensys_brn436.smt2 (content) unsat unsat 0.674s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409480/gensys_brn435.smt2 (content) unsat unsat 3.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409480/gensys_brn435.smt2 (content) unsat unsat 0.387s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409479/gensys_brn434.smt2 (content) unsat unsat 4.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409479/gensys_brn434.smt2 (content) unsat unsat 0.418s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409478/gensys_brn433.smt2 (content) unsat unsat 3.0s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409478/gensys_brn433.smt2 (content) unsat unsat 0.433s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409477/gensys_brn432.smt2 (content) sat sat 0.221s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409477/gensys_brn432.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409476/gensys_brn431.smt2 (content) sat sat 0.140s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409476/gensys_brn431.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409475/gensys_brn430.smt2 (content) sat sat 0.239s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409475/gensys_brn430.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409474/gensys_brn429.smt2 (content) sat sat 0.077s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409474/gensys_brn429.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409473/gensys_brn428.smt2 (content) unsat unsat 0.079s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409473/gensys_brn428.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409472/gensys_brn427.smt2 (content) unsat unsat 0.205s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409472/gensys_brn427.smt2 (content) unsat unsat 0.035s