detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409485/gensys_brn440.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409484/gensys_brn439.smt2 (content) sat sat 0.128s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409484/gensys_brn439.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409483/gensys_brn438.smt2 (content) sat sat 0.171s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409483/gensys_brn438.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409482/gensys_brn437.smt2 (content) sat sat 0.085s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409482/gensys_brn437.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409481/gensys_brn436.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409481/gensys_brn436.smt2 (content) unsat unsat 0.692s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409480/gensys_brn435.smt2 (content) unsat unsat 3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409480/gensys_brn435.smt2 (content) unsat unsat 0.443s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409479/gensys_brn434.smt2 (content) unsat unsat 3.8s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409479/gensys_brn434.smt2 (content) unsat unsat 0.403s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409478/gensys_brn433.smt2 (content) unsat unsat 3.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409478/gensys_brn433.smt2 (content) unsat unsat 0.473s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409477/gensys_brn432.smt2 (content) sat sat 0.156s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409477/gensys_brn432.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409476/gensys_brn431.smt2 (content) sat sat 0.093s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409476/gensys_brn431.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409475/gensys_brn430.smt2 (content) sat sat 0.208s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409475/gensys_brn430.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409474/gensys_brn429.smt2 (content) sat sat 0.061s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409474/gensys_brn429.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409473/gensys_brn428.smt2 (content) unsat unsat 0.066s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409473/gensys_brn428.smt2 (content) unsat unsat 0.027s