detailed results (29828 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn078.smt2 (content) sat unknown 0.244s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn078.smt2 (content) sat unknown 0.073s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn078.smt2 (content) sat unknown 0.072s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn078.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn077.smt2 (content) sat unknown 0.291s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn077.smt2 (content) sat unknown 0.186s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn077.smt2 (content) sat unknown 0.184s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn077.smt2 (content) sat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn076.smt2 (content) sat unknown 0.130s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn076.smt2 (content) sat unknown 0.115s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn076.smt2 (content) sat unknown 0.115s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn076.smt2 (content) sat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn075.smt2 (content) sat unknown 0.052s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn075.smt2 (content) sat unknown 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn075.smt2 (content) sat unknown 0.043s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn075.smt2 (content) sat unknown 0.014s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn074.smt2 (content) sat unknown 0.162s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn074.smt2 (content) sat unknown 0.116s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn074.smt2 (content) sat unknown 0.117s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn074.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn073.smt2 (content) sat unknown 0.048s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn073.smt2 (content) sat unknown 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn073.smt2 (content) sat unknown 0.047s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn073.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn072.smt2 (content) sat unknown 0.042s