detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411110/gensys_icl782.smt2 (content) unsat unsat 0.174s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411109/gensys_icl781.smt2 (content) unsat unsat 2.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411109/gensys_icl781.smt2 (content) unsat unsat 0.173s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411108/gensys_icl780.smt2 (content) unsat unsat 5.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411108/gensys_icl780.smt2 (content) unsat unsat 0.834s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411107/gensys_icl779.smt2 (content) unsat unsat 0.269s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411107/gensys_icl779.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411106/gensys_icl778.smt2 (content) unsat unsat 0.551s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411106/gensys_icl778.smt2 (content) unsat unsat 0.066s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411105/gensys_icl777.smt2 (content) unsat unsat 0.709s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411105/gensys_icl777.smt2 (content) unsat unsat 0.090s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411104/gensys_icl776.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411104/gensys_icl776.smt2 (content) unsat unsat 0.739s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411103/gensys_icl775.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411103/gensys_icl775.smt2 (content) unsat unsat 0.849s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411102/gensys_icl774.smt2 (content) unsat unsat 0.253s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411102/gensys_icl774.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411101/gensys_icl773.smt2 (content) unsat unsat 0.806s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411101/gensys_icl773.smt2 (content) unsat unsat 0.068s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411100/gensys_icl772.smt2 (content) unsat unsat 0.488s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411100/gensys_icl772.smt2 (content) unsat unsat 0.125s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411099/gensys_icl771.smt2 (content) unsat unsat 0.581s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411099/gensys_icl771.smt2 (content) unsat unsat 0.200s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411098/gensys_icl770.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411098/gensys_icl770.smt2 (content) unsat unsat 0.980s