detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn388.smt2 (content) sat unknown 0.179s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn388.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn387.smt2 (content) sat unknown 0.222s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn387.smt2 (content) sat unknown 0.340s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn387.smt2 (content) sat unknown 0.320s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn387.smt2 (content) sat unknown 0.023s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn386.smt2 (content) sat unknown 0.212s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn386.smt2 (content) sat unknown 0.158s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn386.smt2 (content) sat unknown 0.155s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn386.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn385.smt2 (content) sat unknown 0.219s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn385.smt2 (content) sat unknown 0.103s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn385.smt2 (content) sat unknown 0.103s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn385.smt2 (content) sat unknown 0.023s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn384.smt2 (content) sat unknown 0.250s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn384.smt2 (content) sat unknown 0.141s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn384.smt2 (content) sat unknown 0.137s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn384.smt2 (content) sat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn383.smt2 (content) sat unknown 0.174s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn383.smt2 (content) sat unknown 0.115s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn383.smt2 (content) sat unknown 0.114s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn383.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn382.smt2 (content) sat unknown 0.140s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn382.smt2 (content) sat unknown 0.096s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn382.smt2 (content) sat unknown 0.096s