--- Day changed Tue Feb 09 2016
02:00 < gmaxwell> nickler: hurray.
02:01 < gmaxwell> have you tried 32-bit?
02:15 < nickler> not yet. For the past weeks I have been running three independent klee processes on secp256k1_scalar_sqr_512, secp256k1_scalar_mul_512 and secp256k1_scalar_mul. You can find the results at 136.243.102.148:8123
02:15 < nickler> it's very very slow
02:52 -!- evoskuil [~evoskuil@c-73-225-134-208.hsd1.wa.comcast.net] has quit [Ping timeout: 240 seconds]
03:08 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1
03:16 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Quit: Leaving.]
03:21 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1
04:31 -!- jtimon [~quassel@126.31.134.37.dynamic.jazztel.es] has joined #secp256k1
04:46 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Quit: Leaving.]
05:33 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1
06:09 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Read error: Connection reset by peer]
06:09 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1
06:14 -!- arubi [~ese168@unaffiliated/arubi] has quit [Ping timeout: 240 seconds]
07:36 -!- arubi [~ese168@unaffiliated/arubi] has joined #secp256k1
07:54 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Quit: Leaving.]
08:41 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1
08:55 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Quit: Leaving.]
09:14 -!- arubi [~ese168@unaffiliated/arubi] has quit [Ping timeout: 250 seconds]
09:17 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1
09:37 -!- arubi [~ese168@unaffiliated/arubi] has joined #secp256k1
10:09 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Read error: Connection reset by peer]
10:09 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1
10:11 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Client Quit]
12:38 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1
12:56 -!- btcdrak [uid115429@gateway/web/irccloud.com/x-xlmhricsrkukefwb] has quit [Quit: Connection closed for inactivity]
12:59 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Quit: Leaving.]
13:16 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1
14:09 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has quit [Read error: Connection reset by peer]
14:10 -!- GAit [~GAit@2-230-161-158.ip202.fastwebnet.it] has joined #secp256k1
15:09 -!- evoskuil [~evoskuil@c-73-225-134-208.hsd1.wa.comcast.net] has joined #secp256k1
18:12 -!- btcdrak [uid115429@gateway/web/irccloud.com/x-phuigjwogyhiesjs] has joined #secp256k1
20:28 -!- jtimon [~quassel@126.31.134.37.dynamic.jazztel.es] has quit [Ping timeout: 240 seconds]
22:22 -!- Madars [~null@unaffiliated/madars] has quit [Ping timeout: 250 seconds]
22:36 -!- Madars [~null@unaffiliated/madars] has joined #secp256k1