Matches in ISWC2014 Benchmark for { ?s ?p 60.00000000000001. }
- 413983 cpu_core_0 "60.00000000000001".
- 414517 cpu_core_0 "60.00000000000001".
- 414552 cpu_core_0 "60.00000000000001".
- 414772 cpu_core_0 "60.00000000000001".
- 414782 cpu_core_0 "60.00000000000001".
- 414809 cpu_core_0 "60.00000000000001".
- 414818 cpu_core_0 "60.00000000000001".
- 415380 cpu_core_0 "60.00000000000001".
- 415549 cpu_core_0 "60.00000000000001".
- 415582 cpu_core_0 "60.00000000000001".
- 416030 cpu_core_0 "60.00000000000001".
- 416208 cpu_core_0 "60.00000000000001".
- 416414 cpu_core_0 "60.00000000000001".
- 416622 cpu_core_0 "60.00000000000001".
- 416834 cpu_core_0 "60.00000000000001".
- 416880 cpu_core_0 "60.00000000000001".
- 417194 cpu_core_0 "60.00000000000001".
- 417313 cpu_core_0 "60.00000000000001".
- 417881 cpu_core_0 "60.00000000000001".
- 418125 cpu_core_0 "60.00000000000001".
- 418195 cpu_core_0 "60.00000000000001".
- 418375 cpu_core_0 "60.00000000000001".
- 418639 cpu_core_0 "60.00000000000001".
- 418669 cpu_core_0 "60.00000000000001".
- 418679 cpu_core_0 "60.00000000000001".
- 418977 cpu_core_0 "60.00000000000001".
- 419130 cpu_core_0 "60.00000000000001".
- 419300 cpu_core_0 "60.00000000000001".
- 419611 cpu_core_0 "60.00000000000001".
- 419805 cpu_core_0 "60.00000000000001".
- 419876 cpu_core_0 "60.00000000000001".
- 419968 cpu_core_0 "60.00000000000001".
- 420334 cpu_core_0 "60.00000000000001".
- 420467 cpu_core_0 "60.00000000000001".
- 420513 cpu_core_0 "60.00000000000001".
- 421036 cpu_core_0 "60.00000000000001".
- 421131 cpu_core_0 "60.00000000000001".
- 421360 cpu_core_0 "60.00000000000001".
- 421376 cpu_core_0 "60.00000000000001".
- 421982 cpu_core_0 "60.00000000000001".
- 422192 cpu_core_0 "60.00000000000001".
- 423054 cpu_core_0 "60.00000000000001".
- 423185 cpu_core_0 "60.00000000000001".
- 423270 cpu_core_0 "60.00000000000001".
- 423580 cpu_core_0 "60.00000000000001".
- 424932 cpu_core_0 "60.00000000000001".
- 424975 cpu_core_0 "60.00000000000001".
- 425093 cpu_core_0 "60.00000000000001".
- 425256 cpu_core_0 "60.00000000000001".
- 425279 cpu_core_0 "60.00000000000001".
- 425889 cpu_core_0 "60.00000000000001".
- 425907 cpu_core_0 "60.00000000000001".
- 426021 cpu_core_0 "60.00000000000001".
- 426500 cpu_core_0 "60.00000000000001".
- 426871 cpu_core_0 "60.00000000000001".
- 427607 cpu_core_0 "60.00000000000001".
- 428168 cpu_core_0 "60.00000000000001".
- 428884 cpu_core_0 "60.00000000000001".
- 429861 cpu_core_0 "60.00000000000001".
- 430263 cpu_core_0 "60.00000000000001".
- 430471 cpu_core_0 "60.00000000000001".
- 430556 cpu_core_0 "60.00000000000001".
- 430605 cpu_core_0 "60.00000000000001".
- 430711 cpu_core_0 "60.00000000000001".
- 430718 cpu_core_0 "60.00000000000001".
- 431222 cpu_core_0 "60.00000000000001".
- 431284 cpu_core_0 "60.00000000000001".
- 431335 cpu_core_0 "60.00000000000001".
- 432260 cpu_core_0 "60.00000000000001".
- 432487 cpu_core_0 "60.00000000000001".
- 432525 cpu_core_0 "60.00000000000001".
- 432798 cpu_core_0 "60.00000000000001".
- 432814 cpu_core_0 "60.00000000000001".
- 433053 cpu_core_0 "60.00000000000001".
- 433130 cpu_core_0 "60.00000000000001".
- 433177 cpu_core_0 "60.00000000000001".
- 433340 cpu_core_0 "60.00000000000001".
- 433414 cpu_core_0 "60.00000000000001".
- 433621 cpu_core_0 "60.00000000000001".
- 433662 cpu_core_0 "60.00000000000001".
- 433830 cpu_core_0 "60.00000000000001".
- 433958 cpu_core_0 "60.00000000000001".
- 434994 cpu_core_0 "60.00000000000001".
- 435112 cpu_core_0 "60.00000000000001".
- 435536 cpu_core_0 "60.00000000000001".
- 435614 cpu_core_0 "60.00000000000001".
- 435667 cpu_core_0 "60.00000000000001".
- 435698 cpu_core_0 "60.00000000000001".
- 436002 cpu_core_0 "60.00000000000001".
- 436201 cpu_core_0 "60.00000000000001".
- 436208 cpu_core_0 "60.00000000000001".
- 436323 cpu_core_0 "60.00000000000001".
- 436683 cpu_core_0 "60.00000000000001".
- 436850 cpu_core_0 "60.00000000000001".
- 437037 cpu_core_0 "60.00000000000001".
- 437242 cpu_core_0 "60.00000000000001".
- 437888 cpu_core_0 "60.00000000000001".
- 438040 cpu_core_0 "60.00000000000001".
- 438072 cpu_core_0 "60.00000000000001".
- 438110 cpu_core_0 "60.00000000000001".