detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410310/gensys_icl1150.smt2 (content) unsat unsat 0.084s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410309/gensys_icl115.smt2 (content) unsat unsat 5.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410309/gensys_icl115.smt2 (content) unsat unsat 0.555s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410308/gensys_icl1149.smt2 (content) unsat unsat 1.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410308/gensys_icl1149.smt2 (content) unsat unsat 0.069s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410307/gensys_icl1148.smt2 (content) unsat unsat 1.5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410307/gensys_icl1148.smt2 (content) unsat unsat 0.067s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410306/gensys_icl1147.smt2 (content) unsat unsat 0.566s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410306/gensys_icl1147.smt2 (content) unsat unsat 0.073s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410305/gensys_icl1146.smt2 (content) unsat unsat 1.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410305/gensys_icl1146.smt2 (content) unsat unsat 0.262s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410304/gensys_icl1145.smt2 (content) unsat unsat 2.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410304/gensys_icl1145.smt2 (content) unsat unsat 0.262s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410303/gensys_icl1144.smt2 (content) unsat unsat 0.446s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410303/gensys_icl1144.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410302/gensys_icl1143.smt2 (content) unsat unsat 2.9s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410302/gensys_icl1143.smt2 (content) unsat unsat 0.095s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410301/gensys_icl1142.smt2 (content) unsat unsat 1.0s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410301/gensys_icl1142.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410300/gensys_icl1141.smt2 (content) unsat unsat 0.789s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410300/gensys_icl1141.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410299/gensys_icl1140.smt2 (content) unsat unsat 0.462s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410299/gensys_icl1140.smt2 (content) unsat unsat 0.062s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410298/gensys_icl114.smt2 (content) unsat unsat 7.5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410298/gensys_icl114.smt2 (content) unsat unsat 0.600s