Matches in ISWC2014 Benchmark for { ?s ?p 22.000000000000004. }
- 1002252 cpu_core_0 "22.000000000000004".
- 1006825 cpu_core_0 "22.000000000000004".
- 1010106 cpu_core_0 "22.000000000000004".
- 1046624 cpu_core_0 "22.000000000000004".
- 1048980 cpu_core_0 "22.000000000000004".
- 1065636 cpu_core_0 "22.000000000000004".
- 1104729 cpu_core_0 "22.000000000000004".
- 1136700 cpu_core_0 "22.000000000000004".
- 1159084 cpu_core_0 "22.000000000000004".
- 1173709 cpu_core_0 "22.000000000000004".
- 1202287 cpu_core_0 "22.000000000000004".
- 1203998 cpu_core_0 "22.000000000000004".
- 1207510 cpu_core_0 "22.000000000000004".
- 1208167 cpu_core_0 "22.000000000000004".
- 1208491 cpu_core_0 "22.000000000000004".
- 1208666 cpu_core_0 "22.000000000000004".
- 1208716 cpu_core_0 "22.000000000000004".
- 1209380 cpu_core_0 "22.000000000000004".
- 1209590 cpu_core_0 "22.000000000000004".
- 1210189 cpu_core_0 "22.000000000000004".
- 1210676 cpu_core_0 "22.000000000000004".
- 1210725 cpu_core_0 "22.000000000000004".
- 1210968 cpu_core_0 "22.000000000000004".
- 1211084 cpu_core_0 "22.000000000000004".
- 1211379 cpu_core_0 "22.000000000000004".
- 1211612 cpu_core_0 "22.000000000000004".
- 1211615 cpu_core_0 "22.000000000000004".
- 1211745 cpu_core_0 "22.000000000000004".
- 1211879 cpu_core_0 "22.000000000000004".
- 1212091 cpu_core_0 "22.000000000000004".
- 1212236 cpu_core_0 "22.000000000000004".
- 1212392 cpu_core_0 "22.000000000000004".
- 1212700 cpu_core_0 "22.000000000000004".
- 1213073 cpu_core_0 "22.000000000000004".
- 1213322 cpu_core_0 "22.000000000000004".
- 1213641 cpu_core_0 "22.000000000000004".
- 1220974 cpu_core_0 "22.000000000000004".
- 1224385 cpu_core_0 "22.000000000000004".
- 1226729 cpu_core_0 "22.000000000000004".
- 1232904 cpu_core_0 "22.000000000000004".
- 1233914 cpu_core_0 "22.000000000000004".
- 1235404 cpu_core_0 "22.000000000000004".
- 1235776 cpu_core_0 "22.000000000000004".
- 1235859 cpu_core_0 "22.000000000000004".
- 1252300 cpu_core_0 "22.000000000000004".
- 1304948 cpu_core_0 "22.000000000000004".
- 1304980 cpu_core_0 "22.000000000000004".
- 1305646 cpu_core_0 "22.000000000000004".
- 1320093 cpu_core_0 "22.000000000000004".
- 1368145 cpu_core_0 "22.000000000000004".
- 1385569 cpu_core_0 "22.000000000000004".
- 1393348 cpu_core_0 "22.000000000000004".
- 1400704 cpu_core_0 "22.000000000000004".
- 1400847 cpu_core_0 "22.000000000000004".
- 1400949 cpu_core_0 "22.000000000000004".
- 1400955 cpu_core_0 "22.000000000000004".
- 1401662 cpu_core_0 "22.000000000000004".
- 1401852 cpu_core_0 "22.000000000000004".
- 1401853 cpu_core_0 "22.000000000000004".
- 1402754 cpu_core_0 "22.000000000000004".
- 1403299 cpu_core_0 "22.000000000000004".
- 1403461 cpu_core_0 "22.000000000000004".
- 1403476 cpu_core_0 "22.000000000000004".
- 1403833 cpu_core_0 "22.000000000000004".
- 1404414 cpu_core_0 "22.000000000000004".
- 1404574 cpu_core_0 "22.000000000000004".
- 1404796 cpu_core_0 "22.000000000000004".
- 1404898 cpu_core_0 "22.000000000000004".
- 1404903 cpu_core_0 "22.000000000000004".
- 1404989 cpu_core_0 "22.000000000000004".
- 1406419 cpu_core_0 "22.000000000000004".
- 1407104 cpu_core_0 "22.000000000000004".
- 1407384 cpu_core_0 "22.000000000000004".
- 1407419 cpu_core_0 "22.000000000000004".
- 1458134 cpu_core_0 "22.000000000000004".
- 1477671 cpu_core_0 "22.000000000000004".
- 1511379 cpu_core_0 "22.000000000000004".
- 1512657 cpu_core_0 "22.000000000000004".
- 1555567 cpu_core_0 "22.000000000000004".
- 1561753 cpu_core_0 "22.000000000000004".
- 1602523 cpu_core_0 "22.000000000000004".
- 1638481 cpu_core_0 "22.000000000000004".
- 1638715 cpu_core_0 "22.000000000000004".
- 1638937 cpu_core_0 "22.000000000000004".
- 1639081 cpu_core_0 "22.000000000000004".
- 1639387 cpu_core_0 "22.000000000000004".
- 1639506 cpu_core_0 "22.000000000000004".
- 1639838 cpu_core_0 "22.000000000000004".
- 1640141 cpu_core_0 "22.000000000000004".
- 1640329 cpu_core_0 "22.000000000000004".
- 1640469 cpu_core_0 "22.000000000000004".
- 1640516 cpu_core_0 "22.000000000000004".
- 1640855 cpu_core_0 "22.000000000000004".
- 1641661 cpu_core_0 "22.000000000000004".
- 1642009 cpu_core_0 "22.000000000000004".
- 1642187 cpu_core_0 "22.000000000000004".
- 1642427 cpu_core_0 "22.000000000000004".
- 1642604 cpu_core_0 "22.000000000000004".
- 1642749 cpu_core_0 "22.000000000000004".
- 1643375 cpu_core_0 "22.000000000000004".