Matches in ISWC2014 Benchmark for { ?s ?p 24.000000000000004. }
- 258380 cpu_core_0 "24.000000000000004".
- 258761 cpu_core_0 "24.000000000000004".
- 258822 cpu_core_0 "24.000000000000004".
- 259781 cpu_core_0 "24.000000000000004".
- 259886 cpu_core_0 "24.000000000000004".
- 260157 cpu_core_0 "24.000000000000004".
- 260434 cpu_core_0 "24.000000000000004".
- 260467 cpu_core_0 "24.000000000000004".
- 260867 cpu_core_0 "24.000000000000004".
- 263238 cpu_core_0 "24.000000000000004".
- 263369 cpu_core_0 "24.000000000000004".
- 263871 cpu_core_0 "24.000000000000004".
- 264008 cpu_core_0 "24.000000000000004".
- 264130 cpu_core_0 "24.000000000000004".
- 264213 cpu_core_0 "24.000000000000004".
- 264949 cpu_core_0 "24.000000000000004".
- 265052 cpu_core_0 "24.000000000000004".
- 265326 cpu_core_0 "24.000000000000004".
- 267297 cpu_core_0 "24.000000000000004".
- 267683 cpu_core_0 "24.000000000000004".
- 268076 cpu_core_0 "24.000000000000004".
- 268115 cpu_core_0 "24.000000000000004".
- 268297 cpu_core_0 "24.000000000000004".
- 268845 cpu_core_0 "24.000000000000004".
- 268881 cpu_core_0 "24.000000000000004".
- 269205 cpu_core_0 "24.000000000000004".
- 269280 cpu_core_0 "24.000000000000004".
- 269598 cpu_core_0 "24.000000000000004".
- 269946 cpu_core_0 "24.000000000000004".
- 270446 cpu_core_0 "24.000000000000004".
- 272037 cpu_core_0 "24.000000000000004".
- 272952 cpu_core_0 "24.000000000000004".
- 273001 cpu_core_0 "24.000000000000004".
- 273495 cpu_core_0 "24.000000000000004".
- 273960 cpu_core_0 "24.000000000000004".
- 274003 cpu_core_0 "24.000000000000004".
- 274411 cpu_core_0 "24.000000000000004".
- 274449 cpu_core_0 "24.000000000000004".
- 275357 cpu_core_0 "24.000000000000004".
- 275707 cpu_core_0 "24.000000000000004".
- 276096 cpu_core_0 "24.000000000000004".
- 276275 cpu_core_0 "24.000000000000004".
- 276632 cpu_core_0 "24.000000000000004".
- 276754 cpu_core_0 "24.000000000000004".
- 277979 cpu_core_0 "24.000000000000004".
- 278179 cpu_core_0 "24.000000000000004".
- 278340 cpu_core_0 "24.000000000000004".
- 278536 cpu_core_0 "24.000000000000004".
- 278647 cpu_core_0 "24.000000000000004".
- 278981 cpu_core_0 "24.000000000000004".
- 280819 cpu_core_0 "24.000000000000004".
- 281332 cpu_core_0 "24.000000000000004".
- 282501 cpu_core_0 "24.000000000000004".
- 282914 cpu_core_0 "24.000000000000004".
- 283363 cpu_core_0 "24.000000000000004".
- 283654 cpu_core_0 "24.000000000000004".
- 283808 cpu_core_0 "24.000000000000004".
- 284354 cpu_core_0 "24.000000000000004".
- 284485 cpu_core_0 "24.000000000000004".
- 284575 cpu_core_0 "24.000000000000004".
- 284678 cpu_core_0 "24.000000000000004".
- 284961 cpu_core_0 "24.000000000000004".
- 285299 cpu_core_0 "24.000000000000004".
- 286519 cpu_core_0 "24.000000000000004".
- 287265 cpu_core_0 "24.000000000000004".
- 287645 cpu_core_0 "24.000000000000004".
- 287931 cpu_core_0 "24.000000000000004".
- 288678 cpu_core_0 "24.000000000000004".
- 288725 cpu_core_0 "24.000000000000004".
- 288769 cpu_core_0 "24.000000000000004".
- 288908 cpu_core_0 "24.000000000000004".
- 289269 cpu_core_0 "24.000000000000004".
- 289641 cpu_core_0 "24.000000000000004".
- 289762 cpu_core_0 "24.000000000000004".
- 289902 cpu_core_0 "24.000000000000004".
- 290255 cpu_core_0 "24.000000000000004".
- 290282 cpu_core_0 "24.000000000000004".
- 290392 cpu_core_0 "24.000000000000004".
- 290422 cpu_core_0 "24.000000000000004".
- 290979 cpu_core_0 "24.000000000000004".
- 291340 cpu_core_0 "24.000000000000004".
- 291352 cpu_core_0 "24.000000000000004".
- 291473 cpu_core_0 "24.000000000000004".
- 291778 cpu_core_0 "24.000000000000004".
- 291808 cpu_core_0 "24.000000000000004".
- 293817 cpu_core_0 "24.000000000000004".
- 293843 cpu_core_0 "24.000000000000004".
- 294559 cpu_core_0 "24.000000000000004".
- 295713 cpu_core_0 "24.000000000000004".
- 296999 cpu_core_0 "24.000000000000004".
- 299505 cpu_core_0 "24.000000000000004".
- 300183 cpu_core_0 "24.000000000000004".
- 300289 cpu_core_0 "24.000000000000004".
- 301826 cpu_core_0 "24.000000000000004".
- 303149 cpu_core_0 "24.000000000000004".
- 303733 cpu_core_0 "24.000000000000004".
- 303926 cpu_core_0 "24.000000000000004".
- 304192 cpu_core_0 "24.000000000000004".
- 304195 cpu_core_0 "24.000000000000004".
- 304826 cpu_core_0 "24.000000000000004".