Matches in ISWC2014 Benchmark for { ?s ?p 86.0. }
- 1000015 cpu_core_0 "86.0".
- 1000404 cpu_core_0 "86.0".
- 1003013 cpu_core_0 "86.0".
- 1003382 cpu_core_0 "86.0".
- 1004919 cpu_core_0 "86.0".
- 1006928 cpu_core_0 "86.0".
- 1014251 cpu_core_0 "86.0".
- 1050382 cpu_core_0 "86.0".
- 1055814 cpu_core_0 "86.0".
- 1067006 cpu_core_0 "86.0".
- 1095734 cpu_core_0 "86.0".
- 1177741 cpu_core_0 "86.0".
- 1183563 cpu_core_0 "86.0".
- 1207356 cpu_core_0 "86.0".
- 1207371 cpu_core_0 "86.0".
- 1225197 cpu_core_0 "86.0".
- 1228973 cpu_core_0 "86.0".
- 1229588 cpu_core_0 "86.0".
- 1232561 cpu_core_0 "86.0".
- 1233456 cpu_core_0 "86.0".
- 1595382 cpu_core_0 "86.0".
- 1595553 cpu_core_0 "86.0".
- 1655200 cpu_core_0 "86.0".
- 1662250 cpu_core_0 "86.0".
- 1666669 cpu_core_0 "86.0".
- 1666729 cpu_core_0 "86.0".
- 1666732 cpu_core_0 "86.0".
- 1686208 cpu_core_0 "86.0".
- 1696131 cpu_core_0 "86.0".
- 1696326 cpu_core_0 "86.0".
- 1703967 cpu_core_0 "86.0".
- 1779348 cpu_core_0 "86.0".
- 1938637 cpu_core_0 "86.0".
- 1938655 cpu_core_0 "86.0".
- 2072486 cpu_core_0 "86.0".
- 209804 cpu_core_0 "86.0".
- 209967 cpu_core_0 "86.0".
- 210447 cpu_core_0 "86.0".
- 210508 cpu_core_0 "86.0".
- 211106 cpu_core_0 "86.0".
- 211313 cpu_core_0 "86.0".
- 211369 cpu_core_0 "86.0".
- 211500 cpu_core_0 "86.0".
- 211544 cpu_core_0 "86.0".
- 211724 cpu_core_0 "86.0".
- 212080 cpu_core_0 "86.0".
- 212191 cpu_core_0 "86.0".
- 212339 cpu_core_0 "86.0".
- 212542 cpu_core_0 "86.0".
- 212581 cpu_core_0 "86.0".
- 213035 cpu_core_0 "86.0".
- 213519 cpu_core_0 "86.0".
- 213568 cpu_core_0 "86.0".
- 214058 cpu_core_0 "86.0".
- 214612 cpu_core_0 "86.0".
- 214644 cpu_core_0 "86.0".
- 214701 cpu_core_0 "86.0".
- 214909 cpu_core_0 "86.0".
- 214915 cpu_core_0 "86.0".
- 214989 cpu_core_0 "86.0".
- 215344 cpu_core_0 "86.0".
- 215833 cpu_core_0 "86.0".
- 215835 cpu_core_0 "86.0".
- 215888 cpu_core_0 "86.0".
- 216179 cpu_core_0 "86.0".
- 216366 cpu_core_0 "86.0".
- 216648 cpu_core_0 "86.0".
- 216881 cpu_core_0 "86.0".
- 217151 cpu_core_0 "86.0".
- 217375 cpu_core_0 "86.0".
- 217474 cpu_core_0 "86.0".
- 217735 cpu_core_0 "86.0".
- 217808 cpu_core_0 "86.0".
- 217938 cpu_core_0 "86.0".
- 219423 cpu_core_0 "86.0".
- 219924 cpu_core_0 "86.0".
- 220982 cpu_core_0 "86.0".
- 221139 cpu_core_0 "86.0".
- 221998 cpu_core_0 "86.0".
- 224409 cpu_core_0 "86.0".
- 225436 cpu_core_0 "86.0".
- 225556 cpu_core_0 "86.0".
- 225726 cpu_core_0 "86.0".
- 226368 cpu_core_0 "86.0".
- 227207 cpu_core_0 "86.0".
- 227850 cpu_core_0 "86.0".
- 228323 cpu_core_0 "86.0".
- 228479 cpu_core_0 "86.0".
- 228799 cpu_core_0 "86.0".
- 229234 cpu_core_0 "86.0".
- 229302 cpu_core_0 "86.0".
- 229449 cpu_core_0 "86.0".
- 229598 cpu_core_0 "86.0".
- 229650 cpu_core_0 "86.0".
- 230087 cpu_core_0 "86.0".
- 230831 cpu_core_0 "86.0".
- 231280 cpu_core_0 "86.0".
- 231427 cpu_core_0 "86.0".
- 233199 cpu_core_0 "86.0".
- 235472 cpu_core_0 "86.0".