detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408835/gensys_brn1016.smt2 (content) sat sat 0.104s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408834/gensys_brn1015.smt2 (content) sat sat 0.348s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408834/gensys_brn1015.smt2 (content) sat sat 0.459s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408834/gensys_brn1015.smt2 (content) sat sat 0.041s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408833/gensys_brn1014.smt2 (content) sat sat 0.515s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408833/gensys_brn1014.smt2 (content) sat sat 0.294s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408833/gensys_brn1014.smt2 (content) sat sat 0.056s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408832/gensys_brn1013.smt2 (content) sat sat 0.394s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408832/gensys_brn1013.smt2 (content) sat sat 0.106s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408832/gensys_brn1013.smt2 (content) sat sat 0.053s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408831/gensys_brn1012.smt2 (content) sat sat 0.333s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408831/gensys_brn1012.smt2 (content) sat sat 0.160s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408831/gensys_brn1012.smt2 (content) sat sat 0.035s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408830/gensys_brn1011.smt2 (content) sat sat 0.186s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408830/gensys_brn1011.smt2 (content) sat sat 0.110s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408830/gensys_brn1011.smt2 (content) sat sat 0.038s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408829/gensys_brn1010.smt2 (content) sat sat 0.526s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408829/gensys_brn1010.smt2 (content) sat sat 0.103s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408829/gensys_brn1010.smt2 (content) sat sat 0.046s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408828/gensys_brn101.smt2 (content) sat sat 0.274s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408828/gensys_brn101.smt2 (content) sat sat 0.135s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408828/gensys_brn101.smt2 (content) sat sat 0.033s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408827/gensys_brn1009.smt2 (content) sat sat 0.591s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408827/gensys_brn1009.smt2 (content) sat sat 0.176s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408827/gensys_brn1009.smt2 (content) sat sat 0.055s