### Table 2.1: Large Range Wireless Systems in Comparison

### Table 2, we propose a list of general objectives that cover a large range of operational analysis requirements.

"... In PAGE 7: ... Table2... ..."

### Table 3.5: Range errors for large and small bubbles when = 0 and = 0 .

### Table VI: Average solution times in milliseconds, a8 a9a12a11a10a13a17a14a17a16 a11 , for large range instances (Intel Pentium III, 933 MHz).

2005

Cited by 11

### Table VII: Average solution times in milliseconds, a3a30a29a31a14a10a13a17a14a17a16 a11 , for large range instances (Intel Pentium III, 933 MHz).

2005

Cited by 11

### Table VIII: Average solution times in milliseconds, a0a2a1a9a3a10a5a11a1 , for large range instances (Intel Pentium III, 933 MHz).

2005

Cited by 11

### Table 4: Performance for filters with different angular ranges of the bulldozer (for a fixed large c)

1995

### Table 6.6: Data points for bu er utilization vs. bu er size in the range of large Mbu er size (64pkts 8192pkts).

### Table 7: UEQ Division Results 7.2.1 Number of Proofs as a Function of the Time Limit Figure 5 shows the number of proofs that were achieved for time limits up to 300 seconds, by each of the systems. The plot shows a stable system ranking for a large range of time limits, with no changes after 200 seconds. Gandalf is the only system which starts out slowly. 29

1998

"... In PAGE 29: ... ATP System HEQ PEQ MEQ /20 /8 /12 Gandalf 13 7 6 SPASS 11 4 7 Otter 15 5 10 SCOTT 13 5 8 SETHEO 4 1 3 TGTP 5 1 4 I-THOP 4 1 3 Allpaths 1 1 0 Special Hardware Division OCTOPUS 5 1 4 Table 6: HEQ Category Results 7.2 The UEQ Division Table7 summarizes the results in the UEQ Division. In contrast to CASC-13, where Otter clearly dominated, CASC-14 apos;s results show much less di erence between the top performing systems.... ..."

Cited by 26

### Table 7: UEQ Division Results 7.2.1 Number of Proofs as a Function of the Time Limit Figure 5 shows the number of proofs that were achieved for time limits up to 300 seconds, by each of the systems. The plot shows a stable system ranking for a large range of time limits, with no changes after 200 seconds. Gandalf is the only system which starts out slowly. 29

1998

"... In PAGE 29: ... ATP System HEQ PEQ MEQ /20 /8 /12 Gandalf 13 7 6 SPASS 11 4 7 Otter 15 5 10 SCOTT 13 5 8 SETHEO 4 1 3 TGTP 5 1 4 I-THOP 4 1 3 Allpaths 1 1 0 Special Hardware Division OCTOPUS 5 1 4 Table 6: HEQ Category Results 7.2 The UEQ Division Table7 summarizes the results in the UEQ Division. In contrast to CASC-13, where Otter clearly dominated, CASC-14 apos;s results show much less di erence between the top performing systems.... ..."

Cited by 26