Matches in ISWC2014 Benchmark for { ?s ?p 35.71428571428571. }
- 602149 cpu_core_0 "35.71428571428571".
- 602190 cpu_core_0 "35.71428571428571".
- 603265 cpu_core_0 "35.71428571428571".
- 606776 cpu_core_0 "35.71428571428571".
- 607530 cpu_core_0 "35.71428571428571".
- 610829 cpu_core_0 "35.71428571428571".
- 615751 cpu_core_0 "35.71428571428571".
- 618676 cpu_core_0 "35.71428571428571".
- 632201 cpu_core_0 "35.71428571428571".
- 634108 cpu_core_0 "35.71428571428571".
- 635566 cpu_core_0 "35.71428571428571".
- 647720 cpu_core_0 "35.71428571428571".
- 652246 cpu_core_0 "35.71428571428571".
- 655333 cpu_core_0 "35.71428571428571".
- 659471 cpu_core_0 "35.71428571428571".
- 669352 cpu_core_0 "35.71428571428571".
- 700304 cpu_core_0 "35.71428571428571".
- 707130 cpu_core_0 "35.71428571428571".
- 708676 cpu_core_0 "35.71428571428571".
- 708927 cpu_core_0 "35.71428571428571".
- 725562 cpu_core_0 "35.71428571428571".
- 730325 cpu_core_0 "35.71428571428571".
- 734074 cpu_core_0 "35.71428571428571".
- 735514 cpu_core_0 "35.71428571428571".
- 761684 cpu_core_0 "35.71428571428571".
- 762560 cpu_core_0 "35.71428571428571".
- 765147 cpu_core_0 "35.71428571428571".
- 765867 cpu_core_0 "35.71428571428571".
- 769230 cpu_core_0 "35.71428571428571".
- 772905 cpu_core_0 "35.71428571428571".
- 773472 cpu_core_0 "35.71428571428571".
- 787565 cpu_core_0 "35.71428571428571".
- 790581 cpu_core_0 "35.71428571428571".
- 889207 cpu_core_0 "35.71428571428571".
- 898096 cpu_core_0 "35.71428571428571".
- 902659 cpu_core_0 "35.71428571428571".
- 902905 cpu_core_0 "35.71428571428571".
- 903487 cpu_core_0 "35.71428571428571".
- 903643 cpu_core_0 "35.71428571428571".
- 903816 cpu_core_0 "35.71428571428571".
- 904330 cpu_core_0 "35.71428571428571".
- 904783 cpu_core_0 "35.71428571428571".
- 916204 cpu_core_0 "35.71428571428571".
- 929648 cpu_core_0 "35.71428571428571".
- 933534 cpu_core_0 "35.71428571428571".
- 936314 cpu_core_0 "35.71428571428571".
- 938246 cpu_core_0 "35.71428571428571".
- 942839 cpu_core_0 "35.71428571428571".
- 942948 cpu_core_0 "35.71428571428571".
- 945005 cpu_core_0 "35.71428571428571".
- 947557 cpu_core_0 "35.71428571428571".
- 971794 cpu_core_0 "35.71428571428571".
- 980712 cpu_core_0 "35.71428571428571".
- 987379 cpu_core_0 "35.71428571428571".
- 993152 cpu_core_0 "35.71428571428571".
- 993997 cpu_core_0 "35.71428571428571".
- 1080005 cpu_core_1 "35.71428571428571".
- 1083591 cpu_core_1 "35.71428571428571".
- 1089587 cpu_core_1 "35.71428571428571".
- 1095660 cpu_core_1 "35.71428571428571".
- 1101366 cpu_core_1 "35.71428571428571".
- 1107628 cpu_core_1 "35.71428571428571".
- 1147462 cpu_core_1 "35.71428571428571".
- 1198578 cpu_core_1 "35.71428571428571".
- 1204192 cpu_core_1 "35.71428571428571".
- 1208280 cpu_core_1 "35.71428571428571".
- 1208844 cpu_core_1 "35.71428571428571".
- 1222044 cpu_core_1 "35.71428571428571".
- 1227041 cpu_core_1 "35.71428571428571".
- 1234964 cpu_core_1 "35.71428571428571".
- 1241251 cpu_core_1 "35.71428571428571".
- 1296865 cpu_core_1 "35.71428571428571".
- 1319168 cpu_core_1 "35.71428571428571".
- 1400301 cpu_core_1 "35.71428571428571".
- 1458703 cpu_core_1 "35.71428571428571".
- 1514959 cpu_core_1 "35.71428571428571".
- 1530742 cpu_core_1 "35.71428571428571".
- 1551603 cpu_core_1 "35.71428571428571".
- 1562893 cpu_core_1 "35.71428571428571".
- 1642398 cpu_core_1 "35.71428571428571".
- 1645655 cpu_core_1 "35.71428571428571".
- 1659670 cpu_core_1 "35.71428571428571".
- 1661503 cpu_core_1 "35.71428571428571".
- 1666208 cpu_core_1 "35.71428571428571".
- 1669478 cpu_core_1 "35.71428571428571".
- 1669996 cpu_core_1 "35.71428571428571".
- 1670515 cpu_core_1 "35.71428571428571".
- 1670534 cpu_core_1 "35.71428571428571".
- 1672460 cpu_core_1 "35.71428571428571".
- 1672560 cpu_core_1 "35.71428571428571".
- 1672860 cpu_core_1 "35.71428571428571".
- 1672984 cpu_core_1 "35.71428571428571".
- 1673039 cpu_core_1 "35.71428571428571".
- 1673158 cpu_core_1 "35.71428571428571".
- 1673176 cpu_core_1 "35.71428571428571".
- 1675266 cpu_core_1 "35.71428571428571".
- 1677087 cpu_core_1 "35.71428571428571".
- 1681562 cpu_core_1 "35.71428571428571".
- 1683912 cpu_core_1 "35.71428571428571".
- 1689033 cpu_core_1 "35.71428571428571".