| THM_RFO_SEQ_CNF_HRN |
| T'd |
67 nodes |
381 problems |
| 0.0000 |
20 |
(29%) |
246 |
(64%) |
| 0.0625 |
38 |
(56%) |
325 |
(85%) |
| 0.1250 |
55 |
(82%) |
349 |
(91%) |
| 0.2500 |
66 |
(98%) |
380 |
(99%) |
| 0.5000 |
67 |
(100%) |
381 |
(100%) |
|
| SAT_RFO_CNF |
| T'd |
38 nodes |
88 problems |
| 0.0000 |
14 |
(36%) |
41 |
(46%) |
| 0.0625 |
14 |
(36%) |
41 |
(46%) |
| 0.1250 |
25 |
(65%) |
56 |
(63%) |
| 0.2500 |
30 |
(78%) |
68 |
(77%) |
| 0.5000 |
30 |
(78%) |
68 |
(77%) |
|
