|
ArrayPb
(86,1%) AtLeastPB (86,4%) ConflictArray (97,9%) ConflictArrayCard (23,5%) ConflictArrayClause (100%) ConflictMap (0%) MapPb (0%) MaxWatchPb (75,4%) MinWatchCardPB (71,2%) MinWatchPb (89,1%) MixableCBClausePB (86,1%) PBSolver (86,3%) PBSolverCard (66,7%) PBSolverClause (66,7%) PBSolverWithImpliedClause (12,5%) PuebloMinWatchPb (73,2%) WLClausePB (89,3%) WatchPb (64,8%) |