Ega pea pole prügikast! Tõsta enda õppeedukust ja õpi targalt. Telli VIP ja lae alla päris inimeste tehtu õppematerjaleLOE EDASI
0
Competition - 03/distrib-shuffled.tar.bz2 /problemset$ tar -xjvf distrib-shuffled.tar.bz2 zChaff : trivial problem glucose : trivial problem glucose : trivial problem Benchmark : SAT Total Run Time problemset/handmade/gomes/qwh/qwh.35.405.shuffled- as.sat03-1651.cnf.gz • zChaff : 32.586 s • glucose : 30.8779 s problemset/industrial/maris/CNF/hanoi5.shuffled-as.sat03-
Tulemused kuvatakse siia. Otsimiseks kirjuta üles lahtrisse(vähemalt 3 tähte pikk). Leksikon põhineb AnnaAbi õppematerjalidel(Beta).
Andmebaas (kokku 683 873 mõistet) põhineb annaabi õppematerjalidel, seetõttu võib esineda vigu! Aita AnnaAbit ja teata vigastest terminitest - iga kord võid teenida kuni 10 punkti.