detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1014.smt2 (content) sat unknown 0.227s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1014.smt2 (content) sat unknown 0.029s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1013.smt2 (content) sat unknown 0.299s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1013.smt2 (content) sat unknown 0.085s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1013.smt2 (content) sat unknown 0.083s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1013.smt2 (content) sat unknown 0.031s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1012.smt2 (content) sat unknown 0.240s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1012.smt2 (content) sat unknown 0.120s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1012.smt2 (content) sat unknown 0.123s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1012.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1011.smt2 (content) sat unknown 0.136s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1011.smt2 (content) sat unknown 0.072s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1011.smt2 (content) sat unknown 0.072s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1011.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1010.smt2 (content) sat unknown 0.417s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1010.smt2 (content) sat unknown 0.073s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1010.smt2 (content) sat unknown 0.071s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1010.smt2 (content) sat unknown 0.026s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn101.smt2 (content) sat unknown 0.210s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn101.smt2 (content) sat unknown 0.104s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn101.smt2 (content) sat unknown 0.103s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn101.smt2 (content) sat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1009.smt2 (content) sat unknown 0.449s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1009.smt2 (content) sat unknown 0.119s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1009.smt2 (content) sat unknown 0.119s