[runlim] version:		1.9
[runlim] time limit:		311040000 seconds
[runlim] real time limit:	3600 seconds
[runlim] space limit:		7000 MB
[runlim] argv[0]:		/home/biere/hwmcc15/solvers/pdtrav/single.pdtravthrd
[runlim] argv[1]:		/home/biere/hwmcc15/benchmarks/all/selection/random/nusmvtcasp2.aig
[runlim] start:			Sat Sep 19 15:09:54 2015
[runlim] main pid:		12212
FATAL ERROR: problems with ternary sim
             File /home/cabodi/pdtools-1.5.0/pdtrav-3.4.0/src/ddi/ddiSat.c -> Line 3759
pdtrav: /home/cabodi/pdtools-1.5.0/pdtrav-3.4.0/src/ddi/ddiSat.c:3759: int Ddi_TernaryPdrSimulate(Ddi_TernarySimMgr_t*, int, Ddi_Clause_t*, Ddi_Clause_t*, Ddi_Clause_t*, int, int): Assertion `xMgr->ternaryGates[i].reqVal=='x' || xMgr->ternaryGates[i].reqVal==xMgr->ternaryGates[i].val' failed.
FATAL ERROR: problems with ternary sim
             File /home/cabodi/pdtools-1.5.0/pdtrav-3.4.0/src/ddi/ddiSat.c -> Line 3759
pdtrav: /home/cabodi/pdtools-1.5.0/pdtrav-3.4.0/src/ddi/ddiSat.c:3759: int Ddi_TernaryPdrSimulate(Ddi_TernarySimMgr_t*, int, Ddi_Clause_t*, Ddi_Clause_t*, Ddi_Clause_t*, int, int): Assertion `xMgr->ternaryGates[i].reqVal=='x' || xMgr->ternaryGates[i].reqVal==xMgr->ternaryGates[i].val' failed.
[runlim] end:			Sat Sep 19 15:09:57 2015
[runlim] status:		ok
[runlim] result:		0
[runlim] children:		10
[runlim] real:			3.07 seconds
[runlim] time:			3.82 seconds
[runlim] space:			889.7 MB
[runlim] samples:		27
