detailed results (29828 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn669.smt2 (content) sat unknown 0.159s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn669.smt2 (content) sat unknown 0.163s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn669.smt2 (content) sat unknown 0.025s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn668.smt2 (content) sat unknown 0.376s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn668.smt2 (content) sat unknown 0.219s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn668.smt2 (content) sat unknown 0.217s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn668.smt2 (content) sat unknown 0.025s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn667.smt2 (content) sat unknown 0.856s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn667.smt2 (content) sat unknown 0.355s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn667.smt2 (content) sat unknown 0.349s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn667.smt2 (content) sat unknown 0.037s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn666.smt2 (content) sat unknown 0.882s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn666.smt2 (content) sat unknown 0.311s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn666.smt2 (content) sat unknown 0.292s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn666.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn665.smt2 (content) sat unknown 0.944s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn665.smt2 (content) sat unknown 0.572s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn665.smt2 (content) sat unknown 0.552s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn665.smt2 (content) sat unknown 0.021s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn664.smt2 (content) sat unknown 0.760s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn664.smt2 (content) sat unknown 0.202s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn664.smt2 (content) sat unknown 0.201s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn664.smt2 (content) sat unknown 0.022s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn663.smt2 (content) sat unknown 0.440s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn663.smt2 (content) sat unknown 0.341s