Matches in ISWC2014 Benchmark for { ?s ?p 35.71428571428571. }
- 1007018 cpu_core_0 "35.71428571428571".
- 1009859 cpu_core_0 "35.71428571428571".
- 1010560 cpu_core_0 "35.71428571428571".
- 1012649 cpu_core_0 "35.71428571428571".
- 1132622 cpu_core_0 "35.71428571428571".
- 1140047 cpu_core_0 "35.71428571428571".
- 1188952 cpu_core_0 "35.71428571428571".
- 1193404 cpu_core_0 "35.71428571428571".
- 1205516 cpu_core_0 "35.71428571428571".
- 1208122 cpu_core_0 "35.71428571428571".
- 1208144 cpu_core_0 "35.71428571428571".
- 1208198 cpu_core_0 "35.71428571428571".
- 1208989 cpu_core_0 "35.71428571428571".
- 1208998 cpu_core_0 "35.71428571428571".
- 1209027 cpu_core_0 "35.71428571428571".
- 1209350 cpu_core_0 "35.71428571428571".
- 1209365 cpu_core_0 "35.71428571428571".
- 1209493 cpu_core_0 "35.71428571428571".
- 1209802 cpu_core_0 "35.71428571428571".
- 1209809 cpu_core_0 "35.71428571428571".
- 1209847 cpu_core_0 "35.71428571428571".
- 1209933 cpu_core_0 "35.71428571428571".
- 1210437 cpu_core_0 "35.71428571428571".
- 1210712 cpu_core_0 "35.71428571428571".
- 1210916 cpu_core_0 "35.71428571428571".
- 1211014 cpu_core_0 "35.71428571428571".
- 1211093 cpu_core_0 "35.71428571428571".
- 1211909 cpu_core_0 "35.71428571428571".
- 1211970 cpu_core_0 "35.71428571428571".
- 1212110 cpu_core_0 "35.71428571428571".
- 1212133 cpu_core_0 "35.71428571428571".
- 1212170 cpu_core_0 "35.71428571428571".
- 1212211 cpu_core_0 "35.71428571428571".
- 1212531 cpu_core_0 "35.71428571428571".
- 1212825 cpu_core_0 "35.71428571428571".
- 1212983 cpu_core_0 "35.71428571428571".
- 1213097 cpu_core_0 "35.71428571428571".
- 1217838 cpu_core_0 "35.71428571428571".
- 1223756 cpu_core_0 "35.71428571428571".
- 1225560 cpu_core_0 "35.71428571428571".
- 1225650 cpu_core_0 "35.71428571428571".
- 1234012 cpu_core_0 "35.71428571428571".
- 1234090 cpu_core_0 "35.71428571428571".
- 1234097 cpu_core_0 "35.71428571428571".
- 1235049 cpu_core_0 "35.71428571428571".
- 1235197 cpu_core_0 "35.71428571428571".
- 1235300 cpu_core_0 "35.71428571428571".
- 1237223 cpu_core_0 "35.71428571428571".
- 1291809 cpu_core_0 "35.71428571428571".
- 1377477 cpu_core_0 "35.71428571428571".
- 1400764 cpu_core_0 "35.71428571428571".
- 1400869 cpu_core_0 "35.71428571428571".
- 1401074 cpu_core_0 "35.71428571428571".
- 1401210 cpu_core_0 "35.71428571428571".
- 1401393 cpu_core_0 "35.71428571428571".
- 1401613 cpu_core_0 "35.71428571428571".
- 1402020 cpu_core_0 "35.71428571428571".
- 1402353 cpu_core_0 "35.71428571428571".
- 1402453 cpu_core_0 "35.71428571428571".
- 1402661 cpu_core_0 "35.71428571428571".
- 1402769 cpu_core_0 "35.71428571428571".
- 1402829 cpu_core_0 "35.71428571428571".
- 1402892 cpu_core_0 "35.71428571428571".
- 1402983 cpu_core_0 "35.71428571428571".
- 1403244 cpu_core_0 "35.71428571428571".
- 1403305 cpu_core_0 "35.71428571428571".
- 1403569 cpu_core_0 "35.71428571428571".
- 1403708 cpu_core_0 "35.71428571428571".
- 1403893 cpu_core_0 "35.71428571428571".
- 1404139 cpu_core_0 "35.71428571428571".
- 1404318 cpu_core_0 "35.71428571428571".
- 1404330 cpu_core_0 "35.71428571428571".
- 1404499 cpu_core_0 "35.71428571428571".
- 1404631 cpu_core_0 "35.71428571428571".
- 1405348 cpu_core_0 "35.71428571428571".
- 1405899 cpu_core_0 "35.71428571428571".
- 1406204 cpu_core_0 "35.71428571428571".
- 1406238 cpu_core_0 "35.71428571428571".
- 1406476 cpu_core_0 "35.71428571428571".
- 1406481 cpu_core_0 "35.71428571428571".
- 1406544 cpu_core_0 "35.71428571428571".
- 1406598 cpu_core_0 "35.71428571428571".
- 1406701 cpu_core_0 "35.71428571428571".
- 1522329 cpu_core_0 "35.71428571428571".
- 1525618 cpu_core_0 "35.71428571428571".
- 1531556 cpu_core_0 "35.71428571428571".
- 1570981 cpu_core_0 "35.71428571428571".
- 1592876 cpu_core_0 "35.71428571428571".
- 1599398 cpu_core_0 "35.71428571428571".
- 1638047 cpu_core_0 "35.71428571428571".
- 1638228 cpu_core_0 "35.71428571428571".
- 1639013 cpu_core_0 "35.71428571428571".
- 1639059 cpu_core_0 "35.71428571428571".
- 1639605 cpu_core_0 "35.71428571428571".
- 1639745 cpu_core_0 "35.71428571428571".
- 1639796 cpu_core_0 "35.71428571428571".
- 1640284 cpu_core_0 "35.71428571428571".
- 1640320 cpu_core_0 "35.71428571428571".
- 1640369 cpu_core_0 "35.71428571428571".
- 1640404 cpu_core_0 "35.71428571428571".