Matches in ISWC2014 Benchmark for { ?s ?p 5.9405940594059405. }
- 1410120 cpu_core_1 "5.9405940594059405".
- 1410169 cpu_core_1 "5.9405940594059405".
- 1410233 cpu_core_1 "5.9405940594059405".
- 1410332 cpu_core_1 "5.9405940594059405".
- 1410411 cpu_core_1 "5.9405940594059405".
- 1410533 cpu_core_1 "5.9405940594059405".
- 1410585 cpu_core_1 "5.9405940594059405".
- 1410707 cpu_core_1 "5.9405940594059405".
- 1410715 cpu_core_1 "5.9405940594059405".
- 1410778 cpu_core_1 "5.9405940594059405".
- 1410828 cpu_core_1 "5.9405940594059405".
- 1410910 cpu_core_1 "5.9405940594059405".
- 1410954 cpu_core_1 "5.9405940594059405".
- 1411032 cpu_core_1 "5.9405940594059405".
- 1411048 cpu_core_1 "5.9405940594059405".
- 1411122 cpu_core_1 "5.9405940594059405".
- 1411181 cpu_core_1 "5.9405940594059405".
- 1411210 cpu_core_1 "5.9405940594059405".
- 1411283 cpu_core_1 "5.9405940594059405".
- 1411304 cpu_core_1 "5.9405940594059405".
- 1411331 cpu_core_1 "5.9405940594059405".
- 1411380 cpu_core_1 "5.9405940594059405".
- 1411389 cpu_core_1 "5.9405940594059405".
- 1411462 cpu_core_1 "5.9405940594059405".
- 1411467 cpu_core_1 "5.9405940594059405".
- 1411483 cpu_core_1 "5.9405940594059405".
- 1411495 cpu_core_1 "5.9405940594059405".
- 1411528 cpu_core_1 "5.9405940594059405".
- 1411534 cpu_core_1 "5.9405940594059405".
- 1411539 cpu_core_1 "5.9405940594059405".
- 1411587 cpu_core_1 "5.9405940594059405".
- 1411597 cpu_core_1 "5.9405940594059405".
- 1411630 cpu_core_1 "5.9405940594059405".
- 1411734 cpu_core_1 "5.9405940594059405".
- 1411738 cpu_core_1 "5.9405940594059405".
- 1411803 cpu_core_1 "5.9405940594059405".
- 1411827 cpu_core_1 "5.9405940594059405".
- 1411943 cpu_core_1 "5.9405940594059405".
- 1411949 cpu_core_1 "5.9405940594059405".
- 1411987 cpu_core_1 "5.9405940594059405".
- 1412015 cpu_core_1 "5.9405940594059405".
- 1412035 cpu_core_1 "5.9405940594059405".
- 1412134 cpu_core_1 "5.9405940594059405".
- 1412260 cpu_core_1 "5.9405940594059405".
- 1412381 cpu_core_1 "5.9405940594059405".
- 1412383 cpu_core_1 "5.9405940594059405".
- 1412421 cpu_core_1 "5.9405940594059405".
- 1412454 cpu_core_1 "5.9405940594059405".
- 1412464 cpu_core_1 "5.9405940594059405".
- 1412512 cpu_core_1 "5.9405940594059405".
- 1412524 cpu_core_1 "5.9405940594059405".
- 1412617 cpu_core_1 "5.9405940594059405".
- 1412623 cpu_core_1 "5.9405940594059405".
- 1412737 cpu_core_1 "5.9405940594059405".
- 1412778 cpu_core_1 "5.9405940594059405".
- 1412789 cpu_core_1 "5.9405940594059405".
- 1412797 cpu_core_1 "5.9405940594059405".
- 1412813 cpu_core_1 "5.9405940594059405".
- 1412901 cpu_core_1 "5.9405940594059405".
- 1412912 cpu_core_1 "5.9405940594059405".
- 1412923 cpu_core_1 "5.9405940594059405".
- 1412945 cpu_core_1 "5.9405940594059405".
- 1413061 cpu_core_1 "5.9405940594059405".
- 1413093 cpu_core_1 "5.9405940594059405".
- 1413132 cpu_core_1 "5.9405940594059405".
- 1413135 cpu_core_1 "5.9405940594059405".
- 1413172 cpu_core_1 "5.9405940594059405".
- 1413412 cpu_core_1 "5.9405940594059405".
- 1413425 cpu_core_1 "5.9405940594059405".
- 1413453 cpu_core_1 "5.9405940594059405".
- 1413482 cpu_core_1 "5.9405940594059405".
- 1413511 cpu_core_1 "5.9405940594059405".
- 1413562 cpu_core_1 "5.9405940594059405".
- 1413636 cpu_core_1 "5.9405940594059405".
- 1413704 cpu_core_1 "5.9405940594059405".
- 1413756 cpu_core_1 "5.9405940594059405".
- 1413774 cpu_core_1 "5.9405940594059405".
- 1413782 cpu_core_1 "5.9405940594059405".
- 1413788 cpu_core_1 "5.9405940594059405".
- 1413850 cpu_core_1 "5.9405940594059405".
- 1413963 cpu_core_1 "5.9405940594059405".
- 1413993 cpu_core_1 "5.9405940594059405".
- 1414001 cpu_core_1 "5.9405940594059405".
- 1414013 cpu_core_1 "5.9405940594059405".
- 1414075 cpu_core_1 "5.9405940594059405".
- 1414095 cpu_core_1 "5.9405940594059405".
- 1414114 cpu_core_1 "5.9405940594059405".
- 1414115 cpu_core_1 "5.9405940594059405".
- 1414179 cpu_core_1 "5.9405940594059405".
- 1421097 cpu_core_1 "5.9405940594059405".
- 1422375 cpu_core_1 "5.9405940594059405".
- 1432923 cpu_core_1 "5.9405940594059405".
- 1433318 cpu_core_1 "5.9405940594059405".
- 1433468 cpu_core_1 "5.9405940594059405".
- 1434392 cpu_core_1 "5.9405940594059405".
- 1434625 cpu_core_1 "5.9405940594059405".
- 1438112 cpu_core_1 "5.9405940594059405".
- 1442659 cpu_core_1 "5.9405940594059405".
- 1445395 cpu_core_1 "5.9405940594059405".
- 1446263 cpu_core_1 "5.9405940594059405".