Matches in ISWC2014 Benchmark for { ?s ?p 72.00000000000001. }
- 881158 cpu_core_0 "72.00000000000001".
- 881189 cpu_core_0 "72.00000000000001".
- 881366 cpu_core_0 "72.00000000000001".
- 881531 cpu_core_0 "72.00000000000001".
- 882677 cpu_core_0 "72.00000000000001".
- 882742 cpu_core_0 "72.00000000000001".
- 882833 cpu_core_0 "72.00000000000001".
- 884127 cpu_core_0 "72.00000000000001".
- 885081 cpu_core_0 "72.00000000000001".
- 885449 cpu_core_0 "72.00000000000001".
- 885589 cpu_core_0 "72.00000000000001".
- 885683 cpu_core_0 "72.00000000000001".
- 885747 cpu_core_0 "72.00000000000001".
- 886002 cpu_core_0 "72.00000000000001".
- 886008 cpu_core_0 "72.00000000000001".
- 886328 cpu_core_0 "72.00000000000001".
- 886477 cpu_core_0 "72.00000000000001".
- 887006 cpu_core_0 "72.00000000000001".
- 887013 cpu_core_0 "72.00000000000001".
- 887508 cpu_core_0 "72.00000000000001".
- 887546 cpu_core_0 "72.00000000000001".
- 887587 cpu_core_0 "72.00000000000001".
- 887930 cpu_core_0 "72.00000000000001".
- 887983 cpu_core_0 "72.00000000000001".
- 888144 cpu_core_0 "72.00000000000001".
- 888184 cpu_core_0 "72.00000000000001".
- 888334 cpu_core_0 "72.00000000000001".
- 888514 cpu_core_0 "72.00000000000001".
- 888749 cpu_core_0 "72.00000000000001".
- 888782 cpu_core_0 "72.00000000000001".
- 888839 cpu_core_0 "72.00000000000001".
- 889196 cpu_core_0 "72.00000000000001".
- 889455 cpu_core_0 "72.00000000000001".
- 890350 cpu_core_0 "72.00000000000001".
- 890884 cpu_core_0 "72.00000000000001".
- 890981 cpu_core_0 "72.00000000000001".
- 891442 cpu_core_0 "72.00000000000001".
- 891449 cpu_core_0 "72.00000000000001".
- 891479 cpu_core_0 "72.00000000000001".
- 892187 cpu_core_0 "72.00000000000001".
- 892246 cpu_core_0 "72.00000000000001".
- 892355 cpu_core_0 "72.00000000000001".
- 893003 cpu_core_0 "72.00000000000001".
- 893020 cpu_core_0 "72.00000000000001".
- 893022 cpu_core_0 "72.00000000000001".
- 893065 cpu_core_0 "72.00000000000001".
- 893281 cpu_core_0 "72.00000000000001".
- 893336 cpu_core_0 "72.00000000000001".
- 893510 cpu_core_0 "72.00000000000001".
- 893541 cpu_core_0 "72.00000000000001".
- 894301 cpu_core_0 "72.00000000000001".
- 894564 cpu_core_0 "72.00000000000001".
- 895169 cpu_core_0 "72.00000000000001".
- 895572 cpu_core_0 "72.00000000000001".
- 895830 cpu_core_0 "72.00000000000001".
- 895838 cpu_core_0 "72.00000000000001".
- 896033 cpu_core_0 "72.00000000000001".
- 896058 cpu_core_0 "72.00000000000001".
- 896302 cpu_core_0 "72.00000000000001".
- 896566 cpu_core_0 "72.00000000000001".
- 896644 cpu_core_0 "72.00000000000001".
- 896875 cpu_core_0 "72.00000000000001".
- 896982 cpu_core_0 "72.00000000000001".
- 897161 cpu_core_0 "72.00000000000001".
- 897232 cpu_core_0 "72.00000000000001".
- 897252 cpu_core_0 "72.00000000000001".
- 897597 cpu_core_0 "72.00000000000001".
- 897971 cpu_core_0 "72.00000000000001".
- 898239 cpu_core_0 "72.00000000000001".
- 898329 cpu_core_0 "72.00000000000001".
- 902180 cpu_core_0 "72.00000000000001".
- 905308 cpu_core_0 "72.00000000000001".
- 906678 cpu_core_0 "72.00000000000001".
- 907282 cpu_core_0 "72.00000000000001".
- 910558 cpu_core_0 "72.00000000000001".
- 910971 cpu_core_0 "72.00000000000001".
- 911010 cpu_core_0 "72.00000000000001".
- 911446 cpu_core_0 "72.00000000000001".
- 912096 cpu_core_0 "72.00000000000001".
- 912333 cpu_core_0 "72.00000000000001".
- 913658 cpu_core_0 "72.00000000000001".
- 914453 cpu_core_0 "72.00000000000001".
- 915566 cpu_core_0 "72.00000000000001".
- 916403 cpu_core_0 "72.00000000000001".
- 916689 cpu_core_0 "72.00000000000001".
- 919621 cpu_core_0 "72.00000000000001".
- 921141 cpu_core_0 "72.00000000000001".
- 922041 cpu_core_0 "72.00000000000001".
- 922319 cpu_core_0 "72.00000000000001".
- 923151 cpu_core_0 "72.00000000000001".
- 923213 cpu_core_0 "72.00000000000001".
- 923628 cpu_core_0 "72.00000000000001".
- 924350 cpu_core_0 "72.00000000000001".
- 926241 cpu_core_0 "72.00000000000001".
- 926726 cpu_core_0 "72.00000000000001".
- 926847 cpu_core_0 "72.00000000000001".
- 927583 cpu_core_0 "72.00000000000001".
- 928084 cpu_core_0 "72.00000000000001".
- 929179 cpu_core_0 "72.00000000000001".
- 929834 cpu_core_0 "72.00000000000001".