detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409551/gensys_brn506.smt2 (content) unsat unsat 2.4s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409551/gensys_brn506.smt2 (content) unsat unsat 2.1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409551/gensys_brn506.smt2 (content) unsat unsat 0.068s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409550/gensys_brn505.smt2 (content) sat sat 0.077s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409550/gensys_brn505.smt2 (content) sat sat 0.062s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409550/gensys_brn505.smt2 (content) sat sat 0.046s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409549/gensys_brn504.smt2 (content) sat sat 0.195s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409549/gensys_brn504.smt2 (content) sat sat 0.107s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409549/gensys_brn504.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409548/gensys_brn503.smt2 (content) unsat unsat 1.0s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409548/gensys_brn503.smt2 (content) unsat unsat 1.7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409548/gensys_brn503.smt2 (content) unsat unsat 0.051s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409547/gensys_brn502.smt2 (content) sat sat 0.326s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409547/gensys_brn502.smt2 (content) sat sat 0.086s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409547/gensys_brn502.smt2 (content) sat sat 0.041s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409546/gensys_brn501.smt2 (content) sat sat 0.162s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409546/gensys_brn501.smt2 (content) sat sat 0.093s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409546/gensys_brn501.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409545/gensys_brn500.smt2 (content) sat sat 0.213s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409545/gensys_brn500.smt2 (content) sat sat 0.306s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409545/gensys_brn500.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409544/gensys_brn499.smt2 (content) sat sat 0.193s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409544/gensys_brn499.smt2 (content) sat sat 0.088s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409544/gensys_brn499.smt2 (content) sat sat 0.030s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409543/gensys_brn498.smt2 (content) sat sat 0.139s