detailed results (4328 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl138.smt2 (content) unsat unsat 0.740s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl137.smt2 (content) unsat unsat 0.501s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl136.smt2 (content) unsat unsat 0.665s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl135.smt2 (content) unsat unsat 0.644s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl134.smt2 (content) unsat unsat 0.781s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl133.smt2 (content) unsat unsat 0.416s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl132.smt2 (content) unsat unsat 0.387s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl131.smt2 (content) unsat unsat 0.825s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl130.smt2 (content) unsat unsat 0.149s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl129.smt2 (content) unsat unsat 0.477s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1283.smt2 (content) unsat unsat 0.120s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1282.smt2 (content) unsat unsat 0.161s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1281.smt2 (content) unsat unsat 0.165s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1280.smt2 (content) unsat unsat 0.348s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl128.smt2 (content) unsat unsat 0.787s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1279.smt2 (content) unsat unsat 0.289s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1278.smt2 (content) unsat unsat 0.190s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1277.smt2 (content) unsat unsat 0.227s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1276.smt2 (content) unsat unsat 0.282s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1275.smt2 (content) unsat unsat 0.090s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1274.smt2 (content) unsat unsat 0.325s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1273.smt2 (content) unsat unsat 0.247s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1272.smt2 (content) unsat unsat 0.272s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1271.smt2 (content) unsat unsat 0.145s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1270.smt2 (content) unsat unsat 0.057s