detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn957.smt2 (content) unsat unknown 0.088s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn956.smt2 (content) unsat unknown 1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn956.smt2 (content) unsat unknown 0.978s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn956.smt2 (content) unsat unknown 0.999s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn956.smt2 (content) unsat unknown 0.071s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn955.smt2 (content) sat unknown 0.159s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn955.smt2 (content) sat unknown 0.131s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn955.smt2 (content) sat unknown 0.132s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn955.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn954.smt2 (content) unsat unknown 7.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn954.smt2 (content) unsat unknown 3.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn954.smt2 (content) unsat unknown 3.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn954.smt2 (content) unsat unknown 0.293s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn953.smt2 (content) sat unknown 0.216s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn953.smt2 (content) sat unknown 0.249s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn953.smt2 (content) sat unknown 0.261s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn953.smt2 (content) sat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn952.smt2 (content) sat unknown 0.185s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn952.smt2 (content) sat unknown 0.080s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn952.smt2 (content) sat unknown 0.081s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn952.smt2 (content) sat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn951.smt2 (content) sat unknown 0.280s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn951.smt2 (content) sat unknown 0.249s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn951.smt2 (content) sat unknown 0.253s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn951.smt2 (content) sat unknown 0.018s