Matches in ISWC2014 Benchmark for { ?s ?p 72.00000000000001. }
- 450131 cpu_core_0 "72.00000000000001".
- 450343 cpu_core_0 "72.00000000000001".
- 450571 cpu_core_0 "72.00000000000001".
- 450845 cpu_core_0 "72.00000000000001".
- 450857 cpu_core_0 "72.00000000000001".
- 450938 cpu_core_0 "72.00000000000001".
- 450974 cpu_core_0 "72.00000000000001".
- 450999 cpu_core_0 "72.00000000000001".
- 451160 cpu_core_0 "72.00000000000001".
- 451374 cpu_core_0 "72.00000000000001".
- 452367 cpu_core_0 "72.00000000000001".
- 452422 cpu_core_0 "72.00000000000001".
- 452475 cpu_core_0 "72.00000000000001".
- 452616 cpu_core_0 "72.00000000000001".
- 452699 cpu_core_0 "72.00000000000001".
- 453051 cpu_core_0 "72.00000000000001".
- 453595 cpu_core_0 "72.00000000000001".
- 453696 cpu_core_0 "72.00000000000001".
- 453962 cpu_core_0 "72.00000000000001".
- 454091 cpu_core_0 "72.00000000000001".
- 454162 cpu_core_0 "72.00000000000001".
- 454198 cpu_core_0 "72.00000000000001".
- 454422 cpu_core_0 "72.00000000000001".
- 454472 cpu_core_0 "72.00000000000001".
- 454622 cpu_core_0 "72.00000000000001".
- 454630 cpu_core_0 "72.00000000000001".
- 454635 cpu_core_0 "72.00000000000001".
- 454665 cpu_core_0 "72.00000000000001".
- 454962 cpu_core_0 "72.00000000000001".
- 455100 cpu_core_0 "72.00000000000001".
- 455107 cpu_core_0 "72.00000000000001".
- 455236 cpu_core_0 "72.00000000000001".
- 455272 cpu_core_0 "72.00000000000001".
- 455352 cpu_core_0 "72.00000000000001".
- 455389 cpu_core_0 "72.00000000000001".
- 455413 cpu_core_0 "72.00000000000001".
- 455577 cpu_core_0 "72.00000000000001".
- 455707 cpu_core_0 "72.00000000000001".
- 456247 cpu_core_0 "72.00000000000001".
- 456263 cpu_core_0 "72.00000000000001".
- 456381 cpu_core_0 "72.00000000000001".
- 456674 cpu_core_0 "72.00000000000001".
- 456719 cpu_core_0 "72.00000000000001".
- 456851 cpu_core_0 "72.00000000000001".
- 457420 cpu_core_0 "72.00000000000001".
- 457881 cpu_core_0 "72.00000000000001".
- 458064 cpu_core_0 "72.00000000000001".
- 458296 cpu_core_0 "72.00000000000001".
- 458395 cpu_core_0 "72.00000000000001".
- 458457 cpu_core_0 "72.00000000000001".
- 458523 cpu_core_0 "72.00000000000001".
- 458664 cpu_core_0 "72.00000000000001".
- 458730 cpu_core_0 "72.00000000000001".
- 458837 cpu_core_0 "72.00000000000001".
- 459306 cpu_core_0 "72.00000000000001".
- 460066 cpu_core_0 "72.00000000000001".
- 460266 cpu_core_0 "72.00000000000001".
- 460331 cpu_core_0 "72.00000000000001".
- 460646 cpu_core_0 "72.00000000000001".
- 460804 cpu_core_0 "72.00000000000001".
- 460971 cpu_core_0 "72.00000000000001".
- 461424 cpu_core_0 "72.00000000000001".
- 462205 cpu_core_0 "72.00000000000001".
- 462500 cpu_core_0 "72.00000000000001".
- 462600 cpu_core_0 "72.00000000000001".
- 462921 cpu_core_0 "72.00000000000001".
- 463115 cpu_core_0 "72.00000000000001".
- 463159 cpu_core_0 "72.00000000000001".
- 463213 cpu_core_0 "72.00000000000001".
- 463273 cpu_core_0 "72.00000000000001".
- 463629 cpu_core_0 "72.00000000000001".
- 463693 cpu_core_0 "72.00000000000001".
- 463715 cpu_core_0 "72.00000000000001".
- 463839 cpu_core_0 "72.00000000000001".
- 463868 cpu_core_0 "72.00000000000001".
- 464224 cpu_core_0 "72.00000000000001".
- 464271 cpu_core_0 "72.00000000000001".
- 464914 cpu_core_0 "72.00000000000001".
- 465126 cpu_core_0 "72.00000000000001".
- 465421 cpu_core_0 "72.00000000000001".
- 465508 cpu_core_0 "72.00000000000001".
- 466579 cpu_core_0 "72.00000000000001".
- 466590 cpu_core_0 "72.00000000000001".
- 466697 cpu_core_0 "72.00000000000001".
- 466986 cpu_core_0 "72.00000000000001".
- 467258 cpu_core_0 "72.00000000000001".
- 467885 cpu_core_0 "72.00000000000001".
- 467988 cpu_core_0 "72.00000000000001".
- 468005 cpu_core_0 "72.00000000000001".
- 468024 cpu_core_0 "72.00000000000001".
- 468269 cpu_core_0 "72.00000000000001".
- 468291 cpu_core_0 "72.00000000000001".
- 468622 cpu_core_0 "72.00000000000001".
- 468895 cpu_core_0 "72.00000000000001".
- 469139 cpu_core_0 "72.00000000000001".
- 469842 cpu_core_0 "72.00000000000001".
- 470192 cpu_core_0 "72.00000000000001".
- 470885 cpu_core_0 "72.00000000000001".
- 470957 cpu_core_0 "72.00000000000001".
- 471340 cpu_core_0 "72.00000000000001".