Matches in ISWC2014 Benchmark for { ?s ?p 12.000000000000002. }
- 1098414 cpu_core_0 "12.000000000000002".
- 1098424 cpu_core_0 "12.000000000000002".
- 1098487 cpu_core_0 "12.000000000000002".
- 1098534 cpu_core_0 "12.000000000000002".
- 1098626 cpu_core_0 "12.000000000000002".
- 1098641 cpu_core_0 "12.000000000000002".
- 1098720 cpu_core_0 "12.000000000000002".
- 1098774 cpu_core_0 "12.000000000000002".
- 1098858 cpu_core_0 "12.000000000000002".
- 1099051 cpu_core_0 "12.000000000000002".
- 1099115 cpu_core_0 "12.000000000000002".
- 1099133 cpu_core_0 "12.000000000000002".
- 1099153 cpu_core_0 "12.000000000000002".
- 1099284 cpu_core_0 "12.000000000000002".
- 1099346 cpu_core_0 "12.000000000000002".
- 1099459 cpu_core_0 "12.000000000000002".
- 1099473 cpu_core_0 "12.000000000000002".
- 1099685 cpu_core_0 "12.000000000000002".
- 1099745 cpu_core_0 "12.000000000000002".
- 1099752 cpu_core_0 "12.000000000000002".
- 1099860 cpu_core_0 "12.000000000000002".
- 1099883 cpu_core_0 "12.000000000000002".
- 1100083 cpu_core_0 "12.000000000000002".
- 1100158 cpu_core_0 "12.000000000000002".
- 1100330 cpu_core_0 "12.000000000000002".
- 1100338 cpu_core_0 "12.000000000000002".
- 1100340 cpu_core_0 "12.000000000000002".
- 1100353 cpu_core_0 "12.000000000000002".
- 1100416 cpu_core_0 "12.000000000000002".
- 1100424 cpu_core_0 "12.000000000000002".
- 1100695 cpu_core_0 "12.000000000000002".
- 1100850 cpu_core_0 "12.000000000000002".
- 1100852 cpu_core_0 "12.000000000000002".
- 1101028 cpu_core_0 "12.000000000000002".
- 1101184 cpu_core_0 "12.000000000000002".
- 1102024 cpu_core_0 "12.000000000000002".
- 1102043 cpu_core_0 "12.000000000000002".
- 1102081 cpu_core_0 "12.000000000000002".
- 1102084 cpu_core_0 "12.000000000000002".
- 1102272 cpu_core_0 "12.000000000000002".
- 1102278 cpu_core_0 "12.000000000000002".
- 1102524 cpu_core_0 "12.000000000000002".
- 1102538 cpu_core_0 "12.000000000000002".
- 1102665 cpu_core_0 "12.000000000000002".
- 1102686 cpu_core_0 "12.000000000000002".
- 1102691 cpu_core_0 "12.000000000000002".
- 1102702 cpu_core_0 "12.000000000000002".
- 1102735 cpu_core_0 "12.000000000000002".
- 1102760 cpu_core_0 "12.000000000000002".
- 1102795 cpu_core_0 "12.000000000000002".
- 1102812 cpu_core_0 "12.000000000000002".
- 1102907 cpu_core_0 "12.000000000000002".
- 1102920 cpu_core_0 "12.000000000000002".
- 1102949 cpu_core_0 "12.000000000000002".
- 1103003 cpu_core_0 "12.000000000000002".
- 1103020 cpu_core_0 "12.000000000000002".
- 1103130 cpu_core_0 "12.000000000000002".
- 1103238 cpu_core_0 "12.000000000000002".
- 1103414 cpu_core_0 "12.000000000000002".
- 1103482 cpu_core_0 "12.000000000000002".
- 1103493 cpu_core_0 "12.000000000000002".
- 1103641 cpu_core_0 "12.000000000000002".
- 1103647 cpu_core_0 "12.000000000000002".
- 1103885 cpu_core_0 "12.000000000000002".
- 1103951 cpu_core_0 "12.000000000000002".
- 1103980 cpu_core_0 "12.000000000000002".
- 1103983 cpu_core_0 "12.000000000000002".
- 1104186 cpu_core_0 "12.000000000000002".
- 1104309 cpu_core_0 "12.000000000000002".
- 1104335 cpu_core_0 "12.000000000000002".
- 1104370 cpu_core_0 "12.000000000000002".
- 1104372 cpu_core_0 "12.000000000000002".
- 1104431 cpu_core_0 "12.000000000000002".
- 1104450 cpu_core_0 "12.000000000000002".
- 1104597 cpu_core_0 "12.000000000000002".
- 1104604 cpu_core_0 "12.000000000000002".
- 1104606 cpu_core_0 "12.000000000000002".
- 1104817 cpu_core_0 "12.000000000000002".
- 1104874 cpu_core_0 "12.000000000000002".
- 1104921 cpu_core_0 "12.000000000000002".
- 1104969 cpu_core_0 "12.000000000000002".
- 1105259 cpu_core_0 "12.000000000000002".
- 1105409 cpu_core_0 "12.000000000000002".
- 1105502 cpu_core_0 "12.000000000000002".
- 1105563 cpu_core_0 "12.000000000000002".
- 1105616 cpu_core_0 "12.000000000000002".
- 1105789 cpu_core_0 "12.000000000000002".
- 1105881 cpu_core_0 "12.000000000000002".
- 1105900 cpu_core_0 "12.000000000000002".
- 1106010 cpu_core_0 "12.000000000000002".
- 1106101 cpu_core_0 "12.000000000000002".
- 1106157 cpu_core_0 "12.000000000000002".
- 1106158 cpu_core_0 "12.000000000000002".
- 1106238 cpu_core_0 "12.000000000000002".
- 1106406 cpu_core_0 "12.000000000000002".
- 1106553 cpu_core_0 "12.000000000000002".
- 1106611 cpu_core_0 "12.000000000000002".
- 1106642 cpu_core_0 "12.000000000000002".
- 1106659 cpu_core_0 "12.000000000000002".
- 1106701 cpu_core_0 "12.000000000000002".