Matches in ISWC2014 Benchmark for { ?s ?p 5.940594059405941. }
- 1374380 cpu_core_0 "5.940594059405941".
- 1374451 cpu_core_0 "5.940594059405941".
- 1374750 cpu_core_0 "5.940594059405941".
- 1374792 cpu_core_0 "5.940594059405941".
- 1374815 cpu_core_0 "5.940594059405941".
- 1374988 cpu_core_0 "5.940594059405941".
- 1375002 cpu_core_0 "5.940594059405941".
- 1375151 cpu_core_0 "5.940594059405941".
- 1375408 cpu_core_0 "5.940594059405941".
- 1375443 cpu_core_0 "5.940594059405941".
- 1375715 cpu_core_0 "5.940594059405941".
- 1376098 cpu_core_0 "5.940594059405941".
- 1376126 cpu_core_0 "5.940594059405941".
- 1376130 cpu_core_0 "5.940594059405941".
- 1376246 cpu_core_0 "5.940594059405941".
- 1376369 cpu_core_0 "5.940594059405941".
- 1376409 cpu_core_0 "5.940594059405941".
- 1376410 cpu_core_0 "5.940594059405941".
- 1376434 cpu_core_0 "5.940594059405941".
- 1376485 cpu_core_0 "5.940594059405941".
- 1376586 cpu_core_0 "5.940594059405941".
- 1376611 cpu_core_0 "5.940594059405941".
- 1376865 cpu_core_0 "5.940594059405941".
- 1376874 cpu_core_0 "5.940594059405941".
- 1376928 cpu_core_0 "5.940594059405941".
- 1377044 cpu_core_0 "5.940594059405941".
- 1377328 cpu_core_0 "5.940594059405941".
- 1377390 cpu_core_0 "5.940594059405941".
- 1378358 cpu_core_0 "5.940594059405941".
- 1378473 cpu_core_0 "5.940594059405941".
- 1378511 cpu_core_0 "5.940594059405941".
- 1378596 cpu_core_0 "5.940594059405941".
- 1378614 cpu_core_0 "5.940594059405941".
- 1378682 cpu_core_0 "5.940594059405941".
- 1378734 cpu_core_0 "5.940594059405941".
- 1378964 cpu_core_0 "5.940594059405941".
- 1378979 cpu_core_0 "5.940594059405941".
- 1379200 cpu_core_0 "5.940594059405941".
- 1379234 cpu_core_0 "5.940594059405941".
- 1379243 cpu_core_0 "5.940594059405941".
- 1379425 cpu_core_0 "5.940594059405941".
- 1379603 cpu_core_0 "5.940594059405941".
- 1379877 cpu_core_0 "5.940594059405941".
- 1379969 cpu_core_0 "5.940594059405941".
- 1379983 cpu_core_0 "5.940594059405941".
- 1380016 cpu_core_0 "5.940594059405941".
- 1380045 cpu_core_0 "5.940594059405941".
- 1380229 cpu_core_0 "5.940594059405941".
- 1380435 cpu_core_0 "5.940594059405941".
- 1380464 cpu_core_0 "5.940594059405941".
- 1380573 cpu_core_0 "5.940594059405941".
- 1380585 cpu_core_0 "5.940594059405941".
- 1381023 cpu_core_0 "5.940594059405941".
- 1381181 cpu_core_0 "5.940594059405941".
- 1381185 cpu_core_0 "5.940594059405941".
- 1381223 cpu_core_0 "5.940594059405941".
- 1381381 cpu_core_0 "5.940594059405941".
- 1381642 cpu_core_0 "5.940594059405941".
- 1381683 cpu_core_0 "5.940594059405941".
- 1381870 cpu_core_0 "5.940594059405941".
- 1381978 cpu_core_0 "5.940594059405941".
- 1382049 cpu_core_0 "5.940594059405941".
- 1382199 cpu_core_0 "5.940594059405941".
- 1382249 cpu_core_0 "5.940594059405941".
- 1382359 cpu_core_0 "5.940594059405941".
- 1382941 cpu_core_0 "5.940594059405941".
- 1383181 cpu_core_0 "5.940594059405941".
- 1383208 cpu_core_0 "5.940594059405941".
- 1383683 cpu_core_0 "5.940594059405941".
- 1383695 cpu_core_0 "5.940594059405941".
- 1383731 cpu_core_0 "5.940594059405941".
- 1383764 cpu_core_0 "5.940594059405941".
- 1383841 cpu_core_0 "5.940594059405941".
- 1383991 cpu_core_0 "5.940594059405941".
- 1384287 cpu_core_0 "5.940594059405941".
- 1384382 cpu_core_0 "5.940594059405941".
- 1384414 cpu_core_0 "5.940594059405941".
- 1384440 cpu_core_0 "5.940594059405941".
- 1384818 cpu_core_0 "5.940594059405941".
- 1384864 cpu_core_0 "5.940594059405941".
- 1384968 cpu_core_0 "5.940594059405941".
- 1385136 cpu_core_0 "5.940594059405941".
- 1385143 cpu_core_0 "5.940594059405941".
- 1385240 cpu_core_0 "5.940594059405941".
- 1385737 cpu_core_0 "5.940594059405941".
- 1386381 cpu_core_0 "5.940594059405941".
- 1386545 cpu_core_0 "5.940594059405941".
- 1386551 cpu_core_0 "5.940594059405941".
- 1386912 cpu_core_0 "5.940594059405941".
- 1387039 cpu_core_0 "5.940594059405941".
- 1387178 cpu_core_0 "5.940594059405941".
- 1387296 cpu_core_0 "5.940594059405941".
- 1387345 cpu_core_0 "5.940594059405941".
- 1387435 cpu_core_0 "5.940594059405941".
- 1387451 cpu_core_0 "5.940594059405941".
- 1387545 cpu_core_0 "5.940594059405941".
- 1387607 cpu_core_0 "5.940594059405941".
- 1387620 cpu_core_0 "5.940594059405941".
- 1387744 cpu_core_0 "5.940594059405941".
- 1388073 cpu_core_0 "5.940594059405941".