detailed results (29828 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn944.smt2 (content) sat unknown 0.131s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn944.smt2 (content) sat unknown 0.128s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn944.smt2 (content) sat unknown 0.025s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn943.smt2 (content) sat unknown 0.283s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn943.smt2 (content) sat unknown 0.077s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn943.smt2 (content) sat unknown 0.074s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn943.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn942.smt2 (content) sat unknown 0.207s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn942.smt2 (content) sat unknown 0.198s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn942.smt2 (content) sat unknown 0.201s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn942.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn941.smt2 (content) sat unknown 0.531s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn941.smt2 (content) sat unknown 0.238s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn941.smt2 (content) sat unknown 0.243s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn941.smt2 (content) sat unknown 0.039s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn940.smt2 (content) sat unknown 0.309s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn940.smt2 (content) sat unknown 0.148s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn940.smt2 (content) sat unknown 0.146s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn940.smt2 (content) sat unknown 0.021s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn939.smt2 (content) sat unknown 0.140s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn939.smt2 (content) sat unknown 0.104s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn939.smt2 (content) sat unknown 0.105s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn939.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn938.smt2 (content) sat unknown 0.222s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn938.smt2 (content) sat unknown 0.105s