| Class | Coverage |
| JWOrder JWOrder |
0.925
(92,5%) |
| MyOrder MyOrder |
0.90909094
(90,9%) |
| PureOrder PureOrder |
0.84615386
(84,6%) |
| ValuedLit ValuedLit |
0.33333334
(33,3%) |
| VarOrder VarOrder |
0.6722689
(67,2%) |
| VarOrderHeap VarOrderHeap |
0.71590906
(71,6%) |
| VarOrderHeapObjective VarOrderHeapObjective |
0.38235295
(38,2%) |
| VarOrderHeapRsat VarOrderHeapRsat |
1.0
(100%) |