Measure

Measure of hardness.

Time measure

'measure': {
    'slug': 'measure:time'
}

Conflicts measure

'measure': {
    'slug': 'measure:conflicts'
}

Propagations measure

'measure': {
    'slug': 'measure:propagations'
}

Learned literals measure

'measure': {
    'slug': 'measure:learned_literals'
}