Matches in ISWC2014 Benchmark for { ?s ?p 7.000000000000001. }
- 1068890 cpu_core_0 "7.000000000000001".
- 1068957 cpu_core_0 "7.000000000000001".
- 1069252 cpu_core_0 "7.000000000000001".
- 1069909 cpu_core_0 "7.000000000000001".
- 1070253 cpu_core_0 "7.000000000000001".
- 1070515 cpu_core_0 "7.000000000000001".
- 1070796 cpu_core_0 "7.000000000000001".
- 1071090 cpu_core_0 "7.000000000000001".
- 1071212 cpu_core_0 "7.000000000000001".
- 1071573 cpu_core_0 "7.000000000000001".
- 1071632 cpu_core_0 "7.000000000000001".
- 1071747 cpu_core_0 "7.000000000000001".
- 1071991 cpu_core_0 "7.000000000000001".
- 1071993 cpu_core_0 "7.000000000000001".
- 1072456 cpu_core_0 "7.000000000000001".
- 1072655 cpu_core_0 "7.000000000000001".
- 1073164 cpu_core_0 "7.000000000000001".
- 1073203 cpu_core_0 "7.000000000000001".
- 1073524 cpu_core_0 "7.000000000000001".
- 1073558 cpu_core_0 "7.000000000000001".
- 1073939 cpu_core_0 "7.000000000000001".
- 1074102 cpu_core_0 "7.000000000000001".
- 1074249 cpu_core_0 "7.000000000000001".
- 1074356 cpu_core_0 "7.000000000000001".
- 1074478 cpu_core_0 "7.000000000000001".
- 1074823 cpu_core_0 "7.000000000000001".
- 1076594 cpu_core_0 "7.000000000000001".
- 1077394 cpu_core_0 "7.000000000000001".
- 1077834 cpu_core_0 "7.000000000000001".
- 1078907 cpu_core_0 "7.000000000000001".
- 1079439 cpu_core_0 "7.000000000000001".
- 1079496 cpu_core_0 "7.000000000000001".
- 1079530 cpu_core_0 "7.000000000000001".
- 1081212 cpu_core_0 "7.000000000000001".
- 1082180 cpu_core_0 "7.000000000000001".
- 1082244 cpu_core_0 "7.000000000000001".
- 1082696 cpu_core_0 "7.000000000000001".
- 1083195 cpu_core_0 "7.000000000000001".
- 1083872 cpu_core_0 "7.000000000000001".
- 1084403 cpu_core_0 "7.000000000000001".
- 1084666 cpu_core_0 "7.000000000000001".
- 1086020 cpu_core_0 "7.000000000000001".
- 1086900 cpu_core_0 "7.000000000000001".
- 1087684 cpu_core_0 "7.000000000000001".
- 1089701 cpu_core_0 "7.000000000000001".
- 1090278 cpu_core_0 "7.000000000000001".
- 1091069 cpu_core_0 "7.000000000000001".
- 1091089 cpu_core_0 "7.000000000000001".
- 1091448 cpu_core_0 "7.000000000000001".
- 1091709 cpu_core_0 "7.000000000000001".
- 1092075 cpu_core_0 "7.000000000000001".
- 1092434 cpu_core_0 "7.000000000000001".
- 1093077 cpu_core_0 "7.000000000000001".
- 1093533 cpu_core_0 "7.000000000000001".
- 1094359 cpu_core_0 "7.000000000000001".
- 1096205 cpu_core_0 "7.000000000000001".
- 1096379 cpu_core_0 "7.000000000000001".
- 1096392 cpu_core_0 "7.000000000000001".
- 1096751 cpu_core_0 "7.000000000000001".
- 1097009 cpu_core_0 "7.000000000000001".
- 1097036 cpu_core_0 "7.000000000000001".
- 1097424 cpu_core_0 "7.000000000000001".
- 1098444 cpu_core_0 "7.000000000000001".
- 1098883 cpu_core_0 "7.000000000000001".
- 1098890 cpu_core_0 "7.000000000000001".
- 1099621 cpu_core_0 "7.000000000000001".
- 1100234 cpu_core_0 "7.000000000000001".
- 1102461 cpu_core_0 "7.000000000000001".
- 1102683 cpu_core_0 "7.000000000000001".
- 1102727 cpu_core_0 "7.000000000000001".
- 1103229 cpu_core_0 "7.000000000000001".
- 1103464 cpu_core_0 "7.000000000000001".
- 1103538 cpu_core_0 "7.000000000000001".
- 1105712 cpu_core_0 "7.000000000000001".
- 1105797 cpu_core_0 "7.000000000000001".
- 1106638 cpu_core_0 "7.000000000000001".
- 1106640 cpu_core_0 "7.000000000000001".
- 1106865 cpu_core_0 "7.000000000000001".
- 1109857 cpu_core_0 "7.000000000000001".
- 1110271 cpu_core_0 "7.000000000000001".
- 1110826 cpu_core_0 "7.000000000000001".
- 1111705 cpu_core_0 "7.000000000000001".
- 1112179 cpu_core_0 "7.000000000000001".
- 1113191 cpu_core_0 "7.000000000000001".
- 1113913 cpu_core_0 "7.000000000000001".
- 1114300 cpu_core_0 "7.000000000000001".
- 1114337 cpu_core_0 "7.000000000000001".
- 1114411 cpu_core_0 "7.000000000000001".
- 1115022 cpu_core_0 "7.000000000000001".
- 1115664 cpu_core_0 "7.000000000000001".
- 1115802 cpu_core_0 "7.000000000000001".
- 1116258 cpu_core_0 "7.000000000000001".
- 1116936 cpu_core_0 "7.000000000000001".
- 1117473 cpu_core_0 "7.000000000000001".
- 1120649 cpu_core_0 "7.000000000000001".
- 1121482 cpu_core_0 "7.000000000000001".
- 1121782 cpu_core_0 "7.000000000000001".
- 1124050 cpu_core_0 "7.000000000000001".
- 1124144 cpu_core_0 "7.000000000000001".
- 1125302 cpu_core_0 "7.000000000000001".