detailed results (4327 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1270.smt2 (content) unsat unsat 0.075s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl127.smt2 (content) unsat unsat 0.584s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1269.smt2 (content) unsat unsat 0.069s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1268.smt2 (content) unsat unsat 0.170s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1267.smt2 (content) unsat unsat 0.045s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1266.smt2 (content) unsat unsat 0.129s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1265.smt2 (content) unsat unsat 0.088s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1264.smt2 (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1263.smt2 (content) unsat unsat 0.108s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1262.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1261.smt2 (content) unsat unsat 0.123s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1260.smt2 (content) unsat unsat 0.149s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl126.smt2 (content) unsat unsat 0.363s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1259.smt2 (content) unsat unsat 0.076s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1258.smt2 (content) unsat unsat 0.061s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1257.smt2 (content) unsat unsat 0.394s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1256.smt2 (content) unsat unsat 0.931s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1255.smt2 (content) unsat unsat 0.242s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1254.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1253.smt2 (content) unsat unsat 0.495s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1252.smt2 (content) unsat unsat 0.799s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1251.smt2 (content) unsat unsat 0.746s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1250.smt2 (content) unsat unsat 0.410s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl125.smt2 (content) unsat unsat 0.978s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1249.smt2 (content) unsat unsat 0.360s