Matches in ISWC2014 Benchmark for { ?s ?p 18.75. }
- 1011676 cpu_core_1 "18.75".
- 1011970 cpu_core_1 "18.75".
- 1012184 cpu_core_1 "18.75".
- 1012332 cpu_core_1 "18.75".
- 1012432 cpu_core_1 "18.75".
- 1012626 cpu_core_1 "18.75".
- 1012632 cpu_core_1 "18.75".
- 1012665 cpu_core_1 "18.75".
- 1012881 cpu_core_1 "18.75".
- 1012890 cpu_core_1 "18.75".
- 1012988 cpu_core_1 "18.75".
- 1013082 cpu_core_1 "18.75".
- 1013108 cpu_core_1 "18.75".
- 1219569 cpu_core_1 "18.75".
- 1219571 cpu_core_1 "18.75".
- 1236998 cpu_core_1 "18.75".
- 218709 cpu_core_1 "18.75".
- 222730 cpu_core_1 "18.75".
- 240413 cpu_core_1 "18.75".
- 248000 cpu_core_1 "18.75".
- 402274 cpu_core_1 "18.75".
- 402497 cpu_core_1 "18.75".
- 402631 cpu_core_1 "18.75".
- 402633 cpu_core_1 "18.75".
- 402819 cpu_core_1 "18.75".
- 402840 cpu_core_1 "18.75".
- 402896 cpu_core_1 "18.75".
- 402978 cpu_core_1 "18.75".
- 403567 cpu_core_1 "18.75".
- 403574 cpu_core_1 "18.75".
- 403931 cpu_core_1 "18.75".
- 403937 cpu_core_1 "18.75".
- 404017 cpu_core_1 "18.75".
- 514684 cpu_core_1 "18.75".
- 515022 cpu_core_1 "18.75".
- 516562 cpu_core_1 "18.75".
- 516680 cpu_core_1 "18.75".
- 517508 cpu_core_1 "18.75".
- 517577 cpu_core_1 "18.75".
- 600381 cpu_core_1 "18.75".
- 600821 cpu_core_1 "18.75".
- 659609 cpu_core_1 "18.75".
- 698359 cpu_core_1 "18.75".
- 698778 cpu_core_1 "18.75".
- 698899 cpu_core_1 "18.75".
- 699104 cpu_core_1 "18.75".
- 699174 cpu_core_1 "18.75".
- 699308 cpu_core_1 "18.75".
- 699313 cpu_core_1 "18.75".
- 699342 cpu_core_1 "18.75".
- 699709 cpu_core_1 "18.75".
- 699979 cpu_core_1 "18.75".
- 700114 cpu_core_1 "18.75".
- 700344 cpu_core_1 "18.75".
- 791337 cpu_core_1 "18.75".
- 791524 cpu_core_1 "18.75".
- 792054 cpu_core_1 "18.75".
- 792134 cpu_core_1 "18.75".
- 792478 cpu_core_1 "18.75".
- 902375 cpu_core_1 "18.75".
- 902426 cpu_core_1 "18.75".
- 903744 cpu_core_1 "18.75".
- 903912 cpu_core_1 "18.75".
- 905116 cpu_core_1 "18.75".
- 993281 cpu_core_1 "18.75".
- 993762 cpu_core_1 "18.75".
- 993877 cpu_core_1 "18.75".
- 1011562 cpu_core_2 "18.75".
- 1012592 cpu_core_2 "18.75".
- 1012795 cpu_core_2 "18.75".
- 1012797 cpu_core_2 "18.75".
- 1673698 cpu_core_2 "18.75".
- 222753 cpu_core_2 "18.75".
- 240407 cpu_core_2 "18.75".
- 362814 cpu_core_2 "18.75".
- 362835 cpu_core_2 "18.75".
- 363423 cpu_core_2 "18.75".
- 402456 cpu_core_2 "18.75".
- 402475 cpu_core_2 "18.75".
- 402762 cpu_core_2 "18.75".
- 402850 cpu_core_2 "18.75".
- 402981 cpu_core_2 "18.75".
- 402987 cpu_core_2 "18.75".
- 403001 cpu_core_2 "18.75".
- 403003 cpu_core_2 "18.75".
- 403010 cpu_core_2 "18.75".
- 403263 cpu_core_2 "18.75".
- 403284 cpu_core_2 "18.75".
- 403346 cpu_core_2 "18.75".
- 403485 cpu_core_2 "18.75".
- 403499 cpu_core_2 "18.75".
- 403509 cpu_core_2 "18.75".
- 403542 cpu_core_2 "18.75".
- 403559 cpu_core_2 "18.75".
- 403770 cpu_core_2 "18.75".
- 403867 cpu_core_2 "18.75".
- 403928 cpu_core_2 "18.75".
- 514718 cpu_core_2 "18.75".
- 516110 cpu_core_2 "18.75".
- 516655 cpu_core_2 "18.75".