Temat: CNF: testy

Wrzucam więcej niż jeden test.

Limity (na oko):
cnf_owca[1-10] -- N <= 20, ok. 300 literałów
cnf_lama[1-10] -- N <= 1000, ok. 10000 literałów
cnf_stado[1--5] -- N <= 10^6, ok. 10^6 literałów

https://drive.google.com/file/d/0B6fOlIYPfK-QWVQ2U2FoNENpc0E/view

Ktoś, coś? :)
Okejeczka ode mnie.
Moja heura odpowiada tak samo.
Potwierdzam
Jakie macie czasy?
Na tych testach max 1.4s
Potwierdzam owcę :]
Potwierdzam
Na pierwszym stadzie mam 1.3s u siebie na kompie (czyli pewnie dwa razy dłużej na systemie)
Potwierdzam wszystko, czasy na moim komputerze do 0,5s.
Ja też potwierdzam. Ale ładne zadanie :)
Świetne zadanie, 10/10. Ale potwierdzam.