Matches in ISWC2014 Benchmark for { ?s ?p 71.00000000000001. }
- 826086 cpu_core_0 "71.00000000000001".
- 826102 cpu_core_0 "71.00000000000001".
- 826165 cpu_core_0 "71.00000000000001".
- 826274 cpu_core_0 "71.00000000000001".
- 826285 cpu_core_0 "71.00000000000001".
- 826403 cpu_core_0 "71.00000000000001".
- 826577 cpu_core_0 "71.00000000000001".
- 826766 cpu_core_0 "71.00000000000001".
- 826856 cpu_core_0 "71.00000000000001".
- 827148 cpu_core_0 "71.00000000000001".
- 827610 cpu_core_0 "71.00000000000001".
- 827635 cpu_core_0 "71.00000000000001".
- 827967 cpu_core_0 "71.00000000000001".
- 828004 cpu_core_0 "71.00000000000001".
- 828009 cpu_core_0 "71.00000000000001".
- 828055 cpu_core_0 "71.00000000000001".
- 828090 cpu_core_0 "71.00000000000001".
- 828280 cpu_core_0 "71.00000000000001".
- 828432 cpu_core_0 "71.00000000000001".
- 828597 cpu_core_0 "71.00000000000001".
- 829014 cpu_core_0 "71.00000000000001".
- 829316 cpu_core_0 "71.00000000000001".
- 829607 cpu_core_0 "71.00000000000001".
- 829781 cpu_core_0 "71.00000000000001".
- 830163 cpu_core_0 "71.00000000000001".
- 830168 cpu_core_0 "71.00000000000001".
- 830498 cpu_core_0 "71.00000000000001".
- 830594 cpu_core_0 "71.00000000000001".
- 830926 cpu_core_0 "71.00000000000001".
- 831034 cpu_core_0 "71.00000000000001".
- 831146 cpu_core_0 "71.00000000000001".
- 831280 cpu_core_0 "71.00000000000001".
- 831544 cpu_core_0 "71.00000000000001".
- 831596 cpu_core_0 "71.00000000000001".
- 831681 cpu_core_0 "71.00000000000001".
- 831715 cpu_core_0 "71.00000000000001".
- 831789 cpu_core_0 "71.00000000000001".
- 831797 cpu_core_0 "71.00000000000001".
- 831910 cpu_core_0 "71.00000000000001".
- 832043 cpu_core_0 "71.00000000000001".
- 832052 cpu_core_0 "71.00000000000001".
- 832243 cpu_core_0 "71.00000000000001".
- 832462 cpu_core_0 "71.00000000000001".
- 832539 cpu_core_0 "71.00000000000001".
- 833347 cpu_core_0 "71.00000000000001".
- 833368 cpu_core_0 "71.00000000000001".
- 833789 cpu_core_0 "71.00000000000001".
- 834276 cpu_core_0 "71.00000000000001".
- 834808 cpu_core_0 "71.00000000000001".
- 834814 cpu_core_0 "71.00000000000001".
- 835041 cpu_core_0 "71.00000000000001".
- 835357 cpu_core_0 "71.00000000000001".
- 835712 cpu_core_0 "71.00000000000001".
- 835890 cpu_core_0 "71.00000000000001".
- 835945 cpu_core_0 "71.00000000000001".
- 836213 cpu_core_0 "71.00000000000001".
- 836502 cpu_core_0 "71.00000000000001".
- 836573 cpu_core_0 "71.00000000000001".
- 836723 cpu_core_0 "71.00000000000001".
- 836949 cpu_core_0 "71.00000000000001".
- 836983 cpu_core_0 "71.00000000000001".
- 837509 cpu_core_0 "71.00000000000001".
- 837547 cpu_core_0 "71.00000000000001".
- 837552 cpu_core_0 "71.00000000000001".
- 837593 cpu_core_0 "71.00000000000001".
- 837613 cpu_core_0 "71.00000000000001".
- 837682 cpu_core_0 "71.00000000000001".
- 837722 cpu_core_0 "71.00000000000001".
- 837807 cpu_core_0 "71.00000000000001".
- 838085 cpu_core_0 "71.00000000000001".
- 838497 cpu_core_0 "71.00000000000001".
- 838506 cpu_core_0 "71.00000000000001".
- 838576 cpu_core_0 "71.00000000000001".
- 839099 cpu_core_0 "71.00000000000001".
- 839313 cpu_core_0 "71.00000000000001".
- 839387 cpu_core_0 "71.00000000000001".
- 839458 cpu_core_0 "71.00000000000001".
- 839467 cpu_core_0 "71.00000000000001".
- 839498 cpu_core_0 "71.00000000000001".
- 839670 cpu_core_0 "71.00000000000001".
- 840171 cpu_core_0 "71.00000000000001".
- 840962 cpu_core_0 "71.00000000000001".
- 841132 cpu_core_0 "71.00000000000001".
- 841624 cpu_core_0 "71.00000000000001".
- 841926 cpu_core_0 "71.00000000000001".
- 842358 cpu_core_0 "71.00000000000001".
- 842508 cpu_core_0 "71.00000000000001".
- 842767 cpu_core_0 "71.00000000000001".
- 842994 cpu_core_0 "71.00000000000001".
- 843005 cpu_core_0 "71.00000000000001".
- 843063 cpu_core_0 "71.00000000000001".
- 843261 cpu_core_0 "71.00000000000001".
- 843393 cpu_core_0 "71.00000000000001".
- 843656 cpu_core_0 "71.00000000000001".
- 844002 cpu_core_0 "71.00000000000001".
- 844478 cpu_core_0 "71.00000000000001".
- 844972 cpu_core_0 "71.00000000000001".
- 845394 cpu_core_0 "71.00000000000001".
- 845540 cpu_core_0 "71.00000000000001".
- 845545 cpu_core_0 "71.00000000000001".