detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409410/gensys_brn365.smt2 (content) unsat unsat 0.170s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409409/gensys_brn364.smt2 (content) sat sat 0.538s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409409/gensys_brn364.smt2 (content) sat sat 0.199s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409409/gensys_brn364.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409408/gensys_brn363.smt2 (content) sat sat 0.401s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409408/gensys_brn363.smt2 (content) sat sat 0.197s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409408/gensys_brn363.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409407/gensys_brn362.smt2 (content) sat sat 0.266s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409407/gensys_brn362.smt2 (content) sat sat 0.179s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409407/gensys_brn362.smt2 (content) sat sat 0.035s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409406/gensys_brn361.smt2 (content) sat sat 0.372s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409406/gensys_brn361.smt2 (content) sat sat 0.327s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409406/gensys_brn361.smt2 (content) sat sat 0.039s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409405/gensys_brn360.smt2 (content) unsat unsat 8.4s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409405/gensys_brn360.smt2 (content) unsat unsat 5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409405/gensys_brn360.smt2 (content) unsat unsat 0.149s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409404/gensys_brn359.smt2 (content) sat sat 0.401s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409404/gensys_brn359.smt2 (content) sat sat 0.309s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409404/gensys_brn359.smt2 (content) sat sat 0.045s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409403/gensys_brn358.smt2 (content) sat sat 0.254s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409403/gensys_brn358.smt2 (content) sat sat 0.145s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409403/gensys_brn358.smt2 (content) sat sat 0.038s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409402/gensys_brn357.smt2 (content) sat sat 0.318s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409402/gensys_brn357.smt2 (content) sat sat 0.241s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409402/gensys_brn357.smt2 (content) sat sat 0.034s