detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1009.smt2 (content) sat unknown 0.030s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1008.smt2 (content) sat unknown 0.181s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1008.smt2 (content) sat unknown 0.161s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1008.smt2 (content) sat unknown 0.143s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1008.smt2 (content) sat unknown 0.021s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1007.smt2 (content) sat unknown 0.124s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1007.smt2 (content) sat unknown 0.095s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1007.smt2 (content) sat unknown 0.097s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1007.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1006.smt2 (content) sat unknown 0.220s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1006.smt2 (content) sat unknown 0.153s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1006.smt2 (content) sat unknown 0.139s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1006.smt2 (content) sat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1005.smt2 (content) sat unknown 0.180s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1005.smt2 (content) sat unknown 0.103s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1005.smt2 (content) sat unknown 0.102s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1005.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1004.smt2 (content) sat unknown 0.233s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1004.smt2 (content) sat unknown 0.148s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1004.smt2 (content) sat unknown 0.152s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1004.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1003.smt2 (content) sat unknown 0.116s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1003.smt2 (content) sat unknown 0.086s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1003.smt2 (content) sat unknown 0.086s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1003.smt2 (content) sat unknown 0.016s