Matches in ISWC2014 Benchmark for { ?s ?p 72.00000000000001. }
- 378490 cpu_core_0 "72.00000000000001".
- 378491 cpu_core_0 "72.00000000000001".
- 378562 cpu_core_0 "72.00000000000001".
- 378847 cpu_core_0 "72.00000000000001".
- 378868 cpu_core_0 "72.00000000000001".
- 379157 cpu_core_0 "72.00000000000001".
- 379262 cpu_core_0 "72.00000000000001".
- 379530 cpu_core_0 "72.00000000000001".
- 379753 cpu_core_0 "72.00000000000001".
- 380006 cpu_core_0 "72.00000000000001".
- 380196 cpu_core_0 "72.00000000000001".
- 380783 cpu_core_0 "72.00000000000001".
- 381035 cpu_core_0 "72.00000000000001".
- 381583 cpu_core_0 "72.00000000000001".
- 381749 cpu_core_0 "72.00000000000001".
- 381928 cpu_core_0 "72.00000000000001".
- 382962 cpu_core_0 "72.00000000000001".
- 383947 cpu_core_0 "72.00000000000001".
- 384224 cpu_core_0 "72.00000000000001".
- 384919 cpu_core_0 "72.00000000000001".
- 385075 cpu_core_0 "72.00000000000001".
- 385076 cpu_core_0 "72.00000000000001".
- 385157 cpu_core_0 "72.00000000000001".
- 385544 cpu_core_0 "72.00000000000001".
- 385978 cpu_core_0 "72.00000000000001".
- 386715 cpu_core_0 "72.00000000000001".
- 386784 cpu_core_0 "72.00000000000001".
- 386855 cpu_core_0 "72.00000000000001".
- 387047 cpu_core_0 "72.00000000000001".
- 387106 cpu_core_0 "72.00000000000001".
- 387235 cpu_core_0 "72.00000000000001".
- 387578 cpu_core_0 "72.00000000000001".
- 387596 cpu_core_0 "72.00000000000001".
- 387727 cpu_core_0 "72.00000000000001".
- 387730 cpu_core_0 "72.00000000000001".
- 387797 cpu_core_0 "72.00000000000001".
- 387866 cpu_core_0 "72.00000000000001".
- 388070 cpu_core_0 "72.00000000000001".
- 388186 cpu_core_0 "72.00000000000001".
- 388890 cpu_core_0 "72.00000000000001".
- 389215 cpu_core_0 "72.00000000000001".
- 389246 cpu_core_0 "72.00000000000001".
- 389354 cpu_core_0 "72.00000000000001".
- 389490 cpu_core_0 "72.00000000000001".
- 389778 cpu_core_0 "72.00000000000001".
- 390002 cpu_core_0 "72.00000000000001".
- 390003 cpu_core_0 "72.00000000000001".
- 390087 cpu_core_0 "72.00000000000001".
- 390386 cpu_core_0 "72.00000000000001".
- 390448 cpu_core_0 "72.00000000000001".
- 390517 cpu_core_0 "72.00000000000001".
- 390683 cpu_core_0 "72.00000000000001".
- 390700 cpu_core_0 "72.00000000000001".
- 391339 cpu_core_0 "72.00000000000001".
- 391422 cpu_core_0 "72.00000000000001".
- 391862 cpu_core_0 "72.00000000000001".
- 391889 cpu_core_0 "72.00000000000001".
- 392172 cpu_core_0 "72.00000000000001".
- 392283 cpu_core_0 "72.00000000000001".
- 392735 cpu_core_0 "72.00000000000001".
- 392737 cpu_core_0 "72.00000000000001".
- 392803 cpu_core_0 "72.00000000000001".
- 392906 cpu_core_0 "72.00000000000001".
- 393037 cpu_core_0 "72.00000000000001".
- 393073 cpu_core_0 "72.00000000000001".
- 393456 cpu_core_0 "72.00000000000001".
- 393559 cpu_core_0 "72.00000000000001".
- 394340 cpu_core_0 "72.00000000000001".
- 394553 cpu_core_0 "72.00000000000001".
- 394879 cpu_core_0 "72.00000000000001".
- 395207 cpu_core_0 "72.00000000000001".
- 395333 cpu_core_0 "72.00000000000001".
- 395349 cpu_core_0 "72.00000000000001".
- 396147 cpu_core_0 "72.00000000000001".
- 396361 cpu_core_0 "72.00000000000001".
- 396845 cpu_core_0 "72.00000000000001".
- 397246 cpu_core_0 "72.00000000000001".
- 397293 cpu_core_0 "72.00000000000001".
- 397473 cpu_core_0 "72.00000000000001".
- 397679 cpu_core_0 "72.00000000000001".
- 398109 cpu_core_0 "72.00000000000001".
- 398207 cpu_core_0 "72.00000000000001".
- 398737 cpu_core_0 "72.00000000000001".
- 398802 cpu_core_0 "72.00000000000001".
- 398880 cpu_core_0 "72.00000000000001".
- 398940 cpu_core_0 "72.00000000000001".
- 399034 cpu_core_0 "72.00000000000001".
- 399413 cpu_core_0 "72.00000000000001".
- 404497 cpu_core_0 "72.00000000000001".
- 407623 cpu_core_0 "72.00000000000001".
- 407853 cpu_core_0 "72.00000000000001".
- 408162 cpu_core_0 "72.00000000000001".
- 408163 cpu_core_0 "72.00000000000001".
- 408203 cpu_core_0 "72.00000000000001".
- 408206 cpu_core_0 "72.00000000000001".
- 408276 cpu_core_0 "72.00000000000001".
- 408474 cpu_core_0 "72.00000000000001".
- 408497 cpu_core_0 "72.00000000000001".
- 408717 cpu_core_0 "72.00000000000001".
- 408722 cpu_core_0 "72.00000000000001".