Matches in ISWC2014 Benchmark for { ?s ?p 5.9405940594059405. }
- 1217050 cpu_core_0 "5.9405940594059405".
- 1217054 cpu_core_0 "5.9405940594059405".
- 1217068 cpu_core_0 "5.9405940594059405".
- 1217349 cpu_core_0 "5.9405940594059405".
- 1217716 cpu_core_0 "5.9405940594059405".
- 1218626 cpu_core_0 "5.9405940594059405".
- 1218906 cpu_core_0 "5.9405940594059405".
- 1218991 cpu_core_0 "5.9405940594059405".
- 1219023 cpu_core_0 "5.9405940594059405".
- 1219138 cpu_core_0 "5.9405940594059405".
- 1226467 cpu_core_0 "5.9405940594059405".
- 1226938 cpu_core_0 "5.9405940594059405".
- 1233902 cpu_core_0 "5.9405940594059405".
- 1235654 cpu_core_0 "5.9405940594059405".
- 1236168 cpu_core_0 "5.9405940594059405".
- 1236373 cpu_core_0 "5.9405940594059405".
- 1236645 cpu_core_0 "5.9405940594059405".
- 1236958 cpu_core_0 "5.9405940594059405".
- 1236992 cpu_core_0 "5.9405940594059405".
- 1237187 cpu_core_0 "5.9405940594059405".
- 1237277 cpu_core_0 "5.9405940594059405".
- 1238490 cpu_core_0 "5.9405940594059405".
- 1241913 cpu_core_0 "5.9405940594059405".
- 1243435 cpu_core_0 "5.9405940594059405".
- 1243500 cpu_core_0 "5.9405940594059405".
- 1245245 cpu_core_0 "5.9405940594059405".
- 1248904 cpu_core_0 "5.9405940594059405".
- 1251169 cpu_core_0 "5.9405940594059405".
- 1252837 cpu_core_0 "5.9405940594059405".
- 1253748 cpu_core_0 "5.9405940594059405".
- 1254666 cpu_core_0 "5.9405940594059405".
- 1255046 cpu_core_0 "5.9405940594059405".
- 1255480 cpu_core_0 "5.9405940594059405".
- 1255804 cpu_core_0 "5.9405940594059405".
- 1259209 cpu_core_0 "5.9405940594059405".
- 1260095 cpu_core_0 "5.9405940594059405".
- 1260160 cpu_core_0 "5.9405940594059405".
- 1262331 cpu_core_0 "5.9405940594059405".
- 1268307 cpu_core_0 "5.9405940594059405".
- 1268401 cpu_core_0 "5.9405940594059405".
- 1269710 cpu_core_0 "5.9405940594059405".
- 1271825 cpu_core_0 "5.9405940594059405".
- 1276698 cpu_core_0 "5.9405940594059405".
- 1285553 cpu_core_0 "5.9405940594059405".
- 1287518 cpu_core_0 "5.9405940594059405".
- 1288373 cpu_core_0 "5.9405940594059405".
- 1289407 cpu_core_0 "5.9405940594059405".
- 1290073 cpu_core_0 "5.9405940594059405".
- 1291642 cpu_core_0 "5.9405940594059405".
- 1294083 cpu_core_0 "5.9405940594059405".
- 1295110 cpu_core_0 "5.9405940594059405".
- 1297037 cpu_core_0 "5.9405940594059405".
- 1297737 cpu_core_0 "5.9405940594059405".
- 1297803 cpu_core_0 "5.9405940594059405".
- 1297990 cpu_core_0 "5.9405940594059405".
- 1299934 cpu_core_0 "5.9405940594059405".
- 1302956 cpu_core_0 "5.9405940594059405".
- 1304229 cpu_core_0 "5.9405940594059405".
- 1304757 cpu_core_0 "5.9405940594059405".
- 1304851 cpu_core_0 "5.9405940594059405".
- 1306002 cpu_core_0 "5.9405940594059405".
- 1316132 cpu_core_0 "5.9405940594059405".
- 1320640 cpu_core_0 "5.9405940594059405".
- 1324939 cpu_core_0 "5.9405940594059405".
- 1325256 cpu_core_0 "5.9405940594059405".
- 1325603 cpu_core_0 "5.9405940594059405".
- 1329464 cpu_core_0 "5.9405940594059405".
- 1341286 cpu_core_0 "5.9405940594059405".
- 1353905 cpu_core_0 "5.9405940594059405".
- 1355969 cpu_core_0 "5.9405940594059405".
- 1356566 cpu_core_0 "5.9405940594059405".
- 1374152 cpu_core_0 "5.9405940594059405".
- 1376129 cpu_core_0 "5.9405940594059405".
- 1379019 cpu_core_0 "5.9405940594059405".
- 1379124 cpu_core_0 "5.9405940594059405".
- 1379802 cpu_core_0 "5.9405940594059405".
- 1381966 cpu_core_0 "5.9405940594059405".
- 1383697 cpu_core_0 "5.9405940594059405".
- 1385279 cpu_core_0 "5.9405940594059405".
- 1388000 cpu_core_0 "5.9405940594059405".
- 1389914 cpu_core_0 "5.9405940594059405".
- 1391578 cpu_core_0 "5.9405940594059405".
- 1391602 cpu_core_0 "5.9405940594059405".
- 1394669 cpu_core_0 "5.9405940594059405".
- 1396221 cpu_core_0 "5.9405940594059405".
- 1401355 cpu_core_0 "5.9405940594059405".
- 1401476 cpu_core_0 "5.9405940594059405".
- 1401722 cpu_core_0 "5.9405940594059405".
- 1402321 cpu_core_0 "5.9405940594059405".
- 1402923 cpu_core_0 "5.9405940594059405".
- 1403286 cpu_core_0 "5.9405940594059405".
- 1403431 cpu_core_0 "5.9405940594059405".
- 1403683 cpu_core_0 "5.9405940594059405".
- 1405005 cpu_core_0 "5.9405940594059405".
- 1405489 cpu_core_0 "5.9405940594059405".
- 1405671 cpu_core_0 "5.9405940594059405".
- 1406280 cpu_core_0 "5.9405940594059405".
- 1406876 cpu_core_0 "5.9405940594059405".
- 1406883 cpu_core_0 "5.9405940594059405".
- 1407113 cpu_core_0 "5.9405940594059405".