Matches in ISWC2014 Benchmark for { ?s ?p 40.625. }
- 1011455 cpu_core_0 "40.625".
- 1011458 cpu_core_0 "40.625".
- 1012402 cpu_core_0 "40.625".
- 1012439 cpu_core_0 "40.625".
- 1219569 cpu_core_0 "40.625".
- 1236084 cpu_core_0 "40.625".
- 1641044 cpu_core_0 "40.625".
- 1644248 cpu_core_0 "40.625".
- 1671000 cpu_core_0 "40.625".
- 247933 cpu_core_0 "40.625".
- 256737 cpu_core_0 "40.625".
- 256740 cpu_core_0 "40.625".
- 363857 cpu_core_0 "40.625".
- 402345 cpu_core_0 "40.625".
- 402528 cpu_core_0 "40.625".
- 402643 cpu_core_0 "40.625".
- 402779 cpu_core_0 "40.625".
- 403531 cpu_core_0 "40.625".
- 404005 cpu_core_0 "40.625".
- 404138 cpu_core_0 "40.625".
- 404323 cpu_core_0 "40.625".
- 514527 cpu_core_0 "40.625".
- 514723 cpu_core_0 "40.625".
- 515252 cpu_core_0 "40.625".
- 515442 cpu_core_0 "40.625".
- 515835 cpu_core_0 "40.625".
- 516278 cpu_core_0 "40.625".
- 517195 cpu_core_0 "40.625".
- 517391 cpu_core_0 "40.625".
- 517421 cpu_core_0 "40.625".
- 517473 cpu_core_0 "40.625".
- 517503 cpu_core_0 "40.625".
- 659164 cpu_core_0 "40.625".
- 659569 cpu_core_0 "40.625".
- 659580 cpu_core_0 "40.625".
- 698530 cpu_core_0 "40.625".
- 698950 cpu_core_0 "40.625".
- 699293 cpu_core_0 "40.625".
- 699379 cpu_core_0 "40.625".
- 699439 cpu_core_0 "40.625".
- 700481 cpu_core_0 "40.625".
- 791496 cpu_core_0 "40.625".
- 792698 cpu_core_0 "40.625".
- 902367 cpu_core_0 "40.625".
- 902588 cpu_core_0 "40.625".
- 902793 cpu_core_0 "40.625".
- 903530 cpu_core_0 "40.625".
- 903936 cpu_core_0 "40.625".
- 903958 cpu_core_0 "40.625".
- 904872 cpu_core_0 "40.625".
- 904989 cpu_core_0 "40.625".
- 993144 cpu_core_0 "40.625".
- 993830 cpu_core_0 "40.625".
- 994394 cpu_core_0 "40.625".
- 994591 cpu_core_0 "40.625".
- 995251 cpu_core_0 "40.625".
- 247946 cpu_core_1 "40.625".
- 363937 cpu_core_1 "40.625".
- 364049 cpu_core_1 "40.625".
- 364374 cpu_core_1 "40.625".
- 515974 cpu_core_1 "40.625".
- 516436 cpu_core_1 "40.625".
- 516758 cpu_core_1 "40.625".
- 517118 cpu_core_1 "40.625".
- 517361 cpu_core_1 "40.625".
- 600629 cpu_core_1 "40.625".
- 600904 cpu_core_1 "40.625".
- 602026 cpu_core_1 "40.625".
- 658611 cpu_core_1 "40.625".
- 659923 cpu_core_1 "40.625".
- 659978 cpu_core_1 "40.625".
- 698333 cpu_core_1 "40.625".
- 699226 cpu_core_1 "40.625".
- 699319 cpu_core_1 "40.625".
- 791659 cpu_core_1 "40.625".
- 792100 cpu_core_1 "40.625".
- 902658 cpu_core_1 "40.625".
- 902775 cpu_core_1 "40.625".
- 903576 cpu_core_1 "40.625".
- 903592 cpu_core_1 "40.625".
- 904149 cpu_core_1 "40.625".
- 904779 cpu_core_1 "40.625".
- 904835 cpu_core_1 "40.625".
- 904928 cpu_core_1 "40.625".
- 993182 cpu_core_1 "40.625".
- 993250 cpu_core_1 "40.625".
- 993433 cpu_core_1 "40.625".
- 993528 cpu_core_1 "40.625".
- 994154 cpu_core_1 "40.625".
- 994576 cpu_core_1 "40.625".
- 994725 cpu_core_1 "40.625".
- 1012579 cpu_core_2 "40.625".
- 364085 cpu_core_2 "40.625".
- 403406 cpu_core_2 "40.625".
- 403777 cpu_core_2 "40.625".
- 403831 cpu_core_2 "40.625".
- 403918 cpu_core_2 "40.625".
- 516458 cpu_core_2 "40.625".
- 517050 cpu_core_2 "40.625".
- 517167 cpu_core_2 "40.625".