Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1284060 cpu_core_0 "13.999999999999998".
- 1284061 cpu_core_0 "13.999999999999998".
- 1284088 cpu_core_0 "13.999999999999998".
- 1284100 cpu_core_0 "13.999999999999998".
- 1284212 cpu_core_0 "13.999999999999998".
- 1284225 cpu_core_0 "13.999999999999998".
- 1284290 cpu_core_0 "13.999999999999998".
- 1284303 cpu_core_0 "13.999999999999998".
- 1284423 cpu_core_0 "13.999999999999998".
- 1284456 cpu_core_0 "13.999999999999998".
- 1284461 cpu_core_0 "13.999999999999998".
- 1284577 cpu_core_0 "13.999999999999998".
- 1284581 cpu_core_0 "13.999999999999998".
- 1284675 cpu_core_0 "13.999999999999998".
- 1284724 cpu_core_0 "13.999999999999998".
- 1284770 cpu_core_0 "13.999999999999998".
- 1284930 cpu_core_0 "13.999999999999998".
- 1285103 cpu_core_0 "13.999999999999998".
- 1285274 cpu_core_0 "13.999999999999998".
- 1285276 cpu_core_0 "13.999999999999998".
- 1285448 cpu_core_0 "13.999999999999998".
- 1285653 cpu_core_0 "13.999999999999998".
- 1285667 cpu_core_0 "13.999999999999998".
- 1285783 cpu_core_0 "13.999999999999998".
- 1285833 cpu_core_0 "13.999999999999998".
- 1286304 cpu_core_0 "13.999999999999998".
- 1286323 cpu_core_0 "13.999999999999998".
- 1286683 cpu_core_0 "13.999999999999998".
- 1286809 cpu_core_0 "13.999999999999998".
- 1286845 cpu_core_0 "13.999999999999998".
- 1287141 cpu_core_0 "13.999999999999998".
- 1287378 cpu_core_0 "13.999999999999998".
- 1287400 cpu_core_0 "13.999999999999998".
- 1287496 cpu_core_0 "13.999999999999998".
- 1287534 cpu_core_0 "13.999999999999998".
- 1287548 cpu_core_0 "13.999999999999998".
- 1287609 cpu_core_0 "13.999999999999998".
- 1287736 cpu_core_0 "13.999999999999998".
- 1287900 cpu_core_0 "13.999999999999998".
- 1287976 cpu_core_0 "13.999999999999998".
- 1287981 cpu_core_0 "13.999999999999998".
- 1288013 cpu_core_0 "13.999999999999998".
- 1288015 cpu_core_0 "13.999999999999998".
- 1288131 cpu_core_0 "13.999999999999998".
- 1288320 cpu_core_0 "13.999999999999998".
- 1288394 cpu_core_0 "13.999999999999998".
- 1288523 cpu_core_0 "13.999999999999998".
- 1288569 cpu_core_0 "13.999999999999998".
- 1288644 cpu_core_0 "13.999999999999998".
- 1288707 cpu_core_0 "13.999999999999998".
- 1288745 cpu_core_0 "13.999999999999998".
- 1288763 cpu_core_0 "13.999999999999998".
- 1288768 cpu_core_0 "13.999999999999998".
- 1288770 cpu_core_0 "13.999999999999998".
- 1288777 cpu_core_0 "13.999999999999998".
- 1288820 cpu_core_0 "13.999999999999998".
- 1288877 cpu_core_0 "13.999999999999998".
- 1288942 cpu_core_0 "13.999999999999998".
- 1289209 cpu_core_0 "13.999999999999998".
- 1289225 cpu_core_0 "13.999999999999998".
- 1289347 cpu_core_0 "13.999999999999998".
- 1289362 cpu_core_0 "13.999999999999998".
- 1289371 cpu_core_0 "13.999999999999998".
- 1289731 cpu_core_0 "13.999999999999998".
- 1289815 cpu_core_0 "13.999999999999998".
- 1289883 cpu_core_0 "13.999999999999998".
- 1290022 cpu_core_0 "13.999999999999998".
- 1290031 cpu_core_0 "13.999999999999998".
- 1290078 cpu_core_0 "13.999999999999998".
- 1290245 cpu_core_0 "13.999999999999998".
- 1290381 cpu_core_0 "13.999999999999998".
- 1290491 cpu_core_0 "13.999999999999998".
- 1290515 cpu_core_0 "13.999999999999998".
- 1290537 cpu_core_0 "13.999999999999998".
- 1290541 cpu_core_0 "13.999999999999998".
- 1290542 cpu_core_0 "13.999999999999998".
- 1290546 cpu_core_0 "13.999999999999998".
- 1290558 cpu_core_0 "13.999999999999998".
- 1290699 cpu_core_0 "13.999999999999998".
- 1290748 cpu_core_0 "13.999999999999998".
- 1290764 cpu_core_0 "13.999999999999998".
- 1290797 cpu_core_0 "13.999999999999998".
- 1290861 cpu_core_0 "13.999999999999998".
- 1290935 cpu_core_0 "13.999999999999998".
- 1291022 cpu_core_0 "13.999999999999998".
- 1291152 cpu_core_0 "13.999999999999998".
- 1291156 cpu_core_0 "13.999999999999998".
- 1291177 cpu_core_0 "13.999999999999998".
- 1291292 cpu_core_0 "13.999999999999998".
- 1291298 cpu_core_0 "13.999999999999998".
- 1291389 cpu_core_0 "13.999999999999998".
- 1291476 cpu_core_0 "13.999999999999998".
- 1291597 cpu_core_0 "13.999999999999998".
- 1291601 cpu_core_0 "13.999999999999998".
- 1291827 cpu_core_0 "13.999999999999998".
- 1291880 cpu_core_0 "13.999999999999998".
- 1291881 cpu_core_0 "13.999999999999998".
- 1292017 cpu_core_0 "13.999999999999998".
- 1292101 cpu_core_0 "13.999999999999998".
- 1292130 cpu_core_0 "13.999999999999998".