detailed results (4327 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl289.smt2 (content) unsat unsat 0.111s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl288.smt2 (content) unsat unsat 0.299s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl287.smt2 (content) unsat unsat 0.086s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl286.smt2 (content) unsat unsat 0.063s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl285.smt2 (content) unsat unsat 0.182s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl284.smt2 (content) unsat unsat 0.114s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl283.smt2 (content) unsat unsat 0.055s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl282.smt2 (content) unsat unsat 0.045s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl281.smt2 (content) unsat unsat 0.367s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl280.smt2 (content) unsat unsat 0.332s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl279.smt2 (content) unsat unsat 0.090s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl278.smt2 (content) unsat unsat 0.049s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl277.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl276.smt2 (content) unsat unsat 0.102s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl275.smt2 (content) unsat unsat 0.318s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl274.smt2 (content) unsat unsat 0.148s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl273.smt2 (content) unsat unsat 0.124s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl272.smt2 (content) unsat unsat 0.353s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl271.smt2 (content) unsat unsat 0.394s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl270.smt2 (content) unsat unsat 0.265s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl269.smt2 (content) unsat unsat 0.063s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl268.smt2 (content) unsat unsat 0.161s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl267.smt2 (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl266.smt2 (content) unsat unsat 0.467s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl265.smt2 (content) unsat unsat 0.368s