detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409835/gensys_brn790.smt2 (content) sat sat 0.033s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409834/gensys_brn789.smt2 (content) sat sat 0.330s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409834/gensys_brn789.smt2 (content) sat sat 0.109s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409834/gensys_brn789.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409833/gensys_brn788.smt2 (content) sat sat 0.165s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409833/gensys_brn788.smt2 (content) sat sat 0.115s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409833/gensys_brn788.smt2 (content) sat sat 0.035s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409832/gensys_brn787.smt2 (content) sat sat 0.501s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409832/gensys_brn787.smt2 (content) sat sat 0.401s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409832/gensys_brn787.smt2 (content) sat sat 0.092s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409831/gensys_brn786.smt2 (content) sat sat 0.219s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409831/gensys_brn786.smt2 (content) sat sat 0.162s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409831/gensys_brn786.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409830/gensys_brn785.smt2 (content) sat sat 0.152s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409830/gensys_brn785.smt2 (content) sat sat 0.115s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409830/gensys_brn785.smt2 (content) sat sat 0.030s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409829/gensys_brn784.smt2 (content) sat sat 0.072s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409829/gensys_brn784.smt2 (content) sat sat 0.082s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409829/gensys_brn784.smt2 (content) sat sat 0.028s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409828/gensys_brn783.smt2 (content) sat sat 0.319s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409828/gensys_brn783.smt2 (content) sat sat 0.145s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409828/gensys_brn783.smt2 (content) sat sat 0.039s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409827/gensys_brn782.smt2 (content) sat sat 0.443s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409827/gensys_brn782.smt2 (content) sat sat 0.247s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409827/gensys_brn782.smt2 (content) sat sat 0.038s