Matches in ISWC2014 Benchmark for { ?s ?p 23.762376237623766. }
- 1169041 cpu_core_0 "23.762376237623766".
- 1171011 cpu_core_0 "23.762376237623766".
- 1171605 cpu_core_0 "23.762376237623766".
- 1174632 cpu_core_0 "23.762376237623766".
- 1176116 cpu_core_0 "23.762376237623766".
- 1177440 cpu_core_0 "23.762376237623766".
- 1179483 cpu_core_0 "23.762376237623766".
- 1179844 cpu_core_0 "23.762376237623766".
- 1180880 cpu_core_0 "23.762376237623766".
- 1182405 cpu_core_0 "23.762376237623766".
- 1182798 cpu_core_0 "23.762376237623766".
- 1183380 cpu_core_0 "23.762376237623766".
- 1186358 cpu_core_0 "23.762376237623766".
- 1186780 cpu_core_0 "23.762376237623766".
- 1191780 cpu_core_0 "23.762376237623766".
- 1192010 cpu_core_0 "23.762376237623766".
- 1192025 cpu_core_0 "23.762376237623766".
- 1192063 cpu_core_0 "23.762376237623766".
- 1192670 cpu_core_0 "23.762376237623766".
- 1193273 cpu_core_0 "23.762376237623766".
- 1193539 cpu_core_0 "23.762376237623766".
- 1194072 cpu_core_0 "23.762376237623766".
- 1200707 cpu_core_0 "23.762376237623766".
- 1201109 cpu_core_0 "23.762376237623766".
- 1203324 cpu_core_0 "23.762376237623766".
- 1205084 cpu_core_0 "23.762376237623766".
- 1205802 cpu_core_0 "23.762376237623766".
- 1205814 cpu_core_0 "23.762376237623766".
- 1207732 cpu_core_0 "23.762376237623766".
- 1207841 cpu_core_0 "23.762376237623766".
- 1208048 cpu_core_0 "23.762376237623766".
- 1208083 cpu_core_0 "23.762376237623766".
- 1208600 cpu_core_0 "23.762376237623766".
- 1208647 cpu_core_0 "23.762376237623766".
- 1208677 cpu_core_0 "23.762376237623766".
- 1208727 cpu_core_0 "23.762376237623766".
- 1209535 cpu_core_0 "23.762376237623766".
- 1209623 cpu_core_0 "23.762376237623766".
- 1210619 cpu_core_0 "23.762376237623766".
- 1211125 cpu_core_0 "23.762376237623766".
- 1211563 cpu_core_0 "23.762376237623766".
- 1211608 cpu_core_0 "23.762376237623766".
- 1212802 cpu_core_0 "23.762376237623766".
- 1213362 cpu_core_0 "23.762376237623766".
- 1219441 cpu_core_0 "23.762376237623766".
- 1221933 cpu_core_0 "23.762376237623766".
- 1222642 cpu_core_0 "23.762376237623766".
- 1223518 cpu_core_0 "23.762376237623766".
- 1224926 cpu_core_0 "23.762376237623766".
- 1224934 cpu_core_0 "23.762376237623766".
- 1225549 cpu_core_0 "23.762376237623766".
- 1227151 cpu_core_0 "23.762376237623766".
- 1227165 cpu_core_0 "23.762376237623766".
- 1228848 cpu_core_0 "23.762376237623766".
- 1230544 cpu_core_0 "23.762376237623766".
- 1233087 cpu_core_0 "23.762376237623766".
- 1234720 cpu_core_0 "23.762376237623766".
- 1240814 cpu_core_0 "23.762376237623766".
- 1241448 cpu_core_0 "23.762376237623766".
- 1242863 cpu_core_0 "23.762376237623766".
- 1243262 cpu_core_0 "23.762376237623766".
- 1243479 cpu_core_0 "23.762376237623766".
- 1245938 cpu_core_0 "23.762376237623766".
- 1247573 cpu_core_0 "23.762376237623766".
- 1248096 cpu_core_0 "23.762376237623766".
- 1248297 cpu_core_0 "23.762376237623766".
- 1248452 cpu_core_0 "23.762376237623766".
- 1249524 cpu_core_0 "23.762376237623766".
- 1251951 cpu_core_0 "23.762376237623766".
- 1252741 cpu_core_0 "23.762376237623766".
- 1253138 cpu_core_0 "23.762376237623766".
- 1253237 cpu_core_0 "23.762376237623766".
- 1253351 cpu_core_0 "23.762376237623766".
- 1254888 cpu_core_0 "23.762376237623766".
- 1255653 cpu_core_0 "23.762376237623766".
- 1255959 cpu_core_0 "23.762376237623766".
- 1257148 cpu_core_0 "23.762376237623766".
- 1257825 cpu_core_0 "23.762376237623766".
- 1257859 cpu_core_0 "23.762376237623766".
- 1258371 cpu_core_0 "23.762376237623766".
- 1259022 cpu_core_0 "23.762376237623766".
- 1259061 cpu_core_0 "23.762376237623766".
- 1261045 cpu_core_0 "23.762376237623766".
- 1262069 cpu_core_0 "23.762376237623766".
- 1263348 cpu_core_0 "23.762376237623766".
- 1263402 cpu_core_0 "23.762376237623766".
- 1267311 cpu_core_0 "23.762376237623766".
- 1269040 cpu_core_0 "23.762376237623766".
- 1271251 cpu_core_0 "23.762376237623766".
- 1271580 cpu_core_0 "23.762376237623766".
- 1274012 cpu_core_0 "23.762376237623766".
- 1274085 cpu_core_0 "23.762376237623766".
- 1274179 cpu_core_0 "23.762376237623766".
- 1276463 cpu_core_0 "23.762376237623766".
- 1277417 cpu_core_0 "23.762376237623766".
- 1279728 cpu_core_0 "23.762376237623766".
- 1282071 cpu_core_0 "23.762376237623766".
- 1283588 cpu_core_0 "23.762376237623766".
- 1284001 cpu_core_0 "23.762376237623766".
- 1285748 cpu_core_0 "23.762376237623766".