Matches in ISWC2014 Benchmark for { ?s ?p 5.940594059405941. }
- 1465279 cpu_core_0 "5.940594059405941".
- 1465316 cpu_core_0 "5.940594059405941".
- 1465404 cpu_core_0 "5.940594059405941".
- 1465642 cpu_core_0 "5.940594059405941".
- 1465744 cpu_core_0 "5.940594059405941".
- 1465886 cpu_core_0 "5.940594059405941".
- 1466222 cpu_core_0 "5.940594059405941".
- 1466492 cpu_core_0 "5.940594059405941".
- 1466714 cpu_core_0 "5.940594059405941".
- 1466755 cpu_core_0 "5.940594059405941".
- 1467216 cpu_core_0 "5.940594059405941".
- 1467383 cpu_core_0 "5.940594059405941".
- 1467545 cpu_core_0 "5.940594059405941".
- 1467754 cpu_core_0 "5.940594059405941".
- 1467773 cpu_core_0 "5.940594059405941".
- 1468305 cpu_core_0 "5.940594059405941".
- 1468847 cpu_core_0 "5.940594059405941".
- 1468851 cpu_core_0 "5.940594059405941".
- 1468868 cpu_core_0 "5.940594059405941".
- 1468957 cpu_core_0 "5.940594059405941".
- 1469028 cpu_core_0 "5.940594059405941".
- 1469069 cpu_core_0 "5.940594059405941".
- 1469370 cpu_core_0 "5.940594059405941".
- 1469635 cpu_core_0 "5.940594059405941".
- 1469681 cpu_core_0 "5.940594059405941".
- 1470043 cpu_core_0 "5.940594059405941".
- 1470163 cpu_core_0 "5.940594059405941".
- 1470204 cpu_core_0 "5.940594059405941".
- 1470243 cpu_core_0 "5.940594059405941".
- 1470307 cpu_core_0 "5.940594059405941".
- 1470433 cpu_core_0 "5.940594059405941".
- 1470461 cpu_core_0 "5.940594059405941".
- 1470517 cpu_core_0 "5.940594059405941".
- 1470631 cpu_core_0 "5.940594059405941".
- 1470699 cpu_core_0 "5.940594059405941".
- 1470708 cpu_core_0 "5.940594059405941".
- 1470752 cpu_core_0 "5.940594059405941".
- 1470793 cpu_core_0 "5.940594059405941".
- 1470827 cpu_core_0 "5.940594059405941".
- 1470834 cpu_core_0 "5.940594059405941".
- 1471003 cpu_core_0 "5.940594059405941".
- 1471088 cpu_core_0 "5.940594059405941".
- 1471105 cpu_core_0 "5.940594059405941".
- 1471123 cpu_core_0 "5.940594059405941".
- 1471233 cpu_core_0 "5.940594059405941".
- 1471365 cpu_core_0 "5.940594059405941".
- 1471696 cpu_core_0 "5.940594059405941".
- 1471770 cpu_core_0 "5.940594059405941".
- 1471823 cpu_core_0 "5.940594059405941".
- 1471879 cpu_core_0 "5.940594059405941".
- 1472022 cpu_core_0 "5.940594059405941".
- 1472056 cpu_core_0 "5.940594059405941".
- 1472141 cpu_core_0 "5.940594059405941".
- 1472270 cpu_core_0 "5.940594059405941".
- 1472477 cpu_core_0 "5.940594059405941".
- 1472642 cpu_core_0 "5.940594059405941".
- 1472763 cpu_core_0 "5.940594059405941".
- 1472944 cpu_core_0 "5.940594059405941".
- 1473124 cpu_core_0 "5.940594059405941".
- 1473134 cpu_core_0 "5.940594059405941".
- 1473332 cpu_core_0 "5.940594059405941".
- 1473448 cpu_core_0 "5.940594059405941".
- 1473626 cpu_core_0 "5.940594059405941".
- 1473729 cpu_core_0 "5.940594059405941".
- 1473982 cpu_core_0 "5.940594059405941".
- 1474340 cpu_core_0 "5.940594059405941".
- 1474345 cpu_core_0 "5.940594059405941".
- 1474396 cpu_core_0 "5.940594059405941".
- 1474416 cpu_core_0 "5.940594059405941".
- 1474506 cpu_core_0 "5.940594059405941".
- 1474575 cpu_core_0 "5.940594059405941".
- 1474600 cpu_core_0 "5.940594059405941".
- 1474651 cpu_core_0 "5.940594059405941".
- 1474830 cpu_core_0 "5.940594059405941".
- 147485 cpu_core_0 "5.940594059405941".
- 147487 cpu_core_0 "5.940594059405941".
- 1475084 cpu_core_0 "5.940594059405941".
- 1475268 cpu_core_0 "5.940594059405941".
- 1475387 cpu_core_0 "5.940594059405941".
- 147553 cpu_core_0 "5.940594059405941".
- 1475615 cpu_core_0 "5.940594059405941".
- 1475904 cpu_core_0 "5.940594059405941".
- 1476257 cpu_core_0 "5.940594059405941".
- 1476527 cpu_core_0 "5.940594059405941".
- 1476734 cpu_core_0 "5.940594059405941".
- 1476777 cpu_core_0 "5.940594059405941".
- 1476780 cpu_core_0 "5.940594059405941".
- 1476928 cpu_core_0 "5.940594059405941".
- 1477333 cpu_core_0 "5.940594059405941".
- 1477461 cpu_core_0 "5.940594059405941".
- 1477474 cpu_core_0 "5.940594059405941".
- 1477531 cpu_core_0 "5.940594059405941".
- 1477709 cpu_core_0 "5.940594059405941".
- 1477725 cpu_core_0 "5.940594059405941".
- 1477756 cpu_core_0 "5.940594059405941".
- 1477818 cpu_core_0 "5.940594059405941".
- 1477823 cpu_core_0 "5.940594059405941".
- 1477870 cpu_core_0 "5.940594059405941".
- 1478026 cpu_core_0 "5.940594059405941".
- 1478294 cpu_core_0 "5.940594059405941".