Matches in ISWC2014 Benchmark for { ?s ?p 7.142857142857142. }
- 1030734 cpu_core_3 "7.142857142857142".
- 1037132 cpu_core_3 "7.142857142857142".
- 1037531 cpu_core_3 "7.142857142857142".
- 1039314 cpu_core_3 "7.142857142857142".
- 1040360 cpu_core_3 "7.142857142857142".
- 1040678 cpu_core_3 "7.142857142857142".
- 1042914 cpu_core_3 "7.142857142857142".
- 1045009 cpu_core_3 "7.142857142857142".
- 1045116 cpu_core_3 "7.142857142857142".
- 1045769 cpu_core_3 "7.142857142857142".
- 1046347 cpu_core_3 "7.142857142857142".
- 1046568 cpu_core_3 "7.142857142857142".
- 1047805 cpu_core_3 "7.142857142857142".
- 1049068 cpu_core_3 "7.142857142857142".
- 1053988 cpu_core_3 "7.142857142857142".
- 1054541 cpu_core_3 "7.142857142857142".
- 1055074 cpu_core_3 "7.142857142857142".
- 1055254 cpu_core_3 "7.142857142857142".
- 1056204 cpu_core_3 "7.142857142857142".
- 1056307 cpu_core_3 "7.142857142857142".
- 1056358 cpu_core_3 "7.142857142857142".
- 1056797 cpu_core_3 "7.142857142857142".
- 1056825 cpu_core_3 "7.142857142857142".
- 1057504 cpu_core_3 "7.142857142857142".
- 1057569 cpu_core_3 "7.142857142857142".
- 1057952 cpu_core_3 "7.142857142857142".
- 1058531 cpu_core_3 "7.142857142857142".
- 1058610 cpu_core_3 "7.142857142857142".
- 1058666 cpu_core_3 "7.142857142857142".
- 1059417 cpu_core_3 "7.142857142857142".
- 1060324 cpu_core_3 "7.142857142857142".
- 1060331 cpu_core_3 "7.142857142857142".
- 1061266 cpu_core_3 "7.142857142857142".
- 1061311 cpu_core_3 "7.142857142857142".
- 1062881 cpu_core_3 "7.142857142857142".
- 1064681 cpu_core_3 "7.142857142857142".
- 1065117 cpu_core_3 "7.142857142857142".
- 1065406 cpu_core_3 "7.142857142857142".
- 1067408 cpu_core_3 "7.142857142857142".
- 1070048 cpu_core_3 "7.142857142857142".
- 1070081 cpu_core_3 "7.142857142857142".
- 1072082 cpu_core_3 "7.142857142857142".
- 1073149 cpu_core_3 "7.142857142857142".
- 1077044 cpu_core_3 "7.142857142857142".
- 1078091 cpu_core_3 "7.142857142857142".
- 1078405 cpu_core_3 "7.142857142857142".
- 1079252 cpu_core_3 "7.142857142857142".
- 1079925 cpu_core_3 "7.142857142857142".
- 1080435 cpu_core_3 "7.142857142857142".
- 1080472 cpu_core_3 "7.142857142857142".
- 1081451 cpu_core_3 "7.142857142857142".
- 1081487 cpu_core_3 "7.142857142857142".
- 1086839 cpu_core_3 "7.142857142857142".
- 1091592 cpu_core_3 "7.142857142857142".
- 1094420 cpu_core_3 "7.142857142857142".
- 1096683 cpu_core_3 "7.142857142857142".
- 1096881 cpu_core_3 "7.142857142857142".
- 1097954 cpu_core_3 "7.142857142857142".
- 1098212 cpu_core_3 "7.142857142857142".
- 1099453 cpu_core_3 "7.142857142857142".
- 1101457 cpu_core_3 "7.142857142857142".
- 1101508 cpu_core_3 "7.142857142857142".
- 1101881 cpu_core_3 "7.142857142857142".
- 1102260 cpu_core_3 "7.142857142857142".
- 1104929 cpu_core_3 "7.142857142857142".
- 1105042 cpu_core_3 "7.142857142857142".
- 1105217 cpu_core_3 "7.142857142857142".
- 1107739 cpu_core_3 "7.142857142857142".
- 1109875 cpu_core_3 "7.142857142857142".
- 1112629 cpu_core_3 "7.142857142857142".
- 1113290 cpu_core_3 "7.142857142857142".
- 1114049 cpu_core_3 "7.142857142857142".
- 1115628 cpu_core_3 "7.142857142857142".
- 1117058 cpu_core_3 "7.142857142857142".
- 1119933 cpu_core_3 "7.142857142857142".
- 1120851 cpu_core_3 "7.142857142857142".
- 1122251 cpu_core_3 "7.142857142857142".
- 1122475 cpu_core_3 "7.142857142857142".
- 1123758 cpu_core_3 "7.142857142857142".
- 1125389 cpu_core_3 "7.142857142857142".
- 1126591 cpu_core_3 "7.142857142857142".
- 1126744 cpu_core_3 "7.142857142857142".
- 1127550 cpu_core_3 "7.142857142857142".
- 1130081 cpu_core_3 "7.142857142857142".
- 1130932 cpu_core_3 "7.142857142857142".
- 1133682 cpu_core_3 "7.142857142857142".
- 1137045 cpu_core_3 "7.142857142857142".
- 1138943 cpu_core_3 "7.142857142857142".
- 1139316 cpu_core_3 "7.142857142857142".
- 1140091 cpu_core_3 "7.142857142857142".
- 1140842 cpu_core_3 "7.142857142857142".
- 1140955 cpu_core_3 "7.142857142857142".
- 1141855 cpu_core_3 "7.142857142857142".
- 1142254 cpu_core_3 "7.142857142857142".
- 1142837 cpu_core_3 "7.142857142857142".
- 1144350 cpu_core_3 "7.142857142857142".
- 1146203 cpu_core_3 "7.142857142857142".
- 1146976 cpu_core_3 "7.142857142857142".
- 1147393 cpu_core_3 "7.142857142857142".
- 1150332 cpu_core_3 "7.142857142857142".