### Table 2 Real-world problems.

"... In PAGE 9: ... These problems represent (a) scheduling and bounded model checking for timed automata, (b) verification of hardware models, including a load-store unit and an out-of-order execution unit. Consider Table2 : we compare TSAT++ (full IS(2) preprocessing, prime implicants reduction and detection of the smallest reason for the post-office problem and early-pruning plus smallest reason for the others), SEP without conjunction matrix and MathSAT, on the biggest problems SEP could tackle, found in either category. In category (b) variables are restricted to take integer values, and MathSAT has been excluded from the comparison.... ..."

### Table 4. Classi cation numbers of the real-world problems

2004

"... In PAGE 17: ... But notice that even this data set is not yet a complete practical scenario. The real-world instances are described in Table4 . Notice that two lines, which shall be synchronized to a frequency of T 2 are synchronized explicitly at Table 4.... ..."

Cited by 2

### Table 1. Average results for real-world problems.

2003

"... In PAGE 5: ... For all problems the domain size was equal to 44. The results for the tests are depicted in Table1 . Due to space-re- strictions the results for MAC-2001 have been omitted.... ..."

Cited by 1

### Table 4. Average results for real-world problem RLFAP 5

2004

Cited by 2

### Table 5. Average results for real-world problem RLFAP 11

2004

Cited by 2

### Table 6. Average results for real-world problem GRAPH 14

2004

Cited by 2

### Table 5: Results ($profit - cost) on Two Real-World Problems that are Biased

"... In PAGE 9: ... The detail of each dataset can be found in [Fan and Davidson, 2006]. Re- sults with various methods proposed in this paper are summarized in Table5 . Similar to earlier results with simulated bias, the advantage of using the ensemble to improve a single model is clearly demonstrated with an increase in total profits from 20% to 30%.... ..."

### Table 2: Number of nonnull weights w, generalization ability g and average CPU time t for the neural networks solving four real-world problems.

Cited by 1