detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl399.smt2 (content) unsat unknown 0.275s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl398.smt2 (content) unsat unknown 0.238s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl398.smt2 (content) unsat unknown 0.232s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl398.smt2 (content) unsat unknown 0.227s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl398.smt2 (content) unsat unknown 0.031s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl397.smt2 (content) unsat unknown 0.866s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl397.smt2 (content) unsat unknown 0.603s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl397.smt2 (content) unsat unknown 0.600s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl397.smt2 (content) unsat unknown 0.083s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl396.smt2 (content) unsat unknown 0.589s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl396.smt2 (content) unsat unknown 0.298s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl396.smt2 (content) unsat unknown 0.288s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl396.smt2 (content) unsat unknown 0.035s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl395.smt2 (content) unsat unknown 0.452s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl395.smt2 (content) unsat unknown 0.250s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl395.smt2 (content) unsat unknown 0.252s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl395.smt2 (content) unsat unknown 0.036s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl394.smt2 (content) unsat unknown 3.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl394.smt2 (content) unsat unknown 0.313s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl394.smt2 (content) unsat unknown 0.308s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl394.smt2 (content) unsat unknown 0.119s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl393.smt2 (content) unsat unknown 0.760s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl393.smt2 (content) unsat unknown 0.683s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl393.smt2 (content) unsat unknown 0.688s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl393.smt2 (content) unsat unknown 0.053s