Matches in ISWC2014 Benchmark for { ?s ?p 15.53398058252427. }
- 914733 cpu_core_0 "15.53398058252427".
- 1011843 cpu_core_1 "15.53398058252427".
- 1012100 cpu_core_1 "15.53398058252427".
- 1013361 cpu_core_1 "15.53398058252427".
- 1013403 cpu_core_1 "15.53398058252427".
- 1054044 cpu_core_1 "15.53398058252427".
- 1067403 cpu_core_1 "15.53398058252427".
- 1188680 cpu_core_1 "15.53398058252427".
- 1213643 cpu_core_1 "15.53398058252427".
- 1219463 cpu_core_1 "15.53398058252427".
- 1236668 cpu_core_1 "15.53398058252427".
- 1480816 cpu_core_1 "15.53398058252427".
- 1617624 cpu_core_1 "15.53398058252427".
- 1657824 cpu_core_1 "15.53398058252427".
- 1670999 cpu_core_1 "15.53398058252427".
- 1671695 cpu_core_1 "15.53398058252427".
- 1674717 cpu_core_1 "15.53398058252427".
- 1675003 cpu_core_1 "15.53398058252427".
- 1688255 cpu_core_1 "15.53398058252427".
- 1696393 cpu_core_1 "15.53398058252427".
- 1828196 cpu_core_1 "15.53398058252427".
- 1875850 cpu_core_1 "15.53398058252427".
- 1887980 cpu_core_1 "15.53398058252427".
- 222738 cpu_core_1 "15.53398058252427".
- 293054 cpu_core_1 "15.53398058252427".
- 303347 cpu_core_1 "15.53398058252427".
- 363363 cpu_core_1 "15.53398058252427".
- 516315 cpu_core_1 "15.53398058252427".
- 517593 cpu_core_1 "15.53398058252427".
- 612753 cpu_core_1 "15.53398058252427".
- 728673 cpu_core_1 "15.53398058252427".
- 791856 cpu_core_1 "15.53398058252427".
- 993438 cpu_core_1 "15.53398058252427".
- 1077661 cpu_core_2 "15.53398058252427".
- 1134570 cpu_core_2 "15.53398058252427".
- 1147112 cpu_core_2 "15.53398058252427".
- 1253648 cpu_core_2 "15.53398058252427".
- 1355068 cpu_core_2 "15.53398058252427".
- 1415208 cpu_core_2 "15.53398058252427".
- 1495295 cpu_core_2 "15.53398058252427".
- 1913351 cpu_core_2 "15.53398058252427".
- 222761 cpu_core_2 "15.53398058252427".
- 403241 cpu_core_2 "15.53398058252427".
- 403969 cpu_core_2 "15.53398058252427".
- 517011 cpu_core_2 "15.53398058252427".
- 579727 cpu_core_2 "15.53398058252427".
- 903842 cpu_core_2 "15.53398058252427".
- 1060984 cpu_core_3 "15.53398058252427".
- 1111561 cpu_core_3 "15.53398058252427".
- 1316119 cpu_core_3 "15.53398058252427".
- 1915361 cpu_core_3 "15.53398058252427".
- 222682 cpu_core_3 "15.53398058252427".
- 404075 cpu_core_3 "15.53398058252427".
- 735620 cpu_core_3 "15.53398058252427".
- 909223 cpu_core_3 "15.53398058252427".