Matches in ISWC2014 Benchmark for { ?s ?p 13.999999999999998. }
- 1292310 cpu_core_0 "13.999999999999998".
- 1292441 cpu_core_0 "13.999999999999998".
- 1292451 cpu_core_0 "13.999999999999998".
- 1292561 cpu_core_0 "13.999999999999998".
- 1292610 cpu_core_0 "13.999999999999998".
- 1292870 cpu_core_0 "13.999999999999998".
- 1292947 cpu_core_0 "13.999999999999998".
- 1292954 cpu_core_0 "13.999999999999998".
- 1292986 cpu_core_0 "13.999999999999998".
- 1293082 cpu_core_0 "13.999999999999998".
- 1293158 cpu_core_0 "13.999999999999998".
- 1293229 cpu_core_0 "13.999999999999998".
- 1293263 cpu_core_0 "13.999999999999998".
- 1293279 cpu_core_0 "13.999999999999998".
- 1293306 cpu_core_0 "13.999999999999998".
- 1293315 cpu_core_0 "13.999999999999998".
- 1293322 cpu_core_0 "13.999999999999998".
- 1293382 cpu_core_0 "13.999999999999998".
- 1293597 cpu_core_0 "13.999999999999998".
- 1293710 cpu_core_0 "13.999999999999998".
- 1293796 cpu_core_0 "13.999999999999998".
- 1293839 cpu_core_0 "13.999999999999998".
- 1293872 cpu_core_0 "13.999999999999998".
- 1293930 cpu_core_0 "13.999999999999998".
- 1293932 cpu_core_0 "13.999999999999998".
- 1293947 cpu_core_0 "13.999999999999998".
- 1294004 cpu_core_0 "13.999999999999998".
- 1294035 cpu_core_0 "13.999999999999998".
- 1294038 cpu_core_0 "13.999999999999998".
- 1294055 cpu_core_0 "13.999999999999998".
- 1294064 cpu_core_0 "13.999999999999998".
- 1294079 cpu_core_0 "13.999999999999998".
- 1294107 cpu_core_0 "13.999999999999998".
- 1294117 cpu_core_0 "13.999999999999998".
- 1294132 cpu_core_0 "13.999999999999998".
- 1294149 cpu_core_0 "13.999999999999998".
- 1294170 cpu_core_0 "13.999999999999998".
- 1294178 cpu_core_0 "13.999999999999998".
- 1294190 cpu_core_0 "13.999999999999998".
- 1294228 cpu_core_0 "13.999999999999998".
- 1294471 cpu_core_0 "13.999999999999998".
- 1294552 cpu_core_0 "13.999999999999998".
- 1294601 cpu_core_0 "13.999999999999998".
- 1294656 cpu_core_0 "13.999999999999998".
- 1294705 cpu_core_0 "13.999999999999998".
- 1294791 cpu_core_0 "13.999999999999998".
- 1294828 cpu_core_0 "13.999999999999998".
- 1294963 cpu_core_0 "13.999999999999998".
- 1295032 cpu_core_0 "13.999999999999998".
- 1295066 cpu_core_0 "13.999999999999998".
- 1295100 cpu_core_0 "13.999999999999998".
- 1295123 cpu_core_0 "13.999999999999998".
- 1295250 cpu_core_0 "13.999999999999998".
- 1295252 cpu_core_0 "13.999999999999998".
- 1295327 cpu_core_0 "13.999999999999998".
- 1295339 cpu_core_0 "13.999999999999998".
- 1295375 cpu_core_0 "13.999999999999998".
- 1295429 cpu_core_0 "13.999999999999998".
- 1295470 cpu_core_0 "13.999999999999998".
- 1295553 cpu_core_0 "13.999999999999998".
- 1295627 cpu_core_0 "13.999999999999998".
- 1295672 cpu_core_0 "13.999999999999998".
- 1295673 cpu_core_0 "13.999999999999998".
- 1295693 cpu_core_0 "13.999999999999998".
- 1295758 cpu_core_0 "13.999999999999998".
- 1295767 cpu_core_0 "13.999999999999998".
- 1295807 cpu_core_0 "13.999999999999998".
- 1295810 cpu_core_0 "13.999999999999998".
- 1295813 cpu_core_0 "13.999999999999998".
- 1295832 cpu_core_0 "13.999999999999998".
- 1295840 cpu_core_0 "13.999999999999998".
- 1295877 cpu_core_0 "13.999999999999998".
- 1295956 cpu_core_0 "13.999999999999998".
- 1296034 cpu_core_0 "13.999999999999998".
- 1296153 cpu_core_0 "13.999999999999998".
- 1296174 cpu_core_0 "13.999999999999998".
- 1296182 cpu_core_0 "13.999999999999998".
- 1296309 cpu_core_0 "13.999999999999998".
- 1296436 cpu_core_0 "13.999999999999998".
- 1296679 cpu_core_0 "13.999999999999998".
- 1296683 cpu_core_0 "13.999999999999998".
- 1296804 cpu_core_0 "13.999999999999998".
- 1297041 cpu_core_0 "13.999999999999998".
- 1297165 cpu_core_0 "13.999999999999998".
- 1297220 cpu_core_0 "13.999999999999998".
- 1297222 cpu_core_0 "13.999999999999998".
- 1297501 cpu_core_0 "13.999999999999998".
- 1297525 cpu_core_0 "13.999999999999998".
- 1297633 cpu_core_0 "13.999999999999998".
- 1297646 cpu_core_0 "13.999999999999998".
- 1297678 cpu_core_0 "13.999999999999998".
- 1297686 cpu_core_0 "13.999999999999998".
- 1297847 cpu_core_0 "13.999999999999998".
- 1297963 cpu_core_0 "13.999999999999998".
- 1298087 cpu_core_0 "13.999999999999998".
- 1298211 cpu_core_0 "13.999999999999998".
- 1298282 cpu_core_0 "13.999999999999998".
- 1298406 cpu_core_0 "13.999999999999998".
- 1298413 cpu_core_0 "13.999999999999998".
- 1298419 cpu_core_0 "13.999999999999998".