detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413960/gensys_brn_sk002.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413959/gensys_brn_sk001.smt2 (content) sat sat 0.110s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413959/gensys_brn_sk001.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413958/gensys_brn017.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413958/gensys_brn017.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413957/gensys_brn016.smt2 (content) sat sat 1.9s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413957/gensys_brn016.smt2 (content) sat sat 0.112s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413956/gensys_brn015.smt2 (content) sat sat 1.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413956/gensys_brn015.smt2 (content) sat sat 0.156s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413955/gensys_brn014.smt2 (content) sat sat 1.7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413955/gensys_brn014.smt2 (content) sat sat 0.373s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413954/gensys_brn013.smt2 (content) sat sat 2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413954/gensys_brn013.smt2 (content) sat sat 0.447s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413953/gensys_brn012.smt2 (content) sat sat 0.616s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413953/gensys_brn012.smt2 (content) sat sat 0.233s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413952/gensys_brn011.smt2 (content) sat sat 0.641s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413952/gensys_brn011.smt2 (content) sat sat 0.752s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413951/gensys_brn010.smt2 (content) sat sat 0.837s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413951/gensys_brn010.smt2 (content) sat sat 0.366s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413950/gensys_brn009.smt2 (content) sat sat 0.597s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413950/gensys_brn009.smt2 (content) sat sat 0.104s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413949/gensys_brn008.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413949/gensys_brn008.smt2 (content) unsat unsat 2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413948/gensys_brn007.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413948/gensys_brn007.smt2 (content) unsat unsat 1s