Matches in ISWC2014 Benchmark for { ?s ?p 5.940594059405941. }
- 1339820 cpu_core_0 "5.940594059405941".
- 1339872 cpu_core_0 "5.940594059405941".
- 1339939 cpu_core_0 "5.940594059405941".
- 1340330 cpu_core_0 "5.940594059405941".
- 1340419 cpu_core_0 "5.940594059405941".
- 1340433 cpu_core_0 "5.940594059405941".
- 1340768 cpu_core_0 "5.940594059405941".
- 1340848 cpu_core_0 "5.940594059405941".
- 1340955 cpu_core_0 "5.940594059405941".
- 1341019 cpu_core_0 "5.940594059405941".
- 1341180 cpu_core_0 "5.940594059405941".
- 1341580 cpu_core_0 "5.940594059405941".
- 1341965 cpu_core_0 "5.940594059405941".
- 1342192 cpu_core_0 "5.940594059405941".
- 1342414 cpu_core_0 "5.940594059405941".
- 1342944 cpu_core_0 "5.940594059405941".
- 1343053 cpu_core_0 "5.940594059405941".
- 1343064 cpu_core_0 "5.940594059405941".
- 1343091 cpu_core_0 "5.940594059405941".
- 1343517 cpu_core_0 "5.940594059405941".
- 1343570 cpu_core_0 "5.940594059405941".
- 1343774 cpu_core_0 "5.940594059405941".
- 1343949 cpu_core_0 "5.940594059405941".
- 1344052 cpu_core_0 "5.940594059405941".
- 1344138 cpu_core_0 "5.940594059405941".
- 1344212 cpu_core_0 "5.940594059405941".
- 1344597 cpu_core_0 "5.940594059405941".
- 1344640 cpu_core_0 "5.940594059405941".
- 1344746 cpu_core_0 "5.940594059405941".
- 1344850 cpu_core_0 "5.940594059405941".
- 1344892 cpu_core_0 "5.940594059405941".
- 1344927 cpu_core_0 "5.940594059405941".
- 1345204 cpu_core_0 "5.940594059405941".
- 1345227 cpu_core_0 "5.940594059405941".
- 1345260 cpu_core_0 "5.940594059405941".
- 1345273 cpu_core_0 "5.940594059405941".
- 1345332 cpu_core_0 "5.940594059405941".
- 1345390 cpu_core_0 "5.940594059405941".
- 1345439 cpu_core_0 "5.940594059405941".
- 1345511 cpu_core_0 "5.940594059405941".
- 1345655 cpu_core_0 "5.940594059405941".
- 1345663 cpu_core_0 "5.940594059405941".
- 1345675 cpu_core_0 "5.940594059405941".
- 1345682 cpu_core_0 "5.940594059405941".
- 1345695 cpu_core_0 "5.940594059405941".
- 1345720 cpu_core_0 "5.940594059405941".
- 1345753 cpu_core_0 "5.940594059405941".
- 1345931 cpu_core_0 "5.940594059405941".
- 1345981 cpu_core_0 "5.940594059405941".
- 1346075 cpu_core_0 "5.940594059405941".
- 1346279 cpu_core_0 "5.940594059405941".
- 1346282 cpu_core_0 "5.940594059405941".
- 1346324 cpu_core_0 "5.940594059405941".
- 1346360 cpu_core_0 "5.940594059405941".
- 1346429 cpu_core_0 "5.940594059405941".
- 1346517 cpu_core_0 "5.940594059405941".
- 1346622 cpu_core_0 "5.940594059405941".
- 1346963 cpu_core_0 "5.940594059405941".
- 1347037 cpu_core_0 "5.940594059405941".
- 1347171 cpu_core_0 "5.940594059405941".
- 1347370 cpu_core_0 "5.940594059405941".
- 1347435 cpu_core_0 "5.940594059405941".
- 1347578 cpu_core_0 "5.940594059405941".
- 1347684 cpu_core_0 "5.940594059405941".
- 1347918 cpu_core_0 "5.940594059405941".
- 1348207 cpu_core_0 "5.940594059405941".
- 1348380 cpu_core_0 "5.940594059405941".
- 1348511 cpu_core_0 "5.940594059405941".
- 1348600 cpu_core_0 "5.940594059405941".
- 1348648 cpu_core_0 "5.940594059405941".
- 1348661 cpu_core_0 "5.940594059405941".
- 1348921 cpu_core_0 "5.940594059405941".
- 1348965 cpu_core_0 "5.940594059405941".
- 1348991 cpu_core_0 "5.940594059405941".
- 1349008 cpu_core_0 "5.940594059405941".
- 1349151 cpu_core_0 "5.940594059405941".
- 1349281 cpu_core_0 "5.940594059405941".
- 1349309 cpu_core_0 "5.940594059405941".
- 1349405 cpu_core_0 "5.940594059405941".
- 1349455 cpu_core_0 "5.940594059405941".
- 1349695 cpu_core_0 "5.940594059405941".
- 1349755 cpu_core_0 "5.940594059405941".
- 1349822 cpu_core_0 "5.940594059405941".
- 1349891 cpu_core_0 "5.940594059405941".
- 1350046 cpu_core_0 "5.940594059405941".
- 1350142 cpu_core_0 "5.940594059405941".
- 1350285 cpu_core_0 "5.940594059405941".
- 1350298 cpu_core_0 "5.940594059405941".
- 1350394 cpu_core_0 "5.940594059405941".
- 1350439 cpu_core_0 "5.940594059405941".
- 1350509 cpu_core_0 "5.940594059405941".
- 1350966 cpu_core_0 "5.940594059405941".
- 1350982 cpu_core_0 "5.940594059405941".
- 1351114 cpu_core_0 "5.940594059405941".
- 1351311 cpu_core_0 "5.940594059405941".
- 1351438 cpu_core_0 "5.940594059405941".
- 1351596 cpu_core_0 "5.940594059405941".
- 1351667 cpu_core_0 "5.940594059405941".
- 1351698 cpu_core_0 "5.940594059405941".
- 1351781 cpu_core_0 "5.940594059405941".