Home
last modified time | relevance | path

Searched refs:e_mark (Results 1 – 7 of 7) sorted by relevance

/dports/math/eprover/eprover-E-2.0/development_tools/
H A Dsequential_eprover.awk197 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 Ddistribute_eprover.awk212 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 Dpylib_econf.py90 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 Dpylib_eserver.py96 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 Dsv_chunk.cc66 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 Dobjs.inc24 e_mark.$(OEXT)\
/dports/math/cgal/CGAL-5.3/include/CGAL/Nef_3/
H A DK3_tree.h699 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()