diff options
Diffstat (limited to 'src/map/if/ifSat.c')
-rw-r--r-- | src/map/if/ifSat.c | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/src/map/if/ifSat.c b/src/map/if/ifSat.c index 5ddb8241..3fec34e0 100644 --- a/src/map/if/ifSat.c +++ b/src/map/if/ifSat.c @@ -204,46 +204,46 @@ void If_ManSatTest() uSet = (3 << 0) | (1 << 2) | (1 << 4); RetValue = If_ManSatCheckXY( p, nLutSize, pTruth, nVars, uSet, &uBound, &uFree, vLits ); - printf( "%d", RetValue ); + printf( "%d (%d)", RetValue, sat_solver_nconflicts(p) ); uSet = (1 << 0) | (3 << 2) | (1 << 4); RetValue = If_ManSatCheckXY( p, nLutSize, pTruth, nVars, uSet, &uBound, &uFree, vLits ); - printf( "%d", RetValue ); + printf( "%d (%d)", RetValue, sat_solver_nconflicts(p) ); uSet = (1 << 0) | (1 << 2) | (3 << 4); RetValue = If_ManSatCheckXY( p, nLutSize, pTruth, nVars, uSet, &uBound, &uFree, vLits ); - printf( "%d", RetValue ); + printf( "%d (%d)", RetValue, sat_solver_nconflicts(p) ); uSet = (3 << 0) | (1 << 2) | (1 << 6); RetValue = If_ManSatCheckXY( p, nLutSize, pTruth, nVars, uSet, &uBound, &uFree, vLits ); - printf( "%d", RetValue ); + printf( "%d (%d)", RetValue, sat_solver_nconflicts(p) ); uSet = (1 << 0) | (3 << 2) | (1 << 6); RetValue = If_ManSatCheckXY( p, nLutSize, pTruth, nVars, uSet, &uBound, &uFree, vLits ); - printf( "%d", RetValue ); + printf( "%d (%d)", RetValue, sat_solver_nconflicts(p) ); uSet = (1 << 0) | (1 << 2) | (3 << 6); RetValue = If_ManSatCheckXY( p, nLutSize, pTruth, nVars, uSet, &uBound, &uFree, vLits ); - printf( "%d", RetValue ); + printf( "%d (%d)", RetValue, sat_solver_nconflicts(p) ); uSet = (3 << 0) | (1 << 4) | (1 << 6); RetValue = If_ManSatCheckXY( p, nLutSize, pTruth, nVars, uSet, &uBound, &uFree, vLits ); - printf( "%d", RetValue ); + printf( "%d (%d)", RetValue, sat_solver_nconflicts(p) ); uSet = (1 << 0) | (3 << 4) | (1 << 6); RetValue = If_ManSatCheckXY( p, nLutSize, pTruth, nVars, uSet, &uBound, &uFree, vLits ); - printf( "%d", RetValue ); + printf( "%d (%d)", RetValue, sat_solver_nconflicts(p) ); uSet = (1 << 0) | (1 << 4) | (3 << 6); RetValue = If_ManSatCheckXY( p, nLutSize, pTruth, nVars, uSet, &uBound, &uFree, vLits ); - printf( "%d", RetValue ); + printf( "%d (%d)", RetValue, sat_solver_nconflicts(p) ); uSet = (3 << 2) | (1 << 4) | (1 << 6); RetValue = If_ManSatCheckXY( p, nLutSize, pTruth, nVars, uSet, &uBound, &uFree, vLits ); - printf( "%d", RetValue ); + printf( "%d (%d)", RetValue, sat_solver_nconflicts(p) ); uSet = (1 << 2) | (3 << 4) | (1 << 6); RetValue = If_ManSatCheckXY( p, nLutSize, pTruth, nVars, uSet, &uBound, &uFree, vLits ); - printf( "%d", RetValue ); + printf( "%d (%d)", RetValue, sat_solver_nconflicts(p) ); uSet = (1 << 2) | (1 << 4) | (3 << 6); RetValue = If_ManSatCheckXY( p, nLutSize, pTruth, nVars, uSet, &uBound, &uFree, vLits ); - printf( "%d", RetValue ); + printf( "%d (%d)", RetValue, sat_solver_nconflicts(p) ); printf( "\n" ); |