| This is MiniSat 2.0 beta | |
| ============================[ Problem Statistics ]============================= | |
| | | | |
| | Number of variables: 65902 | | |
| | Number of clauses: 218335 | | |
| restarts : 14 | |
| conflicts : 53073 | |
| decisions : 143203 (1.42 % random) | |
| propagations : 40392070 | |
| conflict literals : 2133129 (40.99 % deleted) | |
| SATISFIABLE | |
| exit 10 |