Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1198008 cpu_core_0 "13.999999999999998".
- 1198105 cpu_core_0 "13.999999999999998".
- 1198116 cpu_core_0 "13.999999999999998".
- 1198121 cpu_core_0 "13.999999999999998".
- 1198144 cpu_core_0 "13.999999999999998".
- 1198224 cpu_core_0 "13.999999999999998".
- 1198287 cpu_core_0 "13.999999999999998".
- 1198389 cpu_core_0 "13.999999999999998".
- 1198500 cpu_core_0 "13.999999999999998".
- 1198506 cpu_core_0 "13.999999999999998".
- 1198526 cpu_core_0 "13.999999999999998".
- 1198535 cpu_core_0 "13.999999999999998".
- 1198555 cpu_core_0 "13.999999999999998".
- 1198587 cpu_core_0 "13.999999999999998".
- 1198599 cpu_core_0 "13.999999999999998".
- 1198639 cpu_core_0 "13.999999999999998".
- 1198714 cpu_core_0 "13.999999999999998".
- 1198731 cpu_core_0 "13.999999999999998".
- 1198737 cpu_core_0 "13.999999999999998".
- 1198853 cpu_core_0 "13.999999999999998".
- 1198866 cpu_core_0 "13.999999999999998".
- 1198958 cpu_core_0 "13.999999999999998".
- 1198974 cpu_core_0 "13.999999999999998".
- 1198982 cpu_core_0 "13.999999999999998".
- 1199059 cpu_core_0 "13.999999999999998".
- 1199109 cpu_core_0 "13.999999999999998".
- 1199128 cpu_core_0 "13.999999999999998".
- 1199238 cpu_core_0 "13.999999999999998".
- 1199249 cpu_core_0 "13.999999999999998".
- 1199268 cpu_core_0 "13.999999999999998".
- 1199309 cpu_core_0 "13.999999999999998".
- 1199493 cpu_core_0 "13.999999999999998".
- 1199562 cpu_core_0 "13.999999999999998".
- 1199578 cpu_core_0 "13.999999999999998".
- 1199681 cpu_core_0 "13.999999999999998".
- 1199717 cpu_core_0 "13.999999999999998".
- 1199734 cpu_core_0 "13.999999999999998".
- 1199795 cpu_core_0 "13.999999999999998".
- 1199850 cpu_core_0 "13.999999999999998".
- 1199854 cpu_core_0 "13.999999999999998".
- 1200198 cpu_core_0 "13.999999999999998".
- 1200276 cpu_core_0 "13.999999999999998".
- 1200325 cpu_core_0 "13.999999999999998".
- 1200337 cpu_core_0 "13.999999999999998".
- 1200356 cpu_core_0 "13.999999999999998".
- 1200458 cpu_core_0 "13.999999999999998".
- 1200551 cpu_core_0 "13.999999999999998".
- 1200568 cpu_core_0 "13.999999999999998".
- 1200637 cpu_core_0 "13.999999999999998".
- 1200663 cpu_core_0 "13.999999999999998".
- 1200781 cpu_core_0 "13.999999999999998".
- 1201075 cpu_core_0 "13.999999999999998".
- 1201134 cpu_core_0 "13.999999999999998".
- 1201365 cpu_core_0 "13.999999999999998".
- 1201374 cpu_core_0 "13.999999999999998".
- 1201505 cpu_core_0 "13.999999999999998".
- 1201507 cpu_core_0 "13.999999999999998".
- 1201547 cpu_core_0 "13.999999999999998".
- 1201568 cpu_core_0 "13.999999999999998".
- 1201588 cpu_core_0 "13.999999999999998".
- 1201610 cpu_core_0 "13.999999999999998".
- 1201633 cpu_core_0 "13.999999999999998".
- 1201747 cpu_core_0 "13.999999999999998".
- 1201762 cpu_core_0 "13.999999999999998".
- 1201843 cpu_core_0 "13.999999999999998".
- 1201880 cpu_core_0 "13.999999999999998".
- 1201951 cpu_core_0 "13.999999999999998".
- 1201986 cpu_core_0 "13.999999999999998".
- 1202107 cpu_core_0 "13.999999999999998".
- 1202113 cpu_core_0 "13.999999999999998".
- 1202132 cpu_core_0 "13.999999999999998".
- 1202134 cpu_core_0 "13.999999999999998".
- 1202197 cpu_core_0 "13.999999999999998".
- 1202206 cpu_core_0 "13.999999999999998".
- 1202288 cpu_core_0 "13.999999999999998".
- 1202407 cpu_core_0 "13.999999999999998".
- 1202526 cpu_core_0 "13.999999999999998".
- 1202842 cpu_core_0 "13.999999999999998".
- 1202985 cpu_core_0 "13.999999999999998".
- 1203064 cpu_core_0 "13.999999999999998".
- 1203214 cpu_core_0 "13.999999999999998".
- 1203240 cpu_core_0 "13.999999999999998".
- 1203271 cpu_core_0 "13.999999999999998".
- 1203301 cpu_core_0 "13.999999999999998".
- 1203307 cpu_core_0 "13.999999999999998".
- 1203309 cpu_core_0 "13.999999999999998".
- 1203447 cpu_core_0 "13.999999999999998".
- 1203468 cpu_core_0 "13.999999999999998".
- 1203511 cpu_core_0 "13.999999999999998".
- 1203536 cpu_core_0 "13.999999999999998".
- 1203700 cpu_core_0 "13.999999999999998".
- 1203719 cpu_core_0 "13.999999999999998".
- 1203791 cpu_core_0 "13.999999999999998".
- 1203817 cpu_core_0 "13.999999999999998".
- 1203839 cpu_core_0 "13.999999999999998".
- 1204006 cpu_core_0 "13.999999999999998".
- 1204041 cpu_core_0 "13.999999999999998".
- 1204078 cpu_core_0 "13.999999999999998".
- 1204151 cpu_core_0 "13.999999999999998".
- 1204401 cpu_core_0 "13.999999999999998".