Matches in ISWC2014 Benchmark for { ?s ?p 72.00000000000001. }
- 471751 cpu_core_0 "72.00000000000001".
- 472099 cpu_core_0 "72.00000000000001".
- 472411 cpu_core_0 "72.00000000000001".
- 472768 cpu_core_0 "72.00000000000001".
- 472838 cpu_core_0 "72.00000000000001".
- 473112 cpu_core_0 "72.00000000000001".
- 473266 cpu_core_0 "72.00000000000001".
- 473267 cpu_core_0 "72.00000000000001".
- 473847 cpu_core_0 "72.00000000000001".
- 474179 cpu_core_0 "72.00000000000001".
- 474183 cpu_core_0 "72.00000000000001".
- 474261 cpu_core_0 "72.00000000000001".
- 474319 cpu_core_0 "72.00000000000001".
- 474452 cpu_core_0 "72.00000000000001".
- 474851 cpu_core_0 "72.00000000000001".
- 474881 cpu_core_0 "72.00000000000001".
- 475447 cpu_core_0 "72.00000000000001".
- 475551 cpu_core_0 "72.00000000000001".
- 475707 cpu_core_0 "72.00000000000001".
- 475708 cpu_core_0 "72.00000000000001".
- 475712 cpu_core_0 "72.00000000000001".
- 475956 cpu_core_0 "72.00000000000001".
- 476063 cpu_core_0 "72.00000000000001".
- 476134 cpu_core_0 "72.00000000000001".
- 476390 cpu_core_0 "72.00000000000001".
- 476546 cpu_core_0 "72.00000000000001".
- 476888 cpu_core_0 "72.00000000000001".
- 477295 cpu_core_0 "72.00000000000001".
- 477402 cpu_core_0 "72.00000000000001".
- 477853 cpu_core_0 "72.00000000000001".
- 477862 cpu_core_0 "72.00000000000001".
- 478425 cpu_core_0 "72.00000000000001".
- 478686 cpu_core_0 "72.00000000000001".
- 478746 cpu_core_0 "72.00000000000001".
- 479374 cpu_core_0 "72.00000000000001".
- 479840 cpu_core_0 "72.00000000000001".
- 480362 cpu_core_0 "72.00000000000001".
- 480370 cpu_core_0 "72.00000000000001".
- 480483 cpu_core_0 "72.00000000000001".
- 480492 cpu_core_0 "72.00000000000001".
- 480606 cpu_core_0 "72.00000000000001".
- 481114 cpu_core_0 "72.00000000000001".
- 481360 cpu_core_0 "72.00000000000001".
- 481491 cpu_core_0 "72.00000000000001".
- 481802 cpu_core_0 "72.00000000000001".
- 481853 cpu_core_0 "72.00000000000001".
- 482629 cpu_core_0 "72.00000000000001".
- 483436 cpu_core_0 "72.00000000000001".
- 483504 cpu_core_0 "72.00000000000001".
- 483578 cpu_core_0 "72.00000000000001".
- 483741 cpu_core_0 "72.00000000000001".
- 483812 cpu_core_0 "72.00000000000001".
- 483934 cpu_core_0 "72.00000000000001".
- 484134 cpu_core_0 "72.00000000000001".
- 484688 cpu_core_0 "72.00000000000001".
- 484925 cpu_core_0 "72.00000000000001".
- 485309 cpu_core_0 "72.00000000000001".
- 485320 cpu_core_0 "72.00000000000001".
- 485532 cpu_core_0 "72.00000000000001".
- 486161 cpu_core_0 "72.00000000000001".
- 486370 cpu_core_0 "72.00000000000001".
- 486497 cpu_core_0 "72.00000000000001".
- 486941 cpu_core_0 "72.00000000000001".
- 487022 cpu_core_0 "72.00000000000001".
- 487380 cpu_core_0 "72.00000000000001".
- 488346 cpu_core_0 "72.00000000000001".
- 488559 cpu_core_0 "72.00000000000001".
- 488603 cpu_core_0 "72.00000000000001".
- 489449 cpu_core_0 "72.00000000000001".
- 489958 cpu_core_0 "72.00000000000001".
- 489961 cpu_core_0 "72.00000000000001".
- 489991 cpu_core_0 "72.00000000000001".
- 490495 cpu_core_0 "72.00000000000001".
- 490535 cpu_core_0 "72.00000000000001".
- 491643 cpu_core_0 "72.00000000000001".
- 491693 cpu_core_0 "72.00000000000001".
- 491705 cpu_core_0 "72.00000000000001".
- 491764 cpu_core_0 "72.00000000000001".
- 492185 cpu_core_0 "72.00000000000001".
- 492630 cpu_core_0 "72.00000000000001".
- 492654 cpu_core_0 "72.00000000000001".
- 492790 cpu_core_0 "72.00000000000001".
- 492870 cpu_core_0 "72.00000000000001".
- 493207 cpu_core_0 "72.00000000000001".
- 493394 cpu_core_0 "72.00000000000001".
- 493407 cpu_core_0 "72.00000000000001".
- 493766 cpu_core_0 "72.00000000000001".
- 494073 cpu_core_0 "72.00000000000001".
- 494660 cpu_core_0 "72.00000000000001".
- 494943 cpu_core_0 "72.00000000000001".
- 494981 cpu_core_0 "72.00000000000001".
- 494991 cpu_core_0 "72.00000000000001".
- 495376 cpu_core_0 "72.00000000000001".
- 495476 cpu_core_0 "72.00000000000001".
- 495770 cpu_core_0 "72.00000000000001".
- 495991 cpu_core_0 "72.00000000000001".
- 496012 cpu_core_0 "72.00000000000001".
- 496043 cpu_core_0 "72.00000000000001".
- 496217 cpu_core_0 "72.00000000000001".
- 496460 cpu_core_0 "72.00000000000001".