Step:    3
Elapsed: 0.079 seconds
Depth:   2
Size:    41

Step:    6
Elapsed: 0.133 seconds
Depth:   3
Size:    49

Step:    8
Elapsed: 0.163 seconds
Depth:   5
Size:    61

Step:    10
Elapsed: 0.188 seconds
Depth:   5
Size:    61

Step:    11
Elapsed: 0.205 seconds
Depth:   6
Size:    105

Step:    20
Elapsed: 0.462 seconds
Depth:   11
Size:    148

Step:    40
Elapsed: 0.787 seconds
Depth:   10
Size:    102

Step:    67
Elapsed: 1.203 seconds
Depth:   12
Size:    115

Step:    101
Elapsed: 1.758 seconds
Depth:   14
Size:    133

Step:    104
Elapsed: 1.85 seconds
Depth:   15
Size:    138

Step:    150
Elapsed: 2.666 seconds
Depth:   17
Size:    149

Step:    151
Elapsed: 2.701 seconds
Depth:   18
Size:    197

Step:    1297
Elapsed: 18.655 seconds
Depth:   12
Size:    112

Step:    1609
Elapsed: 22.171 seconds
Depth:   16
Size:    144

Step:    1721
Elapsed: 23.764 seconds
Depth:   17
Size:    150

Step:    2039
Elapsed: 31.958 seconds
Depth:   20
Size:    211

Step:    6915
Elapsed: 108.934 seconds
Depth:   20
Size:    216

Step:    6916
Elapsed: 108.995 seconds
Depth:   21
Size:    219

Step:    6920
Elapsed: 109.244 seconds
Depth:   25
Size:    254

Step:    7209
Elapsed: 117.207 seconds
Depth:   26
Size:    261

Step:    7212
Elapsed: 117.44 seconds
Depth:   27
Size:    269

Step:    20563
Elapsed: 644.47 seconds
Depth:   22
Size:    303

Step:    20793
Elapsed: 653.693 seconds
Depth:   24
Size:    369

Step:    24590
Elapsed: 824.741 seconds
Depth:   25
Size:    331

Step:    35249
Elapsed: 1325.23 seconds
Depth:   30
Size:    288

Step:    37043
Elapsed: 1394.248 seconds
Depth:   36
Size:    415

Step:    85049
Elapsed: 3324.092 seconds
Depth:   15
Size:    140

Step:    85069
Elapsed: 3324.611 seconds
Depth:   17
Size:    201

Step:    85157
Elapsed: 3326.329 seconds
Depth:   21
Size:    226

Step:    85270
Elapsed: 3329.241 seconds
Depth:   25
Size:    257

Step:    87275
Elapsed: 3380.844 seconds
Depth:   22
Size:    239

Step:    87501
Elapsed: 3387.625 seconds
Depth:   25
Size:    324

Step:    89180
Elapsed: 3450.751 seconds
Depth:   28
Size:    349

Step:    126406
Elapsed: 5572.841 seconds
Depth:   28
Size:    329

Step:    150987
Elapsed: 6295.149 seconds
Depth:   28
Size:    229

Step:    151005
Elapsed: 6296.904 seconds
Depth:   29
Size:    237

Step:    153053
Elapsed: 6375.975 seconds
Depth:   34
Size:    268

Step:    153063
Elapsed: 6377.267 seconds
Depth:   35
Size:    1

Prover took 153064 steps and 6377.27 seconds
19255050680 atoms allocated
Target proved !!!