www-ai.cs.tu-dortmund.de/PublicPublicationFiles/rieger_95d.pdf
ls8-report-18.dvi
increasing(t76,75,s6,3,32,13).
no_measurement(t76,75,s6,32,53,999).
decreasing(t76,75,s6,53,59,-9).
stable(t76,75,s6,59,65,1).
increasing(t76,75,s6,65,69,11).
something_happened(t76,75,s6,69,70,18).
incr [...] increasing(t76,75,s6,70,85,13).
Basic features for Version 2:
increasing(t76,75,s6,3,32,13).
no_measurement(t76,75,s6,32,53,999).
decreasing(t76,75,s6,53,63,-5).
increasing(t76,75,s6,63,85,12).
Basic features [...] features for Version 3:
increasing(t76,75,s6,3,32,13).
6 EXPERIMENTS 13
Version 1 Version 2 Version 3
# cases 400 385 373
jQj 225 146 108
jF j 143 100 75
Depth 9 7 6
A1 16 23 20
A2 25 25 22
Table 1: Results …