detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn538.smt2 (content) sat unknown 0.168s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn538.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn537.smt2 (content) unsat unknown 1.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn537.smt2 (content) unsat unknown 1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn537.smt2 (content) unsat unknown 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn537.smt2 (content) unsat unknown 0.092s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn536.smt2 (content) unsat unknown 7.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn536.smt2 (content) unsat unknown 4.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn536.smt2 (content) unsat unknown 4.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn536.smt2 (content) unsat unknown 0.242s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn535.smt2 (content) sat unknown 0.199s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn535.smt2 (content) sat unknown 0.180s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn535.smt2 (content) sat unknown 0.181s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn535.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn534.smt2 (content) sat unknown 0.172s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn534.smt2 (content) sat unknown 0.093s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn534.smt2 (content) sat unknown 0.093s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn534.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn533.smt2 (content) unsat unknown 3.6s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn533.smt2 (content) unsat unknown 2.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn533.smt2 (content) unsat unknown 2.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn533.smt2 (content) unsat unknown 0.197s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn532.smt2 (content) sat unknown 0.495s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn532.smt2 (content) sat unknown 0.151s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn532.smt2 (content) sat unknown 0.150s