/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/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 X activate n__adx X adx X activate n__zeros zeros activate X X 2.2 activate n__adx X adx X nats zeros adx cons X L activate L tail cons X L activate L nats adx zeros activate n__incr X incr X incr cons X L activate L adx cons X L incr cons X n__adx activate L activate n__zeros zeros true nats zeros false nats adx zeros false tail cons X L activate L false adx cons X L incr cons X n__adx activate L incr cons X L activate L activate n__incr X incr X adx cons X L activate L activate n__adx X adx X true adx 1 1 11293 incr 1 1 0 nats 0 0 s 1 1 1 n__adx 1 1 11293 activate 1 1 0 n__zeros 0 0 activate 1 1 0 head 1 0 adx 1 1 11293 zeros 0 0 tail 1 0 0 0 1 zeros 0 0 nil 0 33036 tail 1 0 incr 1 1 0 nats 0 0 head 1 0 cons 2 2 0 n__incr 1 1 0 activate n__adx X adx X activate n__incr X incr X incr cons X L activate L adx cons X L incr cons X n__adx activate L 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 X zeros n__zeros incr X n__incr X activate n__adx X adx 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 incr X activate n__adx X adx X incr cons X L activate L true adx 1 31847 incr 1 15923 nats 0 0 s 1 1 1 n__adx 1 15923 activate 1 0 n__zeros 0 1 activate 1 1 15924 head 1 0 adx 1 15922 zeros 0 0 tail 1 0 0 0 1 zeros 0 0 nil 0 0 tail 1 0 incr 1 1 0 nats 0 0 head 1 0 cons 2 2 15924 n__incr 1 1 0 incr cons X L activate L activate n__adx X adx X adx cons X L incr cons X n__adx activate L adx cons X L incr cons X n__adx activate L activate n__adx X adx X incr cons X L activate L true Failed! NaTT certifiable-1.6