Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1376335 cpu_core_0 "13.999999999999998".
- 1376336 cpu_core_0 "13.999999999999998".
- 1376351 cpu_core_0 "13.999999999999998".
- 1376420 cpu_core_0 "13.999999999999998".
- 1376432 cpu_core_0 "13.999999999999998".
- 1376444 cpu_core_0 "13.999999999999998".
- 1376462 cpu_core_0 "13.999999999999998".
- 1376567 cpu_core_0 "13.999999999999998".
- 1376704 cpu_core_0 "13.999999999999998".
- 1376739 cpu_core_0 "13.999999999999998".
- 1376755 cpu_core_0 "13.999999999999998".
- 1376798 cpu_core_0 "13.999999999999998".
- 1376802 cpu_core_0 "13.999999999999998".
- 1376833 cpu_core_0 "13.999999999999998".
- 1376852 cpu_core_0 "13.999999999999998".
- 1376860 cpu_core_0 "13.999999999999998".
- 1376906 cpu_core_0 "13.999999999999998".
- 1376939 cpu_core_0 "13.999999999999998".
- 1377016 cpu_core_0 "13.999999999999998".
- 1377055 cpu_core_0 "13.999999999999998".
- 1377267 cpu_core_0 "13.999999999999998".
- 1377268 cpu_core_0 "13.999999999999998".
- 1377275 cpu_core_0 "13.999999999999998".
- 1377288 cpu_core_0 "13.999999999999998".
- 1377290 cpu_core_0 "13.999999999999998".
- 1377307 cpu_core_0 "13.999999999999998".
- 1377333 cpu_core_0 "13.999999999999998".
- 1377371 cpu_core_0 "13.999999999999998".
- 1377401 cpu_core_0 "13.999999999999998".
- 1377504 cpu_core_0 "13.999999999999998".
- 1377515 cpu_core_0 "13.999999999999998".
- 1377516 cpu_core_0 "13.999999999999998".
- 1377525 cpu_core_0 "13.999999999999998".
- 1377528 cpu_core_0 "13.999999999999998".
- 1377548 cpu_core_0 "13.999999999999998".
- 1377613 cpu_core_0 "13.999999999999998".
- 1377701 cpu_core_0 "13.999999999999998".
- 1377718 cpu_core_0 "13.999999999999998".
- 1377952 cpu_core_0 "13.999999999999998".
- 1377958 cpu_core_0 "13.999999999999998".
- 1377998 cpu_core_0 "13.999999999999998".
- 1378002 cpu_core_0 "13.999999999999998".
- 1378063 cpu_core_0 "13.999999999999998".
- 1378082 cpu_core_0 "13.999999999999998".
- 1378134 cpu_core_0 "13.999999999999998".
- 1378223 cpu_core_0 "13.999999999999998".
- 1378258 cpu_core_0 "13.999999999999998".
- 1378308 cpu_core_0 "13.999999999999998".
- 1378349 cpu_core_0 "13.999999999999998".
- 1378397 cpu_core_0 "13.999999999999998".
- 1378413 cpu_core_0 "13.999999999999998".
- 1378443 cpu_core_0 "13.999999999999998".
- 1378717 cpu_core_0 "13.999999999999998".
- 1378731 cpu_core_0 "13.999999999999998".
- 1378781 cpu_core_0 "13.999999999999998".
- 1378868 cpu_core_0 "13.999999999999998".
- 1379022 cpu_core_0 "13.999999999999998".
- 1379029 cpu_core_0 "13.999999999999998".
- 1379153 cpu_core_0 "13.999999999999998".
- 1379264 cpu_core_0 "13.999999999999998".
- 1379350 cpu_core_0 "13.999999999999998".
- 1379449 cpu_core_0 "13.999999999999998".
- 1379683 cpu_core_0 "13.999999999999998".
- 1379730 cpu_core_0 "13.999999999999998".
- 1379751 cpu_core_0 "13.999999999999998".
- 1379830 cpu_core_0 "13.999999999999998".
- 1379895 cpu_core_0 "13.999999999999998".
- 1379903 cpu_core_0 "13.999999999999998".
- 1379926 cpu_core_0 "13.999999999999998".
- 1379947 cpu_core_0 "13.999999999999998".
- 1379985 cpu_core_0 "13.999999999999998".
- 1380066 cpu_core_0 "13.999999999999998".
- 1380072 cpu_core_0 "13.999999999999998".
- 1380108 cpu_core_0 "13.999999999999998".
- 1380132 cpu_core_0 "13.999999999999998".
- 1380149 cpu_core_0 "13.999999999999998".
- 1380253 cpu_core_0 "13.999999999999998".
- 1380275 cpu_core_0 "13.999999999999998".
- 1380353 cpu_core_0 "13.999999999999998".
- 1380365 cpu_core_0 "13.999999999999998".
- 1380484 cpu_core_0 "13.999999999999998".
- 1380528 cpu_core_0 "13.999999999999998".
- 1380561 cpu_core_0 "13.999999999999998".
- 1380595 cpu_core_0 "13.999999999999998".
- 1380615 cpu_core_0 "13.999999999999998".
- 1380712 cpu_core_0 "13.999999999999998".
- 1380726 cpu_core_0 "13.999999999999998".
- 1380761 cpu_core_0 "13.999999999999998".
- 1380774 cpu_core_0 "13.999999999999998".
- 1380786 cpu_core_0 "13.999999999999998".
- 1380889 cpu_core_0 "13.999999999999998".
- 1380993 cpu_core_0 "13.999999999999998".
- 1381069 cpu_core_0 "13.999999999999998".
- 1381085 cpu_core_0 "13.999999999999998".
- 1381116 cpu_core_0 "13.999999999999998".
- 1381142 cpu_core_0 "13.999999999999998".
- 1381314 cpu_core_0 "13.999999999999998".
- 1381318 cpu_core_0 "13.999999999999998".
- 1381329 cpu_core_0 "13.999999999999998".
- 1381345 cpu_core_0 "13.999999999999998".