/data/SAT/sat-2003-beta/handmade/bevan/cnf/urqh2x2.shuffled-as.sat03-1470.cnf
WARNING: for repeatability, setting FPU to use double precision
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:            18                                         |
|  Number of clauses:              96                                         |
|  Parse time:                   0.00 s                                       |
|                                                                             |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================
|       100 |      18       96      448 |       35       28      7 |  0.328 % |
|       250 |      18       96      448 |       38       25      7 |  0.635 % |
|       475 |      17       96      448 |       42       35      5 |  6.808 % |

iso times: 0.010551 0.009777 0.012173 0.012273 0.012841 0.007657 0.013801 0.011701 0.015052 0.012361 0.016999 0.016185 0.015898 0.008608 0.019023 0.009381 0.022446 0.021784 0.012096

total iso time: 0.260607
===============================================================================

print the content of the cache: 
c id: 10, level: 1, literals: 34, clauses: 84, size: 380, afterHit: 0, saved: 250, hits: 0, levelHits: [], isos: 1, levelIsos: [0]
c id: 9, level: 2, literals: 32, clauses: 72, size: 312, afterHit: 0, saved: 128, hits: 0, levelHits: [], isos: 1, levelIsos: [1]
c id: 8, level: 3, literals: 30, clauses: 60, size: 244, afterHit: 0, saved: 74, hits: 0, levelHits: [], isos: 1, levelIsos: [2]
c id: 2, level: 9, literals: 10, clauses: 12, size: 32, afterHit: 0, saved: 4, hits: 0, levelHits: [], isos: 1, levelIsos: [8]
c id: 5, level: 6, literals: 22, clauses: 36, size: 128, afterHit: 0, saved: 24, hits: 0, levelHits: [], isos: 1, levelIsos: [5]
c id: 1, level: 10, literals: 6, clauses: 6, size: 12, afterHit: 0, saved: 2, hits: 0, levelHits: [], isos: 1, levelIsos: [9]
c id: 3, level: 8, literals: 14, clauses: 18, size: 52, afterHit: 0, saved: 7, hits: 0, levelHits: [], isos: 1, levelIsos: [7]
c id: 4, level: 7, literals: 18, clauses: 26, size: 84, afterHit: 0, saved: 12, hits: 0, levelHits: [], isos: 1, levelIsos: [6]
c id: 7, level: 4, literals: 28, clauses: 56, size: 228, afterHit: 0, saved: 73, hits: 0, levelHits: [], isos: 1, levelIsos: [3]
c id: 6, level: 5, literals: 26, clauses: 50, size: 200, afterHit: 0, saved: 42, hits: 0, levelHits: [], isos: 1, levelIsos: [4]

restarts              : 1
conflicts             : 618            (22780 /sec)
decisions             : 871            (0.00 % random) (32106 /sec)
propagations          : 2791           (102879 /sec)
conflict literals     : 3458           (21.87 % deleted)
components created    : 10
components cached     : 10
components hit        : 0
isomorphisms          : 10
conflicts saved       : 616
conflicts remaining   : 12
glasgow calls         : 19
aborted calls         : 0
Memory used           : 20.00 MB
CPU time              : 0.027129 s

UNSATISFIABLE
