Matches in ISWC2014 Benchmark for { ?s ?p 60.00000000000001. }
- 511548 cpu_core_0 "60.00000000000001".
- 513112 cpu_core_0 "60.00000000000001".
- 513144 cpu_core_0 "60.00000000000001".
- 513534 cpu_core_0 "60.00000000000001".
- 514463 cpu_core_0 "60.00000000000001".
- 514577 cpu_core_0 "60.00000000000001".
- 514898 cpu_core_0 "60.00000000000001".
- 516883 cpu_core_0 "60.00000000000001".
- 518256 cpu_core_0 "60.00000000000001".
- 518367 cpu_core_0 "60.00000000000001".
- 518402 cpu_core_0 "60.00000000000001".
- 519737 cpu_core_0 "60.00000000000001".
- 519771 cpu_core_0 "60.00000000000001".
- 520079 cpu_core_0 "60.00000000000001".
- 520089 cpu_core_0 "60.00000000000001".
- 520598 cpu_core_0 "60.00000000000001".
- 520710 cpu_core_0 "60.00000000000001".
- 521528 cpu_core_0 "60.00000000000001".
- 521581 cpu_core_0 "60.00000000000001".
- 521705 cpu_core_0 "60.00000000000001".
- 521998 cpu_core_0 "60.00000000000001".
- 522050 cpu_core_0 "60.00000000000001".
- 522628 cpu_core_0 "60.00000000000001".
- 522798 cpu_core_0 "60.00000000000001".
- 522940 cpu_core_0 "60.00000000000001".
- 523240 cpu_core_0 "60.00000000000001".
- 523550 cpu_core_0 "60.00000000000001".
- 523968 cpu_core_0 "60.00000000000001".
- 524048 cpu_core_0 "60.00000000000001".
- 524739 cpu_core_0 "60.00000000000001".
- 524912 cpu_core_0 "60.00000000000001".
- 525809 cpu_core_0 "60.00000000000001".
- 526837 cpu_core_0 "60.00000000000001".
- 526889 cpu_core_0 "60.00000000000001".
- 527127 cpu_core_0 "60.00000000000001".
- 527188 cpu_core_0 "60.00000000000001".
- 527261 cpu_core_0 "60.00000000000001".
- 527311 cpu_core_0 "60.00000000000001".
- 527409 cpu_core_0 "60.00000000000001".
- 527830 cpu_core_0 "60.00000000000001".
- 528162 cpu_core_0 "60.00000000000001".
- 528736 cpu_core_0 "60.00000000000001".
- 528857 cpu_core_0 "60.00000000000001".
- 529024 cpu_core_0 "60.00000000000001".
- 529081 cpu_core_0 "60.00000000000001".
- 529145 cpu_core_0 "60.00000000000001".
- 529263 cpu_core_0 "60.00000000000001".
- 529507 cpu_core_0 "60.00000000000001".
- 529622 cpu_core_0 "60.00000000000001".
- 530042 cpu_core_0 "60.00000000000001".
- 530119 cpu_core_0 "60.00000000000001".
- 530224 cpu_core_0 "60.00000000000001".
- 530387 cpu_core_0 "60.00000000000001".
- 530406 cpu_core_0 "60.00000000000001".
- 530564 cpu_core_0 "60.00000000000001".
- 530986 cpu_core_0 "60.00000000000001".
- 531218 cpu_core_0 "60.00000000000001".
- 531494 cpu_core_0 "60.00000000000001".
- 531719 cpu_core_0 "60.00000000000001".
- 532085 cpu_core_0 "60.00000000000001".
- 532729 cpu_core_0 "60.00000000000001".
- 532769 cpu_core_0 "60.00000000000001".
- 532987 cpu_core_0 "60.00000000000001".
- 533130 cpu_core_0 "60.00000000000001".
- 533144 cpu_core_0 "60.00000000000001".
- 533216 cpu_core_0 "60.00000000000001".
- 533573 cpu_core_0 "60.00000000000001".
- 533740 cpu_core_0 "60.00000000000001".
- 533874 cpu_core_0 "60.00000000000001".
- 534590 cpu_core_0 "60.00000000000001".
- 534921 cpu_core_0 "60.00000000000001".
- 535053 cpu_core_0 "60.00000000000001".
- 535126 cpu_core_0 "60.00000000000001".
- 535369 cpu_core_0 "60.00000000000001".
- 535449 cpu_core_0 "60.00000000000001".
- 535513 cpu_core_0 "60.00000000000001".
- 535652 cpu_core_0 "60.00000000000001".
- 536042 cpu_core_0 "60.00000000000001".
- 537388 cpu_core_0 "60.00000000000001".
- 537529 cpu_core_0 "60.00000000000001".
- 538076 cpu_core_0 "60.00000000000001".
- 538177 cpu_core_0 "60.00000000000001".
- 538854 cpu_core_0 "60.00000000000001".
- 538863 cpu_core_0 "60.00000000000001".
- 539307 cpu_core_0 "60.00000000000001".
- 539453 cpu_core_0 "60.00000000000001".
- 539472 cpu_core_0 "60.00000000000001".
- 539953 cpu_core_0 "60.00000000000001".
- 540205 cpu_core_0 "60.00000000000001".
- 540502 cpu_core_0 "60.00000000000001".
- 540866 cpu_core_0 "60.00000000000001".
- 540992 cpu_core_0 "60.00000000000001".
- 541036 cpu_core_0 "60.00000000000001".
- 541344 cpu_core_0 "60.00000000000001".
- 541569 cpu_core_0 "60.00000000000001".
- 542114 cpu_core_0 "60.00000000000001".
- 542141 cpu_core_0 "60.00000000000001".
- 542201 cpu_core_0 "60.00000000000001".
- 542327 cpu_core_0 "60.00000000000001".
- 542670 cpu_core_0 "60.00000000000001".