Matches in ISWC2014 Benchmark for { ?s ?p 7.999999999999999. }
- 1017474 cpu_core_0 "7.999999999999999".
- 1019550 cpu_core_0 "7.999999999999999".
- 1020624 cpu_core_0 "7.999999999999999".
- 1021776 cpu_core_0 "7.999999999999999".
- 1025334 cpu_core_0 "7.999999999999999".
- 1026733 cpu_core_0 "7.999999999999999".
- 1029380 cpu_core_0 "7.999999999999999".
- 1031005 cpu_core_0 "7.999999999999999".
- 1031885 cpu_core_0 "7.999999999999999".
- 1032833 cpu_core_0 "7.999999999999999".
- 1034243 cpu_core_0 "7.999999999999999".
- 1035482 cpu_core_0 "7.999999999999999".
- 1037994 cpu_core_0 "7.999999999999999".
- 1042738 cpu_core_0 "7.999999999999999".
- 1043483 cpu_core_0 "7.999999999999999".
- 1044799 cpu_core_0 "7.999999999999999".
- 1046179 cpu_core_0 "7.999999999999999".
- 1047071 cpu_core_0 "7.999999999999999".
- 1051905 cpu_core_0 "7.999999999999999".
- 1054236 cpu_core_0 "7.999999999999999".
- 1055172 cpu_core_0 "7.999999999999999".
- 1056656 cpu_core_0 "7.999999999999999".
- 1057061 cpu_core_0 "7.999999999999999".
- 1057259 cpu_core_0 "7.999999999999999".
- 1058656 cpu_core_0 "7.999999999999999".
- 1061635 cpu_core_0 "7.999999999999999".
- 1061855 cpu_core_0 "7.999999999999999".
- 1061882 cpu_core_0 "7.999999999999999".
- 1061955 cpu_core_0 "7.999999999999999".
- 1062000 cpu_core_0 "7.999999999999999".
- 1062406 cpu_core_0 "7.999999999999999".
- 1062558 cpu_core_0 "7.999999999999999".
- 1065163 cpu_core_0 "7.999999999999999".
- 1067813 cpu_core_0 "7.999999999999999".
- 1068396 cpu_core_0 "7.999999999999999".
- 1071045 cpu_core_0 "7.999999999999999".
- 1071318 cpu_core_0 "7.999999999999999".
- 1074321 cpu_core_0 "7.999999999999999".
- 1075570 cpu_core_0 "7.999999999999999".
- 1076987 cpu_core_0 "7.999999999999999".
- 1079438 cpu_core_0 "7.999999999999999".
- 1081064 cpu_core_0 "7.999999999999999".
- 1085244 cpu_core_0 "7.999999999999999".
- 1085388 cpu_core_0 "7.999999999999999".
- 1085846 cpu_core_0 "7.999999999999999".
- 1086183 cpu_core_0 "7.999999999999999".
- 1086910 cpu_core_0 "7.999999999999999".
- 1088387 cpu_core_0 "7.999999999999999".
- 1091626 cpu_core_0 "7.999999999999999".
- 1093177 cpu_core_0 "7.999999999999999".
- 1094382 cpu_core_0 "7.999999999999999".
- 1097042 cpu_core_0 "7.999999999999999".
- 1097212 cpu_core_0 "7.999999999999999".
- 1098658 cpu_core_0 "7.999999999999999".
- 1100478 cpu_core_0 "7.999999999999999".
- 1102187 cpu_core_0 "7.999999999999999".
- 1102905 cpu_core_0 "7.999999999999999".
- 1104702 cpu_core_0 "7.999999999999999".
- 1104873 cpu_core_0 "7.999999999999999".
- 1106301 cpu_core_0 "7.999999999999999".
- 1106408 cpu_core_0 "7.999999999999999".
- 1107678 cpu_core_0 "7.999999999999999".
- 1110396 cpu_core_0 "7.999999999999999".
- 1111783 cpu_core_0 "7.999999999999999".
- 1112744 cpu_core_0 "7.999999999999999".
- 1115844 cpu_core_0 "7.999999999999999".
- 1118692 cpu_core_0 "7.999999999999999".
- 1121639 cpu_core_0 "7.999999999999999".
- 1125430 cpu_core_0 "7.999999999999999".
- 1128367 cpu_core_0 "7.999999999999999".
- 1130355 cpu_core_0 "7.999999999999999".
- 1130526 cpu_core_0 "7.999999999999999".
- 1134738 cpu_core_0 "7.999999999999999".
- 1137599 cpu_core_0 "7.999999999999999".
- 1138318 cpu_core_0 "7.999999999999999".
- 1139927 cpu_core_0 "7.999999999999999".
- 1143925 cpu_core_0 "7.999999999999999".
- 1145915 cpu_core_0 "7.999999999999999".
- 1149115 cpu_core_0 "7.999999999999999".
- 1149578 cpu_core_0 "7.999999999999999".
- 1151655 cpu_core_0 "7.999999999999999".
- 1153357 cpu_core_0 "7.999999999999999".
- 1157995 cpu_core_0 "7.999999999999999".
- 1160489 cpu_core_0 "7.999999999999999".
- 1160646 cpu_core_0 "7.999999999999999".
- 1161086 cpu_core_0 "7.999999999999999".
- 1161721 cpu_core_0 "7.999999999999999".
- 1162541 cpu_core_0 "7.999999999999999".
- 1163516 cpu_core_0 "7.999999999999999".
- 1166182 cpu_core_0 "7.999999999999999".
- 1166344 cpu_core_0 "7.999999999999999".
- 1167056 cpu_core_0 "7.999999999999999".
- 1168382 cpu_core_0 "7.999999999999999".
- 1168959 cpu_core_0 "7.999999999999999".
- 1169679 cpu_core_0 "7.999999999999999".
- 1169964 cpu_core_0 "7.999999999999999".
- 1170467 cpu_core_0 "7.999999999999999".
- 1170915 cpu_core_0 "7.999999999999999".
- 1172318 cpu_core_0 "7.999999999999999".
- 1172336 cpu_core_0 "7.999999999999999".