Matches in ISWC2014 Benchmark for { ?s ?p 24.000000000000004. }
- 1116426 cpu_core_0 "24.000000000000004".
- 1117075 cpu_core_0 "24.000000000000004".
- 1117250 cpu_core_0 "24.000000000000004".
- 1117373 cpu_core_0 "24.000000000000004".
- 1118339 cpu_core_0 "24.000000000000004".
- 1118989 cpu_core_0 "24.000000000000004".
- 1120312 cpu_core_0 "24.000000000000004".
- 1121124 cpu_core_0 "24.000000000000004".
- 1122327 cpu_core_0 "24.000000000000004".
- 1123041 cpu_core_0 "24.000000000000004".
- 1123326 cpu_core_0 "24.000000000000004".
- 1123828 cpu_core_0 "24.000000000000004".
- 1123881 cpu_core_0 "24.000000000000004".
- 1124172 cpu_core_0 "24.000000000000004".
- 1124859 cpu_core_0 "24.000000000000004".
- 1125684 cpu_core_0 "24.000000000000004".
- 1129723 cpu_core_0 "24.000000000000004".
- 1132461 cpu_core_0 "24.000000000000004".
- 1134009 cpu_core_0 "24.000000000000004".
- 1136168 cpu_core_0 "24.000000000000004".
- 1136831 cpu_core_0 "24.000000000000004".
- 1137533 cpu_core_0 "24.000000000000004".
- 1138973 cpu_core_0 "24.000000000000004".
- 1139381 cpu_core_0 "24.000000000000004".
- 1139871 cpu_core_0 "24.000000000000004".
- 1140953 cpu_core_0 "24.000000000000004".
- 1141184 cpu_core_0 "24.000000000000004".
- 1141944 cpu_core_0 "24.000000000000004".
- 1142145 cpu_core_0 "24.000000000000004".
- 1143812 cpu_core_0 "24.000000000000004".
- 1144571 cpu_core_0 "24.000000000000004".
- 1146302 cpu_core_0 "24.000000000000004".
- 1147733 cpu_core_0 "24.000000000000004".
- 1148467 cpu_core_0 "24.000000000000004".
- 1149781 cpu_core_0 "24.000000000000004".
- 1150016 cpu_core_0 "24.000000000000004".
- 1154947 cpu_core_0 "24.000000000000004".
- 1155249 cpu_core_0 "24.000000000000004".
- 1155910 cpu_core_0 "24.000000000000004".
- 1156196 cpu_core_0 "24.000000000000004".
- 1157992 cpu_core_0 "24.000000000000004".
- 1158824 cpu_core_0 "24.000000000000004".
- 1158956 cpu_core_0 "24.000000000000004".
- 1159777 cpu_core_0 "24.000000000000004".
- 1160471 cpu_core_0 "24.000000000000004".
- 1163002 cpu_core_0 "24.000000000000004".
- 1163449 cpu_core_0 "24.000000000000004".
- 1164593 cpu_core_0 "24.000000000000004".
- 1164688 cpu_core_0 "24.000000000000004".
- 1169423 cpu_core_0 "24.000000000000004".
- 1169575 cpu_core_0 "24.000000000000004".
- 1169595 cpu_core_0 "24.000000000000004".
- 1170601 cpu_core_0 "24.000000000000004".
- 1170992 cpu_core_0 "24.000000000000004".
- 1176603 cpu_core_0 "24.000000000000004".
- 1179355 cpu_core_0 "24.000000000000004".
- 1179658 cpu_core_0 "24.000000000000004".
- 1181855 cpu_core_0 "24.000000000000004".
- 1182096 cpu_core_0 "24.000000000000004".
- 1182143 cpu_core_0 "24.000000000000004".
- 1183100 cpu_core_0 "24.000000000000004".
- 1183329 cpu_core_0 "24.000000000000004".
- 1185199 cpu_core_0 "24.000000000000004".
- 1187106 cpu_core_0 "24.000000000000004".
- 1190107 cpu_core_0 "24.000000000000004".
- 1190228 cpu_core_0 "24.000000000000004".
- 1190335 cpu_core_0 "24.000000000000004".
- 1191558 cpu_core_0 "24.000000000000004".
- 1192068 cpu_core_0 "24.000000000000004".
- 1193220 cpu_core_0 "24.000000000000004".
- 1193618 cpu_core_0 "24.000000000000004".
- 1195208 cpu_core_0 "24.000000000000004".
- 1197631 cpu_core_0 "24.000000000000004".
- 1197925 cpu_core_0 "24.000000000000004".
- 1199663 cpu_core_0 "24.000000000000004".
- 1199712 cpu_core_0 "24.000000000000004".
- 1200760 cpu_core_0 "24.000000000000004".
- 1200998 cpu_core_0 "24.000000000000004".
- 1201761 cpu_core_0 "24.000000000000004".
- 1202070 cpu_core_0 "24.000000000000004".
- 1202616 cpu_core_0 "24.000000000000004".
- 1203332 cpu_core_0 "24.000000000000004".
- 1203875 cpu_core_0 "24.000000000000004".
- 1203933 cpu_core_0 "24.000000000000004".
- 1204651 cpu_core_0 "24.000000000000004".
- 1204739 cpu_core_0 "24.000000000000004".
- 1204882 cpu_core_0 "24.000000000000004".
- 1205081 cpu_core_0 "24.000000000000004".
- 1205085 cpu_core_0 "24.000000000000004".
- 1205290 cpu_core_0 "24.000000000000004".
- 1207651 cpu_core_0 "24.000000000000004".
- 1208067 cpu_core_0 "24.000000000000004".
- 1208405 cpu_core_0 "24.000000000000004".
- 1208514 cpu_core_0 "24.000000000000004".
- 1208539 cpu_core_0 "24.000000000000004".
- 1208559 cpu_core_0 "24.000000000000004".
- 1208610 cpu_core_0 "24.000000000000004".
- 1208641 cpu_core_0 "24.000000000000004".
- 1208694 cpu_core_0 "24.000000000000004".
- 1208766 cpu_core_0 "24.000000000000004".