detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411022/gensys_icl694.smt2 (content) unsat unsat 10.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411022/gensys_icl694.smt2 (content) unsat unsat 0.793s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411021/gensys_icl693.smt2 (content) unsat unsat 1.7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411021/gensys_icl693.smt2 (content) unsat unsat 0.145s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411020/gensys_icl692.smt2 (content) unsat unsat 0.571s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411020/gensys_icl692.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411019/gensys_icl691.smt2 (content) unsat unsat 10.8s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411019/gensys_icl691.smt2 (content) unsat unsat 0.559s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411018/gensys_icl690.smt2 (content) unknown unsat 10.1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411018/gensys_icl690.smt2 (content) unsat unsat 0.869s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411017/gensys_icl689.smt2 (content) unsat unsat 2.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411017/gensys_icl689.smt2 (content) unsat unsat 0.176s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411016/gensys_icl688.smt2 (content) unsat unsat 2.9s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411016/gensys_icl688.smt2 (content) unsat unsat 0.207s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411015/gensys_icl687.smt2 (content) unsat unsat 1.5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411015/gensys_icl687.smt2 (content) unsat unsat 0.284s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411014/gensys_icl686.smt2 (content) unsat unsat 1.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411014/gensys_icl686.smt2 (content) unsat unsat 0.197s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411013/gensys_icl685.smt2 (content) unknown unsat 10.9s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411013/gensys_icl685.smt2 (content) unsat unsat 0.673s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411012/gensys_icl684.smt2 (content) unsat unsat 8.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411012/gensys_icl684.smt2 (content) unsat unsat 0.777s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411011/gensys_icl683.smt2 (content) unsat unsat 2.9s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411011/gensys_icl683.smt2 (content) unsat unsat 0.597s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411010/gensys_icl682.smt2 (content) unsat unsat 4.8s