Matches in ISWC2014 Benchmark for { ?s ?p 34.375. }
- 1011572 cpu_core_0 "34.375".
- 1011848 cpu_core_0 "34.375".
- 1012336 cpu_core_0 "34.375".
- 1012419 cpu_core_0 "34.375".
- 1012442 cpu_core_0 "34.375".
- 1012502 cpu_core_0 "34.375".
- 1012732 cpu_core_0 "34.375".
- 1013082 cpu_core_0 "34.375".
- 1013102 cpu_core_0 "34.375".
- 1236457 cpu_core_0 "34.375".
- 1237104 cpu_core_0 "34.375".
- 1670988 cpu_core_0 "34.375".
- 1671305 cpu_core_0 "34.375".
- 1673715 cpu_core_0 "34.375".
- 1674250 cpu_core_0 "34.375".
- 1674898 cpu_core_0 "34.375".
- 1674900 cpu_core_0 "34.375".
- 1711826 cpu_core_0 "34.375".
- 218663 cpu_core_0 "34.375".
- 222755 cpu_core_0 "34.375".
- 247978 cpu_core_0 "34.375".
- 363330 cpu_core_0 "34.375".
- 363829 cpu_core_0 "34.375".
- 364140 cpu_core_0 "34.375".
- 364286 cpu_core_0 "34.375".
- 364318 cpu_core_0 "34.375".
- 402324 cpu_core_0 "34.375".
- 402962 cpu_core_0 "34.375".
- 403266 cpu_core_0 "34.375".
- 403324 cpu_core_0 "34.375".
- 403904 cpu_core_0 "34.375".
- 403907 cpu_core_0 "34.375".
- 403923 cpu_core_0 "34.375".
- 403978 cpu_core_0 "34.375".
- 514681 cpu_core_0 "34.375".
- 514952 cpu_core_0 "34.375".
- 515041 cpu_core_0 "34.375".
- 515050 cpu_core_0 "34.375".
- 515309 cpu_core_0 "34.375".
- 516592 cpu_core_0 "34.375".
- 516802 cpu_core_0 "34.375".
- 516816 cpu_core_0 "34.375".
- 516921 cpu_core_0 "34.375".
- 516963 cpu_core_0 "34.375".
- 517154 cpu_core_0 "34.375".
- 517197 cpu_core_0 "34.375".
- 517417 cpu_core_0 "34.375".
- 600411 cpu_core_0 "34.375".
- 601634 cpu_core_0 "34.375".
- 601995 cpu_core_0 "34.375".
- 659240 cpu_core_0 "34.375".
- 659568 cpu_core_0 "34.375".
- 659598 cpu_core_0 "34.375".
- 698625 cpu_core_0 "34.375".
- 698854 cpu_core_0 "34.375".
- 698935 cpu_core_0 "34.375".
- 699007 cpu_core_0 "34.375".
- 699121 cpu_core_0 "34.375".
- 699142 cpu_core_0 "34.375".
- 699444 cpu_core_0 "34.375".
- 699616 cpu_core_0 "34.375".
- 700034 cpu_core_0 "34.375".
- 700065 cpu_core_0 "34.375".
- 700144 cpu_core_0 "34.375".
- 700145 cpu_core_0 "34.375".
- 792287 cpu_core_0 "34.375".
- 792765 cpu_core_0 "34.375".
- 902530 cpu_core_0 "34.375".
- 902601 cpu_core_0 "34.375".
- 902644 cpu_core_0 "34.375".
- 902732 cpu_core_0 "34.375".
- 903073 cpu_core_0 "34.375".
- 903721 cpu_core_0 "34.375".
- 903831 cpu_core_0 "34.375".
- 904733 cpu_core_0 "34.375".
- 904888 cpu_core_0 "34.375".
- 904948 cpu_core_0 "34.375".
- 905072 cpu_core_0 "34.375".
- 905151 cpu_core_0 "34.375".
- 905153 cpu_core_0 "34.375".
- 909576 cpu_core_0 "34.375".
- 993752 cpu_core_0 "34.375".
- 1011414 cpu_core_1 "34.375".
- 1011485 cpu_core_1 "34.375".
- 1920652 cpu_core_1 "34.375".
- 218681 cpu_core_1 "34.375".
- 256400 cpu_core_1 "34.375".
- 285949 cpu_core_1 "34.375".
- 364176 cpu_core_1 "34.375".
- 364230 cpu_core_1 "34.375".
- 402513 cpu_core_1 "34.375".
- 403211 cpu_core_1 "34.375".
- 403327 cpu_core_1 "34.375".
- 403340 cpu_core_1 "34.375".
- 514603 cpu_core_1 "34.375".
- 514608 cpu_core_1 "34.375".
- 514853 cpu_core_1 "34.375".
- 515925 cpu_core_1 "34.375".
- 516127 cpu_core_1 "34.375".
- 516400 cpu_core_1 "34.375".