detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409301/gensys_brn256.smt2 (content) sat sat 0.101s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409301/gensys_brn256.smt2 (content) sat sat 0.184s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409301/gensys_brn256.smt2 (content) sat sat 0.038s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409300/gensys_brn255.smt2 (content) sat sat 0.175s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409300/gensys_brn255.smt2 (content) sat sat 0.103s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409300/gensys_brn255.smt2 (content) sat sat 0.035s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409299/gensys_brn254.smt2 (content) sat sat 0.151s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409299/gensys_brn254.smt2 (content) sat sat 0.094s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409299/gensys_brn254.smt2 (content) sat sat 0.033s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409298/gensys_brn253.smt2 (content) unsat unsat 6.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409298/gensys_brn253.smt2 (content) unsat unsat 2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409298/gensys_brn253.smt2 (content) unsat unsat 0.056s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409297/gensys_brn252.smt2 (content) sat sat 0.145s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409297/gensys_brn252.smt2 (content) sat sat 0.175s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409297/gensys_brn252.smt2 (content) sat sat 0.042s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409296/gensys_brn251.smt2 (content) sat sat 0.154s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409296/gensys_brn251.smt2 (content) sat sat 0.109s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409296/gensys_brn251.smt2 (content) sat sat 0.119s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409295/gensys_brn250.smt2 (content) sat sat 0.087s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409295/gensys_brn250.smt2 (content) sat sat 0.053s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409295/gensys_brn250.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409294/gensys_brn249.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409294/gensys_brn249.smt2 (content) sat sat 0.054s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409294/gensys_brn249.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409293/gensys_brn248.smt2 (content) unsat unsat 1.0s