detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl780.smt2 (content) unsat unknown 5.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl780.smt2 (content) unsat unknown 0.615s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl779.smt2 (content) unsat unknown 0.951s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl779.smt2 (content) unsat unknown 0.214s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl779.smt2 (content) unsat unknown 0.215s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl779.smt2 (content) unsat unknown 0.032s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl778.smt2 (content) unsat unknown 2.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl778.smt2 (content) unsat unknown 0.492s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl778.smt2 (content) unsat unknown 0.484s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl778.smt2 (content) unsat unknown 0.043s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl777.smt2 (content) unsat unknown 1.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl777.smt2 (content) unsat unknown 0.656s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl777.smt2 (content) unsat unknown 0.654s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl777.smt2 (content) unsat unknown 0.059s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl776.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl776.smt2 (content) timeout unknown 11.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl776.smt2 (content) timeout unknown 11s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl776.smt2 (content) unsat unknown 0.522s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl775.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl775.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl775.smt2 (content) timeout unknown 11s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl775.smt2 (content) unsat unknown 0.650s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl774.smt2 (content) unsat unknown 0.348s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl774.smt2 (content) unsat unknown 0.196s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl774.smt2 (content) unsat unknown 0.209s