| AtLeastPB
AtLeastPB
|
0.6041667
(60,4%)
|
| ConflictMap
ConflictMap
|
0.8399123
(84%)
|
| ConflictMapClause
ConflictMapClause
|
0.9310345
(93,1%)
|
| MapPb
MapPb
|
0.82312924
(82,3%)
|
| MaxWatchPb
MaxWatchPb
|
0.7253521
(72,5%)
|
| MinWatchCardPB
MinWatchCardPB
|
0.6
(60%)
|
| MinWatchPb
MinWatchPb
|
0.7619048
(76,2%)
|
| MixableCBClausePB
MixableCBClausePB
|
0.55263156
(55,3%)
|
| PBSolver
PBSolver
|
0.7903226
(79%)
|
| PBSolverClause
PBSolverClause
|
0.6666667
(66,7%)
|
| PBSolverWithImpliedClause
PBSolverWithImpliedClause
|
0.1
(10%)
|
| PuebloMinWatchPb
PuebloMinWatchPb
|
0.7241379
(72,4%)
|
| WLClausePB
WLClausePB
|
0.6333333
(63,3%)
|
| WatchPb
WatchPb
|
0.6236934
(62,4%)
|
| WatchPbTest
WatchPbTest
|
0.96666664
(96,7%)
|