Matches in ISWC2014 Benchmark for { ?s ?p 23.762376237623766. }
- 967018 cpu_core_0 "23.762376237623766".
- 968358 cpu_core_0 "23.762376237623766".
- 968930 cpu_core_0 "23.762376237623766".
- 977035 cpu_core_0 "23.762376237623766".
- 982111 cpu_core_0 "23.762376237623766".
- 982747 cpu_core_0 "23.762376237623766".
- 983506 cpu_core_0 "23.762376237623766".
- 986666 cpu_core_0 "23.762376237623766".
- 991893 cpu_core_0 "23.762376237623766".
- 992125 cpu_core_0 "23.762376237623766".
- 993301 cpu_core_0 "23.762376237623766".
- 1007803 cpu_core_1 "23.762376237623766".
- 1009253 cpu_core_1 "23.762376237623766".
- 1009777 cpu_core_1 "23.762376237623766".
- 1010352 cpu_core_1 "23.762376237623766".
- 1011136 cpu_core_1 "23.762376237623766".
- 1011605 cpu_core_1 "23.762376237623766".
- 1012711 cpu_core_1 "23.762376237623766".
- 1033540 cpu_core_1 "23.762376237623766".
- 1036696 cpu_core_1 "23.762376237623766".
- 1041773 cpu_core_1 "23.762376237623766".
- 1041957 cpu_core_1 "23.762376237623766".
- 1099202 cpu_core_1 "23.762376237623766".
- 1107684 cpu_core_1 "23.762376237623766".
- 1122365 cpu_core_1 "23.762376237623766".
- 1132442 cpu_core_1 "23.762376237623766".
- 1147624 cpu_core_1 "23.762376237623766".
- 1150245 cpu_core_1 "23.762376237623766".
- 1210793 cpu_core_1 "23.762376237623766".
- 1210816 cpu_core_1 "23.762376237623766".
- 1211632 cpu_core_1 "23.762376237623766".
- 1211671 cpu_core_1 "23.762376237623766".
- 1212059 cpu_core_1 "23.762376237623766".
- 1212123 cpu_core_1 "23.762376237623766".
- 1212134 cpu_core_1 "23.762376237623766".
- 1220556 cpu_core_1 "23.762376237623766".
- 1222728 cpu_core_1 "23.762376237623766".
- 1227246 cpu_core_1 "23.762376237623766".
- 1296307 cpu_core_1 "23.762376237623766".
- 1321374 cpu_core_1 "23.762376237623766".
- 1384119 cpu_core_1 "23.762376237623766".
- 1401017 cpu_core_1 "23.762376237623766".
- 1401050 cpu_core_1 "23.762376237623766".
- 1401121 cpu_core_1 "23.762376237623766".
- 1401211 cpu_core_1 "23.762376237623766".
- 1401993 cpu_core_1 "23.762376237623766".
- 1402230 cpu_core_1 "23.762376237623766".
- 1402512 cpu_core_1 "23.762376237623766".
- 1403141 cpu_core_1 "23.762376237623766".
- 1404465 cpu_core_1 "23.762376237623766".
- 1404522 cpu_core_1 "23.762376237623766".
- 1404703 cpu_core_1 "23.762376237623766".
- 1406068 cpu_core_1 "23.762376237623766".
- 1406073 cpu_core_1 "23.762376237623766".
- 1406199 cpu_core_1 "23.762376237623766".
- 1406538 cpu_core_1 "23.762376237623766".
- 1406725 cpu_core_1 "23.762376237623766".
- 1406905 cpu_core_1 "23.762376237623766".
- 1406926 cpu_core_1 "23.762376237623766".
- 1420725 cpu_core_1 "23.762376237623766".
- 1427756 cpu_core_1 "23.762376237623766".
- 1440494 cpu_core_1 "23.762376237623766".
- 1454980 cpu_core_1 "23.762376237623766".
- 1464320 cpu_core_1 "23.762376237623766".
- 1501087 cpu_core_1 "23.762376237623766".
- 1506175 cpu_core_1 "23.762376237623766".
- 1581847 cpu_core_1 "23.762376237623766".
- 1602146 cpu_core_1 "23.762376237623766".
- 1638343 cpu_core_1 "23.762376237623766".
- 1638826 cpu_core_1 "23.762376237623766".
- 1639074 cpu_core_1 "23.762376237623766".
- 1640348 cpu_core_1 "23.762376237623766".
- 1641526 cpu_core_1 "23.762376237623766".
- 1641536 cpu_core_1 "23.762376237623766".
- 1641948 cpu_core_1 "23.762376237623766".
- 1642800 cpu_core_1 "23.762376237623766".
- 1644131 cpu_core_1 "23.762376237623766".
- 1644190 cpu_core_1 "23.762376237623766".
- 1658418 cpu_core_1 "23.762376237623766".
- 1661124 cpu_core_1 "23.762376237623766".
- 1672399 cpu_core_1 "23.762376237623766".
- 1672718 cpu_core_1 "23.762376237623766".
- 1672977 cpu_core_1 "23.762376237623766".
- 1673328 cpu_core_1 "23.762376237623766".
- 1673378 cpu_core_1 "23.762376237623766".
- 1686093 cpu_core_1 "23.762376237623766".
- 1690234 cpu_core_1 "23.762376237623766".
- 1692577 cpu_core_1 "23.762376237623766".
- 1697537 cpu_core_1 "23.762376237623766".
- 1698986 cpu_core_1 "23.762376237623766".
- 1710284 cpu_core_1 "23.762376237623766".
- 1710450 cpu_core_1 "23.762376237623766".
- 1712355 cpu_core_1 "23.762376237623766".
- 1748902 cpu_core_1 "23.762376237623766".
- 1801247 cpu_core_1 "23.762376237623766".
- 1913422 cpu_core_1 "23.762376237623766".
- 1913966 cpu_core_1 "23.762376237623766".
- 1914618 cpu_core_1 "23.762376237623766".
- 1915349 cpu_core_1 "23.762376237623766".
- 1915382 cpu_core_1 "23.762376237623766".