| This is MiniSat 2.0 beta | |
| ============================[ Problem Statistics ]============================= | |
| | | | |
| | Number of variables: 17630 | | |
| | Number of clauses: 52081 | | |
| restarts : 11 | |
| conflicts : 11722 | |
| decisions : 29603 (1.48 % random) | |
| propagations : 13327606 | |
| conflict literals : 195534 (35.90 % deleted) | |
| UNSATISFIABLE | |
| exit 20 |