detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn863.smt2 (content) unsat unknown 5.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn863.smt2 (content) unsat unknown 0.351s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn862.smt2 (content) sat unknown 0.288s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn862.smt2 (content) sat unknown 0.244s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn862.smt2 (content) sat unknown 0.243s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn862.smt2 (content) sat unknown 0.027s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn861.smt2 (content) sat unknown 0.324s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn861.smt2 (content) sat unknown 0.216s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn861.smt2 (content) sat unknown 0.203s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn861.smt2 (content) sat unknown 0.021s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn860.smt2 (content) sat unknown 0.216s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn860.smt2 (content) sat unknown 0.153s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn860.smt2 (content) sat unknown 0.154s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn860.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn859.smt2 (content) sat unknown 0.497s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn859.smt2 (content) sat unknown 0.568s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn859.smt2 (content) sat unknown 0.594s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn859.smt2 (content) sat unknown 0.025s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn858.smt2 (content) sat unknown 0.635s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn858.smt2 (content) sat unknown 0.166s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn858.smt2 (content) sat unknown 0.168s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn858.smt2 (content) sat unknown 0.033s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn857.smt2 (content) sat unknown 0.520s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn857.smt2 (content) sat unknown 0.268s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn857.smt2 (content) sat unknown 0.256s