Matches in ISWC2014 Benchmark for { ?s ?p 3.9215686274509802. }
- 1433837 cpu_core_0 "3.9215686274509802".
- 1433871 cpu_core_0 "3.9215686274509802".
- 1434283 cpu_core_0 "3.9215686274509802".
- 1434899 cpu_core_0 "3.9215686274509802".
- 1435525 cpu_core_0 "3.9215686274509802".
- 1436231 cpu_core_0 "3.9215686274509802".
- 1436694 cpu_core_0 "3.9215686274509802".
- 1436803 cpu_core_0 "3.9215686274509802".
- 1436806 cpu_core_0 "3.9215686274509802".
- 1438224 cpu_core_0 "3.9215686274509802".
- 1439589 cpu_core_0 "3.9215686274509802".
- 1439598 cpu_core_0 "3.9215686274509802".
- 1440465 cpu_core_0 "3.9215686274509802".
- 1445061 cpu_core_0 "3.9215686274509802".
- 144582 cpu_core_0 "3.9215686274509802".
- 1447124 cpu_core_0 "3.9215686274509802".
- 1447725 cpu_core_0 "3.9215686274509802".
- 1448842 cpu_core_0 "3.9215686274509802".
- 1448924 cpu_core_0 "3.9215686274509802".
- 1449351 cpu_core_0 "3.9215686274509802".
- 1449439 cpu_core_0 "3.9215686274509802".
- 1449737 cpu_core_0 "3.9215686274509802".
- 1449995 cpu_core_0 "3.9215686274509802".
- 1450015 cpu_core_0 "3.9215686274509802".
- 1450793 cpu_core_0 "3.9215686274509802".
- 1450913 cpu_core_0 "3.9215686274509802".
- 1451034 cpu_core_0 "3.9215686274509802".
- 1451333 cpu_core_0 "3.9215686274509802".
- 1453076 cpu_core_0 "3.9215686274509802".
- 1453078 cpu_core_0 "3.9215686274509802".
- 1453105 cpu_core_0 "3.9215686274509802".
- 1453518 cpu_core_0 "3.9215686274509802".
- 1454354 cpu_core_0 "3.9215686274509802".
- 1454403 cpu_core_0 "3.9215686274509802".
- 1455491 cpu_core_0 "3.9215686274509802".
- 1455917 cpu_core_0 "3.9215686274509802".
- 1456977 cpu_core_0 "3.9215686274509802".
- 1457092 cpu_core_0 "3.9215686274509802".
- 1457697 cpu_core_0 "3.9215686274509802".
- 1458390 cpu_core_0 "3.9215686274509802".
- 1458460 cpu_core_0 "3.9215686274509802".
- 1458858 cpu_core_0 "3.9215686274509802".
- 1459248 cpu_core_0 "3.9215686274509802".
- 1459988 cpu_core_0 "3.9215686274509802".
- 1461495 cpu_core_0 "3.9215686274509802".
- 1462024 cpu_core_0 "3.9215686274509802".
- 1462870 cpu_core_0 "3.9215686274509802".
- 1463001 cpu_core_0 "3.9215686274509802".
- 1463157 cpu_core_0 "3.9215686274509802".
- 1463449 cpu_core_0 "3.9215686274509802".
- 1463554 cpu_core_0 "3.9215686274509802".
- 1463825 cpu_core_0 "3.9215686274509802".
- 1463862 cpu_core_0 "3.9215686274509802".
- 1464245 cpu_core_0 "3.9215686274509802".
- 1464705 cpu_core_0 "3.9215686274509802".
- 146478 cpu_core_0 "3.9215686274509802".
- 146482 cpu_core_0 "3.9215686274509802".
- 1464824 cpu_core_0 "3.9215686274509802".
- 1464945 cpu_core_0 "3.9215686274509802".
- 1465165 cpu_core_0 "3.9215686274509802".
- 1465424 cpu_core_0 "3.9215686274509802".
- 146635 cpu_core_0 "3.9215686274509802".
- 1466837 cpu_core_0 "3.9215686274509802".
- 1467764 cpu_core_0 "3.9215686274509802".
- 1468395 cpu_core_0 "3.9215686274509802".
- 1468467 cpu_core_0 "3.9215686274509802".
- 1469182 cpu_core_0 "3.9215686274509802".
- 1469390 cpu_core_0 "3.9215686274509802".
- 1470911 cpu_core_0 "3.9215686274509802".
- 1471510 cpu_core_0 "3.9215686274509802".
- 147414 cpu_core_0 "3.9215686274509802".
- 147522 cpu_core_0 "3.9215686274509802".
- 147604 cpu_core_0 "3.9215686274509802".
- 147619 cpu_core_0 "3.9215686274509802".
- 1476442 cpu_core_0 "3.9215686274509802".
- 1476822 cpu_core_0 "3.9215686274509802".
- 1476825 cpu_core_0 "3.9215686274509802".
- 1477285 cpu_core_0 "3.9215686274509802".
- 147844 cpu_core_0 "3.9215686274509802".
- 1478834 cpu_core_0 "3.9215686274509802".
- 147900 cpu_core_0 "3.9215686274509802".
- 1479001 cpu_core_0 "3.9215686274509802".
- 1479123 cpu_core_0 "3.9215686274509802".
- 1480684 cpu_core_0 "3.9215686274509802".
- 1481685 cpu_core_0 "3.9215686274509802".
- 1483458 cpu_core_0 "3.9215686274509802".
- 1483577 cpu_core_0 "3.9215686274509802".
- 1484342 cpu_core_0 "3.9215686274509802".
- 1484371 cpu_core_0 "3.9215686274509802".
- 1484820 cpu_core_0 "3.9215686274509802".
- 1487821 cpu_core_0 "3.9215686274509802".
- 1488927 cpu_core_0 "3.9215686274509802".
- 1488984 cpu_core_0 "3.9215686274509802".
- 1491659 cpu_core_0 "3.9215686274509802".
- 1493777 cpu_core_0 "3.9215686274509802".
- 1494339 cpu_core_0 "3.9215686274509802".
- 1494450 cpu_core_0 "3.9215686274509802".
- 1497203 cpu_core_0 "3.9215686274509802".
- 1497364 cpu_core_0 "3.9215686274509802".
- 1497427 cpu_core_0 "3.9215686274509802".