Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1104233 cpu_core_0 "13.999999999999998".
- 1104254 cpu_core_0 "13.999999999999998".
- 1104320 cpu_core_0 "13.999999999999998".
- 1104332 cpu_core_0 "13.999999999999998".
- 1104361 cpu_core_0 "13.999999999999998".
- 1104375 cpu_core_0 "13.999999999999998".
- 1104461 cpu_core_0 "13.999999999999998".
- 1104471 cpu_core_0 "13.999999999999998".
- 1104476 cpu_core_0 "13.999999999999998".
- 1104540 cpu_core_0 "13.999999999999998".
- 1104547 cpu_core_0 "13.999999999999998".
- 1104549 cpu_core_0 "13.999999999999998".
- 1104717 cpu_core_0 "13.999999999999998".
- 1104895 cpu_core_0 "13.999999999999998".
- 1105040 cpu_core_0 "13.999999999999998".
- 1105042 cpu_core_0 "13.999999999999998".
- 1105100 cpu_core_0 "13.999999999999998".
- 1105133 cpu_core_0 "13.999999999999998".
- 1105152 cpu_core_0 "13.999999999999998".
- 1105162 cpu_core_0 "13.999999999999998".
- 1105184 cpu_core_0 "13.999999999999998".
- 1105228 cpu_core_0 "13.999999999999998".
- 1105271 cpu_core_0 "13.999999999999998".
- 1105283 cpu_core_0 "13.999999999999998".
- 1105298 cpu_core_0 "13.999999999999998".
- 1105332 cpu_core_0 "13.999999999999998".
- 1105336 cpu_core_0 "13.999999999999998".
- 1105406 cpu_core_0 "13.999999999999998".
- 1105447 cpu_core_0 "13.999999999999998".
- 1105491 cpu_core_0 "13.999999999999998".
- 1105586 cpu_core_0 "13.999999999999998".
- 1105825 cpu_core_0 "13.999999999999998".
- 1105860 cpu_core_0 "13.999999999999998".
- 1106005 cpu_core_0 "13.999999999999998".
- 1106042 cpu_core_0 "13.999999999999998".
- 1106113 cpu_core_0 "13.999999999999998".
- 1106163 cpu_core_0 "13.999999999999998".
- 1106197 cpu_core_0 "13.999999999999998".
- 1106251 cpu_core_0 "13.999999999999998".
- 1106410 cpu_core_0 "13.999999999999998".
- 1106528 cpu_core_0 "13.999999999999998".
- 1106668 cpu_core_0 "13.999999999999998".
- 1106672 cpu_core_0 "13.999999999999998".
- 1106717 cpu_core_0 "13.999999999999998".
- 1106898 cpu_core_0 "13.999999999999998".
- 1106943 cpu_core_0 "13.999999999999998".
- 1106977 cpu_core_0 "13.999999999999998".
- 1107142 cpu_core_0 "13.999999999999998".
- 1107276 cpu_core_0 "13.999999999999998".
- 1107335 cpu_core_0 "13.999999999999998".
- 1107348 cpu_core_0 "13.999999999999998".
- 1107476 cpu_core_0 "13.999999999999998".
- 1107573 cpu_core_0 "13.999999999999998".
- 1107709 cpu_core_0 "13.999999999999998".
- 1107759 cpu_core_0 "13.999999999999998".
- 1108098 cpu_core_0 "13.999999999999998".
- 1108102 cpu_core_0 "13.999999999999998".
- 1108113 cpu_core_0 "13.999999999999998".
- 1108149 cpu_core_0 "13.999999999999998".
- 1108226 cpu_core_0 "13.999999999999998".
- 1108249 cpu_core_0 "13.999999999999998".
- 1108297 cpu_core_0 "13.999999999999998".
- 1108300 cpu_core_0 "13.999999999999998".
- 1108556 cpu_core_0 "13.999999999999998".
- 1108559 cpu_core_0 "13.999999999999998".
- 1108565 cpu_core_0 "13.999999999999998".
- 1108581 cpu_core_0 "13.999999999999998".
- 1108586 cpu_core_0 "13.999999999999998".
- 1108633 cpu_core_0 "13.999999999999998".
- 1108680 cpu_core_0 "13.999999999999998".
- 1108802 cpu_core_0 "13.999999999999998".
- 1108808 cpu_core_0 "13.999999999999998".
- 1108836 cpu_core_0 "13.999999999999998".
- 1108860 cpu_core_0 "13.999999999999998".
- 1108952 cpu_core_0 "13.999999999999998".
- 1109083 cpu_core_0 "13.999999999999998".
- 1109103 cpu_core_0 "13.999999999999998".
- 1109117 cpu_core_0 "13.999999999999998".
- 1109237 cpu_core_0 "13.999999999999998".
- 1109572 cpu_core_0 "13.999999999999998".
- 1109886 cpu_core_0 "13.999999999999998".
- 1109945 cpu_core_0 "13.999999999999998".
- 1110058 cpu_core_0 "13.999999999999998".
- 1110111 cpu_core_0 "13.999999999999998".
- 1110114 cpu_core_0 "13.999999999999998".
- 1110129 cpu_core_0 "13.999999999999998".
- 1110154 cpu_core_0 "13.999999999999998".
- 1110160 cpu_core_0 "13.999999999999998".
- 1110220 cpu_core_0 "13.999999999999998".
- 1110244 cpu_core_0 "13.999999999999998".
- 1110265 cpu_core_0 "13.999999999999998".
- 1110268 cpu_core_0 "13.999999999999998".
- 1110351 cpu_core_0 "13.999999999999998".
- 1110546 cpu_core_0 "13.999999999999998".
- 1110608 cpu_core_0 "13.999999999999998".
- 1110645 cpu_core_0 "13.999999999999998".
- 1110653 cpu_core_0 "13.999999999999998".
- 1110678 cpu_core_0 "13.999999999999998".
- 1110757 cpu_core_0 "13.999999999999998".
- 1110849 cpu_core_0 "13.999999999999998".