Crafty 1.4.0

pts/crafty-1.4.0 - 07 February 2018 - Updated against Crafty 25.2 upstream, switch to reporting nodes per second.

downloads.xml

install.sh

results-definition.xml

test-definition.xml