c launch: /data/cnf/sc2014/app/post-cbmc-zfcp-2.8-u2.cnf.bz2
c host: atom29
c [bunzip2-and-then] start copying and unzipping '/data/cnf/sc2014/app/post-cbmc-zfcp-2.8-u2.cnf.bz2' at Thu May  7 21:13:04 CEST 2015
c [bunzip2-and-then] unzipped into '/tmp/bunzip2-and-then-unzipped' at Thu May  7 21:13:29 CEST 2015
WARNING: for repeatability, setting FPU to use double precision
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:      11483525                                         |
|  Number of clauses:        32632955                                         |
|  Parse time:                  14.23 s                                       |
|  Eliminated clauses:         254.69 Mb                                      |
|  Simplification time:         37.83 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) (0 /sec)
propagations          : 25853          (494 /sec)
conflict literals     : 0              (-nan % deleted)
Memory used           : 4460.50 MB
CPU time              : 52.2838 s

SATISFIABLE
c launch: done
