detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn657.smt2 (content) sat unknown 0.023s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn656.smt2 (content) sat unknown 0.391s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn656.smt2 (content) sat unknown 0.197s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn656.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn655.smt2 (content) sat unknown 0.260s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn655.smt2 (content) sat unknown 0.081s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn655.smt2 (content) sat unknown 0.029s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn654.smt2 (content) sat unknown 0.670s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn654.smt2 (content) sat unknown 0.250s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn654.smt2 (content) sat unknown 0.043s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn653.smt2 (content) sat unknown 0.310s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn653.smt2 (content) sat unknown 0.370s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn653.smt2 (content) sat unknown 0.044s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn652.smt2 (content) sat unknown 0.399s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn652.smt2 (content) sat unknown 0.321s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn652.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn651.smt2 (content) sat unknown 0.287s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn651.smt2 (content) sat unknown 0.092s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn651.smt2 (content) sat unknown 0.039s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn650.smt2 (content) sat unknown 0.334s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn650.smt2 (content) sat unknown 0.188s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn650.smt2 (content) sat unknown 0.029s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn649.smt2 (content) sat unknown 0.241s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn649.smt2 (content) sat unknown 0.111s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn649.smt2 (content) sat unknown 0.048s