detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl724.smt2 (content) unsat unknown 0.575s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl723.smt2 (content) unsat unknown 1.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl723.smt2 (content) unsat unknown 0.282s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl723.smt2 (content) unsat unknown 0.283s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl723.smt2 (content) unsat unknown 0.134s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl722.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl722.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl722.smt2 (content) timeout unknown 11s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl722.smt2 (content) unsat unknown 0.768s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl721.smt2 (content) unsat unknown 4.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl721.smt2 (content) unsat unknown 1.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl721.smt2 (content) unsat unknown 1.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl721.smt2 (content) unsat unknown 0.432s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl720.smt2 (content) unsat unknown 0.459s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl720.smt2 (content) unsat unknown 0.887s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl720.smt2 (content) unsat unknown 0.787s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl720.smt2 (content) unsat unknown 0.040s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl719.smt2 (content) unsat unknown 1.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl719.smt2 (content) unsat unknown 0.928s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl719.smt2 (content) unsat unknown 0.890s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl719.smt2 (content) unsat unknown 0.067s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl718.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl718.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl718.smt2 (content) timeout unknown 11.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl718.smt2 (content) unsat unknown 0.532s