Matches in ISWC2014 Benchmark for { ?s ?p 24.000000000000004. }
- 1208771 cpu_core_0 "24.000000000000004".
- 1208853 cpu_core_0 "24.000000000000004".
- 1208917 cpu_core_0 "24.000000000000004".
- 1209139 cpu_core_0 "24.000000000000004".
- 1209142 cpu_core_0 "24.000000000000004".
- 1209166 cpu_core_0 "24.000000000000004".
- 1209378 cpu_core_0 "24.000000000000004".
- 1210280 cpu_core_0 "24.000000000000004".
- 1210331 cpu_core_0 "24.000000000000004".
- 1210361 cpu_core_0 "24.000000000000004".
- 1210377 cpu_core_0 "24.000000000000004".
- 1210409 cpu_core_0 "24.000000000000004".
- 1210598 cpu_core_0 "24.000000000000004".
- 1211050 cpu_core_0 "24.000000000000004".
- 1211052 cpu_core_0 "24.000000000000004".
- 1211145 cpu_core_0 "24.000000000000004".
- 1211317 cpu_core_0 "24.000000000000004".
- 1211362 cpu_core_0 "24.000000000000004".
- 1211456 cpu_core_0 "24.000000000000004".
- 1212084 cpu_core_0 "24.000000000000004".
- 1212258 cpu_core_0 "24.000000000000004".
- 1212679 cpu_core_0 "24.000000000000004".
- 1212763 cpu_core_0 "24.000000000000004".
- 1212878 cpu_core_0 "24.000000000000004".
- 1212984 cpu_core_0 "24.000000000000004".
- 1213264 cpu_core_0 "24.000000000000004".
- 1220321 cpu_core_0 "24.000000000000004".
- 1221037 cpu_core_0 "24.000000000000004".
- 1221495 cpu_core_0 "24.000000000000004".
- 1223558 cpu_core_0 "24.000000000000004".
- 1227164 cpu_core_0 "24.000000000000004".
- 1228739 cpu_core_0 "24.000000000000004".
- 1229059 cpu_core_0 "24.000000000000004".
- 1232780 cpu_core_0 "24.000000000000004".
- 1234722 cpu_core_0 "24.000000000000004".
- 1239012 cpu_core_0 "24.000000000000004".
- 1241139 cpu_core_0 "24.000000000000004".
- 1241308 cpu_core_0 "24.000000000000004".
- 1242745 cpu_core_0 "24.000000000000004".
- 1244326 cpu_core_0 "24.000000000000004".
- 1247282 cpu_core_0 "24.000000000000004".
- 1247462 cpu_core_0 "24.000000000000004".
- 1251580 cpu_core_0 "24.000000000000004".
- 1252708 cpu_core_0 "24.000000000000004".
- 1252908 cpu_core_0 "24.000000000000004".
- 1253532 cpu_core_0 "24.000000000000004".
- 1255204 cpu_core_0 "24.000000000000004".
- 1255650 cpu_core_0 "24.000000000000004".
- 1257216 cpu_core_0 "24.000000000000004".
- 1257305 cpu_core_0 "24.000000000000004".
- 1257414 cpu_core_0 "24.000000000000004".
- 1257575 cpu_core_0 "24.000000000000004".
- 1257947 cpu_core_0 "24.000000000000004".
- 1258056 cpu_core_0 "24.000000000000004".
- 1258146 cpu_core_0 "24.000000000000004".
- 1258334 cpu_core_0 "24.000000000000004".
- 1261315 cpu_core_0 "24.000000000000004".
- 1262591 cpu_core_0 "24.000000000000004".
- 1263971 cpu_core_0 "24.000000000000004".
- 1265032 cpu_core_0 "24.000000000000004".
- 1265140 cpu_core_0 "24.000000000000004".
- 1266319 cpu_core_0 "24.000000000000004".
- 1267403 cpu_core_0 "24.000000000000004".
- 1269102 cpu_core_0 "24.000000000000004".
- 1269840 cpu_core_0 "24.000000000000004".
- 1270451 cpu_core_0 "24.000000000000004".
- 1271530 cpu_core_0 "24.000000000000004".
- 1271619 cpu_core_0 "24.000000000000004".
- 1272391 cpu_core_0 "24.000000000000004".
- 1273531 cpu_core_0 "24.000000000000004".
- 1274862 cpu_core_0 "24.000000000000004".
- 1276489 cpu_core_0 "24.000000000000004".
- 1276900 cpu_core_0 "24.000000000000004".
- 1277177 cpu_core_0 "24.000000000000004".
- 1278712 cpu_core_0 "24.000000000000004".
- 1279271 cpu_core_0 "24.000000000000004".
- 1279905 cpu_core_0 "24.000000000000004".
- 1282605 cpu_core_0 "24.000000000000004".
- 1283295 cpu_core_0 "24.000000000000004".
- 1283741 cpu_core_0 "24.000000000000004".
- 1284190 cpu_core_0 "24.000000000000004".
- 1284205 cpu_core_0 "24.000000000000004".
- 1284619 cpu_core_0 "24.000000000000004".
- 1285100 cpu_core_0 "24.000000000000004".
- 1285707 cpu_core_0 "24.000000000000004".
- 1289702 cpu_core_0 "24.000000000000004".
- 1293626 cpu_core_0 "24.000000000000004".
- 1294971 cpu_core_0 "24.000000000000004".
- 1299124 cpu_core_0 "24.000000000000004".
- 1299510 cpu_core_0 "24.000000000000004".
- 1303821 cpu_core_0 "24.000000000000004".
- 1304008 cpu_core_0 "24.000000000000004".
- 1307237 cpu_core_0 "24.000000000000004".
- 1308111 cpu_core_0 "24.000000000000004".
- 1308789 cpu_core_0 "24.000000000000004".
- 1309252 cpu_core_0 "24.000000000000004".
- 1309270 cpu_core_0 "24.000000000000004".
- 1309438 cpu_core_0 "24.000000000000004".
- 1309868 cpu_core_0 "24.000000000000004".
- 1310238 cpu_core_0 "24.000000000000004".