Matches in ISWC2014 Benchmark for { ?s ?p 7.000000000000001. }
- 1126517 cpu_core_0 "7.000000000000001".
- 1126873 cpu_core_0 "7.000000000000001".
- 1126974 cpu_core_0 "7.000000000000001".
- 1128198 cpu_core_0 "7.000000000000001".
- 1128588 cpu_core_0 "7.000000000000001".
- 1128756 cpu_core_0 "7.000000000000001".
- 1130041 cpu_core_0 "7.000000000000001".
- 1131232 cpu_core_0 "7.000000000000001".
- 1131294 cpu_core_0 "7.000000000000001".
- 1131499 cpu_core_0 "7.000000000000001".
- 1131693 cpu_core_0 "7.000000000000001".
- 1132326 cpu_core_0 "7.000000000000001".
- 1134362 cpu_core_0 "7.000000000000001".
- 1135199 cpu_core_0 "7.000000000000001".
- 1136558 cpu_core_0 "7.000000000000001".
- 1137273 cpu_core_0 "7.000000000000001".
- 1137481 cpu_core_0 "7.000000000000001".
- 1137709 cpu_core_0 "7.000000000000001".
- 1137859 cpu_core_0 "7.000000000000001".
- 1138083 cpu_core_0 "7.000000000000001".
- 1138485 cpu_core_0 "7.000000000000001".
- 1138542 cpu_core_0 "7.000000000000001".
- 1140501 cpu_core_0 "7.000000000000001".
- 1141518 cpu_core_0 "7.000000000000001".
- 1142934 cpu_core_0 "7.000000000000001".
- 1143681 cpu_core_0 "7.000000000000001".
- 1144089 cpu_core_0 "7.000000000000001".
- 1144229 cpu_core_0 "7.000000000000001".
- 1144563 cpu_core_0 "7.000000000000001".
- 1144766 cpu_core_0 "7.000000000000001".
- 1145360 cpu_core_0 "7.000000000000001".
- 1146660 cpu_core_0 "7.000000000000001".
- 1146732 cpu_core_0 "7.000000000000001".
- 1146917 cpu_core_0 "7.000000000000001".
- 1146947 cpu_core_0 "7.000000000000001".
- 1148048 cpu_core_0 "7.000000000000001".
- 1148999 cpu_core_0 "7.000000000000001".
- 1149193 cpu_core_0 "7.000000000000001".
- 1150405 cpu_core_0 "7.000000000000001".
- 1150726 cpu_core_0 "7.000000000000001".
- 1151504 cpu_core_0 "7.000000000000001".
- 1152160 cpu_core_0 "7.000000000000001".
- 1152329 cpu_core_0 "7.000000000000001".
- 1152342 cpu_core_0 "7.000000000000001".
- 1152490 cpu_core_0 "7.000000000000001".
- 1152717 cpu_core_0 "7.000000000000001".
- 1153507 cpu_core_0 "7.000000000000001".
- 1154174 cpu_core_0 "7.000000000000001".
- 115429 cpu_core_0 "7.000000000000001".
- 1154523 cpu_core_0 "7.000000000000001".
- 1155259 cpu_core_0 "7.000000000000001".
- 1155337 cpu_core_0 "7.000000000000001".
- 1155388 cpu_core_0 "7.000000000000001".
- 1155448 cpu_core_0 "7.000000000000001".
- 1156744 cpu_core_0 "7.000000000000001".
- 1157031 cpu_core_0 "7.000000000000001".
- 1157320 cpu_core_0 "7.000000000000001".
- 1157418 cpu_core_0 "7.000000000000001".
- 1157487 cpu_core_0 "7.000000000000001".
- 1157991 cpu_core_0 "7.000000000000001".
- 1157998 cpu_core_0 "7.000000000000001".
- 1159051 cpu_core_0 "7.000000000000001".
- 1160725 cpu_core_0 "7.000000000000001".
- 1160919 cpu_core_0 "7.000000000000001".
- 1161213 cpu_core_0 "7.000000000000001".
- 1161264 cpu_core_0 "7.000000000000001".
- 1161602 cpu_core_0 "7.000000000000001".
- 1161808 cpu_core_0 "7.000000000000001".
- 1162088 cpu_core_0 "7.000000000000001".
- 1162883 cpu_core_0 "7.000000000000001".
- 1163276 cpu_core_0 "7.000000000000001".
- 1164149 cpu_core_0 "7.000000000000001".
- 1164271 cpu_core_0 "7.000000000000001".
- 1164935 cpu_core_0 "7.000000000000001".
- 1166159 cpu_core_0 "7.000000000000001".
- 1166307 cpu_core_0 "7.000000000000001".
- 1166474 cpu_core_0 "7.000000000000001".
- 1167490 cpu_core_0 "7.000000000000001".
- 1167881 cpu_core_0 "7.000000000000001".
- 1168104 cpu_core_0 "7.000000000000001".
- 1168332 cpu_core_0 "7.000000000000001".
- 1168701 cpu_core_0 "7.000000000000001".
- 1169734 cpu_core_0 "7.000000000000001".
- 1170853 cpu_core_0 "7.000000000000001".
- 1171319 cpu_core_0 "7.000000000000001".
- 1171548 cpu_core_0 "7.000000000000001".
- 1171749 cpu_core_0 "7.000000000000001".
- 1172090 cpu_core_0 "7.000000000000001".
- 1172988 cpu_core_0 "7.000000000000001".
- 1173901 cpu_core_0 "7.000000000000001".
- 1174868 cpu_core_0 "7.000000000000001".
- 1175186 cpu_core_0 "7.000000000000001".
- 1175438 cpu_core_0 "7.000000000000001".
- 1177022 cpu_core_0 "7.000000000000001".
- 1177443 cpu_core_0 "7.000000000000001".
- 1178045 cpu_core_0 "7.000000000000001".
- 1178234 cpu_core_0 "7.000000000000001".
- 1178671 cpu_core_0 "7.000000000000001".
- 1178672 cpu_core_0 "7.000000000000001".
- 1179605 cpu_core_0 "7.000000000000001".