/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE incr nil nil incr cons X L cons s X n__incr activate L adx nil nil adx cons X L incr cons X n__adx activate L nats adx zeros zeros cons 0 n__zeros head cons X L X tail cons X L activate L incr X n__incr X adx X n__adx X zeros n__zeros activate n__incr X incr activate X activate n__adx X adx activate X activate n__zeros zeros activate X X 2.2 activate n__adx X adx activate X activate n__zeros zeros tail cons X L activate L adx cons X L activate L nats adx zeros adx cons X L incr cons X n__adx activate L activate n__incr X activate X activate n__adx X activate X incr cons X L activate L nats zeros activate n__incr X incr activate X true nats zeros false tail cons X L activate L false nats adx zeros false activate n__incr X incr activate X incr cons X L activate L activate n__adx X activate X adx cons X L activate L activate n__incr X activate X adx cons X L incr cons X n__adx activate L activate n__adx X adx activate X true adx 1 1 30617 incr 1 1 0 nats 0 0 s 1 1 n__adx 1 1 30613 activate 1 1 0 n__zeros 0 60386 activate 1 1 4 head 1 0 adx 1 1 30613 zeros 0 60386 tail 1 0 0 0 1 zeros 0 0 nil 0 16304 tail 1 0 incr 1 1 4 nats 0 0 head 1 0 cons 2 2 0 n__incr 1 1 0 activate n__adx X adx activate X adx cons X L incr cons X n__adx activate L activate n__incr X activate X incr cons X L activate L activate n__incr X incr activate X adx cons X L incr cons X n__adx activate L activate X X incr nil nil adx nil nil adx X n__adx X activate n__zeros zeros activate n__incr X incr activate X zeros n__zeros incr X n__incr X activate n__adx X adx activate X zeros cons 0 n__zeros incr cons X L cons s X n__incr activate L adx cons X L incr cons X n__adx activate L activate n__incr X activate X activate n__incr X incr activate X activate n__adx X adx activate X incr cons X L activate L true Failed! NaTT certifiable-1.6