/data/SAT/sat-2002-beta/submitted/aloul/Bart/bart10.shuffled.cnf
WARNING: for repeatability, setting FPU to use double precision
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:           144                                         |
|  Number of clauses:             560                                         |
|  Parse time:                   0.00 s                                       |
|                                                                             |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================
|       100 |     144      560     1488 |      205      100     25 |  0.039 % |

iso times: 0.011787 0.010982 0.008594 0.008212 0.007218 0.007078 0.006325 0.006020 0.006015 0.006240 0.005872 0.006231 0.005960 0.005850 0.005151 0.004720 0.004643 0.005821 0.005852 0.005660 0.005688 0.005411 0.006961 0.006861 0.006746 0.006123 0.006175 0.006027 0.005881 0.005582 0.004871 0.005377 0.004799 0.005630 0.005297 0.005652 0.005861 0.005394 0.005431 0.005117 0.005511 0.004723 0.005084 0.004767 0.005041 0.005401 0.005408 0.005564 0.005333 0.005089 0.005177 0.006076 0.006168 0.005913 0.005769 0.006009 0.005465 0.004728 0.005353 0.005614 0.005604 0.006722 0.006521 0.006044 0.006428 0.006106 0.005927 0.005910 0.005729 0.005368 0.005393 0.006053 0.006065 0.005542 0.005806 0.005683 0.006117 0.005673 0.005811 0.005779 0.005509 0.005384 0.005566 0.006652 0.006669 0.006558 0.006322 0.006814 0.006324 0.006405 0.006188 0.005839 0.006603 0.005995 0.006288 0.006111 0.005488 0.005525 0.005673 0.005684 0.006027 0.005176 0.006538 0.006389 0.006512 0.006366 0.005965 0.006177 0.005845 0.005607 0.006139 0.005494 0.005152 0.004737 0.005302 0.004701 0.005476 0.005648 0.006029 0.005958 0.005662 0.005398 0.004915 0.005820 0.005981 0.005581 0.005441 0.005126 0.006516 0.007042 0.006136 0.005965 0.005813 0.005594 0.005531 0.005346 0.004606 0.005781 0.005045 0.005301 0.005431 0.005120 0.005725 0.005710 0.005347 0.005418 0.004583 0.005969 0.005631 0.005192 0.005412 0.006140 0.006050 0.005568 0.006143 0.005227 0.006863 0.006109 0.006091 0.005949 0.006015 0.006138 0.005900 0.005775 0.005386 0.005305 0.005600 0.005583 0.005979 0.005940 0.006092 0.005898 0.005469 0.005672 0.006200 0.005599 0.005942 0.005620 0.005783 0.005407 0.005300 0.006592 0.006271 0.006116 0.005248 0.005488 0.005830 0.006551 0.006204 0.005920 0.006443 0.005454 0.005341 0.005766 0.006677 0.006034 0.005833 0.006167 0.005507 0.005814 0.005571 0.005681 0.006115 0.006441 0.005951 0.005961 0.005995 0.005126 0.006360 0.005802 0.005665 0.005872 0.006661 0.006277 0.006399 0.006288 0.006305 0.006001 0.005657 0.005744 0.005584 0.005386 0.006073 0.005676 0.006026 0.005558 0.006136 0.006010 0.005862 0.006000 0.005724 0.005820 0.005821 0.007109 0.007320 0.006899 0.007177 0.006777 0.006525 0.006404 0.006323 0.006300 0.005979 0.005979 0.005594 0.005326 0.005300 0.004873 0.005426 0.005211 0.005175

total iso time: 1.477806
===============================================================================

print the content of the cache: 
c id: 1, level: 7, literals: 12, clauses: 9, size: 18, afterHit: 0, saved: 23, hits: 0, levelHits: [], isos: 13, levelIsos: [15,14,18,18,18,17,19,18,17,15,17,15,16]

restarts              : 1
conflicts             : 200            (1565 /sec)
decisions             : 262            (0.00 % random) (2050 /sec)
propagations          : 4225           (33053 /sec)
conflict literals     : 5136           (11.51 % deleted)
components created    : 253
components cached     : 1
components hit        : 0
isomorphisms          : 13
conflicts saved       : 23
conflicts remaining   : 190
glasgow calls         : 251
aborted calls         : 0
Memory used           : 21.00 MB
CPU time              : 0.127825 s

SATISFIABLE
