codespeed_versions

probcli_binary(1,11,1,final,
    '1.11.1/probcli',
    '1125ea39af78125a39093c65a0af783b7636b362',sicstus(4,7,0),date(2021,12,29)).

probcli_binary(1,11,0,final,
    '1.11.0/probcli',
    'b10b2a6824dd019515049062000c20e8a99d014a',sicstus(4,6,0),date(2021,10,6)).

probcli_binary(1,10,1,final,
    '1.10.1/probcli',
    'edd2255e0a19334a5129eb37fcc881f7a9188a77',sicstus(4,6,0),date(2021,1,20)).

probcli_binary(1,10,0,beta1,
    '1.10.0-beta1/probcli',
    'fc552f0da7d0d8824a8205aa22c9e68413a36589',sicstus(4,5,1),date(2020,5,5)).

probcli_binary(1,9,3,final,
    '1.9.3/probcli',
    '64afef0148d6ce70f2af5082e69269c950078133',sicstus(4,5,1),date(2020,2,19)).

probcli_binary(1,9,3,beta4,
    '1.9.3-beta4/probcli',
    'e093b186b4d4551fe067944bfd77a32c383b0984',sicstus(4,5,1),date(2020,2,4)).

probcli_binary(1,9,3,beta3,
    '1.9.3-beta3/probcli',
    '756d925c29cf66c25fdfa791ea753788ccd865bc',sicstus(4,5,1),date(2020,1,20)).

probcli_binary(1,9,3,beta2,
    '1.9.3-beta2/probcli',
    'de260d06b47bbab77955943953ba984a39fbe2f0',sicstus(4,5,1),date(2019,12,31)).

probcli_binary(1,9,3,beta1,
    '1.9.3-beta1/probcli',
    '558119bda325bc8a030ed3de27b43c3a0bb12114',sicstus(4,5,1),date(2019,11,25)).

probcli_binary(1,9,1,final,
    '1.9.1/probcli',
    '5c2698354f3d1df03c5d748a26a8ebcfd006a7ca',sicstus(4,5,1),date(2019,11,7)).

probcli_binary(1,9,1,beta2,
    '1.9.1-beta2/probcli',
    '90c0dd65117f696b8944dbd449fa70a39b36c29e',sicstus(4,5,1),date(2019,10,14)).

probcli_binary(1,9,1,beta1,
    '1.9.1-beta1/probcli',
    '63bba1da82f0868c05167825f5def1f35a5157ab',sicstus(4,5,1),date(2019,9,10)).

probcli_binary(1,9,0,final,
    '1.9.0/probcli',
    '336ea61830523927c2d8e0498983c4efcab30c1e',sicstus(4,5,1),date(2019,7,12)).

probcli_binary(1,8,2,final,
    '1.8.2/probcli',
    '3fad3ad6e77f8026309075820b4c367c1a17c4b4',sicstus(4,3,5),date(2018,10,1)).

probcli_binary(1,8,0,final,
    '1.8.0/probcli',
    '1fb6d56f7032654ab1be453a51089a78a3790367',sicstus(4,3,5),date(2018,3,20)).

probcli_binary(1,7,1,final,
    '1.7.1/probcli',
    '46cc7f349d5ad2516b0da69c1ceee0b99d2c7c36',sicstus(4,3,5),date(2017,10,5)).

probcli_binary(1,6,1,final,
    '1.6.1/probcli',
    'f4aedb9462b951bef24035146725eadd4b1a4548',sicstus(4,3,3),date(2016,10,20)).

probcli_binary(1,6,0,final, % SR1
    '1.6.0/probcli',
    '78a099fa2415fb11fae03a485cca3bca8b6d11bf',sicstus(4,3,2),date(2016,4,25)).

probcli_binary(1,5,0,final,
    '1.5.0/probcli',
    '3bc086f2be4b309869fcab31325ede65f8d27277',sicstus(4,3,0),date(2015,2,19)).

probcli_binary(1,3,6,final,
    '1.3.6/probcli',
    'svn-r13327',sicstus(4,2,3),date(2013,4,3)).

Determinacy Checker

Determinacy Checker:

* Non-determinate: codespeed_versions:probcli_binary/8 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: codespeed_versions:probcli_binary/8 (clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: codespeed_versions:probcli_binary/8 (clause 3)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: codespeed_versions:probcli_binary/8 (clause 4)
* Indexing cannot distinguish this from clause 5.
* Non-determinate: codespeed_versions:probcli_binary/8 (clause 5)
* Indexing cannot distinguish this from clause 6.
* Non-determinate: codespeed_versions:probcli_binary/8 (clause 6)
* Indexing cannot distinguish this from clause 7.
* Non-determinate: codespeed_versions:probcli_binary/8 (clause 7)
* Indexing cannot distinguish this from clause 8.
* Non-determinate: codespeed_versions:probcli_binary/8 (clause 8)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: codespeed_versions:probcli_binary/8 (clause 9)
* Indexing cannot distinguish this from clause 10.
* Non-determinate: codespeed_versions:probcli_binary/8 (clause 10)
* Indexing cannot distinguish this from clause 11.
* Non-determinate: codespeed_versions:probcli_binary/8 (clause 11)
* Indexing cannot distinguish this from clause 12.
* Non-determinate: codespeed_versions:probcli_binary/8 (clause 12)
* Indexing cannot distinguish this from clause 13.
* Non-determinate: codespeed_versions:probcli_binary/8 (clause 13)
* Indexing cannot distinguish this from clause 14.
* Non-determinate: codespeed_versions:probcli_binary/8 (clause 14)
* Indexing cannot distinguish this from clause 15.
* Non-determinate: codespeed_versions:probcli_binary/8 (clause 15)
* Indexing cannot distinguish this from clause 16.
* Non-determinate: codespeed_versions:probcli_binary/8 (clause 16)
* Indexing cannot distinguish this from clause 17.
* Non-determinate: codespeed_versions:probcli_binary/8 (clause 17)
* Indexing cannot distinguish this from clause 18.
* Non-determinate: codespeed_versions:probcli_binary/8 (clause 18)
* Indexing cannot distinguish this from clause 19.
* Non-determinate: codespeed_versions:probcli_binary/8 (clause 19)
* Indexing cannot distinguish this from clause 20.