Matches in ISWC2014 Benchmark for { ?s ?p 60.00000000000001. }
- 901149 cpu_core_0 "60.00000000000001".
- 901474 cpu_core_0 "60.00000000000001".
- 901894 cpu_core_0 "60.00000000000001".
- 903847 cpu_core_0 "60.00000000000001".
- 903959 cpu_core_0 "60.00000000000001".
- 904187 cpu_core_0 "60.00000000000001".
- 904477 cpu_core_0 "60.00000000000001".
- 905346 cpu_core_0 "60.00000000000001".
- 905659 cpu_core_0 "60.00000000000001".
- 906664 cpu_core_0 "60.00000000000001".
- 907717 cpu_core_0 "60.00000000000001".
- 912237 cpu_core_0 "60.00000000000001".
- 912774 cpu_core_0 "60.00000000000001".
- 912863 cpu_core_0 "60.00000000000001".
- 913181 cpu_core_0 "60.00000000000001".
- 913211 cpu_core_0 "60.00000000000001".
- 913480 cpu_core_0 "60.00000000000001".
- 915307 cpu_core_0 "60.00000000000001".
- 915779 cpu_core_0 "60.00000000000001".
- 916513 cpu_core_0 "60.00000000000001".
- 916701 cpu_core_0 "60.00000000000001".
- 916870 cpu_core_0 "60.00000000000001".
- 917111 cpu_core_0 "60.00000000000001".
- 917343 cpu_core_0 "60.00000000000001".
- 917352 cpu_core_0 "60.00000000000001".
- 917864 cpu_core_0 "60.00000000000001".
- 918227 cpu_core_0 "60.00000000000001".
- 918827 cpu_core_0 "60.00000000000001".
- 919205 cpu_core_0 "60.00000000000001".
- 919226 cpu_core_0 "60.00000000000001".
- 919523 cpu_core_0 "60.00000000000001".
- 919594 cpu_core_0 "60.00000000000001".
- 919973 cpu_core_0 "60.00000000000001".
- 920089 cpu_core_0 "60.00000000000001".
- 920284 cpu_core_0 "60.00000000000001".
- 920473 cpu_core_0 "60.00000000000001".
- 920489 cpu_core_0 "60.00000000000001".
- 920842 cpu_core_0 "60.00000000000001".
- 920909 cpu_core_0 "60.00000000000001".
- 921097 cpu_core_0 "60.00000000000001".
- 921279 cpu_core_0 "60.00000000000001".
- 921325 cpu_core_0 "60.00000000000001".
- 921330 cpu_core_0 "60.00000000000001".
- 921515 cpu_core_0 "60.00000000000001".
- 921864 cpu_core_0 "60.00000000000001".
- 924007 cpu_core_0 "60.00000000000001".
- 924183 cpu_core_0 "60.00000000000001".
- 924302 cpu_core_0 "60.00000000000001".
- 925249 cpu_core_0 "60.00000000000001".
- 925267 cpu_core_0 "60.00000000000001".
- 925645 cpu_core_0 "60.00000000000001".
- 925704 cpu_core_0 "60.00000000000001".
- 925887 cpu_core_0 "60.00000000000001".
- 926593 cpu_core_0 "60.00000000000001".
- 926779 cpu_core_0 "60.00000000000001".
- 926900 cpu_core_0 "60.00000000000001".
- 927190 cpu_core_0 "60.00000000000001".
- 927384 cpu_core_0 "60.00000000000001".
- 928433 cpu_core_0 "60.00000000000001".
- 928791 cpu_core_0 "60.00000000000001".
- 928937 cpu_core_0 "60.00000000000001".
- 928983 cpu_core_0 "60.00000000000001".
- 929308 cpu_core_0 "60.00000000000001".
- 929395 cpu_core_0 "60.00000000000001".
- 929708 cpu_core_0 "60.00000000000001".
- 930366 cpu_core_0 "60.00000000000001".
- 931093 cpu_core_0 "60.00000000000001".
- 931512 cpu_core_0 "60.00000000000001".
- 931670 cpu_core_0 "60.00000000000001".
- 931802 cpu_core_0 "60.00000000000001".
- 931915 cpu_core_0 "60.00000000000001".
- 932040 cpu_core_0 "60.00000000000001".
- 932041 cpu_core_0 "60.00000000000001".
- 932436 cpu_core_0 "60.00000000000001".
- 932447 cpu_core_0 "60.00000000000001".
- 932500 cpu_core_0 "60.00000000000001".
- 932506 cpu_core_0 "60.00000000000001".
- 932914 cpu_core_0 "60.00000000000001".
- 933297 cpu_core_0 "60.00000000000001".
- 933666 cpu_core_0 "60.00000000000001".
- 934534 cpu_core_0 "60.00000000000001".
- 935440 cpu_core_0 "60.00000000000001".
- 935665 cpu_core_0 "60.00000000000001".
- 936068 cpu_core_0 "60.00000000000001".
- 936238 cpu_core_0 "60.00000000000001".
- 936435 cpu_core_0 "60.00000000000001".
- 936531 cpu_core_0 "60.00000000000001".
- 936688 cpu_core_0 "60.00000000000001".
- 937123 cpu_core_0 "60.00000000000001".
- 937146 cpu_core_0 "60.00000000000001".
- 937341 cpu_core_0 "60.00000000000001".
- 937716 cpu_core_0 "60.00000000000001".
- 938149 cpu_core_0 "60.00000000000001".
- 938490 cpu_core_0 "60.00000000000001".
- 938625 cpu_core_0 "60.00000000000001".
- 939307 cpu_core_0 "60.00000000000001".
- 940197 cpu_core_0 "60.00000000000001".
- 940342 cpu_core_0 "60.00000000000001".
- 941178 cpu_core_0 "60.00000000000001".
- 941238 cpu_core_0 "60.00000000000001".