Matches in ISWC2014 Benchmark for { ?s ?p 24.74226804123711. }
- 1011690 cpu_core_0 "24.74226804123711".
- 1012476 cpu_core_0 "24.74226804123711".
- 1012729 cpu_core_0 "24.74226804123711".
- 1013091 cpu_core_0 "24.74226804123711".
- 1176593 cpu_core_0 "24.74226804123711".
- 1207640 cpu_core_0 "24.74226804123711".
- 1211284 cpu_core_0 "24.74226804123711".
- 1407273 cpu_core_0 "24.74226804123711".
- 1411680 cpu_core_0 "24.74226804123711".
- 1646672 cpu_core_0 "24.74226804123711".
- 1674826 cpu_core_0 "24.74226804123711".
- 1690536 cpu_core_0 "24.74226804123711".
- 1923730 cpu_core_0 "24.74226804123711".
- 1925260 cpu_core_0 "24.74226804123711".
- 1925266 cpu_core_0 "24.74226804123711".
- 294880 cpu_core_0 "24.74226804123711".
- 322357 cpu_core_0 "24.74226804123711".
- 362928 cpu_core_0 "24.74226804123711".
- 403963 cpu_core_0 "24.74226804123711".
- 404173 cpu_core_0 "24.74226804123711".
- 515011 cpu_core_0 "24.74226804123711".
- 532993 cpu_core_0 "24.74226804123711".
- 587712 cpu_core_0 "24.74226804123711".
- 600215 cpu_core_0 "24.74226804123711".
- 601499 cpu_core_0 "24.74226804123711".
- 658579 cpu_core_0 "24.74226804123711".
- 699112 cpu_core_0 "24.74226804123711".
- 699546 cpu_core_0 "24.74226804123711".
- 699760 cpu_core_0 "24.74226804123711".
- 699927 cpu_core_0 "24.74226804123711".
- 699960 cpu_core_0 "24.74226804123711".
- 700300 cpu_core_0 "24.74226804123711".
- 700423 cpu_core_0 "24.74226804123711".
- 791325 cpu_core_0 "24.74226804123711".
- 791343 cpu_core_0 "24.74226804123711".
- 792226 cpu_core_0 "24.74226804123711".
- 792486 cpu_core_0 "24.74226804123711".
- 905219 cpu_core_0 "24.74226804123711".
- 909275 cpu_core_0 "24.74226804123711".
- 909316 cpu_core_0 "24.74226804123711".
- 909642 cpu_core_0 "24.74226804123711".
- 993955 cpu_core_0 "24.74226804123711".
- 994268 cpu_core_0 "24.74226804123711".
- 1011838 cpu_core_1 "24.74226804123711".
- 1208436 cpu_core_1 "24.74226804123711".
- 1209893 cpu_core_1 "24.74226804123711".
- 1210915 cpu_core_1 "24.74226804123711".
- 1210938 cpu_core_1 "24.74226804123711".
- 1211653 cpu_core_1 "24.74226804123711".
- 1235352 cpu_core_1 "24.74226804123711".
- 1401673 cpu_core_1 "24.74226804123711".
- 1402939 cpu_core_1 "24.74226804123711".
- 1402957 cpu_core_1 "24.74226804123711".
- 1404696 cpu_core_1 "24.74226804123711".
- 1404704 cpu_core_1 "24.74226804123711".
- 1406547 cpu_core_1 "24.74226804123711".
- 1406794 cpu_core_1 "24.74226804123711".
- 1638029 cpu_core_1 "24.74226804123711".
- 1638299 cpu_core_1 "24.74226804123711".
- 1638913 cpu_core_1 "24.74226804123711".
- 1639057 cpu_core_1 "24.74226804123711".
- 1639240 cpu_core_1 "24.74226804123711".
- 1639729 cpu_core_1 "24.74226804123711".
- 1639859 cpu_core_1 "24.74226804123711".
- 1640083 cpu_core_1 "24.74226804123711".
- 1640606 cpu_core_1 "24.74226804123711".
- 1642746 cpu_core_1 "24.74226804123711".
- 1643582 cpu_core_1 "24.74226804123711".
- 1644446 cpu_core_1 "24.74226804123711".
- 1645932 cpu_core_1 "24.74226804123711".
- 1646665 cpu_core_1 "24.74226804123711".
- 248004 cpu_core_1 "24.74226804123711".
- 285293 cpu_core_1 "24.74226804123711".
- 285440 cpu_core_1 "24.74226804123711".
- 363263 cpu_core_1 "24.74226804123711".
- 402305 cpu_core_1 "24.74226804123711".
- 403369 cpu_core_1 "24.74226804123711".
- 403463 cpu_core_1 "24.74226804123711".
- 403514 cpu_core_1 "24.74226804123711".
- 403623 cpu_core_1 "24.74226804123711".
- 403919 cpu_core_1 "24.74226804123711".
- 403965 cpu_core_1 "24.74226804123711".
- 404029 cpu_core_1 "24.74226804123711".
- 514917 cpu_core_1 "24.74226804123711".
- 516216 cpu_core_1 "24.74226804123711".
- 516999 cpu_core_1 "24.74226804123711".
- 601634 cpu_core_1 "24.74226804123711".
- 698522 cpu_core_1 "24.74226804123711".
- 698765 cpu_core_1 "24.74226804123711".
- 699512 cpu_core_1 "24.74226804123711".
- 699568 cpu_core_1 "24.74226804123711".
- 700263 cpu_core_1 "24.74226804123711".
- 902659 cpu_core_1 "24.74226804123711".
- 903418 cpu_core_1 "24.74226804123711".
- 903605 cpu_core_1 "24.74226804123711".
- 903776 cpu_core_1 "24.74226804123711".
- 904807 cpu_core_1 "24.74226804123711".
- 990876 cpu_core_1 "24.74226804123711".
- 992328 cpu_core_1 "24.74226804123711".
- 1011814 cpu_core_2 "24.74226804123711".