Matches in ISWC2014 Benchmark for { ?s ?p 14.000000000000002. }
- 1248458 cpu_core_0 "14.000000000000002".
- 1248598 cpu_core_0 "14.000000000000002".
- 1248651 cpu_core_0 "14.000000000000002".
- 1249156 cpu_core_0 "14.000000000000002".
- 1249187 cpu_core_0 "14.000000000000002".
- 1249304 cpu_core_0 "14.000000000000002".
- 1249329 cpu_core_0 "14.000000000000002".
- 1249396 cpu_core_0 "14.000000000000002".
- 1249583 cpu_core_0 "14.000000000000002".
- 1250010 cpu_core_0 "14.000000000000002".
- 1250160 cpu_core_0 "14.000000000000002".
- 1250171 cpu_core_0 "14.000000000000002".
- 1250339 cpu_core_0 "14.000000000000002".
- 1251100 cpu_core_0 "14.000000000000002".
- 1251589 cpu_core_0 "14.000000000000002".
- 1252061 cpu_core_0 "14.000000000000002".
- 1252225 cpu_core_0 "14.000000000000002".
- 1252502 cpu_core_0 "14.000000000000002".
- 1253003 cpu_core_0 "14.000000000000002".
- 1254579 cpu_core_0 "14.000000000000002".
- 1254858 cpu_core_0 "14.000000000000002".
- 1255105 cpu_core_0 "14.000000000000002".
- 1255574 cpu_core_0 "14.000000000000002".
- 1255598 cpu_core_0 "14.000000000000002".
- 1255981 cpu_core_0 "14.000000000000002".
- 1256183 cpu_core_0 "14.000000000000002".
- 1256666 cpu_core_0 "14.000000000000002".
- 1257161 cpu_core_0 "14.000000000000002".
- 1257286 cpu_core_0 "14.000000000000002".
- 1257458 cpu_core_0 "14.000000000000002".
- 1257464 cpu_core_0 "14.000000000000002".
- 1257772 cpu_core_0 "14.000000000000002".
- 1258312 cpu_core_0 "14.000000000000002".
- 1258613 cpu_core_0 "14.000000000000002".
- 1258947 cpu_core_0 "14.000000000000002".
- 1259385 cpu_core_0 "14.000000000000002".
- 1259912 cpu_core_0 "14.000000000000002".
- 1259993 cpu_core_0 "14.000000000000002".
- 1260017 cpu_core_0 "14.000000000000002".
- 1260023 cpu_core_0 "14.000000000000002".
- 1260109 cpu_core_0 "14.000000000000002".
- 1260249 cpu_core_0 "14.000000000000002".
- 1261745 cpu_core_0 "14.000000000000002".
- 1262146 cpu_core_0 "14.000000000000002".
- 1262436 cpu_core_0 "14.000000000000002".
- 1262517 cpu_core_0 "14.000000000000002".
- 1263195 cpu_core_0 "14.000000000000002".
- 1263999 cpu_core_0 "14.000000000000002".
- 1264537 cpu_core_0 "14.000000000000002".
- 1264819 cpu_core_0 "14.000000000000002".
- 1264927 cpu_core_0 "14.000000000000002".
- 1266425 cpu_core_0 "14.000000000000002".
- 1266629 cpu_core_0 "14.000000000000002".
- 1266645 cpu_core_0 "14.000000000000002".
- 1266755 cpu_core_0 "14.000000000000002".
- 1267613 cpu_core_0 "14.000000000000002".
- 1267621 cpu_core_0 "14.000000000000002".
- 1268043 cpu_core_0 "14.000000000000002".
- 1268535 cpu_core_0 "14.000000000000002".
- 1268989 cpu_core_0 "14.000000000000002".
- 1269157 cpu_core_0 "14.000000000000002".
- 1269340 cpu_core_0 "14.000000000000002".
- 1269600 cpu_core_0 "14.000000000000002".
- 1269695 cpu_core_0 "14.000000000000002".
- 1270407 cpu_core_0 "14.000000000000002".
- 1270670 cpu_core_0 "14.000000000000002".
- 1271921 cpu_core_0 "14.000000000000002".
- 1271967 cpu_core_0 "14.000000000000002".
- 1272762 cpu_core_0 "14.000000000000002".
- 1272884 cpu_core_0 "14.000000000000002".
- 1272948 cpu_core_0 "14.000000000000002".
- 1273340 cpu_core_0 "14.000000000000002".
- 1273785 cpu_core_0 "14.000000000000002".
- 1274032 cpu_core_0 "14.000000000000002".
- 1274515 cpu_core_0 "14.000000000000002".
- 1274712 cpu_core_0 "14.000000000000002".
- 1274919 cpu_core_0 "14.000000000000002".
- 1274998 cpu_core_0 "14.000000000000002".
- 1275369 cpu_core_0 "14.000000000000002".
- 1275478 cpu_core_0 "14.000000000000002".
- 1275542 cpu_core_0 "14.000000000000002".
- 1275640 cpu_core_0 "14.000000000000002".
- 1275705 cpu_core_0 "14.000000000000002".
- 1275892 cpu_core_0 "14.000000000000002".
- 1275966 cpu_core_0 "14.000000000000002".
- 1276147 cpu_core_0 "14.000000000000002".
- 1276556 cpu_core_0 "14.000000000000002".
- 1276732 cpu_core_0 "14.000000000000002".
- 1276851 cpu_core_0 "14.000000000000002".
- 1277088 cpu_core_0 "14.000000000000002".
- 1278530 cpu_core_0 "14.000000000000002".
- 1278656 cpu_core_0 "14.000000000000002".
- 1279573 cpu_core_0 "14.000000000000002".
- 1279597 cpu_core_0 "14.000000000000002".
- 1279741 cpu_core_0 "14.000000000000002".
- 1280035 cpu_core_0 "14.000000000000002".
- 1280800 cpu_core_0 "14.000000000000002".
- 1280807 cpu_core_0 "14.000000000000002".
- 1281008 cpu_core_0 "14.000000000000002".
- 1281252 cpu_core_0 "14.000000000000002".