Matches in ISWC2014 Benchmark for { ?s ?p 15.0. }
- 1201121 cpu_core_0 "15.0".
- 1201370 cpu_core_0 "15.0".
- 1201375 cpu_core_0 "15.0".
- 1201419 cpu_core_0 "15.0".
- 1201422 cpu_core_0 "15.0".
- 1201469 cpu_core_0 "15.0".
- 1201501 cpu_core_0 "15.0".
- 1201502 cpu_core_0 "15.0".
- 1201514 cpu_core_0 "15.0".
- 1201735 cpu_core_0 "15.0".
- 1201779 cpu_core_0 "15.0".
- 1201907 cpu_core_0 "15.0".
- 1201926 cpu_core_0 "15.0".
- 1201978 cpu_core_0 "15.0".
- 1201996 cpu_core_0 "15.0".
- 1202022 cpu_core_0 "15.0".
- 1202030 cpu_core_0 "15.0".
- 1202038 cpu_core_0 "15.0".
- 1202044 cpu_core_0 "15.0".
- 1202096 cpu_core_0 "15.0".
- 1202100 cpu_core_0 "15.0".
- 1202121 cpu_core_0 "15.0".
- 1202148 cpu_core_0 "15.0".
- 1202200 cpu_core_0 "15.0".
- 1202205 cpu_core_0 "15.0".
- 1202233 cpu_core_0 "15.0".
- 1202322 cpu_core_0 "15.0".
- 1202593 cpu_core_0 "15.0".
- 1202817 cpu_core_0 "15.0".
- 1202836 cpu_core_0 "15.0".
- 1202866 cpu_core_0 "15.0".
- 1202975 cpu_core_0 "15.0".
- 1203069 cpu_core_0 "15.0".
- 1203085 cpu_core_0 "15.0".
- 1203197 cpu_core_0 "15.0".
- 1203224 cpu_core_0 "15.0".
- 1203333 cpu_core_0 "15.0".
- 1203347 cpu_core_0 "15.0".
- 1203354 cpu_core_0 "15.0".
- 1203393 cpu_core_0 "15.0".
- 1203408 cpu_core_0 "15.0".
- 1203416 cpu_core_0 "15.0".
- 1203529 cpu_core_0 "15.0".
- 1203530 cpu_core_0 "15.0".
- 1203557 cpu_core_0 "15.0".
- 1203581 cpu_core_0 "15.0".
- 1203692 cpu_core_0 "15.0".
- 1203798 cpu_core_0 "15.0".
- 1203871 cpu_core_0 "15.0".
- 1203895 cpu_core_0 "15.0".
- 1203899 cpu_core_0 "15.0".
- 1203900 cpu_core_0 "15.0".
- 1204129 cpu_core_0 "15.0".
- 1204131 cpu_core_0 "15.0".
- 1204238 cpu_core_0 "15.0".
- 1204423 cpu_core_0 "15.0".
- 1204505 cpu_core_0 "15.0".
- 1204539 cpu_core_0 "15.0".
- 1204560 cpu_core_0 "15.0".
- 1204570 cpu_core_0 "15.0".
- 1204592 cpu_core_0 "15.0".
- 1204628 cpu_core_0 "15.0".
- 1204653 cpu_core_0 "15.0".
- 1204654 cpu_core_0 "15.0".
- 1204691 cpu_core_0 "15.0".
- 1204754 cpu_core_0 "15.0".
- 1204795 cpu_core_0 "15.0".
- 1204858 cpu_core_0 "15.0".
- 1204862 cpu_core_0 "15.0".
- 1204893 cpu_core_0 "15.0".
- 1204898 cpu_core_0 "15.0".
- 1204902 cpu_core_0 "15.0".
- 1204920 cpu_core_0 "15.0".
- 1205037 cpu_core_0 "15.0".
- 1205220 cpu_core_0 "15.0".
- 1205460 cpu_core_0 "15.0".
- 1205500 cpu_core_0 "15.0".
- 1205520 cpu_core_0 "15.0".
- 1205604 cpu_core_0 "15.0".
- 1205608 cpu_core_0 "15.0".
- 1205684 cpu_core_0 "15.0".
- 1205686 cpu_core_0 "15.0".
- 1205733 cpu_core_0 "15.0".
- 1205738 cpu_core_0 "15.0".
- 1205741 cpu_core_0 "15.0".
- 1205745 cpu_core_0 "15.0".
- 1205767 cpu_core_0 "15.0".
- 1205803 cpu_core_0 "15.0".
- 1205845 cpu_core_0 "15.0".
- 1205854 cpu_core_0 "15.0".
- 1205978 cpu_core_0 "15.0".
- 1205979 cpu_core_0 "15.0".
- 1205990 cpu_core_0 "15.0".
- 1206004 cpu_core_0 "15.0".
- 1206005 cpu_core_0 "15.0".
- 1206007 cpu_core_0 "15.0".
- 1206077 cpu_core_0 "15.0".
- 1206103 cpu_core_0 "15.0".
- 1206121 cpu_core_0 "15.0".
- 1206175 cpu_core_0 "15.0".