detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409468/gensys_brn423.smt2 (content) sat sat 0.079s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409468/gensys_brn423.smt2 (content) sat sat 0.029s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409467/gensys_brn422.smt2 (content) sat sat 0.074s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409467/gensys_brn422.smt2 (content) sat sat 0.051s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409467/gensys_brn422.smt2 (content) sat sat 0.030s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409466/gensys_brn421.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409466/gensys_brn421.smt2 (content) unsat unsat 8s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409466/gensys_brn421.smt2 (content) unsat unsat 0.782s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409465/gensys_brn420.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409465/gensys_brn420.smt2 (content) unsat unsat 7.9s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409465/gensys_brn420.smt2 (content) unsat unsat 0.729s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409464/gensys_brn419.smt2 (content) sat sat 0.229s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409464/gensys_brn419.smt2 (content) sat sat 0.120s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409464/gensys_brn419.smt2 (content) sat sat 0.042s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409463/gensys_brn418.smt2 (content) sat sat 0.185s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409463/gensys_brn418.smt2 (content) sat sat 0.147s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409463/gensys_brn418.smt2 (content) sat sat 0.050s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409462/gensys_brn417.smt2 (content) unsat unsat 0.760s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409462/gensys_brn417.smt2 (content) unsat unsat 0.417s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409462/gensys_brn417.smt2 (content) unsat unsat 0.082s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409461/gensys_brn416.smt2 (content) sat sat 0.113s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409461/gensys_brn416.smt2 (content) sat sat 0.088s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409461/gensys_brn416.smt2 (content) sat sat 0.033s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409460/gensys_brn415.smt2 (content) unsat unsat 7.3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409460/gensys_brn415.smt2 (content) unsat unsat 3.3s