Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1128177 cpu_core_0 "13.999999999999998".
- 1128234 cpu_core_0 "13.999999999999998".
- 1128271 cpu_core_0 "13.999999999999998".
- 1128306 cpu_core_0 "13.999999999999998".
- 1128362 cpu_core_0 "13.999999999999998".
- 1128379 cpu_core_0 "13.999999999999998".
- 1128384 cpu_core_0 "13.999999999999998".
- 1128398 cpu_core_0 "13.999999999999998".
- 1128433 cpu_core_0 "13.999999999999998".
- 1128436 cpu_core_0 "13.999999999999998".
- 1128445 cpu_core_0 "13.999999999999998".
- 1128446 cpu_core_0 "13.999999999999998".
- 1128515 cpu_core_0 "13.999999999999998".
- 1128744 cpu_core_0 "13.999999999999998".
- 1128843 cpu_core_0 "13.999999999999998".
- 1129117 cpu_core_0 "13.999999999999998".
- 1129138 cpu_core_0 "13.999999999999998".
- 1129321 cpu_core_0 "13.999999999999998".
- 1129356 cpu_core_0 "13.999999999999998".
- 1129460 cpu_core_0 "13.999999999999998".
- 1129498 cpu_core_0 "13.999999999999998".
- 1129610 cpu_core_0 "13.999999999999998".
- 1129638 cpu_core_0 "13.999999999999998".
- 1129815 cpu_core_0 "13.999999999999998".
- 1129837 cpu_core_0 "13.999999999999998".
- 1129854 cpu_core_0 "13.999999999999998".
- 1129883 cpu_core_0 "13.999999999999998".
- 1129918 cpu_core_0 "13.999999999999998".
- 1130164 cpu_core_0 "13.999999999999998".
- 1130212 cpu_core_0 "13.999999999999998".
- 1130279 cpu_core_0 "13.999999999999998".
- 1130332 cpu_core_0 "13.999999999999998".
- 1130692 cpu_core_0 "13.999999999999998".
- 1130808 cpu_core_0 "13.999999999999998".
- 1130832 cpu_core_0 "13.999999999999998".
- 1130878 cpu_core_0 "13.999999999999998".
- 1130893 cpu_core_0 "13.999999999999998".
- 1130921 cpu_core_0 "13.999999999999998".
- 1131066 cpu_core_0 "13.999999999999998".
- 1131120 cpu_core_0 "13.999999999999998".
- 1131143 cpu_core_0 "13.999999999999998".
- 1131150 cpu_core_0 "13.999999999999998".
- 1131238 cpu_core_0 "13.999999999999998".
- 1131330 cpu_core_0 "13.999999999999998".
- 1131360 cpu_core_0 "13.999999999999998".
- 1131433 cpu_core_0 "13.999999999999998".
- 1131492 cpu_core_0 "13.999999999999998".
- 1131507 cpu_core_0 "13.999999999999998".
- 1131558 cpu_core_0 "13.999999999999998".
- 1131606 cpu_core_0 "13.999999999999998".
- 1131630 cpu_core_0 "13.999999999999998".
- 1131752 cpu_core_0 "13.999999999999998".
- 1131886 cpu_core_0 "13.999999999999998".
- 1131965 cpu_core_0 "13.999999999999998".
- 1132086 cpu_core_0 "13.999999999999998".
- 1132087 cpu_core_0 "13.999999999999998".
- 1132198 cpu_core_0 "13.999999999999998".
- 1132257 cpu_core_0 "13.999999999999998".
- 1132289 cpu_core_0 "13.999999999999998".
- 1132360 cpu_core_0 "13.999999999999998".
- 1132370 cpu_core_0 "13.999999999999998".
- 1132373 cpu_core_0 "13.999999999999998".
- 1132382 cpu_core_0 "13.999999999999998".
- 1132702 cpu_core_0 "13.999999999999998".
- 1132708 cpu_core_0 "13.999999999999998".
- 1132723 cpu_core_0 "13.999999999999998".
- 1132807 cpu_core_0 "13.999999999999998".
- 1132814 cpu_core_0 "13.999999999999998".
- 1132828 cpu_core_0 "13.999999999999998".
- 1132878 cpu_core_0 "13.999999999999998".
- 1132886 cpu_core_0 "13.999999999999998".
- 1132941 cpu_core_0 "13.999999999999998".
- 1132966 cpu_core_0 "13.999999999999998".
- 1132980 cpu_core_0 "13.999999999999998".
- 1133053 cpu_core_0 "13.999999999999998".
- 1133055 cpu_core_0 "13.999999999999998".
- 1133103 cpu_core_0 "13.999999999999998".
- 1133125 cpu_core_0 "13.999999999999998".
- 1133199 cpu_core_0 "13.999999999999998".
- 1133218 cpu_core_0 "13.999999999999998".
- 1133224 cpu_core_0 "13.999999999999998".
- 1133251 cpu_core_0 "13.999999999999998".
- 1133323 cpu_core_0 "13.999999999999998".
- 1133339 cpu_core_0 "13.999999999999998".
- 1133344 cpu_core_0 "13.999999999999998".
- 1133662 cpu_core_0 "13.999999999999998".
- 1133709 cpu_core_0 "13.999999999999998".
- 1133851 cpu_core_0 "13.999999999999998".
- 1133899 cpu_core_0 "13.999999999999998".
- 1133911 cpu_core_0 "13.999999999999998".
- 1134014 cpu_core_0 "13.999999999999998".
- 1134051 cpu_core_0 "13.999999999999998".
- 1134185 cpu_core_0 "13.999999999999998".
- 1134491 cpu_core_0 "13.999999999999998".
- 1134780 cpu_core_0 "13.999999999999998".
- 1134856 cpu_core_0 "13.999999999999998".
- 1134935 cpu_core_0 "13.999999999999998".
- 1134979 cpu_core_0 "13.999999999999998".
- 1135115 cpu_core_0 "13.999999999999998".
- 1135127 cpu_core_0 "13.999999999999998".