Matches in ISWC2014 Benchmark for { ?s ?p 6.93069306930693. }
- 1076806 cpu_core_0 "6.93069306930693".
- 1076961 cpu_core_0 "6.93069306930693".
- 1077113 cpu_core_0 "6.93069306930693".
- 1077195 cpu_core_0 "6.93069306930693".
- 1077217 cpu_core_0 "6.93069306930693".
- 1077361 cpu_core_0 "6.93069306930693".
- 1077623 cpu_core_0 "6.93069306930693".
- 1078004 cpu_core_0 "6.93069306930693".
- 1078493 cpu_core_0 "6.93069306930693".
- 1078518 cpu_core_0 "6.93069306930693".
- 1078592 cpu_core_0 "6.93069306930693".
- 1078975 cpu_core_0 "6.93069306930693".
- 1079473 cpu_core_0 "6.93069306930693".
- 1079486 cpu_core_0 "6.93069306930693".
- 1079638 cpu_core_0 "6.93069306930693".
- 1079807 cpu_core_0 "6.93069306930693".
- 1080016 cpu_core_0 "6.93069306930693".
- 1080095 cpu_core_0 "6.93069306930693".
- 1080810 cpu_core_0 "6.93069306930693".
- 1080839 cpu_core_0 "6.93069306930693".
- 1080886 cpu_core_0 "6.93069306930693".
- 1081091 cpu_core_0 "6.93069306930693".
- 1081097 cpu_core_0 "6.93069306930693".
- 1081398 cpu_core_0 "6.93069306930693".
- 1081473 cpu_core_0 "6.93069306930693".
- 1081594 cpu_core_0 "6.93069306930693".
- 1082017 cpu_core_0 "6.93069306930693".
- 1082054 cpu_core_0 "6.93069306930693".
- 1082068 cpu_core_0 "6.93069306930693".
- 1082259 cpu_core_0 "6.93069306930693".
- 1082260 cpu_core_0 "6.93069306930693".
- 1082273 cpu_core_0 "6.93069306930693".
- 1082473 cpu_core_0 "6.93069306930693".
- 1082548 cpu_core_0 "6.93069306930693".
- 1083113 cpu_core_0 "6.93069306930693".
- 1083119 cpu_core_0 "6.93069306930693".
- 1083216 cpu_core_0 "6.93069306930693".
- 1083329 cpu_core_0 "6.93069306930693".
- 1083333 cpu_core_0 "6.93069306930693".
- 1083380 cpu_core_0 "6.93069306930693".
- 1083523 cpu_core_0 "6.93069306930693".
- 1083695 cpu_core_0 "6.93069306930693".
- 1083706 cpu_core_0 "6.93069306930693".
- 1083770 cpu_core_0 "6.93069306930693".
- 1084194 cpu_core_0 "6.93069306930693".
- 1084378 cpu_core_0 "6.93069306930693".
- 1084417 cpu_core_0 "6.93069306930693".
- 1084460 cpu_core_0 "6.93069306930693".
- 1084590 cpu_core_0 "6.93069306930693".
- 1084613 cpu_core_0 "6.93069306930693".
- 1084652 cpu_core_0 "6.93069306930693".
- 1085280 cpu_core_0 "6.93069306930693".
- 1085296 cpu_core_0 "6.93069306930693".
- 1085354 cpu_core_0 "6.93069306930693".
- 1085381 cpu_core_0 "6.93069306930693".
- 1085398 cpu_core_0 "6.93069306930693".
- 1085541 cpu_core_0 "6.93069306930693".
- 1085849 cpu_core_0 "6.93069306930693".
- 1085854 cpu_core_0 "6.93069306930693".
- 1085971 cpu_core_0 "6.93069306930693".
- 1086018 cpu_core_0 "6.93069306930693".
- 1086140 cpu_core_0 "6.93069306930693".
- 1086146 cpu_core_0 "6.93069306930693".
- 1086171 cpu_core_0 "6.93069306930693".
- 1086237 cpu_core_0 "6.93069306930693".
- 1086629 cpu_core_0 "6.93069306930693".
- 1086694 cpu_core_0 "6.93069306930693".
- 1086721 cpu_core_0 "6.93069306930693".
- 1086971 cpu_core_0 "6.93069306930693".
- 1086976 cpu_core_0 "6.93069306930693".
- 1087085 cpu_core_0 "6.93069306930693".
- 1087138 cpu_core_0 "6.93069306930693".
- 1087251 cpu_core_0 "6.93069306930693".
- 1087793 cpu_core_0 "6.93069306930693".
- 1087876 cpu_core_0 "6.93069306930693".
- 1088176 cpu_core_0 "6.93069306930693".
- 1088296 cpu_core_0 "6.93069306930693".
- 1088310 cpu_core_0 "6.93069306930693".
- 1088365 cpu_core_0 "6.93069306930693".
- 1088530 cpu_core_0 "6.93069306930693".
- 1088554 cpu_core_0 "6.93069306930693".
- 1089080 cpu_core_0 "6.93069306930693".
- 1089088 cpu_core_0 "6.93069306930693".
- 1089199 cpu_core_0 "6.93069306930693".
- 1089204 cpu_core_0 "6.93069306930693".
- 1089205 cpu_core_0 "6.93069306930693".
- 1089345 cpu_core_0 "6.93069306930693".
- 1089655 cpu_core_0 "6.93069306930693".
- 1089669 cpu_core_0 "6.93069306930693".
- 1089722 cpu_core_0 "6.93069306930693".
- 1089731 cpu_core_0 "6.93069306930693".
- 1089859 cpu_core_0 "6.93069306930693".
- 1090369 cpu_core_0 "6.93069306930693".
- 1090501 cpu_core_0 "6.93069306930693".
- 1090521 cpu_core_0 "6.93069306930693".
- 1090709 cpu_core_0 "6.93069306930693".
- 1090724 cpu_core_0 "6.93069306930693".
- 1090878 cpu_core_0 "6.93069306930693".
- 1090880 cpu_core_0 "6.93069306930693".
- 1090897 cpu_core_0 "6.93069306930693".