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 |