Matches in ISWC2014 Benchmark for { ?s ?p 60.00000000000001. }
- 807053 cpu_core_0 "60.00000000000001".
- 807161 cpu_core_0 "60.00000000000001".
- 807475 cpu_core_0 "60.00000000000001".
- 807545 cpu_core_0 "60.00000000000001".
- 807611 cpu_core_0 "60.00000000000001".
- 807694 cpu_core_0 "60.00000000000001".
- 807700 cpu_core_0 "60.00000000000001".
- 807874 cpu_core_0 "60.00000000000001".
- 808338 cpu_core_0 "60.00000000000001".
- 808383 cpu_core_0 "60.00000000000001".
- 808473 cpu_core_0 "60.00000000000001".
- 808502 cpu_core_0 "60.00000000000001".
- 808517 cpu_core_0 "60.00000000000001".
- 808841 cpu_core_0 "60.00000000000001".
- 808876 cpu_core_0 "60.00000000000001".
- 808986 cpu_core_0 "60.00000000000001".
- 809111 cpu_core_0 "60.00000000000001".
- 809867 cpu_core_0 "60.00000000000001".
- 810494 cpu_core_0 "60.00000000000001".
- 810655 cpu_core_0 "60.00000000000001".
- 810690 cpu_core_0 "60.00000000000001".
- 810708 cpu_core_0 "60.00000000000001".
- 810714 cpu_core_0 "60.00000000000001".
- 811021 cpu_core_0 "60.00000000000001".
- 811213 cpu_core_0 "60.00000000000001".
- 811420 cpu_core_0 "60.00000000000001".
- 811422 cpu_core_0 "60.00000000000001".
- 811464 cpu_core_0 "60.00000000000001".
- 811472 cpu_core_0 "60.00000000000001".
- 811847 cpu_core_0 "60.00000000000001".
- 811877 cpu_core_0 "60.00000000000001".
- 812266 cpu_core_0 "60.00000000000001".
- 812279 cpu_core_0 "60.00000000000001".
- 812316 cpu_core_0 "60.00000000000001".
- 813325 cpu_core_0 "60.00000000000001".
- 813950 cpu_core_0 "60.00000000000001".
- 814293 cpu_core_0 "60.00000000000001".
- 814773 cpu_core_0 "60.00000000000001".
- 814885 cpu_core_0 "60.00000000000001".
- 815043 cpu_core_0 "60.00000000000001".
- 815572 cpu_core_0 "60.00000000000001".
- 815881 cpu_core_0 "60.00000000000001".
- 815967 cpu_core_0 "60.00000000000001".
- 816077 cpu_core_0 "60.00000000000001".
- 816193 cpu_core_0 "60.00000000000001".
- 816200 cpu_core_0 "60.00000000000001".
- 816273 cpu_core_0 "60.00000000000001".
- 816301 cpu_core_0 "60.00000000000001".
- 816673 cpu_core_0 "60.00000000000001".
- 816766 cpu_core_0 "60.00000000000001".
- 816908 cpu_core_0 "60.00000000000001".
- 817049 cpu_core_0 "60.00000000000001".
- 817640 cpu_core_0 "60.00000000000001".
- 817671 cpu_core_0 "60.00000000000001".
- 818066 cpu_core_0 "60.00000000000001".
- 818104 cpu_core_0 "60.00000000000001".
- 818385 cpu_core_0 "60.00000000000001".
- 818427 cpu_core_0 "60.00000000000001".
- 818437 cpu_core_0 "60.00000000000001".
- 818674 cpu_core_0 "60.00000000000001".
- 818945 cpu_core_0 "60.00000000000001".
- 819017 cpu_core_0 "60.00000000000001".
- 819315 cpu_core_0 "60.00000000000001".
- 820005 cpu_core_0 "60.00000000000001".
- 820213 cpu_core_0 "60.00000000000001".
- 820276 cpu_core_0 "60.00000000000001".
- 820417 cpu_core_0 "60.00000000000001".
- 820594 cpu_core_0 "60.00000000000001".
- 820605 cpu_core_0 "60.00000000000001".
- 820970 cpu_core_0 "60.00000000000001".
- 820993 cpu_core_0 "60.00000000000001".
- 821017 cpu_core_0 "60.00000000000001".
- 821106 cpu_core_0 "60.00000000000001".
- 821730 cpu_core_0 "60.00000000000001".
- 821913 cpu_core_0 "60.00000000000001".
- 822176 cpu_core_0 "60.00000000000001".
- 822200 cpu_core_0 "60.00000000000001".
- 822357 cpu_core_0 "60.00000000000001".
- 822508 cpu_core_0 "60.00000000000001".
- 822538 cpu_core_0 "60.00000000000001".
- 822570 cpu_core_0 "60.00000000000001".
- 822997 cpu_core_0 "60.00000000000001".
- 823064 cpu_core_0 "60.00000000000001".
- 823360 cpu_core_0 "60.00000000000001".
- 823397 cpu_core_0 "60.00000000000001".
- 823419 cpu_core_0 "60.00000000000001".
- 823732 cpu_core_0 "60.00000000000001".
- 824150 cpu_core_0 "60.00000000000001".
- 824250 cpu_core_0 "60.00000000000001".
- 824309 cpu_core_0 "60.00000000000001".
- 824402 cpu_core_0 "60.00000000000001".
- 825214 cpu_core_0 "60.00000000000001".
- 825275 cpu_core_0 "60.00000000000001".
- 825612 cpu_core_0 "60.00000000000001".
- 825693 cpu_core_0 "60.00000000000001".
- 826173 cpu_core_0 "60.00000000000001".
- 826851 cpu_core_0 "60.00000000000001".
- 827304 cpu_core_0 "60.00000000000001".
- 828076 cpu_core_0 "60.00000000000001".
- 828281 cpu_core_0 "60.00000000000001".