"qwh" - 1 õppematerjal

Propositional logic and simple predicate assignments powerpoint

BerkMin  Collecting problemset cnf problems {download, unarhive} $ mkdir problemset $ cd problemset /problemset$ wget http://people.sc.fsu.edu/~jburkardt/data/cnf/ aim-100-1_6-no-1.cnf /problemset$ wget http://www.satlib.org/Benchmarks/SAT/New/ 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- 400.cnf · zChaff : +100 s · glucose : 23.1614 s problemset/handmade/markstrom/SATISFIABLE/mm-3x1-9-9- sb.1.shuffled-as.sat03-1495.cnf · zChaff : 5.40834 s · glucose : 0.144009 s  Benchmark : UNSAT Total Run Time problemset/industrial/kukula/addm_bench/am_5_5.shuffled- as.sat03-361.cnf.gz · zChaff : 26.9017 s · glucose : 4