detailed results (29828 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn719.smt2 (content) sat unknown 0.133s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn719.smt2 (content) sat unknown 0.117s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn719.smt2 (content) sat unknown 0.038s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn718.smt2 (content) sat unknown 0.244s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn718.smt2 (content) sat unknown 0.113s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn718.smt2 (content) sat unknown 0.114s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn718.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn717.smt2 (content) sat unknown 0.168s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn717.smt2 (content) sat unknown 0.152s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn717.smt2 (content) sat unknown 0.153s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn717.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn716.smt2 (content) sat unknown 0.147s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn716.smt2 (content) sat unknown 0.136s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn716.smt2 (content) sat unknown 0.136s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn716.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn715.smt2 (content) sat unknown 0.098s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn715.smt2 (content) sat unknown 0.078s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn715.smt2 (content) sat unknown 0.078s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn715.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn714.smt2 (content) sat unknown 0.040s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn714.smt2 (content) sat unknown 0.085s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn714.smt2 (content) sat unknown 0.085s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn714.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn713.smt2 (content) sat unknown 0.065s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn713.smt2 (content) sat unknown 0.047s