detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409485/gensys_brn440.smt2 (content) sat sat 0.035s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409484/gensys_brn439.smt2 (content) sat sat 0.162s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409484/gensys_brn439.smt2 (content) sat sat 0.138s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409484/gensys_brn439.smt2 (content) sat sat 0.049s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409483/gensys_brn438.smt2 (content) sat sat 0.202s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409483/gensys_brn438.smt2 (content) sat sat 0.182s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409483/gensys_brn438.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409482/gensys_brn437.smt2 (content) sat sat 0.115s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409482/gensys_brn437.smt2 (content) sat sat 0.089s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409482/gensys_brn437.smt2 (content) sat sat 0.028s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409481/gensys_brn436.smt2 (content) timeout unsat 10s
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.700s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409480/gensys_brn435.smt2 (content) unsat unsat 9.7s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409480/gensys_brn435.smt2 (content) unsat unsat 3.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409480/gensys_brn435.smt2 (content) unsat unsat 0.452s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409479/gensys_brn434.smt2 (content) unsat unsat 6.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409479/gensys_brn434.smt2 (content) unsat unsat 4.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409479/gensys_brn434.smt2 (content) unsat unsat 0.459s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409478/gensys_brn433.smt2 (content) unsat unsat 7.9s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409478/gensys_brn433.smt2 (content) unsat unsat 4.1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409478/gensys_brn433.smt2 (content) unsat unsat 0.523s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409477/gensys_brn432.smt2 (content) sat sat 0.233s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409477/gensys_brn432.smt2 (content) sat sat 0.184s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409477/gensys_brn432.smt2 (content) sat sat 0.054s