minisat_stats.out

============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:           999                                         |
|  Number of clauses:           11988                                         |
|  Parse time:                   0.00 s                                       |
|  Eliminated clauses:           0.00 Mb                                      |
|  Simplification time:          0.00 s                                       |
|                                                                             |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================
===============================================================================
restarts              : 1
conflicts             : 0              (0 /sec)
decisions             : 1              (0.00 % random) (145 /sec)
propagations          : 729            (105698 /sec)
conflict literals     : 0              ( nan % deleted)
Memory used           : 5.18 MB
CPU time              : 0.006897 s

SATISFIABLE