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 |