detailed results (4328 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl738.smt2 (content) unsat unsat 0.155s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl737.smt2 (content) unsat unsat 0.701s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl736.smt2 (content) unsat unsat 0.684s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl735.smt2 (content) unsat unsat 0.235s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl734.smt2 (content) unsat unsat 0.247s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl733.smt2 (content) unsat unsat 0.221s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl732.smt2 (content) unsat unsat 0.101s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl731.smt2 (content) unsat unsat 0.643s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl730.smt2 (content) unsat unsat 0.266s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl729.smt2 (content) unsat unsat 0.091s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl728.smt2 (content) unsat unsat 0.383s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl727.smt2 (content) unsat unsat 0.300s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl726.smt2 (content) unsat unsat 0.751s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl725.smt2 (content) unsat unsat 0.924s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl724.smt2 (content) unsat unsat 1.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl723.smt2 (content) unsat unsat 0.522s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl722.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl721.smt2 (content) unsat unsat 0.639s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl720.smt2 (content) unsat unsat 0.093s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl719.smt2 (content) unsat unsat 0.126s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl718.smt2 (content) unsat unsat 0.875s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl717.smt2 (content) unsat unsat 0.398s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl716.smt2 (content) unsat unsat 0.508s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl715.smt2 (content) unsat unsat 0.380s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl714.smt2 (content) unsat unsat 0.171s