| Instance | # decs | min tpd | ALl | ALcb | ALcbsr | ALlsr | HT | WL | htLS | htLS23 | WLS | WLS23 | WLS | WLS23 | |
| flat | 175-81 | 1001 | 3,33 | 1,99 | 1,10 | 2,06 | 1,88 | 1,11 | 1,02 | 1,09 | 1,00 | 4,05 | 3,35 | 1,22 | 1,01 |
| 200-82 | 29308 | 2,13 | 7,28 | 3,17 | 1,78 | 1,60 | 1,68 | 1,23 | 1,06 | 1,00 | 2,69 | 2,40 | 1,26 | 1,13 | |
| sw | 100-13 | 1816 | 0,61 | 1,69 | 1,00 | 1,84 | 1,59 | 1,18 | 1,03 | 1,20 | 1,15 | 0,78 | 0,70 | 1,28 | 1,15 |
| 100-79 | 1421 | 0,77 | 1,71 | 1,00 | 2,16 | 1,90 | 1,21 | 1,21 | 1,23 | 1,22 | 1,08 | 0,91 | 1,40 | 1,18 | |
| ais | 10 | 6380 | 3,91 | 8,39 | 3,39 | 1,47 | 1,27 | 1,88 | 1,39 | 1,00 | 1,02 | 4,74 | 4,42 | 1,21 | 1,13 |
| bmc | barrel5 | 5940 | 8,26 | 3,11 | 1,59 | 1,82 | 1,72 | 1,33 | 1,04 | 1,04 | 1,00 | 9,22 | 8,12 | 1,12 | 0,98 |
| longmult6 | 4807 | 11,53 | 6,80 | 3,03 | 1,60 | 1,51 | 1,36 | 1,13 | 1,09 | 1,00 | 14,18 | 12,42 | 1,23 | 1,08 | |
| queueinvar18 | 8680 | 3,17 | 4,46 | 2,10 | 1,46 | 1,31 | 1,27 | 1,23 | 1,06 | 1,00 | 3,63 | 3,25 | 1,15 | 1,03 | |
| cec-iscas85 | c5315_bug | 28621 | 1,56 | 1,53 | 1,04 | 1,75 | 1,71 | 1,13 | 1,01 | 1,12 | 1,00 | 1,82 | 1,51 | 1,17 | 0,97 |
| dimacs | hole9 | 6072 | 5,30 | 7,31 | 2,92 | 2,01 | 1,58 | 1,41 | 1,01 | 1,00 | 1,00 | 5,36 | 5,16 | 1,01 | 0,97 |
| ii32e5 | 1466 | 2,04 | 2,60 | 1,24 | 3,11 | 3,51 | 1,00 | 1,04 | 1,27 | 1,22 | 2,36 | 1,95 | 1,16 | 0,96 | |
| par16-4-c | 6167 | 5,30 | 7,90 | 3,44 | 1,33 | 1,21 | 1,80 | 1,22 | 1,08 | 1,00 | 6,35 | 5,46 | 1,20 | 1,03 | |
| icsst96 | 4blocksb | 6803 | 15,37 | 6,34 | 2,51 | 2,13 | 1,73 | 1,24 | 1,29 | 1,00 | 1,17 | 17,58 | 17,82 | 1,14 | 1,16 |
| ibm | bmc-ibm-3 | 2559 | 16,98 | 1,75 | 1,04 | 2,14 | 2,03 | 1,15 | 1,00 | 1,12 | 1,02 | 19,48 | 16,15 | 1,15 | 0,95 |
| planning | facts7hh,13 | 2241 | 6,87 | 2,64 | 1,33 | 2,95 | 2,64 | 1,38 | 1,42 | 1,11 | 1,00 | 9,10 | 6,70 | 1,32 | 0,98 |
| satplan-sat | bw_large,c | 10020 | 37,97 | 5,24 | 2,39 | 2,55 | 2,38 | 1,41 | 1,25 | 1,10 | 1,00 | 47,90 | 38,30 | 1,26 | 1,01 |
| satplan-unsat | bw_large,c | 3280 | 24,60 | 2,97 | 1,47 | 2,57 | 2,41 | 1,36 | 1,28 | 1,11 | 1,00 | 31,24 | 24,09 | 1,27 | 0,98 |
| sss-1.0 | dlx2_aa | 10292 | 1,02 | 5,04 | 2,22 | 1,97 | 1,66 | 1,55 | 1,00 | 1,04 | 1,02 | 1,11 | 1,03 | 1,09 | 1,01 |
| dlx2_cc_bug21 | 440 | 1,36 | 1,57 | 1,07 | 1,65 | 1,60 | 1,00 | 1,02 | 1,05 | 1,04 | 1,57 | 1,45 | 1,15 | 1,07 | |
| sss-1.0a | dlx2_cc_bug17 | 7681 | 2,81 | 2,49 | 1,28 | 1,88 | 1,69 | 1,27 | 1,10 | 1,06 | 1,00 | 3,09 | 2,74 | 1,10 | 0,98 |
| dlx2_cc_bug59 | 2588 | 2,00 | 2,12 | 1,12 | 1,90 | 1,77 | 1,14 | 1,06 | 1,05 | 1,00 | 2,21 | 1,87 | 1,11 | 0,94 | |
| sss-sat-1.0 | dlx2_cc_...bug004 | 18481 | 1,27 | 2,43 | 1,26 | 1,94 | 1,71 | 1,23 | 1,10 | 1,06 | 1,00 | 1,39 | 1,23 | 1,09 | 0,97 |
| dlx2_cc_...bug006 | 29173 | 1,95 | 3,26 | 1,58 | 2,01 | 1,73 | 1,33 | 1,11 | 1,07 | 1,00 | 2,13 | 1,91 | 1,09 | 0,98 | |
| ucsc | bf0432-079 | 1038 | 2,23 | 1,67 | 1,04 | 2,01 | 1,86 | 1,16 | 1,00 | 1,13 | 1,05 | 2,64 | 2,29 | 1,18 | 1,03 |
| ssa2670-141 | 674 | 1,31 | 1,28 | 1,00 | 1,70 | 1,57 | 1,22 | 1,06 | 1,22 | 1,17 | 1,66 | 1,47 | 1,27 | 1,12 |