Matches in ISWC2014 Benchmark for { ?s ?p 89.99999999999999. }
- 1000104 cpu_core_0 "89.99999999999999".
- 1000161 cpu_core_0 "89.99999999999999".
- 1000240 cpu_core_0 "89.99999999999999".
- 1000247 cpu_core_0 "89.99999999999999".
- 1000382 cpu_core_0 "89.99999999999999".
- 1000701 cpu_core_0 "89.99999999999999".
- 1000732 cpu_core_0 "89.99999999999999".
- 1001501 cpu_core_0 "89.99999999999999".
- 1001747 cpu_core_0 "89.99999999999999".
- 1002103 cpu_core_0 "89.99999999999999".
- 1003313 cpu_core_0 "89.99999999999999".
- 1003707 cpu_core_0 "89.99999999999999".
- 1003932 cpu_core_0 "89.99999999999999".
- 1004167 cpu_core_0 "89.99999999999999".
- 1004918 cpu_core_0 "89.99999999999999".
- 1005130 cpu_core_0 "89.99999999999999".
- 1005491 cpu_core_0 "89.99999999999999".
- 1006212 cpu_core_0 "89.99999999999999".
- 1006937 cpu_core_0 "89.99999999999999".
- 1007274 cpu_core_0 "89.99999999999999".
- 1008008 cpu_core_0 "89.99999999999999".
- 1008652 cpu_core_0 "89.99999999999999".
- 1008887 cpu_core_0 "89.99999999999999".
- 1009015 cpu_core_0 "89.99999999999999".
- 1013647 cpu_core_0 "89.99999999999999".
- 1013780 cpu_core_0 "89.99999999999999".
- 1013934 cpu_core_0 "89.99999999999999".
- 1014134 cpu_core_0 "89.99999999999999".
- 1014438 cpu_core_0 "89.99999999999999".
- 1014971 cpu_core_0 "89.99999999999999".
- 1015365 cpu_core_0 "89.99999999999999".
- 1015387 cpu_core_0 "89.99999999999999".
- 120435 cpu_core_0 "89.99999999999999".
- 1529653 cpu_core_0 "89.99999999999999".
- 1611006 cpu_core_0 "89.99999999999999".
- 209940 cpu_core_0 "89.99999999999999".
- 210399 cpu_core_0 "89.99999999999999".
- 210597 cpu_core_0 "89.99999999999999".
- 210954 cpu_core_0 "89.99999999999999".
- 211143 cpu_core_0 "89.99999999999999".
- 211173 cpu_core_0 "89.99999999999999".
- 212021 cpu_core_0 "89.99999999999999".
- 212084 cpu_core_0 "89.99999999999999".
- 212468 cpu_core_0 "89.99999999999999".
- 212721 cpu_core_0 "89.99999999999999".
- 212799 cpu_core_0 "89.99999999999999".
- 213044 cpu_core_0 "89.99999999999999".
- 213198 cpu_core_0 "89.99999999999999".
- 213338 cpu_core_0 "89.99999999999999".
- 213669 cpu_core_0 "89.99999999999999".
- 213779 cpu_core_0 "89.99999999999999".
- 214878 cpu_core_0 "89.99999999999999".
- 215115 cpu_core_0 "89.99999999999999".
- 215832 cpu_core_0 "89.99999999999999".
- 216461 cpu_core_0 "89.99999999999999".
- 217140 cpu_core_0 "89.99999999999999".
- 217906 cpu_core_0 "89.99999999999999".
- 218009 cpu_core_0 "89.99999999999999".
- 222124 cpu_core_0 "89.99999999999999".
- 224480 cpu_core_0 "89.99999999999999".
- 225271 cpu_core_0 "89.99999999999999".
- 225999 cpu_core_0 "89.99999999999999".
- 226044 cpu_core_0 "89.99999999999999".
- 226571 cpu_core_0 "89.99999999999999".
- 226630 cpu_core_0 "89.99999999999999".
- 226666 cpu_core_0 "89.99999999999999".
- 227065 cpu_core_0 "89.99999999999999".
- 227236 cpu_core_0 "89.99999999999999".
- 227571 cpu_core_0 "89.99999999999999".
- 228019 cpu_core_0 "89.99999999999999".
- 228039 cpu_core_0 "89.99999999999999".
- 228885 cpu_core_0 "89.99999999999999".
- 228897 cpu_core_0 "89.99999999999999".
- 229162 cpu_core_0 "89.99999999999999".
- 229167 cpu_core_0 "89.99999999999999".
- 229281 cpu_core_0 "89.99999999999999".
- 229401 cpu_core_0 "89.99999999999999".
- 229662 cpu_core_0 "89.99999999999999".
- 229834 cpu_core_0 "89.99999999999999".
- 230364 cpu_core_0 "89.99999999999999".
- 230378 cpu_core_0 "89.99999999999999".
- 230439 cpu_core_0 "89.99999999999999".
- 230572 cpu_core_0 "89.99999999999999".
- 230740 cpu_core_0 "89.99999999999999".
- 231453 cpu_core_0 "89.99999999999999".
- 231480 cpu_core_0 "89.99999999999999".
- 232078 cpu_core_0 "89.99999999999999".
- 232230 cpu_core_0 "89.99999999999999".
- 235296 cpu_core_0 "89.99999999999999".
- 236791 cpu_core_0 "89.99999999999999".
- 237879 cpu_core_0 "89.99999999999999".
- 243340 cpu_core_0 "89.99999999999999".
- 244215 cpu_core_0 "89.99999999999999".
- 244429 cpu_core_0 "89.99999999999999".
- 248316 cpu_core_0 "89.99999999999999".
- 248639 cpu_core_0 "89.99999999999999".
- 248709 cpu_core_0 "89.99999999999999".
- 248908 cpu_core_0 "89.99999999999999".
- 248960 cpu_core_0 "89.99999999999999".
- 249026 cpu_core_0 "89.99999999999999".