"competition" - 0 õppematerjali
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-
Nagu näha, siis vastuse leidmine on päris raske, aga lendamine on hoopis imelihtne - tuleb vaid maa poole viskuda ja mööda kukkuda.
annaabi.ee 
