Matches in ISWC2014 Benchmark for { ?s ?p 9.000000000000002. }
- 1287938 cpu_core_0 "9.000000000000002".
- 1287983 cpu_core_0 "9.000000000000002".
- 1288457 cpu_core_0 "9.000000000000002".
- 1288482 cpu_core_0 "9.000000000000002".
- 1288505 cpu_core_0 "9.000000000000002".
- 1288849 cpu_core_0 "9.000000000000002".
- 1288862 cpu_core_0 "9.000000000000002".
- 1289116 cpu_core_0 "9.000000000000002".
- 1289409 cpu_core_0 "9.000000000000002".
- 1289410 cpu_core_0 "9.000000000000002".
- 1289439 cpu_core_0 "9.000000000000002".
- 1289565 cpu_core_0 "9.000000000000002".
- 1289771 cpu_core_0 "9.000000000000002".
- 1289813 cpu_core_0 "9.000000000000002".
- 1289905 cpu_core_0 "9.000000000000002".
- 1290310 cpu_core_0 "9.000000000000002".
- 1290382 cpu_core_0 "9.000000000000002".
- 1290452 cpu_core_0 "9.000000000000002".
- 1290782 cpu_core_0 "9.000000000000002".
- 1290990 cpu_core_0 "9.000000000000002".
- 1291248 cpu_core_0 "9.000000000000002".
- 1291260 cpu_core_0 "9.000000000000002".
- 1291274 cpu_core_0 "9.000000000000002".
- 1291293 cpu_core_0 "9.000000000000002".
- 1291541 cpu_core_0 "9.000000000000002".
- 1291739 cpu_core_0 "9.000000000000002".
- 1291831 cpu_core_0 "9.000000000000002".
- 1291833 cpu_core_0 "9.000000000000002".
- 1291849 cpu_core_0 "9.000000000000002".
- 1291868 cpu_core_0 "9.000000000000002".
- 1292023 cpu_core_0 "9.000000000000002".
- 1292195 cpu_core_0 "9.000000000000002".
- 1292247 cpu_core_0 "9.000000000000002".
- 1292701 cpu_core_0 "9.000000000000002".
- 1292904 cpu_core_0 "9.000000000000002".
- 1292975 cpu_core_0 "9.000000000000002".
- 1293924 cpu_core_0 "9.000000000000002".
- 1294349 cpu_core_0 "9.000000000000002".
- 1294352 cpu_core_0 "9.000000000000002".
- 1294362 cpu_core_0 "9.000000000000002".
- 1294386 cpu_core_0 "9.000000000000002".
- 1294474 cpu_core_0 "9.000000000000002".
- 1294590 cpu_core_0 "9.000000000000002".
- 1294619 cpu_core_0 "9.000000000000002".
- 1294637 cpu_core_0 "9.000000000000002".
- 1296004 cpu_core_0 "9.000000000000002".
- 1296078 cpu_core_0 "9.000000000000002".
- 1296198 cpu_core_0 "9.000000000000002".
- 1296224 cpu_core_0 "9.000000000000002".
- 1296232 cpu_core_0 "9.000000000000002".
- 1297210 cpu_core_0 "9.000000000000002".
- 1297461 cpu_core_0 "9.000000000000002".
- 1297511 cpu_core_0 "9.000000000000002".
- 1297634 cpu_core_0 "9.000000000000002".
- 1297687 cpu_core_0 "9.000000000000002".
- 1297691 cpu_core_0 "9.000000000000002".
- 1297743 cpu_core_0 "9.000000000000002".
- 1297824 cpu_core_0 "9.000000000000002".
- 1297825 cpu_core_0 "9.000000000000002".
- 1297943 cpu_core_0 "9.000000000000002".
- 1297981 cpu_core_0 "9.000000000000002".
- 1297989 cpu_core_0 "9.000000000000002".
- 1298219 cpu_core_0 "9.000000000000002".
- 1298349 cpu_core_0 "9.000000000000002".
- 1298378 cpu_core_0 "9.000000000000002".
- 1298407 cpu_core_0 "9.000000000000002".
- 1298420 cpu_core_0 "9.000000000000002".
- 1298489 cpu_core_0 "9.000000000000002".
- 1298844 cpu_core_0 "9.000000000000002".
- 1298894 cpu_core_0 "9.000000000000002".
- 1298936 cpu_core_0 "9.000000000000002".
- 1299023 cpu_core_0 "9.000000000000002".
- 1299210 cpu_core_0 "9.000000000000002".
- 1299218 cpu_core_0 "9.000000000000002".
- 1299271 cpu_core_0 "9.000000000000002".
- 1299278 cpu_core_0 "9.000000000000002".
- 1299365 cpu_core_0 "9.000000000000002".
- 1299439 cpu_core_0 "9.000000000000002".
- 1299677 cpu_core_0 "9.000000000000002".
- 1299737 cpu_core_0 "9.000000000000002".
- 1300249 cpu_core_0 "9.000000000000002".
- 1300757 cpu_core_0 "9.000000000000002".
- 1300921 cpu_core_0 "9.000000000000002".
- 1300937 cpu_core_0 "9.000000000000002".
- 1300939 cpu_core_0 "9.000000000000002".
- 1301038 cpu_core_0 "9.000000000000002".
- 1301054 cpu_core_0 "9.000000000000002".
- 1301086 cpu_core_0 "9.000000000000002".
- 1301235 cpu_core_0 "9.000000000000002".
- 1301281 cpu_core_0 "9.000000000000002".
- 1301344 cpu_core_0 "9.000000000000002".
- 1301368 cpu_core_0 "9.000000000000002".
- 1301430 cpu_core_0 "9.000000000000002".
- 1301465 cpu_core_0 "9.000000000000002".
- 1301467 cpu_core_0 "9.000000000000002".
- 1301709 cpu_core_0 "9.000000000000002".
- 1301835 cpu_core_0 "9.000000000000002".
- 1302032 cpu_core_0 "9.000000000000002".
- 1302076 cpu_core_0 "9.000000000000002".
- 1302185 cpu_core_0 "9.000000000000002".