detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn163.smt2 (content) unsat unknown 0.284s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn163.smt2 (content) unsat unknown 0.621s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn162.smt2 (content) sat unknown 0.383s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn162.smt2 (content) sat unknown 0.417s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn162.smt2 (content) sat unknown 0.431s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn162.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn161.smt2 (content) sat unknown 0.156s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn161.smt2 (content) sat unknown 0.139s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn161.smt2 (content) sat unknown 0.141s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn161.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn160.smt2 (content) sat unknown 0.128s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn160.smt2 (content) sat unknown 0.184s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn160.smt2 (content) sat unknown 0.184s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn160.smt2 (content) sat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn159.smt2 (content) unsat unknown 8.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn159.smt2 (content) unsat unknown 3.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn159.smt2 (content) unsat unknown 3.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn159.smt2 (content) unsat unknown 0.452s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn158.smt2 (content) sat unknown 0.192s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn158.smt2 (content) sat unknown 0.102s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn158.smt2 (content) sat unknown 0.102s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn158.smt2 (content) sat unknown 0.036s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn157.smt2 (content) sat unknown 0.130s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn157.smt2 (content) sat unknown 0.116s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn157.smt2 (content) sat unknown 0.113s