Matches in ISWC2014 Benchmark for { ?s ?p 55.00000000000001. }
- 1230989 cpu_core_0 "55.00000000000001".
- 1231000 cpu_core_0 "55.00000000000001".
- 1231025 cpu_core_0 "55.00000000000001".
- 1231058 cpu_core_0 "55.00000000000001".
- 1231060 cpu_core_0 "55.00000000000001".
- 1231234 cpu_core_0 "55.00000000000001".
- 1231252 cpu_core_0 "55.00000000000001".
- 1231271 cpu_core_0 "55.00000000000001".
- 1231279 cpu_core_0 "55.00000000000001".
- 1231282 cpu_core_0 "55.00000000000001".
- 1231315 cpu_core_0 "55.00000000000001".
- 1231341 cpu_core_0 "55.00000000000001".
- 1231342 cpu_core_0 "55.00000000000001".
- 1231357 cpu_core_0 "55.00000000000001".
- 1231359 cpu_core_0 "55.00000000000001".
- 1231423 cpu_core_0 "55.00000000000001".
- 1231430 cpu_core_0 "55.00000000000001".
- 1231664 cpu_core_0 "55.00000000000001".
- 1231697 cpu_core_0 "55.00000000000001".
- 1231757 cpu_core_0 "55.00000000000001".
- 1231758 cpu_core_0 "55.00000000000001".
- 1231781 cpu_core_0 "55.00000000000001".
- 1231785 cpu_core_0 "55.00000000000001".
- 1231787 cpu_core_0 "55.00000000000001".
- 1231821 cpu_core_0 "55.00000000000001".
- 1231869 cpu_core_0 "55.00000000000001".
- 1231884 cpu_core_0 "55.00000000000001".
- 1231922 cpu_core_0 "55.00000000000001".
- 1231923 cpu_core_0 "55.00000000000001".
- 1231947 cpu_core_0 "55.00000000000001".
- 1232041 cpu_core_0 "55.00000000000001".
- 1232043 cpu_core_0 "55.00000000000001".
- 1232055 cpu_core_0 "55.00000000000001".
- 1232059 cpu_core_0 "55.00000000000001".
- 1232324 cpu_core_0 "55.00000000000001".
- 1232326 cpu_core_0 "55.00000000000001".
- 1232417 cpu_core_0 "55.00000000000001".
- 1232462 cpu_core_0 "55.00000000000001".
- 1232466 cpu_core_0 "55.00000000000001".
- 1232481 cpu_core_0 "55.00000000000001".
- 1232482 cpu_core_0 "55.00000000000001".
- 1232508 cpu_core_0 "55.00000000000001".
- 1232528 cpu_core_0 "55.00000000000001".
- 1232720 cpu_core_0 "55.00000000000001".
- 1232819 cpu_core_0 "55.00000000000001".
- 1232938 cpu_core_0 "55.00000000000001".
- 1232975 cpu_core_0 "55.00000000000001".
- 1232988 cpu_core_0 "55.00000000000001".
- 1233037 cpu_core_0 "55.00000000000001".
- 1233053 cpu_core_0 "55.00000000000001".
- 1233066 cpu_core_0 "55.00000000000001".
- 1233343 cpu_core_0 "55.00000000000001".
- 1233375 cpu_core_0 "55.00000000000001".
- 1233391 cpu_core_0 "55.00000000000001".
- 1233404 cpu_core_0 "55.00000000000001".
- 1233407 cpu_core_0 "55.00000000000001".
- 1233442 cpu_core_0 "55.00000000000001".
- 1233443 cpu_core_0 "55.00000000000001".
- 1233460 cpu_core_0 "55.00000000000001".
- 1233462 cpu_core_0 "55.00000000000001".
- 1233466 cpu_core_0 "55.00000000000001".
- 1233469 cpu_core_0 "55.00000000000001".
- 1233563 cpu_core_0 "55.00000000000001".
- 1233603 cpu_core_0 "55.00000000000001".
- 1233649 cpu_core_0 "55.00000000000001".
- 1233674 cpu_core_0 "55.00000000000001".
- 1233707 cpu_core_0 "55.00000000000001".
- 1233708 cpu_core_0 "55.00000000000001".
- 1233979 cpu_core_0 "55.00000000000001".
- 1233999 cpu_core_0 "55.00000000000001".
- 1234169 cpu_core_0 "55.00000000000001".
- 1234233 cpu_core_0 "55.00000000000001".
- 1234242 cpu_core_0 "55.00000000000001".
- 1234310 cpu_core_0 "55.00000000000001".
- 1234339 cpu_core_0 "55.00000000000001".
- 1234359 cpu_core_0 "55.00000000000001".
- 1234360 cpu_core_0 "55.00000000000001".
- 1234371 cpu_core_0 "55.00000000000001".
- 1234403 cpu_core_0 "55.00000000000001".
- 1234413 cpu_core_0 "55.00000000000001".
- 1234514 cpu_core_0 "55.00000000000001".
- 1234533 cpu_core_0 "55.00000000000001".
- 1234536 cpu_core_0 "55.00000000000001".
- 1234554 cpu_core_0 "55.00000000000001".
- 1234581 cpu_core_0 "55.00000000000001".
- 1234582 cpu_core_0 "55.00000000000001".
- 1234627 cpu_core_0 "55.00000000000001".
- 1234656 cpu_core_0 "55.00000000000001".
- 1234663 cpu_core_0 "55.00000000000001".
- 1234670 cpu_core_0 "55.00000000000001".
- 1235046 cpu_core_0 "55.00000000000001".
- 1242821 cpu_core_0 "55.00000000000001".
- 1265242 cpu_core_0 "55.00000000000001".
- 1267622 cpu_core_0 "55.00000000000001".
- 1282305 cpu_core_0 "55.00000000000001".
- 1285224 cpu_core_0 "55.00000000000001".
- 1285804 cpu_core_0 "55.00000000000001".
- 1286039 cpu_core_0 "55.00000000000001".
- 1290085 cpu_core_0 "55.00000000000001".
- 1296397 cpu_core_0 "55.00000000000001".