detailed results (29828 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn444.smt2 (content) unsat unknown 3.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn444.smt2 (content) unsat unknown 3.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn444.smt2 (content) unsat unknown 0.150s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn443.smt2 (content) sat unknown 0.099s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn443.smt2 (content) sat unknown 0.118s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn443.smt2 (content) sat unknown 0.109s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn443.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn442.smt2 (content) unsat unknown 5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn442.smt2 (content) unsat unknown 2.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn442.smt2 (content) unsat unknown 2.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn442.smt2 (content) unsat unknown 0.285s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn441.smt2 (content) sat unknown 0.097s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn441.smt2 (content) sat unknown 0.150s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn441.smt2 (content) sat unknown 0.152s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn441.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn440.smt2 (content) sat unknown 0.236s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn440.smt2 (content) sat unknown 0.173s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn440.smt2 (content) sat unknown 0.169s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn440.smt2 (content) sat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn439.smt2 (content) sat unknown 0.118s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn439.smt2 (content) sat unknown 0.100s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn439.smt2 (content) sat unknown 0.100s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn439.smt2 (content) sat unknown 0.027s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn438.smt2 (content) sat unknown 0.096s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn438.smt2 (content) sat unknown 0.133s