(Experiments by Satyaki Das).
The version of GRASP used was obtained from http://www.satlib.org/solvers.html
The experiments were done on daikon.stanford.edu. This is a quad Intel 700 MHz Pentium III computer running Redhat Linux 6.2 (kernel version 2.4.0-test10).
The following table summarizes the time taken on each problem. GRASP did
not terminate on some of the problems. Those are left blank in the results.
Default settings were used for the reported times. I did try different
settings for the ones which did not terminate (but not very hard).
| Problem | Result | Total Time
(in sec) |
| prob001-log-easy.cnf | Sat | 0.04 |
| prob002-rocket-a.cnf | Sat | 6.60 |
| prob003-rocket-b.cnf | Sat | 9.00 |
| prob004-log-a.cnf | Sat | 2.53 |
| prob005-log-b.cnf | Sat | 4.42 |
| prob006-log-c.cnf | Sat | 11.45 |
| prob007-log-d.cnf | Sat | 109.27 |
| puz-easy.cnf | Sat | 0.09 |
| puz1.cnf | Unsat | 24.88 |
| puz2.cnf | Unsat | 24.96 |
| puz3.cnf | ||
| puz4.cnf | Unsat | 48.27 |
| puz5.cnf | ||
| puz6.cnf | Unsat | 46.66 |
| puz7.cnf | ||
| puz8.cnf |