detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409351/gensys_brn306.smt2 (content) sat sat 0.396s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409351/gensys_brn306.smt2 (content) sat sat 0.335s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409351/gensys_brn306.smt2 (content) sat sat 0.039s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409350/gensys_brn305.smt2 (content) sat sat 0.638s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409350/gensys_brn305.smt2 (content) sat sat 0.515s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409350/gensys_brn305.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409349/gensys_brn304.smt2 (content) sat sat 0.602s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409349/gensys_brn304.smt2 (content) sat sat 0.165s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409349/gensys_brn304.smt2 (content) sat sat 0.076s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409348/gensys_brn303.smt2 (content) sat sat 0.326s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409348/gensys_brn303.smt2 (content) sat sat 0.153s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409348/gensys_brn303.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409347/gensys_brn302.smt2 (content) sat sat 0.240s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409347/gensys_brn302.smt2 (content) sat sat 0.223s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409347/gensys_brn302.smt2 (content) sat sat 0.042s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409346/gensys_brn301.smt2 (content) sat sat 0.202s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409346/gensys_brn301.smt2 (content) sat sat 0.132s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409346/gensys_brn301.smt2 (content) sat sat 0.031s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409345/gensys_brn300.smt2 (content) sat sat 0.167s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409345/gensys_brn300.smt2 (content) sat sat 0.114s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409345/gensys_brn300.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409344/gensys_brn299.smt2 (content) sat sat 0.195s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409344/gensys_brn299.smt2 (content) sat sat 0.119s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409344/gensys_brn299.smt2 (content) sat sat 0.030s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409343/gensys_brn298.smt2 (content) sat sat 0.177s