detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411021/gensys_icl693.smt2 (content) unsat unsat 1.0s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411021/gensys_icl693.smt2 (content) unsat unsat 0.122s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411020/gensys_icl692.smt2 (content) unsat unsat 0.908s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411020/gensys_icl692.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411019/gensys_icl691.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411019/gensys_icl691.smt2 (content) unsat unsat 0.506s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411018/gensys_icl690.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411018/gensys_icl690.smt2 (content) unsat unsat 0.957s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411017/gensys_icl689.smt2 (content) unsat unsat 2.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411017/gensys_icl689.smt2 (content) unsat unsat 0.190s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411016/gensys_icl688.smt2 (content) unsat unsat 3.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411016/gensys_icl688.smt2 (content) unsat unsat 0.218s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411015/gensys_icl687.smt2 (content) unsat unsat 1.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411015/gensys_icl687.smt2 (content) unsat unsat 0.205s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411014/gensys_icl686.smt2 (content) unsat unsat 1.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411014/gensys_icl686.smt2 (content) unsat unsat 0.208s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411013/gensys_icl685.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411013/gensys_icl685.smt2 (content) unsat unsat 0.680s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411012/gensys_icl684.smt2 (content) unsat unsat 9.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411012/gensys_icl684.smt2 (content) unsat unsat 0.689s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411011/gensys_icl683.smt2 (content) unsat unsat 3.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411011/gensys_icl683.smt2 (content) unsat unsat 0.514s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411010/gensys_icl682.smt2 (content) unsat unsat 5.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411010/gensys_icl682.smt2 (content) unsat unsat 0.309s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411009/gensys_icl681.smt2 (content) timeout unsat 11s