Temat: CNF: testy

  1. Potyczki Algorytmiczne 2016
  2. Runda 5
  3. CNF: testy
    4. Ostatnie posty
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ś? :)
#3747 | Marek Sokołowski | Dodany: 2016-11-26 14:44:28 | Ostatnia modyfikacja: 2016-11-26 15:00:50
Okejeczka ode mnie.
#3753 | Wojtek Nadara | Dodany: 2016-11-26 15:05:51
Moja heura odpowiada tak samo.
#3756 | Kasia Kowalska | Dodany: 2016-11-26 15:23:38
Potwierdzam
#3757 | Piotr Bejda | Dodany: 2016-11-26 15:29:51
Jakie macie czasy?
#3762 | Kacper Walentynowicz | Dodany: 2016-11-26 16:32:28
Na tych testach max 1.4s
#3764 | Wojtek Nadara | Dodany: 2016-11-26 16:58:40
Potwierdzam owcę :]
#3765 | Piotr Kozierski | Dodany: 2016-11-26 16:59:48
Potwierdzam
Na pierwszym stadzie mam 1.3s u siebie na kompie (czyli pewnie dwa razy dłużej na systemie)
#3776 | Mariusz Trela | Dodany: 2016-11-26 23:42:13
Potwierdzam wszystko, czasy na moim komputerze do 0,5s.
#3796 | Michał Bartoszkiewicz | Dodany: 2016-11-27 18:34:21
Ja też potwierdzam. Ale ładne zadanie :)
#3799 | Bartek Dudek | Dodany: 2016-11-27 21:11:01
Świetne zadanie, 10/10. Ale potwierdzam.
#3800 | Kacper Walentynowicz | Dodany: 2016-11-27 21:55:13