detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408843/gensys_brn1023.smt2 (content) sat sat 0.319s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408843/gensys_brn1023.smt2 (content) sat sat 0.033s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408842/gensys_brn1022.smt2 (content) sat sat 0.307s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408842/gensys_brn1022.smt2 (content) sat sat 0.214s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408842/gensys_brn1022.smt2 (content) sat sat 0.030s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408841/gensys_brn1021.smt2 (content) sat sat 0.279s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408841/gensys_brn1021.smt2 (content) sat sat 0.117s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408841/gensys_brn1021.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408840/gensys_brn1020.smt2 (content) sat sat 0.170s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408840/gensys_brn1020.smt2 (content) sat sat 0.089s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408840/gensys_brn1020.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408839/gensys_brn102.smt2 (content) sat sat 0.231s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408839/gensys_brn102.smt2 (content) sat sat 0.118s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408839/gensys_brn102.smt2 (content) sat sat 0.046s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408838/gensys_brn1019.smt2 (content) sat sat 0.153s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408838/gensys_brn1019.smt2 (content) sat sat 0.165s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408838/gensys_brn1019.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408837/gensys_brn1018.smt2 (content) sat sat 0.157s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408837/gensys_brn1018.smt2 (content) sat sat 0.114s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408837/gensys_brn1018.smt2 (content) sat sat 0.039s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408836/gensys_brn1017.smt2 (content) sat sat 0.079s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408836/gensys_brn1017.smt2 (content) sat sat 0.052s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408836/gensys_brn1017.smt2 (content) sat sat 0.028s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408835/gensys_brn1016.smt2 (content) sat sat 0.413s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408835/gensys_brn1016.smt2 (content) sat sat 0.395s