Matches in ISWC2014 Benchmark for { ?s ?p 14.000000000000002. }
- 1358715 cpu_core_0 "14.000000000000002".
- 1359011 cpu_core_0 "14.000000000000002".
- 1359069 cpu_core_0 "14.000000000000002".
- 1359279 cpu_core_0 "14.000000000000002".
- 1359360 cpu_core_0 "14.000000000000002".
- 1360131 cpu_core_0 "14.000000000000002".
- 1360305 cpu_core_0 "14.000000000000002".
- 1360572 cpu_core_0 "14.000000000000002".
- 1360938 cpu_core_0 "14.000000000000002".
- 1361431 cpu_core_0 "14.000000000000002".
- 1363008 cpu_core_0 "14.000000000000002".
- 1363294 cpu_core_0 "14.000000000000002".
- 1363589 cpu_core_0 "14.000000000000002".
- 1363821 cpu_core_0 "14.000000000000002".
- 1363960 cpu_core_0 "14.000000000000002".
- 1363970 cpu_core_0 "14.000000000000002".
- 1364020 cpu_core_0 "14.000000000000002".
- 1364382 cpu_core_0 "14.000000000000002".
- 1364394 cpu_core_0 "14.000000000000002".
- 1364517 cpu_core_0 "14.000000000000002".
- 1364868 cpu_core_0 "14.000000000000002".
- 1364946 cpu_core_0 "14.000000000000002".
- 1365244 cpu_core_0 "14.000000000000002".
- 1365472 cpu_core_0 "14.000000000000002".
- 1366208 cpu_core_0 "14.000000000000002".
- 1366662 cpu_core_0 "14.000000000000002".
- 1368231 cpu_core_0 "14.000000000000002".
- 1368977 cpu_core_0 "14.000000000000002".
- 1369327 cpu_core_0 "14.000000000000002".
- 1369400 cpu_core_0 "14.000000000000002".
- 1369497 cpu_core_0 "14.000000000000002".
- 1369761 cpu_core_0 "14.000000000000002".
- 1369817 cpu_core_0 "14.000000000000002".
- 1370160 cpu_core_0 "14.000000000000002".
- 1370269 cpu_core_0 "14.000000000000002".
- 1370457 cpu_core_0 "14.000000000000002".
- 1370601 cpu_core_0 "14.000000000000002".
- 1370778 cpu_core_0 "14.000000000000002".
- 1371136 cpu_core_0 "14.000000000000002".
- 1371880 cpu_core_0 "14.000000000000002".
- 1371914 cpu_core_0 "14.000000000000002".
- 1372117 cpu_core_0 "14.000000000000002".
- 1372129 cpu_core_0 "14.000000000000002".
- 1372267 cpu_core_0 "14.000000000000002".
- 1372677 cpu_core_0 "14.000000000000002".
- 1373082 cpu_core_0 "14.000000000000002".
- 1373459 cpu_core_0 "14.000000000000002".
- 1373549 cpu_core_0 "14.000000000000002".
- 1374521 cpu_core_0 "14.000000000000002".
- 1374863 cpu_core_0 "14.000000000000002".
- 1374900 cpu_core_0 "14.000000000000002".
- 1375423 cpu_core_0 "14.000000000000002".
- 1375433 cpu_core_0 "14.000000000000002".
- 1375871 cpu_core_0 "14.000000000000002".
- 1375894 cpu_core_0 "14.000000000000002".
- 1376140 cpu_core_0 "14.000000000000002".
- 1376145 cpu_core_0 "14.000000000000002".
- 1376310 cpu_core_0 "14.000000000000002".
- 1376458 cpu_core_0 "14.000000000000002".
- 1377052 cpu_core_0 "14.000000000000002".
- 1377545 cpu_core_0 "14.000000000000002".
- 1377635 cpu_core_0 "14.000000000000002".
- 1377773 cpu_core_0 "14.000000000000002".
- 1379071 cpu_core_0 "14.000000000000002".
- 1379136 cpu_core_0 "14.000000000000002".
- 1379805 cpu_core_0 "14.000000000000002".
- 1379824 cpu_core_0 "14.000000000000002".
- 1379882 cpu_core_0 "14.000000000000002".
- 1380061 cpu_core_0 "14.000000000000002".
- 1380153 cpu_core_0 "14.000000000000002".
- 1380232 cpu_core_0 "14.000000000000002".
- 1380513 cpu_core_0 "14.000000000000002".
- 1381158 cpu_core_0 "14.000000000000002".
- 1381422 cpu_core_0 "14.000000000000002".
- 1382096 cpu_core_0 "14.000000000000002".
- 1382439 cpu_core_0 "14.000000000000002".
- 1382448 cpu_core_0 "14.000000000000002".
- 1382777 cpu_core_0 "14.000000000000002".
- 1382940 cpu_core_0 "14.000000000000002".
- 1383036 cpu_core_0 "14.000000000000002".
- 1383500 cpu_core_0 "14.000000000000002".
- 1384128 cpu_core_0 "14.000000000000002".
- 1384336 cpu_core_0 "14.000000000000002".
- 1384357 cpu_core_0 "14.000000000000002".
- 1385155 cpu_core_0 "14.000000000000002".
- 1386231 cpu_core_0 "14.000000000000002".
- 1386525 cpu_core_0 "14.000000000000002".
- 1386938 cpu_core_0 "14.000000000000002".
- 1386965 cpu_core_0 "14.000000000000002".
- 1387158 cpu_core_0 "14.000000000000002".
- 1387325 cpu_core_0 "14.000000000000002".
- 1387385 cpu_core_0 "14.000000000000002".
- 1387417 cpu_core_0 "14.000000000000002".
- 1388453 cpu_core_0 "14.000000000000002".
- 1389739 cpu_core_0 "14.000000000000002".
- 1390168 cpu_core_0 "14.000000000000002".
- 1391018 cpu_core_0 "14.000000000000002".
- 1391116 cpu_core_0 "14.000000000000002".
- 1391193 cpu_core_0 "14.000000000000002".
- 1391375 cpu_core_0 "14.000000000000002".