/data/SAT/sat-2002-beta/submitted/simon/Urquhart/Urquhart-s3-b9.shuffled.cnf
WARNING: for repeatability, setting FPU to use double precision
============================[ Problem Statistics ]=============================
|                                                                             |
|  Number of variables:            36                                         |
|  Number of clauses:             230                                         |
|  Parse time:                   0.00 s                                       |
|                                                                             |
============================[ Search Statistics ]==============================
| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
===============================================================================
|       100 |      36      230     1240 |       84       55     13 |  0.079 % |
|       250 |      36      230     1240 |       92       57     13 |  0.079 % |
|       475 |      36      230     1240 |      102       71     13 |  0.079 % |
|       812 |      36      230     1240 |      112      118     13 |  0.079 % |
|      1318 |      36      230     1240 |      123       69      8 |  0.079 % |
|      2077 |      36      230     1240 |      135      122      8 |  0.079 % |
|      3216 |      36      230     1240 |      149      137      8 |  0.079 % |
|      4924 |      36      230     1240 |      164      150      8 |  0.082 % |
|      7486 |      36      230     1240 |      180      130      8 |  0.090 % |
|     11330 |      36      230     1240 |      198      178      7 |  0.238 % |
|     17096 |      33      230     1240 |      218      204      6 |  8.415 % |

iso times: 0.005133 0.004546 0.004681 0.005100 0.004649 0.005741 0.005173 0.005707 0.005398 0.006475 0.005886 0.007085 0.006277 0.007617 0.006648 0.008531 0.007004 0.009073 0.007965 0.010394 0.008902 0.007970 0.007471 0.007404 0.007255 0.011762 0.009860 0.012135 0.009905 0.014074 0.011626 0.015712 0.011427 0.016119 0.012926 0.018942

total iso time: 0.312573
===============================================================================

print the content of the cache: 
c id: 18, level: 1, literals: 70, clauses: 182, size: 872, afterHit: 0, saved: 6454, hits: 0, levelHits: [], isos: 1, levelIsos: [0]
c id: 5, level: 14, literals: 32, clauses: 42, size: 132, afterHit: 0, saved: 16, hits: 0, levelHits: [], isos: 1, levelIsos: [13]
c id: 17, level: 2, literals: 68, clauses: 164, size: 752, afterHit: 0, saved: 4746, hits: 0, levelHits: [], isos: 1, levelIsos: [1]
c id: 4, level: 15, literals: 26, clauses: 36, size: 112, afterHit: 0, saved: 12, hits: 1, levelHits: [14], isos: 0, levelIsos: []
c id: 6, level: 13, literals: 34, clauses: 46, size: 148, afterHit: 0, saved: 21, hits: 0, levelHits: [], isos: 1, levelIsos: [12]
c id: 7, level: 12, literals: 38, clauses: 58, size: 208, afterHit: 0, saved: 42, hits: 0, levelHits: [], isos: 1, levelIsos: [11]
c id: 16, level: 3, literals: 66, clauses: 160, size: 736, afterHit: 0, saved: 3729, hits: 0, levelHits: [], isos: 1, levelIsos: [2]
c id: 3, level: 16, literals: 22, clauses: 24, size: 64, afterHit: 0, saved: 8, hits: 0, levelHits: [], isos: 1, levelIsos: [15]
c id: 13, level: 6, literals: 60, clauses: 122, size: 508, afterHit: 0, saved: 498, hits: 0, levelHits: [], isos: 1, levelIsos: [5]
c id: 14, level: 5, literals: 62, clauses: 130, size: 548, afterHit: 0, saved: 727, hits: 0, levelHits: [], isos: 1, levelIsos: [4]
c id: 9, level: 10, literals: 44, clauses: 72, size: 272, afterHit: 0, saved: 144, hits: 0, levelHits: [], isos: 1, levelIsos: [9]
c id: 2, level: 17, literals: 20, clauses: 18, size: 40, afterHit: 0, saved: 4, hits: 0, levelHits: [], isos: 1, levelIsos: [16]
c id: 8, level: 11, literals: 42, clauses: 66, size: 244, afterHit: 0, saved: 68, hits: 0, levelHits: [], isos: 1, levelIsos: [10]
c id: 10, level: 9, literals: 46, clauses: 78, size: 300, afterHit: 0, saved: 288, hits: 0, levelHits: [], isos: 1, levelIsos: [8]
c id: 11, level: 8, literals: 52, clauses: 94, size: 376, afterHit: 0, saved: 345, hits: 0, levelHits: [], isos: 1, levelIsos: [7]
c id: 12, level: 7, literals: 56, clauses: 110, size: 448, afterHit: 0, saved: 343, hits: 0, levelHits: [], isos: 1, levelIsos: [6]
c id: 15, level: 4, literals: 64, clauses: 148, size: 668, afterHit: 0, saved: 1455, hits: 0, levelHits: [], isos: 1, levelIsos: [3]

restarts              : 1
conflicts             : 18904          (27090 /sec)
decisions             : 29042          (0.00 % random) (41617 /sec)
propagations          : 139173         (199436 /sec)
conflict literals     : 154044         (17.07 % deleted)
components created    : 19
components cached     : 18
components hit        : 1
isomorphisms          : 16
conflicts saved       : 18900
conflicts remaining   : 21
glasgow calls         : 36
aborted calls         : 0
Memory used           : 20.00 MB
CPU time              : 0.697834 s

UNSATISFIABLE
