[launch.sh] args:  /home/biere/hwmcc15/solvers/pdtrav/single.pdtravdeep /home/biere/hwmcc15/benchmarks/hwmcc14/single/6s284rb1.aig
[launch.sh] host:  atom17 (atom17)
[launch.sh] start: Wed Sep 16 01:00:19 CEST 2015
[launch.sh] jobid: 7190172
[launch.sh] name:  h6s284rb1pdtravdeep
[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/7190172.1.queue/6s284rb1.aig
c [single.pdtravdeep] copying /home/biere/hwmcc15/benchmarks/hwmcc14/single/6s284rb1.aig to /tmp/7190172.1.queue/6s284rb1.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 6s284rb1.aig 
## Running Date: Wed Sep 16 01:00:22 CEST 2015
## Hostname: atom17
CPU time adjustment: 0.67 s (norm 0.67 s) - scale factor: 1.493333
-- DDI Manager Init.
-- FSM Manager Init.
-- FSM Loading.
# CONSTRAINTS: 0
Property: !o0.
Design Statistics: 192 Inputs / 2352 State Vars / 22073 AIG Gates
|Constraint|=0 nodes.
|Constraint|=0 nodes.
-- FSM Manager Init.

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

Running reductions...(phase 1)

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

Running reductions...(phase 3)
COI Reduction Performed: Kept 2282 State Vars out of 2342.
Ternary Simulation: TSIM found 2 EQUIVALENCES
COI Reduction Performed: Kept 2070 State Vars out of 2118.

Running reductions...(phase 4)
(null)       : i/o =  696/    1  lat = 2068  and =  42422  lev = 85
(null)       : i/o =  696/    1  lat = 1983  and =  34684  lev = 70
(null)       : i/o =  696/    1  lat = 1982  and =  34663  lev = 70
(null)       : i/o =  696/    1  lat = 1982  and =  34454  lev = 70
Delta: 2068 -> 1982
Lambda: 1 -> 1
latches: 1982 -> 1982
inputs: 696 -> 682
|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 25798 - 628a5880)

Thread BMCPFL activated
CREATED Thread (25798 - 9b62f700)
INITIALIZING 2 ENGINES: BMC BMC2
-- FSM Manager Init.

Running BMC ...
-- FSM Manager Init.
-- DDI Manager Init.
CREATING Thread (father 25798 - 9b62f700)

Thread BMC activated
CREATED Thread (25798 - a5001700)
-- MC Manager Init.
-- TRAV Manager Init.
-- TR Manager Init.
-- FSM Manager Init.

Running BMC2 ...
-- FSM Manager Init.
-- DDI Manager Init.
CREATING Thread (father 25798 - 9b62f700)

Thread BMC2 activated
CREATED Thread (25798 - a6002700)
[launch.sh] stop:  Wed Sep 16 02:00:22 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 02:00:25 CEST 2015
[launch.sh] out: cat /tmp/7190172.1.queue/6s284rb1.pdtrav.out
u2
u3
u5
u7
u9
u11
u13
u15
u17
u19
u21
u23
u25
u27
u29
u31
u33
u35
u37
u39
u41
u43
u45
u47
u49
u51
u53
u55
u57
u59
u61
u63
u65
u67
u69
u71
u73
u75
u77
u79
u81
u83
u85
u87
u89
u91
u93
u95
[launch.sh] done: Wed Sep 16 02:00:25 CEST 2015
