Matches in ISWC2014 Benchmark for { ?s ?p 6.93069306930693. }
- 1202588 cpu_core_0 "6.93069306930693".
- 1202850 cpu_core_0 "6.93069306930693".
- 1202889 cpu_core_0 "6.93069306930693".
- 1202890 cpu_core_0 "6.93069306930693".
- 1202940 cpu_core_0 "6.93069306930693".
- 1202978 cpu_core_0 "6.93069306930693".
- 1203009 cpu_core_0 "6.93069306930693".
- 1203087 cpu_core_0 "6.93069306930693".
- 1203102 cpu_core_0 "6.93069306930693".
- 1203370 cpu_core_0 "6.93069306930693".
- 1203492 cpu_core_0 "6.93069306930693".
- 1203586 cpu_core_0 "6.93069306930693".
- 1203662 cpu_core_0 "6.93069306930693".
- 1203769 cpu_core_0 "6.93069306930693".
- 1204014 cpu_core_0 "6.93069306930693".
- 1204036 cpu_core_0 "6.93069306930693".
- 1204774 cpu_core_0 "6.93069306930693".
- 1204959 cpu_core_0 "6.93069306930693".
- 1205602 cpu_core_0 "6.93069306930693".
- 1205943 cpu_core_0 "6.93069306930693".
- 1205992 cpu_core_0 "6.93069306930693".
- 1206001 cpu_core_0 "6.93069306930693".
- 1206089 cpu_core_0 "6.93069306930693".
- 1206256 cpu_core_0 "6.93069306930693".
- 1206299 cpu_core_0 "6.93069306930693".
- 1206308 cpu_core_0 "6.93069306930693".
- 1206366 cpu_core_0 "6.93069306930693".
- 1206375 cpu_core_0 "6.93069306930693".
- 1206540 cpu_core_0 "6.93069306930693".
- 1206609 cpu_core_0 "6.93069306930693".
- 1206707 cpu_core_0 "6.93069306930693".
- 1206733 cpu_core_0 "6.93069306930693".
- 1207026 cpu_core_0 "6.93069306930693".
- 1207106 cpu_core_0 "6.93069306930693".
- 1207135 cpu_core_0 "6.93069306930693".
- 1209912 cpu_core_0 "6.93069306930693".
- 1213493 cpu_core_0 "6.93069306930693".
- 1213768 cpu_core_0 "6.93069306930693".
- 1213951 cpu_core_0 "6.93069306930693".
- 1214063 cpu_core_0 "6.93069306930693".
- 1214065 cpu_core_0 "6.93069306930693".
- 1214103 cpu_core_0 "6.93069306930693".
- 1214138 cpu_core_0 "6.93069306930693".
- 1214632 cpu_core_0 "6.93069306930693".
- 1214656 cpu_core_0 "6.93069306930693".
- 1214854 cpu_core_0 "6.93069306930693".
- 1215125 cpu_core_0 "6.93069306930693".
- 1215222 cpu_core_0 "6.93069306930693".
- 1215247 cpu_core_0 "6.93069306930693".
- 1215452 cpu_core_0 "6.93069306930693".
- 1215478 cpu_core_0 "6.93069306930693".
- 121572 cpu_core_0 "6.93069306930693".
- 1215721 cpu_core_0 "6.93069306930693".
- 1215966 cpu_core_0 "6.93069306930693".
- 1216041 cpu_core_0 "6.93069306930693".
- 1216120 cpu_core_0 "6.93069306930693".
- 1216199 cpu_core_0 "6.93069306930693".
- 1216367 cpu_core_0 "6.93069306930693".
- 1216445 cpu_core_0 "6.93069306930693".
- 1216560 cpu_core_0 "6.93069306930693".
- 1216679 cpu_core_0 "6.93069306930693".
- 1216763 cpu_core_0 "6.93069306930693".
- 1216800 cpu_core_0 "6.93069306930693".
- 1217056 cpu_core_0 "6.93069306930693".
- 1217065 cpu_core_0 "6.93069306930693".
- 1217183 cpu_core_0 "6.93069306930693".
- 1217391 cpu_core_0 "6.93069306930693".
- 1217656 cpu_core_0 "6.93069306930693".
- 1218247 cpu_core_0 "6.93069306930693".
- 1218555 cpu_core_0 "6.93069306930693".
- 1218586 cpu_core_0 "6.93069306930693".
- 1218843 cpu_core_0 "6.93069306930693".
- 1221783 cpu_core_0 "6.93069306930693".
- 122196 cpu_core_0 "6.93069306930693".
- 1222789 cpu_core_0 "6.93069306930693".
- 1228774 cpu_core_0 "6.93069306930693".
- 1236484 cpu_core_0 "6.93069306930693".
- 1236770 cpu_core_0 "6.93069306930693".
- 1236855 cpu_core_0 "6.93069306930693".
- 1237296 cpu_core_0 "6.93069306930693".
- 1237518 cpu_core_0 "6.93069306930693".
- 1237529 cpu_core_0 "6.93069306930693".
- 1237853 cpu_core_0 "6.93069306930693".
- 1237855 cpu_core_0 "6.93069306930693".
- 1237927 cpu_core_0 "6.93069306930693".
- 1238001 cpu_core_0 "6.93069306930693".
- 1238339 cpu_core_0 "6.93069306930693".
- 1238370 cpu_core_0 "6.93069306930693".
- 1238448 cpu_core_0 "6.93069306930693".
- 1238532 cpu_core_0 "6.93069306930693".
- 1238607 cpu_core_0 "6.93069306930693".
- 1238697 cpu_core_0 "6.93069306930693".
- 1239137 cpu_core_0 "6.93069306930693".
- 1239218 cpu_core_0 "6.93069306930693".
- 1239433 cpu_core_0 "6.93069306930693".
- 1239523 cpu_core_0 "6.93069306930693".
- 1239538 cpu_core_0 "6.93069306930693".
- 1239726 cpu_core_0 "6.93069306930693".
- 1239764 cpu_core_0 "6.93069306930693".
- 1240077 cpu_core_0 "6.93069306930693".