detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408801/gensys_brn084.smt2 (content) sat sat 0.502s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408801/gensys_brn084.smt2 (content) sat sat 0.130s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408801/gensys_brn084.smt2 (content) sat sat 0.058s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408800/gensys_brn083.smt2 (content) sat sat 0.729s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408800/gensys_brn083.smt2 (content) sat sat 0.181s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408800/gensys_brn083.smt2 (content) sat sat 0.053s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408799/gensys_brn082.smt2 (content) sat sat 0.464s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408799/gensys_brn082.smt2 (content) sat sat 0.120s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408799/gensys_brn082.smt2 (content) sat sat 0.033s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408798/gensys_brn081.smt2 (content) sat sat 0.597s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408798/gensys_brn081.smt2 (content) sat sat 0.251s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408798/gensys_brn081.smt2 (content) sat sat 0.038s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408797/gensys_brn080.smt2 (content) sat sat 0.396s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408797/gensys_brn080.smt2 (content) sat sat 0.173s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408797/gensys_brn080.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408796/gensys_brn079.smt2 (content) sat sat 0.367s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408796/gensys_brn079.smt2 (content) sat sat 0.135s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408796/gensys_brn079.smt2 (content) sat sat 0.030s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408795/gensys_brn078.smt2 (content) sat sat 0.352s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408795/gensys_brn078.smt2 (content) sat sat 0.107s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408795/gensys_brn078.smt2 (content) sat sat 0.033s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408794/gensys_brn077.smt2 (content) sat sat 0.380s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408794/gensys_brn077.smt2 (content) sat sat 0.234s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408794/gensys_brn077.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408793/gensys_brn076.smt2 (content) sat sat 0.191s