detailed results (29828 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn750.smt2 (content) sat unknown 0.379s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn750.smt2 (content) sat unknown 0.090s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn750.smt2 (content) sat unknown 0.090s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn750.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn749.smt2 (content) sat unknown 0.345s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn749.smt2 (content) sat unknown 0.103s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn749.smt2 (content) sat unknown 0.102s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn749.smt2 (content) sat unknown 0.051s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn748.smt2 (content) sat unknown 0.343s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn748.smt2 (content) sat unknown 0.156s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn748.smt2 (content) sat unknown 0.158s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn748.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn747.smt2 (content) sat unknown 0.353s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn747.smt2 (content) sat unknown 0.100s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn747.smt2 (content) sat unknown 0.094s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn747.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn746.smt2 (content) sat unknown 0.190s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn746.smt2 (content) sat unknown 0.177s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn746.smt2 (content) sat unknown 0.174s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn746.smt2 (content) sat unknown 0.023s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn745.smt2 (content) sat unknown 0.227s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn745.smt2 (content) sat unknown 0.068s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn745.smt2 (content) sat unknown 0.068s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn745.smt2 (content) sat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn744.smt2 (content) sat unknown 0.267s