detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409826/gensys_brn781.smt2 (content) sat sat 0.176s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409826/gensys_brn781.smt2 (content) sat sat 0.285s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409826/gensys_brn781.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409825/gensys_brn780.smt2 (content) sat sat 0.335s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409825/gensys_brn780.smt2 (content) sat sat 0.154s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409825/gensys_brn780.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409824/gensys_brn779.smt2 (content) sat sat 0.218s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409824/gensys_brn779.smt2 (content) sat sat 0.111s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409824/gensys_brn779.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409823/gensys_brn778.smt2 (content) sat sat 0.223s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409823/gensys_brn778.smt2 (content) sat sat 0.139s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409823/gensys_brn778.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409822/gensys_brn777.smt2 (content) unsat unsat 1.9s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409822/gensys_brn777.smt2 (content) unsat unsat 0.526s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409822/gensys_brn777.smt2 (content) unsat unsat 0.256s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409821/gensys_brn776.smt2 (content) sat sat 0.241s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409821/gensys_brn776.smt2 (content) sat sat 0.159s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409821/gensys_brn776.smt2 (content) sat sat 0.039s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409820/gensys_brn775.smt2 (content) unsat unsat 1.3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409820/gensys_brn775.smt2 (content) unsat unsat 0.982s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409820/gensys_brn775.smt2 (content) unsat unsat 0.198s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409819/gensys_brn774.smt2 (content) sat sat 0.211s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409819/gensys_brn774.smt2 (content) sat sat 0.086s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409819/gensys_brn774.smt2 (content) sat sat 0.040s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409818/gensys_brn773.smt2 (content) unsat unsat 1.9s