detailed results (29828 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl486.smt2 (content) unsat unknown 2.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl486.smt2 (content) unsat unknown 2.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl486.smt2 (content) unsat unknown 0.041s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl485.smt2 (content) unsat unknown 2.7s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl485.smt2 (content) unsat unknown 2.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl485.smt2 (content) unsat unknown 2.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl485.smt2 (content) unsat unknown 0.219s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl484.smt2 (content) unsat unknown 2.9s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl484.smt2 (content) unsat unknown 2.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl484.smt2 (content) unsat unknown 2.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl484.smt2 (content) unsat unknown 0.216s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl483.smt2 (content) unsat unknown 2.6s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl483.smt2 (content) unsat unknown 2.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl483.smt2 (content) unsat unknown 2.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl483.smt2 (content) unsat unknown 0.154s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl482.smt2 (content) unsat unknown 0.824s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl482.smt2 (content) unsat unknown 0.892s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl482.smt2 (content) unsat unknown 0.904s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl482.smt2 (content) unsat unknown 0.102s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl481.smt2 (content) unsat unknown 1.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl481.smt2 (content) unsat unknown 1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl481.smt2 (content) unsat unknown 0.990s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl481.smt2 (content) unsat unknown 0.125s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl480.smt2 (content) unsat unknown 1.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl480.smt2 (content) unsat unknown 0.980s