Matches in ISWC2014 Benchmark for { ?s ?p 24.000000000000004. }
- 1974116 cpu_core_0 "24.000000000000004".
- 1989889 cpu_core_0 "24.000000000000004".
- 2063994 cpu_core_0 "24.000000000000004".
- 2064041 cpu_core_0 "24.000000000000004".
- 2064502 cpu_core_0 "24.000000000000004".
- 2064506 cpu_core_0 "24.000000000000004".
- 2064553 cpu_core_0 "24.000000000000004".
- 2065025 cpu_core_0 "24.000000000000004".
- 2065054 cpu_core_0 "24.000000000000004".
- 2065059 cpu_core_0 "24.000000000000004".
- 2065068 cpu_core_0 "24.000000000000004".
- 2065070 cpu_core_0 "24.000000000000004".
- 2065081 cpu_core_0 "24.000000000000004".
- 2065545 cpu_core_0 "24.000000000000004".
- 2065546 cpu_core_0 "24.000000000000004".
- 2065549 cpu_core_0 "24.000000000000004".
- 2065551 cpu_core_0 "24.000000000000004".
- 2065554 cpu_core_0 "24.000000000000004".
- 2065586 cpu_core_0 "24.000000000000004".
- 2065614 cpu_core_0 "24.000000000000004".
- 2066075 cpu_core_0 "24.000000000000004".
- 2066582 cpu_core_0 "24.000000000000004".
- 2066586 cpu_core_0 "24.000000000000004".
- 2066617 cpu_core_0 "24.000000000000004".
- 2067090 cpu_core_0 "24.000000000000004".
- 2067092 cpu_core_0 "24.000000000000004".
- 2067099 cpu_core_0 "24.000000000000004".
- 2067616 cpu_core_0 "24.000000000000004".
- 2068124 cpu_core_0 "24.000000000000004".
- 2068643 cpu_core_0 "24.000000000000004".
- 2068646 cpu_core_0 "24.000000000000004".
- 2068650 cpu_core_0 "24.000000000000004".
- 2068685 cpu_core_0 "24.000000000000004".
- 2069203 cpu_core_0 "24.000000000000004".
- 2070219 cpu_core_0 "24.000000000000004".
- 2070231 cpu_core_0 "24.000000000000004".
- 2070244 cpu_core_0 "24.000000000000004".
- 2070713 cpu_core_0 "24.000000000000004".
- 2070717 cpu_core_0 "24.000000000000004".
- 2071219 cpu_core_0 "24.000000000000004".
- 2071220 cpu_core_0 "24.000000000000004".
- 2071232 cpu_core_0 "24.000000000000004".
- 2071255 cpu_core_0 "24.000000000000004".
- 2071257 cpu_core_0 "24.000000000000004".
- 2071742 cpu_core_0 "24.000000000000004".
- 2071785 cpu_core_0 "24.000000000000004".
- 2077841 cpu_core_0 "24.000000000000004".
- 213294 cpu_core_0 "24.000000000000004".
- 214395 cpu_core_0 "24.000000000000004".
- 215455 cpu_core_0 "24.000000000000004".
- 218366 cpu_core_0 "24.000000000000004".
- 219089 cpu_core_0 "24.000000000000004".
- 219412 cpu_core_0 "24.000000000000004".
- 220051 cpu_core_0 "24.000000000000004".
- 220741 cpu_core_0 "24.000000000000004".
- 221168 cpu_core_0 "24.000000000000004".
- 221255 cpu_core_0 "24.000000000000004".
- 221392 cpu_core_0 "24.000000000000004".
- 221481 cpu_core_0 "24.000000000000004".
- 221485 cpu_core_0 "24.000000000000004".
- 221509 cpu_core_0 "24.000000000000004".
- 221518 cpu_core_0 "24.000000000000004".
- 221697 cpu_core_0 "24.000000000000004".
- 221949 cpu_core_0 "24.000000000000004".
- 222130 cpu_core_0 "24.000000000000004".
- 222466 cpu_core_0 "24.000000000000004".
- 222507 cpu_core_0 "24.000000000000004".
- 224710 cpu_core_0 "24.000000000000004".
- 226758 cpu_core_0 "24.000000000000004".
- 231422 cpu_core_0 "24.000000000000004".
- 232985 cpu_core_0 "24.000000000000004".
- 233109 cpu_core_0 "24.000000000000004".
- 233937 cpu_core_0 "24.000000000000004".
- 234485 cpu_core_0 "24.000000000000004".
- 234821 cpu_core_0 "24.000000000000004".
- 234846 cpu_core_0 "24.000000000000004".
- 234954 cpu_core_0 "24.000000000000004".
- 235970 cpu_core_0 "24.000000000000004".
- 236130 cpu_core_0 "24.000000000000004".
- 236180 cpu_core_0 "24.000000000000004".
- 236387 cpu_core_0 "24.000000000000004".
- 236538 cpu_core_0 "24.000000000000004".
- 236780 cpu_core_0 "24.000000000000004".
- 236893 cpu_core_0 "24.000000000000004".
- 236894 cpu_core_0 "24.000000000000004".
- 237479 cpu_core_0 "24.000000000000004".
- 237631 cpu_core_0 "24.000000000000004".
- 237677 cpu_core_0 "24.000000000000004".
- 238077 cpu_core_0 "24.000000000000004".
- 239192 cpu_core_0 "24.000000000000004".
- 239339 cpu_core_0 "24.000000000000004".
- 239673 cpu_core_0 "24.000000000000004".
- 240805 cpu_core_0 "24.000000000000004".
- 244109 cpu_core_0 "24.000000000000004".
- 246016 cpu_core_0 "24.000000000000004".
- 247176 cpu_core_0 "24.000000000000004".
- 248763 cpu_core_0 "24.000000000000004".
- 250422 cpu_core_0 "24.000000000000004".
- 256982 cpu_core_0 "24.000000000000004".
- 258290 cpu_core_0 "24.000000000000004".