Propositional logic and simple predicate assignments powerpoint
5-dbg
berkmin {download, unarhive, set as executable}
$ wget http://eigold.tripod.com/BerkMin561-linux.gz
$ gunzip BerkMin561-linux.gz
$ chmod +x BerkMin561-linux
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
annaabi.ee 
