Matches in ISWC2014 Benchmark for { ?s ?p 15.686274509803921. }
- 1250266 cpu_core_0 "15.686274509803921".
- 1250752 cpu_core_0 "15.686274509803921".
- 1250784 cpu_core_0 "15.686274509803921".
- 1251304 cpu_core_0 "15.686274509803921".
- 1251500 cpu_core_0 "15.686274509803921".
- 1252438 cpu_core_0 "15.686274509803921".
- 1252700 cpu_core_0 "15.686274509803921".
- 1253487 cpu_core_0 "15.686274509803921".
- 1254255 cpu_core_0 "15.686274509803921".
- 1254697 cpu_core_0 "15.686274509803921".
- 1255246 cpu_core_0 "15.686274509803921".
- 1255715 cpu_core_0 "15.686274509803921".
- 1256217 cpu_core_0 "15.686274509803921".
- 1257241 cpu_core_0 "15.686274509803921".
- 1257264 cpu_core_0 "15.686274509803921".
- 1258365 cpu_core_0 "15.686274509803921".
- 1260266 cpu_core_0 "15.686274509803921".
- 1260831 cpu_core_0 "15.686274509803921".
- 1262540 cpu_core_0 "15.686274509803921".
- 1264708 cpu_core_0 "15.686274509803921".
- 1267006 cpu_core_0 "15.686274509803921".
- 1267853 cpu_core_0 "15.686274509803921".
- 1268519 cpu_core_0 "15.686274509803921".
- 1269852 cpu_core_0 "15.686274509803921".
- 1270291 cpu_core_0 "15.686274509803921".
- 1270601 cpu_core_0 "15.686274509803921".
- 1270780 cpu_core_0 "15.686274509803921".
- 1271442 cpu_core_0 "15.686274509803921".
- 1271994 cpu_core_0 "15.686274509803921".
- 1272419 cpu_core_0 "15.686274509803921".
- 1272480 cpu_core_0 "15.686274509803921".
- 1272586 cpu_core_0 "15.686274509803921".
- 1275931 cpu_core_0 "15.686274509803921".
- 1276497 cpu_core_0 "15.686274509803921".
- 1277074 cpu_core_0 "15.686274509803921".
- 1278253 cpu_core_0 "15.686274509803921".
- 1278266 cpu_core_0 "15.686274509803921".
- 1282619 cpu_core_0 "15.686274509803921".
- 1284370 cpu_core_0 "15.686274509803921".
- 1286675 cpu_core_0 "15.686274509803921".
- 1289638 cpu_core_0 "15.686274509803921".
- 1289717 cpu_core_0 "15.686274509803921".
- 1290082 cpu_core_0 "15.686274509803921".
- 1292501 cpu_core_0 "15.686274509803921".
- 1293466 cpu_core_0 "15.686274509803921".
- 1293769 cpu_core_0 "15.686274509803921".
- 1293879 cpu_core_0 "15.686274509803921".
- 1295926 cpu_core_0 "15.686274509803921".
- 1296859 cpu_core_0 "15.686274509803921".
- 1298855 cpu_core_0 "15.686274509803921".
- 1299028 cpu_core_0 "15.686274509803921".
- 1300360 cpu_core_0 "15.686274509803921".
- 1302212 cpu_core_0 "15.686274509803921".
- 1302495 cpu_core_0 "15.686274509803921".
- 1302768 cpu_core_0 "15.686274509803921".
- 1303038 cpu_core_0 "15.686274509803921".
- 1305656 cpu_core_0 "15.686274509803921".
- 1305855 cpu_core_0 "15.686274509803921".
- 1306454 cpu_core_0 "15.686274509803921".
- 1306524 cpu_core_0 "15.686274509803921".
- 1307338 cpu_core_0 "15.686274509803921".
- 1307812 cpu_core_0 "15.686274509803921".
- 1309185 cpu_core_0 "15.686274509803921".
- 1309508 cpu_core_0 "15.686274509803921".
- 1309761 cpu_core_0 "15.686274509803921".
- 1310036 cpu_core_0 "15.686274509803921".
- 1310694 cpu_core_0 "15.686274509803921".
- 1311599 cpu_core_0 "15.686274509803921".
- 1311796 cpu_core_0 "15.686274509803921".
- 1314581 cpu_core_0 "15.686274509803921".
- 1315304 cpu_core_0 "15.686274509803921".
- 1318346 cpu_core_0 "15.686274509803921".
- 1318469 cpu_core_0 "15.686274509803921".
- 1318856 cpu_core_0 "15.686274509803921".
- 1319371 cpu_core_0 "15.686274509803921".
- 1319593 cpu_core_0 "15.686274509803921".
- 1320017 cpu_core_0 "15.686274509803921".
- 1320132 cpu_core_0 "15.686274509803921".
- 1320674 cpu_core_0 "15.686274509803921".
- 1322101 cpu_core_0 "15.686274509803921".
- 1322700 cpu_core_0 "15.686274509803921".
- 1322890 cpu_core_0 "15.686274509803921".
- 1323230 cpu_core_0 "15.686274509803921".
- 1323864 cpu_core_0 "15.686274509803921".
- 1324556 cpu_core_0 "15.686274509803921".
- 1324568 cpu_core_0 "15.686274509803921".
- 1324789 cpu_core_0 "15.686274509803921".
- 1324917 cpu_core_0 "15.686274509803921".
- 1325150 cpu_core_0 "15.686274509803921".
- 1325235 cpu_core_0 "15.686274509803921".
- 1325646 cpu_core_0 "15.686274509803921".
- 1325828 cpu_core_0 "15.686274509803921".
- 1326012 cpu_core_0 "15.686274509803921".
- 1326713 cpu_core_0 "15.686274509803921".
- 1326758 cpu_core_0 "15.686274509803921".
- 1329559 cpu_core_0 "15.686274509803921".
- 1331270 cpu_core_0 "15.686274509803921".
- 1331855 cpu_core_0 "15.686274509803921".
- 1332432 cpu_core_0 "15.686274509803921".
- 1332836 cpu_core_0 "15.686274509803921".