detailed results (4327 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl939.smt2 (content) unsat unsat 0.766s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl938.smt2 (content) unsat unsat 0.849s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl937.smt2 (content) unsat unsat 0.426s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl936.smt2 (content) unsat unsat 0.621s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl935.smt2 (content) unsat unsat 0.326s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl934.smt2 (content) unsat unsat 0.248s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl933.smt2 (content) unsat unsat 0.147s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl932.smt2 (content) unsat unsat 0.283s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl931.smt2 (content) unsat unsat 0.143s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl930.smt2 (content) unsat unsat 0.089s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl929.smt2 (content) unsat unsat 0.244s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl928.smt2 (content) unsat unsat 0.154s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl927.smt2 (content) unsat unsat 0.296s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl926.smt2 (content) unsat unsat 0.435s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl925.smt2 (content) unsat unsat 0.178s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl924.smt2 (content) unsat unsat 0.758s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl923.smt2 (content) unsat unsat 0.328s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl922.smt2 (content) unsat unsat 0.567s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl921.smt2 (content) unsat unsat 0.559s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl920.smt2 (content) unsat unsat 0.602s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl919.smt2 (content) unsat unsat 0.293s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl918.smt2 (content) unsat unsat 0.449s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl917.smt2 (content) unsat unsat 0.136s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl916.smt2 (content) unsat unsat 0.196s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl915.smt2 (content) unsat unsat 0.101s