Sun, 06 Nov 2011 21:17:45 +0100 tuned;
wenzelm [Sun, 06 Nov 2011 21:17:45 +0100] rev 45374
tuned;
Sun, 06 Nov 2011 18:42:17 +0100 merged
wenzelm [Sun, 06 Nov 2011 18:42:17 +0100] rev 45373
merged
Sun, 06 Nov 2011 14:23:04 +0100 cascading timeouts in minimizer, part 2
blanchet [Sun, 06 Nov 2011 14:23:04 +0100] rev 45372
cascading timeouts in minimizer, part 2
Sun, 06 Nov 2011 14:05:57 +0100 tuning
blanchet [Sun, 06 Nov 2011 14:05:57 +0100] rev 45371
tuning
Sun, 06 Nov 2011 13:57:17 +0100 use "Time.time" rather than milliseconds internally
blanchet [Sun, 06 Nov 2011 13:57:17 +0100] rev 45370
use "Time.time" rather than milliseconds internally
Sun, 06 Nov 2011 13:46:26 +0100 tune: no need for option
blanchet [Sun, 06 Nov 2011 13:46:26 +0100] rev 45369
tune: no need for option
Sun, 06 Nov 2011 13:37:49 +0100 cascading timeouts in minimizer
blanchet [Sun, 06 Nov 2011 13:37:49 +0100] rev 45368
cascading timeouts in minimizer
Sun, 06 Nov 2011 13:32:13 +0100 shortcut binary minimization algorithm
blanchet [Sun, 06 Nov 2011 13:32:13 +0100] rev 45367
shortcut binary minimization algorithm
Sun, 06 Nov 2011 11:51:35 +0100 speed up binary minimizer in practice by preferring the first half of the used facts (which are likelier to be relevant) to the second half
blanchet [Sun, 06 Nov 2011 11:51:35 +0100] rev 45366
speed up binary minimizer in practice by preferring the first half of the used facts (which are likelier to be relevant) to the second half
Sun, 06 Nov 2011 11:16:37 +0100 renamed experimental systems
blanchet [Sun, 06 Nov 2011 11:16:37 +0100] rev 45365
renamed experimental systems
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip