diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-28 21:06:21 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-28 21:06:21 -0800 |
commit | 3d6eac52abb1fd05a0c954f00dd5b8b855765f6e (patch) | |
tree | 87ffc62a7e9ea895d4e2915ef5c7a79117f31502 /src/map/if/ifSat.c | |
parent | de48fd79992a5218c18da8dca62869b865a62f0e (diff) | |
download | abc-3d6eac52abb1fd05a0c954f00dd5b8b855765f6e.tar.gz abc-3d6eac52abb1fd05a0c954f00dd5b8b855765f6e.tar.bz2 abc-3d6eac52abb1fd05a0c954f00dd5b8b855765f6e.zip |
Changes to LUT mappers.
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" ); |