Matches in ISWC2014 Benchmark for { ?s ?p 5.940594059405941. }
- 1276575 cpu_core_0 "5.940594059405941".
- 1276814 cpu_core_0 "5.940594059405941".
- 1276817 cpu_core_0 "5.940594059405941".
- 127688 cpu_core_0 "5.940594059405941".
- 1277254 cpu_core_0 "5.940594059405941".
- 1277964 cpu_core_0 "5.940594059405941".
- 1278404 cpu_core_0 "5.940594059405941".
- 1278555 cpu_core_0 "5.940594059405941".
- 1278620 cpu_core_0 "5.940594059405941".
- 1278724 cpu_core_0 "5.940594059405941".
- 1278737 cpu_core_0 "5.940594059405941".
- 1278803 cpu_core_0 "5.940594059405941".
- 1278849 cpu_core_0 "5.940594059405941".
- 1279097 cpu_core_0 "5.940594059405941".
- 1279373 cpu_core_0 "5.940594059405941".
- 1279390 cpu_core_0 "5.940594059405941".
- 1279663 cpu_core_0 "5.940594059405941".
- 1279670 cpu_core_0 "5.940594059405941".
- 1279778 cpu_core_0 "5.940594059405941".
- 1279815 cpu_core_0 "5.940594059405941".
- 1279991 cpu_core_0 "5.940594059405941".
- 1280080 cpu_core_0 "5.940594059405941".
- 128011 cpu_core_0 "5.940594059405941".
- 1280365 cpu_core_0 "5.940594059405941".
- 1280367 cpu_core_0 "5.940594059405941".
- 1280689 cpu_core_0 "5.940594059405941".
- 1280860 cpu_core_0 "5.940594059405941".
- 1280904 cpu_core_0 "5.940594059405941".
- 1281138 cpu_core_0 "5.940594059405941".
- 1281191 cpu_core_0 "5.940594059405941".
- 1281233 cpu_core_0 "5.940594059405941".
- 1281271 cpu_core_0 "5.940594059405941".
- 1281446 cpu_core_0 "5.940594059405941".
- 1281456 cpu_core_0 "5.940594059405941".
- 1281502 cpu_core_0 "5.940594059405941".
- 1281675 cpu_core_0 "5.940594059405941".
- 1281743 cpu_core_0 "5.940594059405941".
- 1281788 cpu_core_0 "5.940594059405941".
- 1281812 cpu_core_0 "5.940594059405941".
- 1281934 cpu_core_0 "5.940594059405941".
- 1281944 cpu_core_0 "5.940594059405941".
- 1282114 cpu_core_0 "5.940594059405941".
- 1282346 cpu_core_0 "5.940594059405941".
- 1282348 cpu_core_0 "5.940594059405941".
- 1282415 cpu_core_0 "5.940594059405941".
- 1282475 cpu_core_0 "5.940594059405941".
- 1282482 cpu_core_0 "5.940594059405941".
- 1282750 cpu_core_0 "5.940594059405941".
- 1282852 cpu_core_0 "5.940594059405941".
- 1282878 cpu_core_0 "5.940594059405941".
- 1282942 cpu_core_0 "5.940594059405941".
- 1283038 cpu_core_0 "5.940594059405941".
- 1283237 cpu_core_0 "5.940594059405941".
- 1283303 cpu_core_0 "5.940594059405941".
- 1283313 cpu_core_0 "5.940594059405941".
- 1283319 cpu_core_0 "5.940594059405941".
- 1283440 cpu_core_0 "5.940594059405941".
- 1283444 cpu_core_0 "5.940594059405941".
- 1284147 cpu_core_0 "5.940594059405941".
- 1284273 cpu_core_0 "5.940594059405941".
- 1284320 cpu_core_0 "5.940594059405941".
- 1284386 cpu_core_0 "5.940594059405941".
- 1284444 cpu_core_0 "5.940594059405941".
- 1284805 cpu_core_0 "5.940594059405941".
- 1284947 cpu_core_0 "5.940594059405941".
- 1285037 cpu_core_0 "5.940594059405941".
- 1285281 cpu_core_0 "5.940594059405941".
- 1285519 cpu_core_0 "5.940594059405941".
- 1285531 cpu_core_0 "5.940594059405941".
- 1285545 cpu_core_0 "5.940594059405941".
- 1285585 cpu_core_0 "5.940594059405941".
- 1285614 cpu_core_0 "5.940594059405941".
- 1286100 cpu_core_0 "5.940594059405941".
- 1286164 cpu_core_0 "5.940594059405941".
- 1286187 cpu_core_0 "5.940594059405941".
- 1286209 cpu_core_0 "5.940594059405941".
- 1286253 cpu_core_0 "5.940594059405941".
- 1286337 cpu_core_0 "5.940594059405941".
- 1286435 cpu_core_0 "5.940594059405941".
- 1286459 cpu_core_0 "5.940594059405941".
- 1286471 cpu_core_0 "5.940594059405941".
- 1286472 cpu_core_0 "5.940594059405941".
- 1286506 cpu_core_0 "5.940594059405941".
- 1286524 cpu_core_0 "5.940594059405941".
- 1286533 cpu_core_0 "5.940594059405941".
- 1286646 cpu_core_0 "5.940594059405941".
- 1286668 cpu_core_0 "5.940594059405941".
- 1286682 cpu_core_0 "5.940594059405941".
- 1286770 cpu_core_0 "5.940594059405941".
- 1287041 cpu_core_0 "5.940594059405941".
- 1287076 cpu_core_0 "5.940594059405941".
- 1287160 cpu_core_0 "5.940594059405941".
- 1287260 cpu_core_0 "5.940594059405941".
- 1287287 cpu_core_0 "5.940594059405941".
- 1287291 cpu_core_0 "5.940594059405941".
- 1287335 cpu_core_0 "5.940594059405941".
- 1287390 cpu_core_0 "5.940594059405941".
- 1287416 cpu_core_0 "5.940594059405941".
- 1287429 cpu_core_0 "5.940594059405941".
- 1287434 cpu_core_0 "5.940594059405941".