Matches in ISWC2014 Benchmark for { ?s ?p 60.00000000000001. }
- 746327 cpu_core_0 "60.00000000000001".
- 746509 cpu_core_0 "60.00000000000001".
- 747316 cpu_core_0 "60.00000000000001".
- 748581 cpu_core_0 "60.00000000000001".
- 748766 cpu_core_0 "60.00000000000001".
- 748982 cpu_core_0 "60.00000000000001".
- 749501 cpu_core_0 "60.00000000000001".
- 750355 cpu_core_0 "60.00000000000001".
- 752044 cpu_core_0 "60.00000000000001".
- 752795 cpu_core_0 "60.00000000000001".
- 753563 cpu_core_0 "60.00000000000001".
- 754431 cpu_core_0 "60.00000000000001".
- 754652 cpu_core_0 "60.00000000000001".
- 755601 cpu_core_0 "60.00000000000001".
- 756540 cpu_core_0 "60.00000000000001".
- 757631 cpu_core_0 "60.00000000000001".
- 758262 cpu_core_0 "60.00000000000001".
- 758464 cpu_core_0 "60.00000000000001".
- 758543 cpu_core_0 "60.00000000000001".
- 759335 cpu_core_0 "60.00000000000001".
- 760086 cpu_core_0 "60.00000000000001".
- 761402 cpu_core_0 "60.00000000000001".
- 761411 cpu_core_0 "60.00000000000001".
- 761794 cpu_core_0 "60.00000000000001".
- 762021 cpu_core_0 "60.00000000000001".
- 762960 cpu_core_0 "60.00000000000001".
- 763265 cpu_core_0 "60.00000000000001".
- 763400 cpu_core_0 "60.00000000000001".
- 763902 cpu_core_0 "60.00000000000001".
- 764149 cpu_core_0 "60.00000000000001".
- 764621 cpu_core_0 "60.00000000000001".
- 764985 cpu_core_0 "60.00000000000001".
- 765621 cpu_core_0 "60.00000000000001".
- 770218 cpu_core_0 "60.00000000000001".
- 770530 cpu_core_0 "60.00000000000001".
- 770555 cpu_core_0 "60.00000000000001".
- 771671 cpu_core_0 "60.00000000000001".
- 773011 cpu_core_0 "60.00000000000001".
- 773120 cpu_core_0 "60.00000000000001".
- 773638 cpu_core_0 "60.00000000000001".
- 774382 cpu_core_0 "60.00000000000001".
- 774983 cpu_core_0 "60.00000000000001".
- 776216 cpu_core_0 "60.00000000000001".
- 777406 cpu_core_0 "60.00000000000001".
- 779448 cpu_core_0 "60.00000000000001".
- 779503 cpu_core_0 "60.00000000000001".
- 780851 cpu_core_0 "60.00000000000001".
- 781484 cpu_core_0 "60.00000000000001".
- 782221 cpu_core_0 "60.00000000000001".
- 782590 cpu_core_0 "60.00000000000001".
- 783053 cpu_core_0 "60.00000000000001".
- 784794 cpu_core_0 "60.00000000000001".
- 785405 cpu_core_0 "60.00000000000001".
- 785671 cpu_core_0 "60.00000000000001".
- 786036 cpu_core_0 "60.00000000000001".
- 786264 cpu_core_0 "60.00000000000001".
- 787674 cpu_core_0 "60.00000000000001".
- 788191 cpu_core_0 "60.00000000000001".
- 788392 cpu_core_0 "60.00000000000001".
- 789554 cpu_core_0 "60.00000000000001".
- 789640 cpu_core_0 "60.00000000000001".
- 789667 cpu_core_0 "60.00000000000001".
- 789670 cpu_core_0 "60.00000000000001".
- 789672 cpu_core_0 "60.00000000000001".
- 789681 cpu_core_0 "60.00000000000001".
- 791598 cpu_core_0 "60.00000000000001".
- 792485 cpu_core_0 "60.00000000000001".
- 792988 cpu_core_0 "60.00000000000001".
- 794188 cpu_core_0 "60.00000000000001".
- 794634 cpu_core_0 "60.00000000000001".
- 798186 cpu_core_0 "60.00000000000001".
- 798473 cpu_core_0 "60.00000000000001".
- 798567 cpu_core_0 "60.00000000000001".
- 799271 cpu_core_0 "60.00000000000001".
- 799680 cpu_core_0 "60.00000000000001".
- 799762 cpu_core_0 "60.00000000000001".
- 799798 cpu_core_0 "60.00000000000001".
- 800434 cpu_core_0 "60.00000000000001".
- 800464 cpu_core_0 "60.00000000000001".
- 800701 cpu_core_0 "60.00000000000001".
- 800839 cpu_core_0 "60.00000000000001".
- 800879 cpu_core_0 "60.00000000000001".
- 801210 cpu_core_0 "60.00000000000001".
- 801471 cpu_core_0 "60.00000000000001".
- 801632 cpu_core_0 "60.00000000000001".
- 801783 cpu_core_0 "60.00000000000001".
- 801918 cpu_core_0 "60.00000000000001".
- 801982 cpu_core_0 "60.00000000000001".
- 802658 cpu_core_0 "60.00000000000001".
- 803119 cpu_core_0 "60.00000000000001".
- 803419 cpu_core_0 "60.00000000000001".
- 803627 cpu_core_0 "60.00000000000001".
- 804246 cpu_core_0 "60.00000000000001".
- 804441 cpu_core_0 "60.00000000000001".
- 804554 cpu_core_0 "60.00000000000001".
- 804679 cpu_core_0 "60.00000000000001".
- 804707 cpu_core_0 "60.00000000000001".
- 805281 cpu_core_0 "60.00000000000001".
- 806291 cpu_core_0 "60.00000000000001".
- 806452 cpu_core_0 "60.00000000000001".