AF Termination Challenge Database 1.0.0
(1,260 bytes)
learning-set/n01
learning-set/n02
learning-set/n03
learning-set/n04
learning-set/n05
learning-set/n06
learning-set/n07
learning-set/n08
learning-set/n09
learning-set/n10
learning-set/s01
learning-set/s02
learning-set/s03
learning-set/s04
learning-set/s05
learning-set/s06
learning-set/s07
learning-set/s08
learning-set/s09
learning-set/s10
learning-set/t01
learning-set/t02
learning-set/t03
learning-set/t04
learning-set/t05
learning-set/t06
learning-set/t07
learning-set/t08
learning-set/t09
learning-set/t10
test-set-a/a01
test-set-a/a02
test-set-a/a03
test-set-a/a04
test-set-a/a05
test-set-a/a06
test-set-a/a07
test-set-a/a08
test-set-a/a09
test-set-a/a10
test-set-a/a11
test-set-a/a12
test-set-a/a13
test-set-a/a14
test-set-a/a15
test-set-a/a16
test-set-a/a17
test-set-a/a18
test-set-a/a19
test-set-a/a20
test-set-a/a21
test-set-a/a22
test-set-a/a23
test-set-a/a24
test-set-a/a25
test-set-a/a26
test-set-a/a27
test-set-a/a28
test-set-a/a29
test-set-a/a30
test-set-b/b01
test-set-b/b02
test-set-b/b03
test-set-b/b04
test-set-b/b05
test-set-b/b06
test-set-b/b07
test-set-b/b08
test-set-b/b09
test-set-b/b10
test-set-b/b11
test-set-b/b12
test-set-b/b13
test-set-b/b14
test-set-b/b15
test-set-b/b16
test-set-b/b17
test-set-b/b18
test-set-b/b19
test-set-b/b20