Matches in ISWC2014 Benchmark for { ?s ?p 72.00000000000001. }
- 1000051 cpu_core_0 "72.00000000000001".
- 1000408 cpu_core_0 "72.00000000000001".
- 1000495 cpu_core_0 "72.00000000000001".
- 1001159 cpu_core_0 "72.00000000000001".
- 1001305 cpu_core_0 "72.00000000000001".
- 1001356 cpu_core_0 "72.00000000000001".
- 1001973 cpu_core_0 "72.00000000000001".
- 1002014 cpu_core_0 "72.00000000000001".
- 1002196 cpu_core_0 "72.00000000000001".
- 1002351 cpu_core_0 "72.00000000000001".
- 1002650 cpu_core_0 "72.00000000000001".
- 1002979 cpu_core_0 "72.00000000000001".
- 1003012 cpu_core_0 "72.00000000000001".
- 1003329 cpu_core_0 "72.00000000000001".
- 1003493 cpu_core_0 "72.00000000000001".
- 1003540 cpu_core_0 "72.00000000000001".
- 1003618 cpu_core_0 "72.00000000000001".
- 1003759 cpu_core_0 "72.00000000000001".
- 1003806 cpu_core_0 "72.00000000000001".
- 1004106 cpu_core_0 "72.00000000000001".
- 1004189 cpu_core_0 "72.00000000000001".
- 1004673 cpu_core_0 "72.00000000000001".
- 1004784 cpu_core_0 "72.00000000000001".
- 1004788 cpu_core_0 "72.00000000000001".
- 1005608 cpu_core_0 "72.00000000000001".
- 1005639 cpu_core_0 "72.00000000000001".
- 1005963 cpu_core_0 "72.00000000000001".
- 1006692 cpu_core_0 "72.00000000000001".
- 1007272 cpu_core_0 "72.00000000000001".
- 1007380 cpu_core_0 "72.00000000000001".
- 1007391 cpu_core_0 "72.00000000000001".
- 1007457 cpu_core_0 "72.00000000000001".
- 1007699 cpu_core_0 "72.00000000000001".
- 1008606 cpu_core_0 "72.00000000000001".
- 1009468 cpu_core_0 "72.00000000000001".
- 1013607 cpu_core_0 "72.00000000000001".
- 1013807 cpu_core_0 "72.00000000000001".
- 1013977 cpu_core_0 "72.00000000000001".
- 1014166 cpu_core_0 "72.00000000000001".
- 1014203 cpu_core_0 "72.00000000000001".
- 1014891 cpu_core_0 "72.00000000000001".
- 1014949 cpu_core_0 "72.00000000000001".
- 1015504 cpu_core_0 "72.00000000000001".
- 1183394 cpu_core_0 "72.00000000000001".
- 1229502 cpu_core_0 "72.00000000000001".
- 1230960 cpu_core_0 "72.00000000000001".
- 1233440 cpu_core_0 "72.00000000000001".
- 1233843 cpu_core_0 "72.00000000000001".
- 1265184 cpu_core_0 "72.00000000000001".
- 1666987 cpu_core_0 "72.00000000000001".
- 1689748 cpu_core_0 "72.00000000000001".
- 1690924 cpu_core_0 "72.00000000000001".
- 1697517 cpu_core_0 "72.00000000000001".
- 1698042 cpu_core_0 "72.00000000000001".
- 1698057 cpu_core_0 "72.00000000000001".
- 1706308 cpu_core_0 "72.00000000000001".
- 1708754 cpu_core_0 "72.00000000000001".
- 1712915 cpu_core_0 "72.00000000000001".
- 2062393 cpu_core_0 "72.00000000000001".
- 2065677 cpu_core_0 "72.00000000000001".
- 211162 cpu_core_0 "72.00000000000001".
- 212131 cpu_core_0 "72.00000000000001".
- 212281 cpu_core_0 "72.00000000000001".
- 212469 cpu_core_0 "72.00000000000001".
- 212694 cpu_core_0 "72.00000000000001".
- 216740 cpu_core_0 "72.00000000000001".
- 217713 cpu_core_0 "72.00000000000001".
- 220032 cpu_core_0 "72.00000000000001".
- 241884 cpu_core_0 "72.00000000000001".
- 242457 cpu_core_0 "72.00000000000001".
- 243547 cpu_core_0 "72.00000000000001".
- 245832 cpu_core_0 "72.00000000000001".
- 246113 cpu_core_0 "72.00000000000001".
- 246358 cpu_core_0 "72.00000000000001".
- 247602 cpu_core_0 "72.00000000000001".
- 250007 cpu_core_0 "72.00000000000001".
- 252361 cpu_core_0 "72.00000000000001".
- 252394 cpu_core_0 "72.00000000000001".
- 254310 cpu_core_0 "72.00000000000001".
- 254940 cpu_core_0 "72.00000000000001".
- 256014 cpu_core_0 "72.00000000000001".
- 261929 cpu_core_0 "72.00000000000001".
- 263045 cpu_core_0 "72.00000000000001".
- 263605 cpu_core_0 "72.00000000000001".
- 268128 cpu_core_0 "72.00000000000001".
- 268826 cpu_core_0 "72.00000000000001".
- 270166 cpu_core_0 "72.00000000000001".
- 270963 cpu_core_0 "72.00000000000001".
- 271676 cpu_core_0 "72.00000000000001".
- 273955 cpu_core_0 "72.00000000000001".
- 276888 cpu_core_0 "72.00000000000001".
- 297553 cpu_core_0 "72.00000000000001".
- 298875 cpu_core_0 "72.00000000000001".
- 300695 cpu_core_0 "72.00000000000001".
- 301740 cpu_core_0 "72.00000000000001".
- 302148 cpu_core_0 "72.00000000000001".
- 307006 cpu_core_0 "72.00000000000001".
- 308997 cpu_core_0 "72.00000000000001".
- 310597 cpu_core_0 "72.00000000000001".
- 312203 cpu_core_0 "72.00000000000001".