Matches in ISWC2014 Benchmark for { ?s ?p 16.000000000000004. }
- 1089435 cpu_core_1 "16.000000000000004".
- 1105615 cpu_core_1 "16.000000000000004".
- 1115530 cpu_core_1 "16.000000000000004".
- 1132512 cpu_core_1 "16.000000000000004".
- 1166198 cpu_core_1 "16.000000000000004".
- 1195758 cpu_core_1 "16.000000000000004".
- 1207416 cpu_core_1 "16.000000000000004".
- 1331960 cpu_core_1 "16.000000000000004".
- 1354400 cpu_core_1 "16.000000000000004".
- 1367142 cpu_core_1 "16.000000000000004".
- 1388727 cpu_core_1 "16.000000000000004".
- 1392802 cpu_core_1 "16.000000000000004".
- 1406408 cpu_core_1 "16.000000000000004".
- 1423279 cpu_core_1 "16.000000000000004".
- 1502718 cpu_core_1 "16.000000000000004".
- 1533675 cpu_core_1 "16.000000000000004".
- 1538508 cpu_core_1 "16.000000000000004".
- 1540859 cpu_core_1 "16.000000000000004".
- 1549023 cpu_core_1 "16.000000000000004".
- 1577374 cpu_core_1 "16.000000000000004".
- 1594846 cpu_core_1 "16.000000000000004".
- 1673199 cpu_core_1 "16.000000000000004".
- 1796683 cpu_core_1 "16.000000000000004".
- 1798377 cpu_core_1 "16.000000000000004".
- 1836834 cpu_core_1 "16.000000000000004".
- 1905680 cpu_core_1 "16.000000000000004".
- 218759 cpu_core_1 "16.000000000000004".
- 222689 cpu_core_1 "16.000000000000004".
- 269445 cpu_core_1 "16.000000000000004".
- 305216 cpu_core_1 "16.000000000000004".
- 400052 cpu_core_1 "16.000000000000004".
- 401350 cpu_core_1 "16.000000000000004".
- 402272 cpu_core_1 "16.000000000000004".
- 472677 cpu_core_1 "16.000000000000004".
- 511135 cpu_core_1 "16.000000000000004".
- 565608 cpu_core_1 "16.000000000000004".
- 637560 cpu_core_1 "16.000000000000004".
- 658357 cpu_core_1 "16.000000000000004".
- 696069 cpu_core_1 "16.000000000000004".
- 697283 cpu_core_1 "16.000000000000004".
- 698653 cpu_core_1 "16.000000000000004".
- 698719 cpu_core_1 "16.000000000000004".
- 698868 cpu_core_1 "16.000000000000004".
- 758552 cpu_core_1 "16.000000000000004".
- 774737 cpu_core_1 "16.000000000000004".
- 789638 cpu_core_1 "16.000000000000004".
- 901259 cpu_core_1 "16.000000000000004".
- 930777 cpu_core_1 "16.000000000000004".
- 968335 cpu_core_1 "16.000000000000004".
- 990022 cpu_core_1 "16.000000000000004".
- 990747 cpu_core_1 "16.000000000000004".
- 991684 cpu_core_1 "16.000000000000004".
- 991739 cpu_core_1 "16.000000000000004".
- 991843 cpu_core_1 "16.000000000000004".
- 992010 cpu_core_1 "16.000000000000004".
- 992163 cpu_core_1 "16.000000000000004".
- 992499 cpu_core_1 "16.000000000000004".
- 992540 cpu_core_1 "16.000000000000004".
- 992755 cpu_core_1 "16.000000000000004".
- 992871 cpu_core_1 "16.000000000000004".
- 1010234 cpu_core_2 "16.000000000000004".
- 1010998 cpu_core_2 "16.000000000000004".
- 1092164 cpu_core_2 "16.000000000000004".
- 1105022 cpu_core_2 "16.000000000000004".
- 1116414 cpu_core_2 "16.000000000000004".
- 1151905 cpu_core_2 "16.000000000000004".
- 1178540 cpu_core_2 "16.000000000000004".
- 1195398 cpu_core_2 "16.000000000000004".
- 1248712 cpu_core_2 "16.000000000000004".
- 1256032 cpu_core_2 "16.000000000000004".
- 1259223 cpu_core_2 "16.000000000000004".
- 1271910 cpu_core_2 "16.000000000000004".
- 1306180 cpu_core_2 "16.000000000000004".
- 1366301 cpu_core_2 "16.000000000000004".
- 1374973 cpu_core_2 "16.000000000000004".
- 1417254 cpu_core_2 "16.000000000000004".
- 1423529 cpu_core_2 "16.000000000000004".
- 1450983 cpu_core_2 "16.000000000000004".
- 1452483 cpu_core_2 "16.000000000000004".
- 1464530 cpu_core_2 "16.000000000000004".
- 1475622 cpu_core_2 "16.000000000000004".
- 1518071 cpu_core_2 "16.000000000000004".
- 1518805 cpu_core_2 "16.000000000000004".
- 1523274 cpu_core_2 "16.000000000000004".
- 1544343 cpu_core_2 "16.000000000000004".
- 1554550 cpu_core_2 "16.000000000000004".
- 1567616 cpu_core_2 "16.000000000000004".
- 1568515 cpu_core_2 "16.000000000000004".
- 1586941 cpu_core_2 "16.000000000000004".
- 1624478 cpu_core_2 "16.000000000000004".
- 1640977 cpu_core_2 "16.000000000000004".
- 1770687 cpu_core_2 "16.000000000000004".
- 1913444 cpu_core_2 "16.000000000000004".
- 1916443 cpu_core_2 "16.000000000000004".
- 264140 cpu_core_2 "16.000000000000004".
- 320496 cpu_core_2 "16.000000000000004".
- 361944 cpu_core_2 "16.000000000000004".
- 393846 cpu_core_2 "16.000000000000004".
- 400415 cpu_core_2 "16.000000000000004".
- 400622 cpu_core_2 "16.000000000000004".