detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409610/gensys_brn565.smt2 (content) unsat unsat 0.362s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409609/gensys_brn564.smt2 (content) sat sat 0.285s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409609/gensys_brn564.smt2 (content) sat sat 0.215s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409609/gensys_brn564.smt2 (content) sat sat 0.052s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409608/gensys_brn563.smt2 (content) sat sat 1.7s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409608/gensys_brn563.smt2 (content) sat sat 0.284s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409608/gensys_brn563.smt2 (content) sat sat 0.054s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409607/gensys_brn562.smt2 (content) unsat unsat 4.9s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409607/gensys_brn562.smt2 (content) unsat unsat 2.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409607/gensys_brn562.smt2 (content) unsat unsat 0.197s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409606/gensys_brn561.smt2 (content) sat sat 0.311s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409606/gensys_brn561.smt2 (content) sat sat 0.349s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409606/gensys_brn561.smt2 (content) sat sat 0.046s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409605/gensys_brn560.smt2 (content) unsat unsat 6.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409605/gensys_brn560.smt2 (content) unsat unsat 1.8s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409605/gensys_brn560.smt2 (content) unsat unsat 0.447s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409604/gensys_brn559.smt2 (content) sat sat 0.473s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409604/gensys_brn559.smt2 (content) sat sat 0.231s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409604/gensys_brn559.smt2 (content) sat sat 0.157s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409603/gensys_brn558.smt2 (content) sat sat 0.677s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409603/gensys_brn558.smt2 (content) sat sat 0.347s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409603/gensys_brn558.smt2 (content) sat sat 0.045s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409602/gensys_brn557.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409602/gensys_brn557.smt2 (content) unsat unsat 7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409602/gensys_brn557.smt2 (content) unsat unsat 0.565s