detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409710/gensys_brn665.smt2 (content) sat sat 0.041s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409709/gensys_brn664.smt2 (content) sat sat 1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409709/gensys_brn664.smt2 (content) sat sat 0.246s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409709/gensys_brn664.smt2 (content) sat sat 0.041s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409708/gensys_brn663.smt2 (content) sat sat 0.553s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409708/gensys_brn663.smt2 (content) sat sat 0.410s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409708/gensys_brn663.smt2 (content) sat sat 0.076s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409707/gensys_brn662.smt2 (content) sat sat 0.678s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409707/gensys_brn662.smt2 (content) sat sat 0.275s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409707/gensys_brn662.smt2 (content) sat sat 0.059s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409706/gensys_brn661.smt2 (content) sat sat 1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409706/gensys_brn661.smt2 (content) sat sat 0.335s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409706/gensys_brn661.smt2 (content) sat sat 0.063s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409705/gensys_brn660.smt2 (content) sat sat 1.3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409705/gensys_brn660.smt2 (content) sat sat 0.567s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409705/gensys_brn660.smt2 (content) sat sat 0.086s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409704/gensys_brn659.smt2 (content) sat sat 1.1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409704/gensys_brn659.smt2 (content) sat sat 0.775s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409704/gensys_brn659.smt2 (content) sat sat 0.062s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409703/gensys_brn658.smt2 (content) sat sat 0.523s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409703/gensys_brn658.smt2 (content) sat sat 0.426s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409703/gensys_brn658.smt2 (content) sat sat 0.062s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409702/gensys_brn657.smt2 (content) sat sat 0.871s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409702/gensys_brn657.smt2 (content) sat sat 0.276s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409702/gensys_brn657.smt2 (content) sat sat 0.041s