detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn557.smt2 (content) unsat unknown 0.368s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn556.smt2 (content) sat unknown 1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn556.smt2 (content) sat unknown 0.331s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn556.smt2 (content) sat unknown 0.300s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn556.smt2 (content) sat unknown 0.028s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn555.smt2 (content) sat unknown 0.653s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn555.smt2 (content) sat unknown 0.416s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn555.smt2 (content) sat unknown 0.438s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn555.smt2 (content) sat unknown 0.025s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn554.smt2 (content) sat unknown 0.772s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn554.smt2 (content) sat unknown 0.530s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn554.smt2 (content) sat unknown 0.512s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn554.smt2 (content) sat unknown 0.029s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn553.smt2 (content) sat unknown 0.584s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn553.smt2 (content) sat unknown 0.460s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn553.smt2 (content) sat unknown 0.461s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn553.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn552.smt2 (content) sat unknown 0.645s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn552.smt2 (content) sat unknown 0.351s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn552.smt2 (content) sat unknown 0.356s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn552.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn551.smt2 (content) sat unknown 0.283s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn551.smt2 (content) sat unknown 0.276s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn551.smt2 (content) sat unknown 0.284s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn551.smt2 (content) sat unknown 0.020s