Matches in ISWC2014 Benchmark for { ?s ?p 6.000000000000001. }
- 1008772 cpu_core_0 "6.000000000000001".
- 1015773 cpu_core_0 "6.000000000000001".
- 1015803 cpu_core_0 "6.000000000000001".
- 1015834 cpu_core_0 "6.000000000000001".
- 1015865 cpu_core_0 "6.000000000000001".
- 1016008 cpu_core_0 "6.000000000000001".
- 1016040 cpu_core_0 "6.000000000000001".
- 1016131 cpu_core_0 "6.000000000000001".
- 1016169 cpu_core_0 "6.000000000000001".
- 1016181 cpu_core_0 "6.000000000000001".
- 1016500 cpu_core_0 "6.000000000000001".
- 1016529 cpu_core_0 "6.000000000000001".
- 1016555 cpu_core_0 "6.000000000000001".
- 1016654 cpu_core_0 "6.000000000000001".
- 1016661 cpu_core_0 "6.000000000000001".
- 1016701 cpu_core_0 "6.000000000000001".
- 1016707 cpu_core_0 "6.000000000000001".
- 1016708 cpu_core_0 "6.000000000000001".
- 1016733 cpu_core_0 "6.000000000000001".
- 1016747 cpu_core_0 "6.000000000000001".
- 1016760 cpu_core_0 "6.000000000000001".
- 1016810 cpu_core_0 "6.000000000000001".
- 1016819 cpu_core_0 "6.000000000000001".
- 1016831 cpu_core_0 "6.000000000000001".
- 1016843 cpu_core_0 "6.000000000000001".
- 1016973 cpu_core_0 "6.000000000000001".
- 1017049 cpu_core_0 "6.000000000000001".
- 1017085 cpu_core_0 "6.000000000000001".
- 1017099 cpu_core_0 "6.000000000000001".
- 1017192 cpu_core_0 "6.000000000000001".
- 1017207 cpu_core_0 "6.000000000000001".
- 1017216 cpu_core_0 "6.000000000000001".
- 1017303 cpu_core_0 "6.000000000000001".
- 1017311 cpu_core_0 "6.000000000000001".
- 1017338 cpu_core_0 "6.000000000000001".
- 1017362 cpu_core_0 "6.000000000000001".
- 1017487 cpu_core_0 "6.000000000000001".
- 1017490 cpu_core_0 "6.000000000000001".
- 1017580 cpu_core_0 "6.000000000000001".
- 1017600 cpu_core_0 "6.000000000000001".
- 1017627 cpu_core_0 "6.000000000000001".
- 1017742 cpu_core_0 "6.000000000000001".
- 1017800 cpu_core_0 "6.000000000000001".
- 1017921 cpu_core_0 "6.000000000000001".
- 1017962 cpu_core_0 "6.000000000000001".
- 1017966 cpu_core_0 "6.000000000000001".
- 1018015 cpu_core_0 "6.000000000000001".
- 1018017 cpu_core_0 "6.000000000000001".
- 1018024 cpu_core_0 "6.000000000000001".
- 1018025 cpu_core_0 "6.000000000000001".
- 1018043 cpu_core_0 "6.000000000000001".
- 1018063 cpu_core_0 "6.000000000000001".
- 1018082 cpu_core_0 "6.000000000000001".
- 1018103 cpu_core_0 "6.000000000000001".
- 1018134 cpu_core_0 "6.000000000000001".
- 1018178 cpu_core_0 "6.000000000000001".
- 1018414 cpu_core_0 "6.000000000000001".
- 1018466 cpu_core_0 "6.000000000000001".
- 1018524 cpu_core_0 "6.000000000000001".
- 1018632 cpu_core_0 "6.000000000000001".
- 1018647 cpu_core_0 "6.000000000000001".
- 1018682 cpu_core_0 "6.000000000000001".
- 1018701 cpu_core_0 "6.000000000000001".
- 1018764 cpu_core_0 "6.000000000000001".
- 1018774 cpu_core_0 "6.000000000000001".
- 1018778 cpu_core_0 "6.000000000000001".
- 1018801 cpu_core_0 "6.000000000000001".
- 1018803 cpu_core_0 "6.000000000000001".
- 1018879 cpu_core_0 "6.000000000000001".
- 1018938 cpu_core_0 "6.000000000000001".
- 1019153 cpu_core_0 "6.000000000000001".
- 1019217 cpu_core_0 "6.000000000000001".
- 1019247 cpu_core_0 "6.000000000000001".
- 1019248 cpu_core_0 "6.000000000000001".
- 1019249 cpu_core_0 "6.000000000000001".
- 1019268 cpu_core_0 "6.000000000000001".
- 1019274 cpu_core_0 "6.000000000000001".
- 1019283 cpu_core_0 "6.000000000000001".
- 1019430 cpu_core_0 "6.000000000000001".
- 1019494 cpu_core_0 "6.000000000000001".
- 1019632 cpu_core_0 "6.000000000000001".
- 1019710 cpu_core_0 "6.000000000000001".
- 1019762 cpu_core_0 "6.000000000000001".
- 1019869 cpu_core_0 "6.000000000000001".
- 1019887 cpu_core_0 "6.000000000000001".
- 1019914 cpu_core_0 "6.000000000000001".
- 1019948 cpu_core_0 "6.000000000000001".
- 1019952 cpu_core_0 "6.000000000000001".
- 1020226 cpu_core_0 "6.000000000000001".
- 1020353 cpu_core_0 "6.000000000000001".
- 1020403 cpu_core_0 "6.000000000000001".
- 1020432 cpu_core_0 "6.000000000000001".
- 1020521 cpu_core_0 "6.000000000000001".
- 1020993 cpu_core_0 "6.000000000000001".
- 1021148 cpu_core_0 "6.000000000000001".
- 1021221 cpu_core_0 "6.000000000000001".
- 1021331 cpu_core_0 "6.000000000000001".
- 1021491 cpu_core_0 "6.000000000000001".
- 1021552 cpu_core_0 "6.000000000000001".
- 1021631 cpu_core_0 "6.000000000000001".