Searched refs:e_mark (Results 1 – 7 of 7) sorted by relevance
/dports/math/eprover/eprover-E-2.0/development_tools/ |
H A D | sequential_eprover.awk | 197 function host_cpu_limit_opt(limit, e_mark, res, host_limit) 199 host_limit = ((limit*100)/e_mark)+0.5; 407 e_mark["Pentium-III-Coppermine-696.422"] = 225.642; 408 e_mark["Pentium-III-Coppermine-728.454"] = 196.681; 409 e_mark["Pentium-III-Coppermine-860.904"] = 260.519; 410 e_mark["Pentium-III-Coppermine-864.484"] = 222.518; 411 e_mark["Pentium-III-Katmai-498.762"] = 143.921; 412 e_mark["REFERENCE"] = 100; 413 e_mark["SUNW-Sun-Blade-100-sparcv9-502"] = 131.934; 424 e_mark["SUNW-Ultra-60-sparcv9-296"] = 100; [all …]
|
H A D | distribute_eprover.awk | 212 e_mark["Pentium-III-Coppermine-696.422"] = 225.642; 213 e_mark["Pentium-III-Coppermine-728.454"] = 196.681; 214 e_mark["Pentium-III-Coppermine-860.904"] = 260.519; 215 e_mark["Pentium-III-Coppermine-864.484"] = 222.518; 216 e_mark["Pentium-III-Katmai-498.762"] = 143.921; 217 e_mark["REFERENCE"] = 100; 218 e_mark["SUNW-Sun-Blade-100-sparcv9-502"] = 131.934; 219 e_mark["SUNW-Sun-Blade-1000-sparcv9-750"] = 250.049; 227 e_mark["SUNW-Ultra-60-sparcv9-296"] = 100; 240 if(!e_mark[res]) [all …]
|
/dports/math/eprover/eprover-E-2.0/PYTHON/ |
H A D | pylib_econf.py | 90 self.e_mark = 100.0 116 self.e_mark = float(value) 155 self.e_mark, self.memory_limit, 166 return time*100.0/self.e_mark 175 return time*self.e_mark/100
|
H A D | pylib_eserver.py | 96 self.server = pylib_tcp.etcp_server(config.port, config.e_mark) 97 self.client = pylib_tcp.etcp_client(config.port, config.e_mark)
|
/dports/games/edge/Edge-1.35-source/src/ |
H A D | sv_chunk.cc | 66 char e_mark[6]; member 372 strcpy(cur->e_mark, id); in SV_PushReadChunk() 373 strupr(cur->e_mark); in SV_PushReadChunk() 560 strcpy(cur->e_mark, id); in SV_PushWriteChunk() 561 strupr(cur->e_mark); in SV_PushWriteChunk()
|
/dports/editors/fte/fte/src/ |
H A D | objs.inc | 24 e_mark.$(OEXT)\
|
/dports/math/cgal/CGAL-5.3/include/CGAL/Nef_3/ |
H A D | K3_tree.h | 699 Unique_hash_map< Halfedge_handle, bool> e_mark(false); in objects_around_segment() 715 if( !e_mark [e]) { in objects_around_segment() 717 e_mark[e] = true; in objects_around_segment()
|