<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Helvetica Neue",Arial,"Noto Sans",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji"}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;padding-left:1.5rem;max-width:60rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{line-height:2.25rem;font-size:1.5rem;font-weight:500}@media (width <= 720px){.h2{line-height:1.5rem;font-size:1.25rem}}#challenge-error-text{background-image:url("data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+");background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme: dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="360"></head><body><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt = {cvId: '3',cZone: 'sourceforge.net',cType: 'managed',cRay: '95de17a942358e1c',cH: 'Pi0yJRV3neE1FdoqN.v4Ob75ptdy.AgtPhgQSnx6KbA-1752297637-1.2.1.1-zs89ESeUu23ffzKQYPAa3aG1Ncal7hmq4WMem8OOekmaQAdtRLnIevRrox_TLlDi',cUPMDTk:"\/p\/xsb\/src\/4251\/tree\/\/trunk\/XSB\/packages\/altCDF\/doc\/comparisons.tex?__cf_chl_tk=i5j_O4cNZpkH2Bwybi.qMckPTHe2WPG89.Yw_sIcoM4-1752297637-1.0.1.1-EJ1nuCxod7sCNa3v1H6V7qE_m6Jful.zUmVWcJcCTqk",cFPWv: 'g',cITimeS: '1752297637',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/4251\/tree\/\/trunk\/XSB\/packages\/altCDF\/doc\/comparisons.tex?__cf_chl_f_tk=i5j_O4cNZpkH2Bwybi.qMckPTHe2WPG89.Yw_sIcoM4-1752297637-1.0.1.1-EJ1nuCxod7sCNa3v1H6V7qE_m6Jful.zUmVWcJcCTqk",md: 'WC7dspPvtKSIY4UoHNmObX4_lLs4VhnQAdnfU0l.TZo-1752297637-1.2.1.1-evsoA2.j5tNNExDxFxfbZp9Fna.hrPCCjIROu1X1IXNk44lJoey5HfDHgMQXYFa9.JCqWEzHDqrmnNpQbIL.tv_d6Zpuze4Hw3W4zAkhxPhzJ0a34zaXlCckAka5iKjpFv.mGcW26UZEDy5wzWvGmfN5ifrVTrqFSrSsFl1W7Z2MYVcVNHRp1qG.xHlG7LMs05e6xLAoS9H1SfsoRDAARFR.TxDbdgr9gK48ntrpe6eogbmUJi6roiYxh_93UAQ.Uq2Bk21s3eeehAGH2dfjZlOKHqT81i51bRLY7Yswezg5UovQOvNWXe6c5GOiJwRNippZbXc7KV_syDooWIRpBXcd3FTORe_AJcHYlCrnbiEr2g2eA69JEhE2yvbhYewbXnSoPnKV0BFYVjTldwccqM3Z6SfwCbQXTTyYZt8hMvnNeSNSUsR0.afq_PwWQjf6GeAf.ZFrB3pSOGvZf0pM7PUyKkm2lA4F9Xyoyzg75PTWf9wOO_Zc7RH1kiRBU6ZfC64aXlsyiReowY5gsd2SLjCOE61OQa2DL6HzG31VYLw5P.rygUHihiLZ75L9qWHUbzG0Dseal1Qu7XA8s5rH5yWrWhWMjRfBssze2GwtzF.DUXi2PbhwF7cJoOeH8TFDKuMIrb9xALQNW06caNexkPu_B3i746TItBgerm6LrPN0SfBS5R1fNFMtaRMLsXpuOl1l48XnGbAzHCvXw6DlrVBSGy0chvKkn37RatH9z_GB3Ja_XEZ30Qbux0F8XB4b2jecAdeFqBK5naR9qg_FB4Twr8kpxMPaY7_vBwKWh84X_9YMZWYdSiRDNPkjGc6J7oI6CA6w16Zg_9XjwTxU0hB0yGr4CMp.8z_TqM_QzoMGObmNgcoUJ1ZRTm.qL6LUHYdj3RmkzniwmGNieIC7FSu.N4d1HwaHaUoe4Pew68XZi0s2NUMpGqXuofRC2bHC9.dDDljxUGP3_1ZYvKsFALnPz5Esi2oat9LfWfruNJ66sq4Unda6YmEdoqiH7EDj',mdrd: 'lkmyjxLyqntmfDK3f.RdK0qWVRJMbjhoyU_PCUMq3qE-1752297637-1.2.1.1-NScUA7FQSF5CmR5uhexYBdHwm3r40dOHS8QQE222ttimBWUV.QkUPmW8ntXhAyQFQjgS3_xc0iU80vkjeKqMjtp8zZQ_wpxQ7yq1.eHsnAGWF8Lkv.ZjYVYM0dU2VIFIWKvJRw5nUj3iV7r4MpW4FVG2aanddXlPUojzxEtSICG_IeV1.RhMlaXlviRFQjfyQ6hmVnAsFnsRVnOJi_gkDLKDfEnS6t4SLZMh.NYRhQubhdcyGmkVUcbVSE9nKO.fgeFajWwRnleUm34aw1PFRh729OUXZvA6jIT9.eaUXOPYWjxUo6_SqmBc2rj2AknP0yIqeKyU4.7jD69wzVRh2kKhS8AI8GCRlWcDMMWdK83mmyK_L5wLscchRnQP0GrRbyduyJjlsuevS8V3W7D0NtQ4S31vF_EgT3UAuLJ_ATowjzotEoG8aoiF0rMORKp5mP5BhDmmtsepnHsyUTiA4T57sJu9syrNPZDuJKXSGAgTfp8ahjuqleuYUqxYROP5sCRtDp2xchc7Gj.fdgrNpOCkQh5FZbTJtLloBgAwAMIx421jURGjYe1V7m.jG8qfSHIaDrKzQAH9EaFcMpHRjZTHTvL0NCAUD.OXaH6kDEvOuLdqtj9lyfqVbqmyQ_pAy72apQf04yEiZEHwbADhPyEoThfVrRD.adlz.tsMGM.WiEdLYjDFZbrGwSx7Cymd0_CZP1kDzIqxxk5REa.CJ.4CvOYUbz3xefrloWRZR1B.bf_rea_Phnehl9xW1j8NJgE8Waq9dVU0rFq50kHJN7WruQERSfZj20SzdN9piu33h6S9sywWWI18W6z6Xy1wm4dUnePA39BwJZqQwapwa0HJ.5YBD20tpvIUpJbNwl9.Dn7NvRSNbRyRhEwSymGnGorGeEN01mgKj8nkjp6ui4SZB5FWPg2sMEbmhJL3Z9HfHzNzdEMs4jdSrcS1YZNNYAG87MctuveqMMmP5NRNERZ916qjX4vPPvQ0pJa6Aoc1sElimruRYzaSDpD.H2IuVYPRGwiqw.LJW0s2NV5dLIMuHtb_qugNOjl3xcHx4s.5ppkVHNKJSIgkUPmWBAdoMcX.kMF4mxHzAzNlYXf3DRxuYnp0CkN5GUziLVkJR1wljvF9RdwPJgQoqG9HnE3yX2Ft2_SEuJPnbJpftyA8jKvDnDIbZ34Z7.k14Ds51TWQxNk85ww7Me83azZx_yOoHD5.aanoxdXe3YW9XKvZZmbxbqnTmcyhk3kNOQuUBxJivhr_6I.eo1hvNd6_9Y6UM1ST6lM8gaMBsZXYVtsBDfF.VilurQEZpcHS6CKjs4VJbqNnLOsQb_ZUXPu6Mfps686g.jkUW0tAigeT6EINEw3ZIx3BBtFmsM0WyxzjyjTR5p1y9WDKb4RPSc0D5Sa1s7ANZLPfSezKBdBeyzaxYY_TP3eMiDNL4zbdJpUvV5M8E2rwEplu6W1R7liXvSzP0DzAtUcFiQPnBPBrlRHtzF3cKMvrAUU6.azyanuzL_caIel5nqurssbrb.8zYnlK6dvpPoyoFaBstdArewUh8TDr6C.bUjgOma1OWXBvBpVG1Sf5QOoyfchnH_eHzDQ9Lv09y3ubAINa_5wGOwgqDODArMuqTWTr7_8Qr_fi2iYWwL42IgAGH09nh00F7Kr_afO1N_05NVKb1zfks5fwPqA3e4xjCtcMxrdx8101CKwoX.tpVpitqQ9U3aACbA4obDhsWJX47b8YPLCjvspmuQ9VFJnmIfGKBaO8dsQXYL_NsYPmPWAAW0su1cGs1rozeHNbMM7_t1xAdDB_feXvo0kgz3kAZtjhlBuZ94ZjHjWcsLqBpxmeJLAUJDXvVhcKv_qPJRFzEmQqXno_2LeFhjy35.cufZ3N_lyvX5senbO51BoqybEFni_jJK4UTuidkOWTCEV77HwAxxdFK1tKHDwY4jwD43kO47iJ.iGNnUl5rH3Ye7WbinwWyH37mHR7RTRfJ2CAZlJS9e_F0jGv2ermx40j1pA3ntlDOhmZpg_mteRi.w7AnTsSDP_YQ._9bCV7_WGnOmO.8uXVlR_Ygyaqvu6dE3.GYoAVt2xSx4ELqGSultbhlAWizF6Xe6U0QkNgKTqqjKL0oy_SPLtCCsu.jwNzohHFVfmsG.PUELU8qo6uzk6HWmsrPfN98MEIYy84SuULfStUA3NlI3ryYmPj5Wqzp1D6laT4U9.Yzs9oO7ORDZkSqxRx6j3Scly26AbWFO2.qXguDaeYpcDxrMC87aMja6Jd1E2nGFSYZ0z3JyxIlKD.8VIUH8i.7kjGBZDBsIY53RX7wWQtJMZLH1lqi13wQ5nEZKQeOfNs1mZm9MhPvuQbLLheSqLZVzMsM1nvOumlFS9oMIjZcDzHGHqzq40_TUOfT0k9tWvwfUlq2cQTzs_uBoMUr1j3CnKVQUWoA3Y_R07i3eTC_.O0npE6DBbk09WV.U5OlGh1GI0PPjK1szVS3ktbvs5JS_EaUHshFdiZyI8G9PDGqzAU2G.ZHIfsZMWy6KzCki2CI3c455ISGWZe5Pt3ObBc9gs.n158zc.__0VC0FCe7di8HUV8_ZJ7kGeKYjJX7krpeEieYkGIwrOhF._inrLqTRDBjXivVdLDcqHQVfoLCP2M7g',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95de17a942358e1c';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null,"\/p\/xsb\/src\/4251\/tree\/\/trunk\/XSB\/packages\/altCDF\/doc\/comparisons.tex?__cf_chl_rt_tk=i5j_O4cNZpkH2Bwybi.qMckPTHe2WPG89.Yw_sIcoM4-1752297637-1.0.1.1-EJ1nuCxod7sCNa3v1H6V7qE_m6Jful.zUmVWcJcCTqk"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>