[launch.sh] args:  /home/biere/hwmcc15/solvers/pdtrav/single.pdtravdeep /home/biere/hwmcc15/benchmarks/hwmcc14/single/6s365r.aig
[launch.sh] host:  atom25 (atom25)
[launch.sh] start: Wed Sep 16 07:42:23 CEST 2015
[launch.sh] jobid: 7190396
[launch.sh] name:  h6s365rpdtravdeep
[launch.sh] round 1: killall abcpdr avy avybmc navy
[launch.sh] round 2: killall abcpdr avy avybmc navy
[launch.sh] round 3: killall abcpdr avy avybmc navy
c [single.pdtravdeep] removing /tmp/7190396.1.queue/6s365r.aig
c [single.pdtravdeep] copying /home/biere/hwmcc15/benchmarks/hwmcc14/single/6s365r.aig to /tmp/7190396.1.queue/6s365r.aig
c [single.pdtravdeep] sync
c [single.pdtravdeep] starting actual solver

## Tool Version: PdTRAV 3.2.0
## DD Version: Cudd-2.5.0
## Compile Date: Tue Sep 15 13:18:00 CEST 2015
## Command: /home/biere/hwmcc15/solvers/pdtrav/pdtrav -strategy deep 6s365r.aig 
## Running Date: Wed Sep 16 07:42:26 CEST 2015
## Hostname: atom25
CPU time adjustment: 0.68 s (norm 0.68 s) - scale factor: 1.511111
-- DDI Manager Init.
-- FSM Manager Init.
-- FSM Loading.
# CONSTRAINTS: 0
Property: !o0.
Design Statistics: 28 Inputs / 204 State Vars / 1041 AIG Gates
|Constraint|=0 nodes.
|Constraint|=0 nodes.
-- FSM Manager Init.

Running reductions...(phase 0)
Clock found; Name: l224

Running reductions...(phase 1)

Running reductions...(phase 2)
-- FSM Manager Init.

Running reductions...(phase 3)
COI Reduction Performed: Kept 191 State Vars out of 192.
Ternary Simulation: TSIM found 50 EQUIVALENCES
COI Reduction Performed: Kept 183 State Vars out of 184.

Running reductions...(phase 4)
(null)       : i/o =   62/    1  lat =  181  and =   1730  lev = 20
(null)       : i/o =   62/    1  lat =  180  and =   1545  lev = 16
(null)       : i/o =   62/    1  lat =  180  and =   1541  lev = 16
Delta: 181 -> 180
Lambda: 1 -> 1
latches: 180 -> 180
inputs: 62 -> 61
|Constraint|=0 nodes.
-- TRAV Manager Init.
INITIALIZING THREADED ENGINES (stacksize = 16777216)
INITIALIZING 1 ENGINES: BMCPFL
-- FSM Manager Init.

Running BMCPFL ...
-- FSM Manager Init.
-- DDI Manager Init.
CREATING Thread (father 31385 - 617a3880)

Thread BMCPFL activated
CREATED Thread (31385 - 4b3f1700)
INITIALIZING 2 ENGINES: BMC BMC2
-- FSM Manager Init.

Running BMC ...
-- FSM Manager Init.
-- DDI Manager Init.
CREATING Thread (father 31385 - 4b3f1700)

Thread BMC activated
CREATED Thread (31385 - 55001700)
-- FSM Manager Init.
-- MC Manager Init.
-- TRAV Manager Init.
-- TR Manager Init.

Running BMC2 ...
-- FSM Manager Init.
-- DDI Manager Init.
CREATING Thread (father 31385 - 4b3f1700)

Thread BMC2 activated
CREATED Thread (31385 - 56002700)
[launch.sh] stop:  Wed Sep 16 08:42:26 CEST 2015
[launch.sh] round 1: killall abcpdr avy avybmc navy
[launch.sh] round 2: killall abcpdr avy avybmc navy
[launch.sh] round 3: killall abcpdr avy avybmc navy
[launch.sh] sync: Wed Sep 16 08:42:29 CEST 2015
[launch.sh] out: cat /tmp/7190396.1.queue/6s365r.pdtrav.out
u1
u2
u4
u6
u8
u10
u12
u14
u16
u18
u20
u22
u24
u26
u28
u30
u32
u34
u36
u38
u40
u42
u44
u46
u48
u50
u52
u54
u56
u58
u60
u62
u64
u66
u68
u70
u72
u74
u76
u78
u80
u82
u84
u86
u88
u90
u92
u94
u96
u98
u100
u102
u104
u106
u108
u110
u112
u114
u116
u118
u120
u122
u124
u126
u128
u130
u132
u134
u136
u138
u140
u142
u144
u146
u148
u150
u152
u154
u156
u158
u160
u162
u164
u166
u168
u170
u172
u174
u176
u178
u180
u182
u184
u186
u188
u190
u192
u194
u196
u198
u200
u202
u204
u206
u208
u210
u212
u214
u216
u218
u220
u222
u224
u226
u228
u230
u232
u234
u236
u238
u240
u242
u244
u246
u248
u250
u252
u254
u256
u258
u260
u262
u264
u266
u268
u270
u272
u274
u276
u278
u280
u282
u284
u286
u288
u290
u292
u294
u296
u298
u300
u302
u304
u306
u308
u310
u312
u314
u316
u318
u320
u322
u324
u326
u328
u330
u332
u334
u336
u338
u340
u342
u344
u346
u348
u350
u352
u354
u356
u358
u360
u362
u364
u366
u368
u370
u372
u374
u376
u378
u380
u382
u384
u386
u388
u390
u392
u394
u396
u398
u400
u402
u404
u406
u408
u410
u412
u414
u416
u418
u420
u422
u424
u426
u428
u430
u432
u434
u436
u438
u440
u442
u444
u446
u448
u450
u452
u454
u456
u458
u460
u462
u464
u466
u468
u470
u472
u474
u476
u478
u480
u482
u484
u486
u488
u490
u492
u494
u496
u498
u500
u502
u504
u506
u508
u510
u512
u514
u516
u518
u520
u522
u524
u526
u528
u530
u532
u534
u536
u538
u540
u542
u544
u546
u548
u550
u552
u554
u556
u558
u560
u562
u564
u566
u568
u570
u572
u574
u576
u578
u580
u582
u584
u586
u588
[launch.sh] done: Wed Sep 16 08:42:29 CEST 2015
