Matches in ISWC2014 Benchmark for { ?s ?p 6.93069306930693. }
- 1118947 cpu_core_0 "6.93069306930693".
- 1118992 cpu_core_0 "6.93069306930693".
- 1119405 cpu_core_0 "6.93069306930693".
- 1119530 cpu_core_0 "6.93069306930693".
- 1119561 cpu_core_0 "6.93069306930693".
- 1119837 cpu_core_0 "6.93069306930693".
- 1120006 cpu_core_0 "6.93069306930693".
- 1120023 cpu_core_0 "6.93069306930693".
- 1120206 cpu_core_0 "6.93069306930693".
- 1120341 cpu_core_0 "6.93069306930693".
- 1120365 cpu_core_0 "6.93069306930693".
- 1120507 cpu_core_0 "6.93069306930693".
- 1120546 cpu_core_0 "6.93069306930693".
- 1120900 cpu_core_0 "6.93069306930693".
- 1120941 cpu_core_0 "6.93069306930693".
- 1121090 cpu_core_0 "6.93069306930693".
- 1121148 cpu_core_0 "6.93069306930693".
- 1121543 cpu_core_0 "6.93069306930693".
- 1121547 cpu_core_0 "6.93069306930693".
- 1121575 cpu_core_0 "6.93069306930693".
- 1121897 cpu_core_0 "6.93069306930693".
- 1122139 cpu_core_0 "6.93069306930693".
- 1122254 cpu_core_0 "6.93069306930693".
- 1122296 cpu_core_0 "6.93069306930693".
- 1122326 cpu_core_0 "6.93069306930693".
- 1122431 cpu_core_0 "6.93069306930693".
- 1122513 cpu_core_0 "6.93069306930693".
- 1122549 cpu_core_0 "6.93069306930693".
- 1122710 cpu_core_0 "6.93069306930693".
- 1122719 cpu_core_0 "6.93069306930693".
- 1122778 cpu_core_0 "6.93069306930693".
- 1122967 cpu_core_0 "6.93069306930693".
- 1122971 cpu_core_0 "6.93069306930693".
- 1123057 cpu_core_0 "6.93069306930693".
- 1123225 cpu_core_0 "6.93069306930693".
- 1123311 cpu_core_0 "6.93069306930693".
- 1123415 cpu_core_0 "6.93069306930693".
- 1123533 cpu_core_0 "6.93069306930693".
- 1123759 cpu_core_0 "6.93069306930693".
- 1123770 cpu_core_0 "6.93069306930693".
- 1123797 cpu_core_0 "6.93069306930693".
- 1123916 cpu_core_0 "6.93069306930693".
- 1124054 cpu_core_0 "6.93069306930693".
- 112417 cpu_core_0 "6.93069306930693".
- 1124549 cpu_core_0 "6.93069306930693".
- 1124628 cpu_core_0 "6.93069306930693".
- 1124669 cpu_core_0 "6.93069306930693".
- 1124812 cpu_core_0 "6.93069306930693".
- 1125305 cpu_core_0 "6.93069306930693".
- 1125365 cpu_core_0 "6.93069306930693".
- 1125369 cpu_core_0 "6.93069306930693".
- 1125598 cpu_core_0 "6.93069306930693".
- 1125742 cpu_core_0 "6.93069306930693".
- 1125903 cpu_core_0 "6.93069306930693".
- 1125991 cpu_core_0 "6.93069306930693".
- 1126003 cpu_core_0 "6.93069306930693".
- 1126120 cpu_core_0 "6.93069306930693".
- 1126160 cpu_core_0 "6.93069306930693".
- 1126207 cpu_core_0 "6.93069306930693".
- 1126254 cpu_core_0 "6.93069306930693".
- 1126330 cpu_core_0 "6.93069306930693".
- 1126339 cpu_core_0 "6.93069306930693".
- 1126616 cpu_core_0 "6.93069306930693".
- 1126647 cpu_core_0 "6.93069306930693".
- 1126794 cpu_core_0 "6.93069306930693".
- 1126947 cpu_core_0 "6.93069306930693".
- 1126973 cpu_core_0 "6.93069306930693".
- 1127330 cpu_core_0 "6.93069306930693".
- 1127342 cpu_core_0 "6.93069306930693".
- 1127596 cpu_core_0 "6.93069306930693".
- 1127869 cpu_core_0 "6.93069306930693".
- 1127983 cpu_core_0 "6.93069306930693".
- 1128066 cpu_core_0 "6.93069306930693".
- 1128131 cpu_core_0 "6.93069306930693".
- 1128443 cpu_core_0 "6.93069306930693".
- 1128496 cpu_core_0 "6.93069306930693".
- 1128598 cpu_core_0 "6.93069306930693".
- 1128762 cpu_core_0 "6.93069306930693".
- 1128980 cpu_core_0 "6.93069306930693".
- 1129266 cpu_core_0 "6.93069306930693".
- 1129757 cpu_core_0 "6.93069306930693".
- 1129866 cpu_core_0 "6.93069306930693".
- 1129939 cpu_core_0 "6.93069306930693".
- 1130031 cpu_core_0 "6.93069306930693".
- 1130085 cpu_core_0 "6.93069306930693".
- 1130148 cpu_core_0 "6.93069306930693".
- 1130254 cpu_core_0 "6.93069306930693".
- 1130354 cpu_core_0 "6.93069306930693".
- 1131008 cpu_core_0 "6.93069306930693".
- 1131021 cpu_core_0 "6.93069306930693".
- 1131299 cpu_core_0 "6.93069306930693".
- 1131351 cpu_core_0 "6.93069306930693".
- 1131417 cpu_core_0 "6.93069306930693".
- 1131713 cpu_core_0 "6.93069306930693".
- 1131748 cpu_core_0 "6.93069306930693".
- 1131796 cpu_core_0 "6.93069306930693".
- 1132007 cpu_core_0 "6.93069306930693".
- 1132081 cpu_core_0 "6.93069306930693".
- 1132191 cpu_core_0 "6.93069306930693".
- 1132203 cpu_core_0 "6.93069306930693".