search

IIC2613 / Syllabus-2019-1

22 stars 3 forks source link

[Tarea 3] - Generador de problemas y automatizador de pruebas #33

Closed aecanales closed 5 years ago

aecanales commented 5 years ago

¡Hola!

Para los que siguen en la parte 1 de la tarea, escribí un par de scripts para automatizar el proceso de comparar tiempos entre el encoding antiguo y el nuevo. Dado un carpeta de problemas, un .lp antiguo y un .lp nuevo, mi script corre clingo sobre todos los problemas con ambos encodings y guarda los resultados en un CSV.

Para generar los problema, escribí mi propio generador pero también es útil el de Jaluco.

Se podría usar también para tomar tiempos en la parte 2 adaptando el script.

¡Espero que les sirva! Si algún ayudante o @jabaier encuentran que es inadecuado, me avisan y borro el repositorio.

PS: Corre en mi computador sin explotar, pero no me hago responsable si lo corren en el suyo y explota. PSS: Sí, estoy procrastinando escribir el reporte.

baarratia commented 5 years ago

Muchas gracias!!! Te ganaste el cielo con esto 😁

HenryBlairG commented 5 years ago

Para los que usan ubuntu y se les crashea, después de las lineas en que ejecutan bodega y parte1 coloquen lo siguiente

sudo sync; echo 1 > /proc/sys/vm/drop_caches && swapoff -a && swapon -a

de manera que les quede 

old=$(clingo bodegas.lp "$f" | python3 read_time.py)
sudo sync; echo 1 > /proc/sys/vm/drop_caches && swapoff -a && swapon -a
new=$(clingo parte1.lp "$f" | python3 read_time.py)
sudo sync; echo 1 > /proc/sys/vm/drop_caches && swapoff -a && swapon -a

así les correrá bien y no les explotará el compu

(Esto asumiendo que compu_explota :- memoria_llena)