Matches in ISWC2014 Benchmark for { ?s ?p 85.00000000000001. }
- 273993 cpu_core_3 "85.00000000000001".
- 274357 cpu_core_3 "85.00000000000001".
- 275613 cpu_core_3 "85.00000000000001".
- 275723 cpu_core_3 "85.00000000000001".
- 276969 cpu_core_3 "85.00000000000001".
- 277365 cpu_core_3 "85.00000000000001".
- 280018 cpu_core_3 "85.00000000000001".
- 283755 cpu_core_3 "85.00000000000001".
- 283877 cpu_core_3 "85.00000000000001".
- 284378 cpu_core_3 "85.00000000000001".
- 298382 cpu_core_3 "85.00000000000001".
- 301547 cpu_core_3 "85.00000000000001".
- 330694 cpu_core_3 "85.00000000000001".
- 391320 cpu_core_3 "85.00000000000001".
- 565729 cpu_core_3 "85.00000000000001".
- 614048 cpu_core_3 "85.00000000000001".
- 644267 cpu_core_3 "85.00000000000001".
- 655044 cpu_core_3 "85.00000000000001".
- 658476 cpu_core_3 "85.00000000000001".
- 787029 cpu_core_3 "85.00000000000001".