Matches in ISWC2014 Benchmark for { ?s ?p 7.92079207920792. }
- 1018695 cpu_core_0 "7.92079207920792".
- 1020460 cpu_core_0 "7.92079207920792".
- 1021175 cpu_core_0 "7.92079207920792".
- 1022549 cpu_core_0 "7.92079207920792".
- 1023863 cpu_core_0 "7.92079207920792".
- 1025424 cpu_core_0 "7.92079207920792".
- 1027749 cpu_core_0 "7.92079207920792".
- 1028151 cpu_core_0 "7.92079207920792".
- 1031414 cpu_core_0 "7.92079207920792".
- 1032967 cpu_core_0 "7.92079207920792".
- 1034641 cpu_core_0 "7.92079207920792".
- 1036438 cpu_core_0 "7.92079207920792".
- 1037220 cpu_core_0 "7.92079207920792".
- 1037438 cpu_core_0 "7.92079207920792".
- 1040098 cpu_core_0 "7.92079207920792".
- 1044861 cpu_core_0 "7.92079207920792".
- 1044975 cpu_core_0 "7.92079207920792".
- 1045400 cpu_core_0 "7.92079207920792".
- 1046104 cpu_core_0 "7.92079207920792".
- 1046288 cpu_core_0 "7.92079207920792".
- 1046747 cpu_core_0 "7.92079207920792".
- 1047577 cpu_core_0 "7.92079207920792".
- 1049213 cpu_core_0 "7.92079207920792".
- 1051058 cpu_core_0 "7.92079207920792".
- 1052590 cpu_core_0 "7.92079207920792".
- 1053008 cpu_core_0 "7.92079207920792".
- 1053935 cpu_core_0 "7.92079207920792".
- 1054060 cpu_core_0 "7.92079207920792".
- 1054663 cpu_core_0 "7.92079207920792".
- 1056960 cpu_core_0 "7.92079207920792".
- 1057390 cpu_core_0 "7.92079207920792".
- 1057610 cpu_core_0 "7.92079207920792".
- 1067895 cpu_core_0 "7.92079207920792".
- 1070846 cpu_core_0 "7.92079207920792".
- 1070912 cpu_core_0 "7.92079207920792".
- 1073389 cpu_core_0 "7.92079207920792".
- 1077773 cpu_core_0 "7.92079207920792".
- 1077851 cpu_core_0 "7.92079207920792".
- 1078533 cpu_core_0 "7.92079207920792".
- 1084469 cpu_core_0 "7.92079207920792".
- 1085976 cpu_core_0 "7.92079207920792".
- 1086671 cpu_core_0 "7.92079207920792".
- 1087222 cpu_core_0 "7.92079207920792".
- 1087369 cpu_core_0 "7.92079207920792".
- 1087652 cpu_core_0 "7.92079207920792".
- 1089348 cpu_core_0 "7.92079207920792".
- 1097788 cpu_core_0 "7.92079207920792".
- 1099046 cpu_core_0 "7.92079207920792".
- 1099616 cpu_core_0 "7.92079207920792".
- 1099683 cpu_core_0 "7.92079207920792".
- 1102040 cpu_core_0 "7.92079207920792".
- 1104015 cpu_core_0 "7.92079207920792".
- 1104928 cpu_core_0 "7.92079207920792".
- 1107763 cpu_core_0 "7.92079207920792".
- 1110311 cpu_core_0 "7.92079207920792".
- 1110500 cpu_core_0 "7.92079207920792".
- 1111999 cpu_core_0 "7.92079207920792".
- 1114747 cpu_core_0 "7.92079207920792".
- 1115140 cpu_core_0 "7.92079207920792".
- 1116985 cpu_core_0 "7.92079207920792".
- 1117778 cpu_core_0 "7.92079207920792".
- 1118869 cpu_core_0 "7.92079207920792".
- 1124029 cpu_core_0 "7.92079207920792".
- 1125635 cpu_core_0 "7.92079207920792".
- 1128837 cpu_core_0 "7.92079207920792".
- 1129267 cpu_core_0 "7.92079207920792".
- 1129651 cpu_core_0 "7.92079207920792".
- 1129962 cpu_core_0 "7.92079207920792".
- 1130104 cpu_core_0 "7.92079207920792".
- 1131044 cpu_core_0 "7.92079207920792".
- 1131478 cpu_core_0 "7.92079207920792".
- 1131658 cpu_core_0 "7.92079207920792".
- 1132630 cpu_core_0 "7.92079207920792".
- 1134274 cpu_core_0 "7.92079207920792".
- 1136353 cpu_core_0 "7.92079207920792".
- 1137650 cpu_core_0 "7.92079207920792".
- 1138713 cpu_core_0 "7.92079207920792".
- 1140473 cpu_core_0 "7.92079207920792".
- 1142473 cpu_core_0 "7.92079207920792".
- 1143086 cpu_core_0 "7.92079207920792".
- 1144223 cpu_core_0 "7.92079207920792".
- 1144989 cpu_core_0 "7.92079207920792".
- 1146872 cpu_core_0 "7.92079207920792".
- 1148567 cpu_core_0 "7.92079207920792".
- 1148920 cpu_core_0 "7.92079207920792".
- 1149718 cpu_core_0 "7.92079207920792".
- 1149984 cpu_core_0 "7.92079207920792".
- 1150737 cpu_core_0 "7.92079207920792".
- 1152189 cpu_core_0 "7.92079207920792".
- 1152370 cpu_core_0 "7.92079207920792".
- 1153340 cpu_core_0 "7.92079207920792".
- 1154963 cpu_core_0 "7.92079207920792".
- 1156081 cpu_core_0 "7.92079207920792".
- 1156745 cpu_core_0 "7.92079207920792".
- 1158162 cpu_core_0 "7.92079207920792".
- 1158499 cpu_core_0 "7.92079207920792".
- 1159106 cpu_core_0 "7.92079207920792".
- 1161046 cpu_core_0 "7.92079207920792".
- 1163053 cpu_core_0 "7.92079207920792".
- 1166836 cpu_core_0 "7.92079207920792".