| AtLeastPB
AtLeastPB
|
0.6041667
(60,4%)
|
| ConflictMap
ConflictMap
|
0.84917355
(84,9%)
|
| ConflictMapCardinality
ConflictMapCardinality
|
0.0
(0%)
|
| ConflictMapClause
ConflictMapClause
|
0.9310345
(93,1%)
|
| ConflictMapMerging
ConflictMapMerging
|
0.65217394
(65,2%)
|
| MapPb
MapPb
|
0.82312924
(82,3%)
|
| MaxWatchPb
MaxWatchPb
|
0.6971831
(69,7%)
|
| MinWatchCardPB
MinWatchCardPB
|
0.6
(60%)
|
| MinWatchPb
MinWatchPb
|
0.7582418
(75,8%)
|
| MixableCBClausePB
MixableCBClausePB
|
0.55263156
(55,3%)
|
| PBSolver
PBSolver
|
0.74242425
(74,2%)
|
| PBSolverClause
PBSolverClause
|
0.6666667
(66,7%)
|
| PBSolverMerging
PBSolverMerging
|
0.6666667
(66,7%)
|
| PBSolverWithImpliedClause
PBSolverWithImpliedClause
|
0.1
(10%)
|
| PuebloMinWatchPb
PuebloMinWatchPb
|
0.7241379
(72,4%)
|
| WLClausePB
WLClausePB
|
0.6333333
(63,3%)
|
| WatchPb
WatchPb
|
0.6062718
(60,6%)
|