Matches in ISWC2014 Benchmark for { ?s ?p 84.00000000000001. }
- 639655 cpu_core_3 "84.00000000000001".
- 642347 cpu_core_3 "84.00000000000001".
- 644838 cpu_core_3 "84.00000000000001".
- 648787 cpu_core_3 "84.00000000000001".
- 649827 cpu_core_3 "84.00000000000001".
- 655074 cpu_core_3 "84.00000000000001".
- 698269 cpu_core_3 "84.00000000000001".
- 725244 cpu_core_3 "84.00000000000001".
- 988994 cpu_core_3 "84.00000000000001".