detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409360/gensys_brn315.smt2 (content) sat sat 0.061s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409359/gensys_brn314.smt2 (content) sat sat 0.212s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409359/gensys_brn314.smt2 (content) sat sat 0.116s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409359/gensys_brn314.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409358/gensys_brn313.smt2 (content) sat sat 0.626s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409358/gensys_brn313.smt2 (content) sat sat 0.443s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409358/gensys_brn313.smt2 (content) sat sat 0.057s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409357/gensys_brn312.smt2 (content) sat sat 0.573s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409357/gensys_brn312.smt2 (content) sat sat 0.616s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409357/gensys_brn312.smt2 (content) sat sat 0.071s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409356/gensys_brn311.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409356/gensys_brn311.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409356/gensys_brn311.smt2 (content) unsat unsat 0.884s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409355/gensys_brn310.smt2 (content) sat sat 0.400s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409355/gensys_brn310.smt2 (content) sat sat 0.512s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409355/gensys_brn310.smt2 (content) sat sat 0.038s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409354/gensys_brn309.smt2 (content) sat sat 0.494s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409354/gensys_brn309.smt2 (content) sat sat 0.243s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409354/gensys_brn309.smt2 (content) sat sat 0.104s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409353/gensys_brn308.smt2 (content) sat sat 0.282s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409353/gensys_brn308.smt2 (content) sat sat 0.237s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409353/gensys_brn308.smt2 (content) sat sat 0.047s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409352/gensys_brn307.smt2 (content) sat sat 0.274s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409352/gensys_brn307.smt2 (content) sat sat 0.447s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409352/gensys_brn307.smt2 (content) sat sat 0.041s