Matches in ISWC2014 Benchmark for { ?s ?p 7.8431372549019605. }
- 980123 cpu_core_0 "7.8431372549019605".
- 981077 cpu_core_0 "7.8431372549019605".
- 982262 cpu_core_0 "7.8431372549019605".
- 985031 cpu_core_0 "7.8431372549019605".
- 986151 cpu_core_0 "7.8431372549019605".
- 992280 cpu_core_0 "7.8431372549019605".
- 993937 cpu_core_0 "7.8431372549019605".
- 994435 cpu_core_0 "7.8431372549019605".
- 1008891 cpu_core_1 "7.8431372549019605".
- 1013279 cpu_core_1 "7.8431372549019605".
- 1016822 cpu_core_1 "7.8431372549019605".
- 1017345 cpu_core_1 "7.8431372549019605".
- 1019867 cpu_core_1 "7.8431372549019605".
- 1019883 cpu_core_1 "7.8431372549019605".
- 1020907 cpu_core_1 "7.8431372549019605".
- 1021080 cpu_core_1 "7.8431372549019605".
- 1021201 cpu_core_1 "7.8431372549019605".
- 1022917 cpu_core_1 "7.8431372549019605".
- 1023136 cpu_core_1 "7.8431372549019605".
- 1023755 cpu_core_1 "7.8431372549019605".
- 1023932 cpu_core_1 "7.8431372549019605".
- 1024767 cpu_core_1 "7.8431372549019605".
- 1026148 cpu_core_1 "7.8431372549019605".
- 1029844 cpu_core_1 "7.8431372549019605".
- 1030566 cpu_core_1 "7.8431372549019605".
- 1030588 cpu_core_1 "7.8431372549019605".
- 1032851 cpu_core_1 "7.8431372549019605".
- 1039008 cpu_core_1 "7.8431372549019605".
- 1040214 cpu_core_1 "7.8431372549019605".
- 1041353 cpu_core_1 "7.8431372549019605".
- 1041417 cpu_core_1 "7.8431372549019605".
- 1041656 cpu_core_1 "7.8431372549019605".
- 1041962 cpu_core_1 "7.8431372549019605".
- 1043288 cpu_core_1 "7.8431372549019605".
- 1044645 cpu_core_1 "7.8431372549019605".
- 1046460 cpu_core_1 "7.8431372549019605".
- 1047031 cpu_core_1 "7.8431372549019605".
- 1048127 cpu_core_1 "7.8431372549019605".
- 1052413 cpu_core_1 "7.8431372549019605".
- 1052589 cpu_core_1 "7.8431372549019605".
- 1053695 cpu_core_1 "7.8431372549019605".
- 1054050 cpu_core_1 "7.8431372549019605".
- 1055054 cpu_core_1 "7.8431372549019605".
- 1056133 cpu_core_1 "7.8431372549019605".
- 1066481 cpu_core_1 "7.8431372549019605".
- 1067572 cpu_core_1 "7.8431372549019605".
- 1068298 cpu_core_1 "7.8431372549019605".
- 1073113 cpu_core_1 "7.8431372549019605".
- 1073759 cpu_core_1 "7.8431372549019605".
- 1076255 cpu_core_1 "7.8431372549019605".
- 1079209 cpu_core_1 "7.8431372549019605".
- 1086383 cpu_core_1 "7.8431372549019605".
- 1086539 cpu_core_1 "7.8431372549019605".
- 1086750 cpu_core_1 "7.8431372549019605".
- 1090984 cpu_core_1 "7.8431372549019605".
- 1091343 cpu_core_1 "7.8431372549019605".
- 1095301 cpu_core_1 "7.8431372549019605".
- 1095825 cpu_core_1 "7.8431372549019605".
- 1097543 cpu_core_1 "7.8431372549019605".
- 1097710 cpu_core_1 "7.8431372549019605".
- 1103615 cpu_core_1 "7.8431372549019605".
- 1104245 cpu_core_1 "7.8431372549019605".
- 1107522 cpu_core_1 "7.8431372549019605".
- 1109830 cpu_core_1 "7.8431372549019605".
- 1112559 cpu_core_1 "7.8431372549019605".
- 1113260 cpu_core_1 "7.8431372549019605".
- 1114144 cpu_core_1 "7.8431372549019605".
- 1116574 cpu_core_1 "7.8431372549019605".
- 1117255 cpu_core_1 "7.8431372549019605".
- 1118028 cpu_core_1 "7.8431372549019605".
- 1122844 cpu_core_1 "7.8431372549019605".
- 1123936 cpu_core_1 "7.8431372549019605".
- 1124998 cpu_core_1 "7.8431372549019605".
- 1127243 cpu_core_1 "7.8431372549019605".
- 1127461 cpu_core_1 "7.8431372549019605".
- 1128778 cpu_core_1 "7.8431372549019605".
- 1130431 cpu_core_1 "7.8431372549019605".
- 1132969 cpu_core_1 "7.8431372549019605".
- 1133973 cpu_core_1 "7.8431372549019605".
- 1135961 cpu_core_1 "7.8431372549019605".
- 1138649 cpu_core_1 "7.8431372549019605".
- 1139783 cpu_core_1 "7.8431372549019605".
- 1140327 cpu_core_1 "7.8431372549019605".
- 1143969 cpu_core_1 "7.8431372549019605".
- 1145052 cpu_core_1 "7.8431372549019605".
- 1151551 cpu_core_1 "7.8431372549019605".
- 1152144 cpu_core_1 "7.8431372549019605".
- 1153469 cpu_core_1 "7.8431372549019605".
- 1162699 cpu_core_1 "7.8431372549019605".
- 1163508 cpu_core_1 "7.8431372549019605".
- 1164499 cpu_core_1 "7.8431372549019605".
- 1167009 cpu_core_1 "7.8431372549019605".
- 1167033 cpu_core_1 "7.8431372549019605".
- 1168902 cpu_core_1 "7.8431372549019605".
- 1172362 cpu_core_1 "7.8431372549019605".
- 1179031 cpu_core_1 "7.8431372549019605".
- 1179759 cpu_core_1 "7.8431372549019605".
- 1180265 cpu_core_1 "7.8431372549019605".
- 1182235 cpu_core_1 "7.8431372549019605".
- 1183754 cpu_core_1 "7.8431372549019605".