detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409943/gensys_brn898.smt2 (content) sat sat 0.143s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409943/gensys_brn898.smt2 (content) sat sat 0.033s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409942/gensys_brn897.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409942/gensys_brn897.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409942/gensys_brn897.smt2 (content) unsat unsat 0.866s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409941/gensys_brn896.smt2 (content) sat sat 0.388s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409941/gensys_brn896.smt2 (content) sat sat 0.194s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409941/gensys_brn896.smt2 (content) sat sat 0.202s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409940/gensys_brn895.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409940/gensys_brn895.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409940/gensys_brn895.smt2 (content) unsat unsat 0.740s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409939/gensys_brn894.smt2 (content) sat sat 0.661s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409939/gensys_brn894.smt2 (content) sat sat 0.348s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409939/gensys_brn894.smt2 (content) sat sat 0.107s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409938/gensys_brn893.smt2 (content) sat sat 0.752s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409938/gensys_brn893.smt2 (content) sat sat 0.435s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409938/gensys_brn893.smt2 (content) sat sat 0.085s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409937/gensys_brn892.smt2 (content) sat sat 0.272s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409937/gensys_brn892.smt2 (content) sat sat 0.350s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409937/gensys_brn892.smt2 (content) sat sat 0.057s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409936/gensys_brn891.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409936/gensys_brn891.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409936/gensys_brn891.smt2 (content) unsat unsat 0.962s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409935/gensys_brn890.smt2 (content) sat sat 1.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409935/gensys_brn890.smt2 (content) sat sat 0.260s