[launch.sh] args:  /home/biere/hwmcc15/solvers/avy/single.avy /home/biere/hwmcc15/benchmarks/hwmcc14/single/6s398b09.aig
[launch.sh] host:  atom19 (atom19)
[launch.sh] start: Wed Sep 16 11:31:19 CEST 2015
[launch.sh] jobid: 7190549
[launch.sh] name:  h6s398b09avy
[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
Working directory /tmp/7190549.1.queue/avy-i06yx3
[pavy] starting run with fname=/home/biere/hwmcc15/benchmarks/hwmcc14/single/6s398b09.aig
BRUNCH_STAT Result UNKNOWN
[pavy] running pp
[pavy] in_name =  /home/biere/hwmcc15/benchmarks/hwmcc14/single/6s398b09.aig
[pavy] /home/biere/hwmcc15/solvers/avy/extracted/abc -c &r /home/biere/hwmcc15/benchmarks/hwmcc14/single/6s398b09.aig ; &lcorr ; &dc2; &scorr; &dc2; &fraig ; &w /tmp/7190549.1.queue/avy-i06yx3/6s398b09.pp.aig
ABC command line: "&r /home/biere/hwmcc15/benchmarks/hwmcc14/single/6s398b09.aig ; &lcorr ; &dc2; &scorr; &dc2; &fraig ; &w /tmp/7190549.1.queue/avy-i06yx3/6s398b09.pp.aig".

Error: The network is combinational.
[pavy] finished pp, output=/tmp/7190549.1.queue/avy-i06yx3/6s398b09.pp.aig
[pavy] kicking off  /home/biere/hwmcc15/solvers/avy/extracted/navy --reset-cover=1 --opt-bmc --kstep=1 --shallow-push=1 --min-suffix=1 --glucose --glucose-inc-mode=0 --sat-simp=0 --glucose_itp=1 --verbose=2 --cex=/tmp/7190549.1.queue/avy-i06yx3/navy_avy0.cex /tmp/7190549.1.queue/avy-i06yx3/6s398b09.pp.aig
[pavy] kicking off  /home/biere/hwmcc15/solvers/avy/extracted/abcpdr --verbose=2 --cex=/tmp/7190549.1.queue/avy-i06yx3/abcpdr_avy1.cex /tmp/7190549.1.queue/avy-i06yx3/6s398b09.pp.aig
[pavy] kicking off  /home/biere/hwmcc15/solvers/avy/extracted/avy --reset-cover=1 -a --kstep=2 --shallow-push=1 --tr0=1 --min-suffix=1 --glucose --glucose-inc-mode=0 --min-core=1 --glucose_itp=1 --stick-error=1 --sat-simp=1 --verbose=2 --cex=/tmp/7190549.1.queue/avy-i06yx3/avyabsmus_avy2.cex /tmp/7190549.1.queue/avy-i06yx3/6s398b09.pp.aig
[pavy] kicking off  /home/biere/hwmcc15/solvers/avy/extracted/avybmc --opt-bmc --glucose --depth=1000 --verbose=2 --cex=/tmp/7190549.1.queue/avy-i06yx3/fib_avy3.cex /tmp/7190549.1.queue/avy-i06yx3/6s398b09.pp.aig
[pavy] running: [30206, 30207, 30208, 30209]
[pavy] finished pid 30206 with code 0 and signal 11
[pavy] running: [30207, 30208, 30209]
[pavy] finished pid 30207 with code 2 and signal 0
[pavy] running: [30208, 30209]
[pavy] finished pid 30209 with code 0 and signal 11
[pavy] running: [30208]
[pavy] LOG BEGIN navy
[pavy] LOG END navy
[pavy] LOG BEGIN abcpdr


************** BRUNCH STATS ***************** 
BRUNCH_STAT run 0.00
BRUNCH_STAT Result UNKNOWN
************** BRUNCH STATS END ***************** 
	Reading AIG from '/tmp/7190549.1.queue/avy-i06yx3/6s398b09.pp.aig'
The current network is combinational.
Result: indeterminate


************** BRUNCH STATS ***************** 
BRUNCH_STAT Depth 0
BRUNCH_STAT run 0.00
BRUNCH_STAT run.loop 0.00
BRUNCH_STAT Result UNKNOWN
************** BRUNCH STATS END ***************** 
[pavy] LOG END abcpdr
[pavy] LOG BEGIN avyabsmus
[pavy] LOG END avyabsmus
[pavy] LOG BEGIN fib
[pavy] LOG END fib
ALL INSTANCES FAILED
Calling sys.exit with 0
BRUNCH_STAT config -1
BRUNCH_STAT config_name None
BRUNCH_STAT Result UNKNOWN
[launch.sh] stop:  Wed Sep 16 12:31: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 12:31:25 CEST 2015
[launch.sh] done: Wed Sep 16 12:31:25 CEST 2015
