2020-02-03.log

*** Quits: scippio (~scippio@ip-89-102-200-9.net.upcbroadband.cz) (Ping timeout: 240 seconds)01:16
*** Joins: scippio (~scippio@86.63.217.67)10:31
*** ChanServ sets mode: +v scippio10:31
scippio!hlava11:11
scippioblondina: !hlava11:11
blondinascippio:  Disentní zdůvodnění.11:11
scippioblondina: hlava vileta11:12
blondinascippio:  Tohle mi hlava nebere.11:12
scippioblondina: !hlava vileta11:12
blondinascippio:  Každý má svou oblíbenou drogu, kterou propaguje a snaží se ji snačí procpat hlava nehlava všude, což je profík.11:12
scippiotwe.. jsem zapomnel jak to je...11:12
klip!hlava vileta13:05
-blondina- Nasazena Viletova hlava13:05
kliptakhle :)13:05
klipscippio: jak se mas?13:05
klip`.clear13:09
mr_tau# Db cleared13:09
klip`{ m(4095). prime(?x) :- ?x>=2. q(?x 1 ?x) :- ?x>=2, ?x<65. } { ~prime(?z), q(?x?y?z) :- q(?x?a?b), ?a+1=?y, ?b+?x=?z, ?b<?z. } { ~q(?x?y?z) :- q(?x?y?z). }13:10
mr_tau# elapsed: 0.70 ms13:10
mr_tau BDD size for adder bit 0 : 138 , 1213:10
mr_tau BDD size for adder bit 1 : 152 , 1913:10
mr_tau BDD size for adder bit 2 : 171 , 2813:10
mr_tau BDD size for adder bit 3 : 187 , 3713:10
klipshit13:10
mr_tau BDD size for adder bit 4 : 203 , 4613:10
mr_tau BDD size for adder bit 5 : 219 , 5513:10
mr_tau BDD size for adder bit 6 : 235 , 6413:10
mr_tau BDD size for adder bit 7 : 250 , 7313:10
mr_tau BDD size for adder bit 8 : 266 , 8213:10
mr_tau BDD size for adder bit 9 : 282 , 9113:10
mr_tau BDD size for adder bit 10 : 298 , 10013:10
mr_tau BDD size for adder bit 11 : 314 , 10913:10
mr_tau BDD size for adder eq  : 260 , 10913:10
mr_tau BDD size for adder bit 0 : 213 , 1213:10
mr_tau BDD size for adder bit 1 : 227 , 1913:10
mr_tau BDD size for adder bit 2 : 246 , 2813:10
mr_tau BDD size for adder bit 3 : 262 , 3713:10
mr_tau BDD size for adder bit 4 : 278 , 4613:10
mr_tau BDD size for adder bit 5 : 294 , 5513:10
mr_tau BDD size for adder bit 6 : 310 , 6413:10
mr_tau BDD size for adder bit 7 : 325 , 7313:10
mr_tau BDD size for adder bit 8 : 341 , 8213:10
mr_tau BDD size for adder bit 9 : 357 , 9113:10
*** ChanServ sets mode: +o klip13:10
mr_tau BDD size for adder bit 10 : 373 , 10013:10
mr_tau BDD size for adder bit 11 : 389 , 10913:10
mr_tau BDD size for adder eq  : 335 , 10913:10
mr_tau BDD size for adder bit 0 : 724 , 1213:10
mr_tau BDD size for adder bit 1 : 738 , 1913:10
*** klip sets mode: -v mr_tau13:10
kliplol13:10
scippioklip: ahoj... ujde to.14:24
scippiohmm to tu rozjizdis... priste mu dej pocitat PI ... :)14:25
klipkolega spravne nepouziva vystupy jak ma, takze se pak debug vystup dostal az sem :)14:44
*** Quits: Lightkey (~Darklock@p200300F693C0481422CF30FFFE083718.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)14:47
*** Joins: Lightkey (~Darklock@p200300F693C0481122CF30FFFE083718.dip0.t-ipconnect.de)14:59
*** ChanServ sets mode: +v Lightkey14:59
*** klip sets mode: +v mr_tau15:10
klip`.clear15:10
mr_tau# Db cleared15:10
klip`{ m(4095). prime(?x) :- ?x>=2. q(?x 1 ?x) :- ?x>=2, ?x<65. } { ~prime(?z), q(?x?y?z) :- q(?x?a?b), ?a+1=?y, ?b+?x=?z, ?b<?z. } { ~q(?x?y?z) :- q(?x?y?z). }15:10
mr_tau# elapsed: 1.71 ms15:10
mr_tau# elapsed: 2885.62 ms15:10
mr_tau# elapsed: 0.04 ms15:10
mr_tau# Total elapsed: 4032 ms user: 3.82 s system: 0.18 s memory: 248000 Kb15:10
mr_tau# More than 5 lines in the output. Truncating. See full output here: http://tau.builders/taubot/klip/primes_add/1580737717.tml.txt.15:10
blondinaJebać http://tau.builders/taubot/klip/primes_add/1580737717.tml.txt. - Not Found15:10
mr_tau    m(4095).15:10
mr_tau    prime(4093).15:10
mr_tau    prime(4091).15:10
mr_tau    prime(4079).15:10
mr_tau    prime(4073).15:10
klipuz to funguje ;)15:11
*** Quits: scippio (~scippio@86.63.217.67) (Ping timeout: 240 seconds)17:57
*** Quits: mr_tau (~mr_tau@tau.builders) (Excess Flood)18:46
*** Joins: mr_tau (~mr_tau@tau.builders)18:48
*** ChanServ sets mode: +v mr_tau18:48
*** Joins: scippio (~scippio@ip-89-102-200-9.net.upcbroadband.cz)19:37
*** ChanServ sets mode: +v scippio19:37

Generated by irclog2html.py 2.14.0 by Marius Gedminas - find it at mg.pov.lt!