Problem

n

m

used

n.bind

p.bind

m1

m2

Common

25fv47

1571

821

772

540

0.987

532

573

333

80bau3b

9799

2262

2262

1294

0.997

1427

2227

1392

addlittle

97

56

56

44

1

49

55

48

afiro

51

27

27

19

1

16

25

14

agg

163

488

488

67

1

339

465

316

agg2

302

516

506

84

1

342

488

324

agg3

302

516

516

89

1

371

512

367

bandm

472

305

305

245

1

129

281

105

beaconfd

262

173

122

106

1

12

110

0

blend

83

74

74

59

1

74

38

38

bnl1

1175

643

607

367

1

560

220

173

boeing1

384

350

336

239

1

237

335

236

boeing2

143

166

129

128

1

102

27

0

bore3d

315

233

232

101

1

109

227

104

brandy

249

220

220

166

1

117

197

94

capri

353

271

187

142

1

177

37

27

cycle

2871

1903

1903

1204

1

1468

1202

767

czprob

3523

929

901

875

0.996

598

815

512

d2q06c

5167

2171

2145

1388

0.987

2056

1721

1632

d6cube

6184

415

414

409

1

271

181

38

degen2

534

444

440

331

1

256

438

254

degen3

1818

1503

1503

1044

1

1441

554

492

dfl001

12,230

6071

5791

5188

1

5257

4174

3640

e226

282

223

203

123

1

172

112

81

etamacro

688

400

369

308

0.997

192

280

103

fffff800

854

524

524

330

1

448

426

350

finnis

614

497

406

130

0.992

365

120

79

fit1d

1026

24

24

24

1

23

6

5

fit1p

1677

627

499

364

0.997

412

382

295

fit2d

10,500

25

25

25

1

17

18

10

fit2p

13,525

3000

3000

1500

1

2250

2462

1712

forplan

421

161

148

142

1

125

81

58

ganges

1681

1309

1078

443

1

776

385

83

gfrd_pnc

1092

616

616

548

1

229

537

150

greenbea

5402

2392

2392

2199

1

1906

1132

646

greenbeb

5402

2392

2392

2199

1

1778

2211

1597

israel

142

174

174

70

1

126

173

125

kb2

41

43

43

9

1

17

34

8

lotfi

308

153

143

111

1

126

100

83

maros_r7

9408

3136

2863

984

1

2775

922

834

moodszk1

1620

687

687

673

1

539

381

233

nesm

2923

662

611

120

1

65

563

17

pilot

3652

1441

1159

1152

1

1056

451

348

recipe

204

91

91

40

1

79

58

46

sc105

103

105

105

98

1

78

74

47

sc205

203

205

205

198

1

124

102

21

sc50a

48

50

50

47

1

48

26

24

sc50b

48

50

50

50

1

26

33

9

scagr7

140

129

112

102

1

87

79

54

scfxm1

457

330

330

185

0.984

286

116

72

scfxm2

914

660

660

375

1

329

603

272

scfxm3

1371

990

990

565

1

896

612

518

scorpion

358

388

381

312

1

355

115

89

scsd1

760

77

77

69

1

75

39

37

scsd6

1350

147

147

140

1

119

35

7

scsd8

2750

397

397

391

1

178

279

60

sctap1

480

300

166

146

1

136

39

9

sctap2

1880

1090

930

569

1

371

916

357

sctap3

2480

1480

1020

798

1

714

888

582

seba

1028

515

514

505

0.998

75

514

75

share1b

225

117

117

117

1

116

80

79

share2b

79

96

96

59

1

47

86

37

shell

1777

536

536

534

1

393

372

229

ship04l

2118

402

397

139

1

374

256

233

ship04s

1458

402

376

139

1

229

273

126

ship08l

4283

778

778

365

1

447

707

376

ship08s

2387

778

764

365

1

736

515

487

ship12l

5427

1151

1096

498

1

752

859

515

ship12s

2763

1151

909

498

1

792

443

326

sierra

2036

1227

1221

566

0.993

587

1057

423

stair

467

356

338

89

1

136

277

75

standmps

1075

467

464

352

1

208

259

3

standata

1075

359

356

352

1

208

233

85

standgub

1184

361

361

354

1

210

251

100

stocfor1

111

117

110

74

1

88

82

60

tuff

587

333

333

300

1

259

97

23

vtp.base

203

198

198

139

1

87

142

31

wood1p

2594

244

244

242

1

201

159

116

woodw

8405

1098

1064

1064

1

673

528

137