detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411235/gensys_icl907.smt2 (content) unsat unsat 0.323s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411234/gensys_icl906.smt2 (content) unsat unsat 8.4s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411234/gensys_icl906.smt2 (content) unsat unsat 0.395s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411233/gensys_icl905.smt2 (content) unsat unsat 2.5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411233/gensys_icl905.smt2 (content) unsat unsat 0.193s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411232/gensys_icl904.smt2 (content) unsat unsat 8.9s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411232/gensys_icl904.smt2 (content) unsat unsat 0.772s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411231/gensys_icl903.smt2 (content) unsat unsat 9.7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411231/gensys_icl903.smt2 (content) unsat unsat 0.550s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411230/gensys_icl902.smt2 (content) unsat unsat 1.4s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411230/gensys_icl902.smt2 (content) unsat unsat 0.171s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411229/gensys_icl901.smt2 (content) unsat unsat 7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411229/gensys_icl901.smt2 (content) unsat unsat 0.669s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411228/gensys_icl900.smt2 (content) unsat unsat 0.830s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411228/gensys_icl900.smt2 (content) unsat unsat 0.064s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411227/gensys_icl899.smt2 (content) unsat unsat 0.418s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411227/gensys_icl899.smt2 (content) unsat unsat 0.064s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411226/gensys_icl898.smt2 (content) unsat unsat 1.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411226/gensys_icl898.smt2 (content) unsat unsat 0.086s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411225/gensys_icl897.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411225/gensys_icl897.smt2 (content) unsat unsat 0.147s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411224/gensys_icl896.smt2 (content) unsat unsat 5.4s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411224/gensys_icl896.smt2 (content) unsat unsat 0.222s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411223/gensys_icl895.smt2 (content) unsat unsat 5.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411223/gensys_icl895.smt2 (content) unsat unsat 0.365s