detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409535/gensys_brn490.smt2 (content) sat sat 0.035s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409534/gensys_brn489.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409534/gensys_brn489.smt2 (content) sat sat 0.074s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409534/gensys_brn489.smt2 (content) sat sat 0.042s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409533/gensys_brn488.smt2 (content) unsat unsat 1.9s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409533/gensys_brn488.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409533/gensys_brn488.smt2 (content) unsat unsat 0.293s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409532/gensys_brn487.smt2 (content) unsat unsat 1.4s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409532/gensys_brn487.smt2 (content) unsat unsat 0.766s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409532/gensys_brn487.smt2 (content) unsat unsat 0.186s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409531/gensys_brn486.smt2 (content) sat sat 0.093s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409531/gensys_brn486.smt2 (content) sat sat 0.089s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409531/gensys_brn486.smt2 (content) sat sat 0.029s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409530/gensys_brn485.smt2 (content) sat sat 0.228s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409530/gensys_brn485.smt2 (content) sat sat 0.126s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409530/gensys_brn485.smt2 (content) sat sat 0.039s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409529/gensys_brn484.smt2 (content) sat sat 0.232s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409529/gensys_brn484.smt2 (content) sat sat 0.138s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409529/gensys_brn484.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409528/gensys_brn483.smt2 (content) sat sat 0.265s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409528/gensys_brn483.smt2 (content) sat sat 0.132s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409528/gensys_brn483.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409527/gensys_brn482.smt2 (content) sat sat 0.132s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409527/gensys_brn482.smt2 (content) sat sat 0.110s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409527/gensys_brn482.smt2 (content) sat sat 0.052s