Matches in ISWC2014 Benchmark for { ?s ?p 72.00000000000001. }
- 313375 cpu_core_0 "72.00000000000001".
- 313688 cpu_core_0 "72.00000000000001".
- 315412 cpu_core_0 "72.00000000000001".
- 322154 cpu_core_0 "72.00000000000001".
- 323483 cpu_core_0 "72.00000000000001".
- 325392 cpu_core_0 "72.00000000000001".
- 325522 cpu_core_0 "72.00000000000001".
- 329149 cpu_core_0 "72.00000000000001".
- 332218 cpu_core_0 "72.00000000000001".
- 335314 cpu_core_0 "72.00000000000001".
- 337537 cpu_core_0 "72.00000000000001".
- 338051 cpu_core_0 "72.00000000000001".
- 338374 cpu_core_0 "72.00000000000001".
- 339396 cpu_core_0 "72.00000000000001".
- 344541 cpu_core_0 "72.00000000000001".
- 346168 cpu_core_0 "72.00000000000001".
- 346479 cpu_core_0 "72.00000000000001".
- 347541 cpu_core_0 "72.00000000000001".
- 349407 cpu_core_0 "72.00000000000001".
- 350838 cpu_core_0 "72.00000000000001".
- 354120 cpu_core_0 "72.00000000000001".
- 355639 cpu_core_0 "72.00000000000001".
- 355954 cpu_core_0 "72.00000000000001".
- 356285 cpu_core_0 "72.00000000000001".
- 357464 cpu_core_0 "72.00000000000001".
- 357621 cpu_core_0 "72.00000000000001".
- 364593 cpu_core_0 "72.00000000000001".
- 364650 cpu_core_0 "72.00000000000001".
- 364714 cpu_core_0 "72.00000000000001".
- 364833 cpu_core_0 "72.00000000000001".
- 364910 cpu_core_0 "72.00000000000001".
- 364981 cpu_core_0 "72.00000000000001".
- 365188 cpu_core_0 "72.00000000000001".
- 365744 cpu_core_0 "72.00000000000001".
- 366889 cpu_core_0 "72.00000000000001".
- 366895 cpu_core_0 "72.00000000000001".
- 366937 cpu_core_0 "72.00000000000001".
- 367105 cpu_core_0 "72.00000000000001".
- 367106 cpu_core_0 "72.00000000000001".
- 367348 cpu_core_0 "72.00000000000001".
- 367402 cpu_core_0 "72.00000000000001".
- 367671 cpu_core_0 "72.00000000000001".
- 367685 cpu_core_0 "72.00000000000001".
- 367708 cpu_core_0 "72.00000000000001".
- 368089 cpu_core_0 "72.00000000000001".
- 368116 cpu_core_0 "72.00000000000001".
- 368506 cpu_core_0 "72.00000000000001".
- 368530 cpu_core_0 "72.00000000000001".
- 368755 cpu_core_0 "72.00000000000001".
- 368931 cpu_core_0 "72.00000000000001".
- 368932 cpu_core_0 "72.00000000000001".
- 369032 cpu_core_0 "72.00000000000001".
- 369074 cpu_core_0 "72.00000000000001".
- 369759 cpu_core_0 "72.00000000000001".
- 369768 cpu_core_0 "72.00000000000001".
- 370085 cpu_core_0 "72.00000000000001".
- 370166 cpu_core_0 "72.00000000000001".
- 370403 cpu_core_0 "72.00000000000001".
- 370717 cpu_core_0 "72.00000000000001".
- 371216 cpu_core_0 "72.00000000000001".
- 371387 cpu_core_0 "72.00000000000001".
- 371414 cpu_core_0 "72.00000000000001".
- 371564 cpu_core_0 "72.00000000000001".
- 371589 cpu_core_0 "72.00000000000001".
- 371595 cpu_core_0 "72.00000000000001".
- 371838 cpu_core_0 "72.00000000000001".
- 372058 cpu_core_0 "72.00000000000001".
- 372104 cpu_core_0 "72.00000000000001".
- 372217 cpu_core_0 "72.00000000000001".
- 372804 cpu_core_0 "72.00000000000001".
- 372869 cpu_core_0 "72.00000000000001".
- 373052 cpu_core_0 "72.00000000000001".
- 373186 cpu_core_0 "72.00000000000001".
- 373307 cpu_core_0 "72.00000000000001".
- 373362 cpu_core_0 "72.00000000000001".
- 373724 cpu_core_0 "72.00000000000001".
- 373759 cpu_core_0 "72.00000000000001".
- 374402 cpu_core_0 "72.00000000000001".
- 374518 cpu_core_0 "72.00000000000001".
- 374833 cpu_core_0 "72.00000000000001".
- 375128 cpu_core_0 "72.00000000000001".
- 375510 cpu_core_0 "72.00000000000001".
- 375511 cpu_core_0 "72.00000000000001".
- 375512 cpu_core_0 "72.00000000000001".
- 375648 cpu_core_0 "72.00000000000001".
- 375702 cpu_core_0 "72.00000000000001".
- 375827 cpu_core_0 "72.00000000000001".
- 376159 cpu_core_0 "72.00000000000001".
- 376166 cpu_core_0 "72.00000000000001".
- 376352 cpu_core_0 "72.00000000000001".
- 376714 cpu_core_0 "72.00000000000001".
- 376740 cpu_core_0 "72.00000000000001".
- 377149 cpu_core_0 "72.00000000000001".
- 377321 cpu_core_0 "72.00000000000001".
- 377720 cpu_core_0 "72.00000000000001".
- 377881 cpu_core_0 "72.00000000000001".
- 378032 cpu_core_0 "72.00000000000001".
- 378065 cpu_core_0 "72.00000000000001".
- 378204 cpu_core_0 "72.00000000000001".
- 378463 cpu_core_0 "72.00000000000001".