/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 incr L adx nil nil adx cons X L incr cons X adx L nats adx zeros zeros cons 0 zeros head cons X L X tail cons X L L 2.2 zeros zeros adx cons X L adx L adx cons X L incr cons X adx L nats adx zeros incr cons X L incr L nats zeros true nats zeros false nats adx zeros false adx cons X L adx L true adx 1 1 0 incr 1 0 nats 0 0 s 1 0 head 1 0 adx 1 0 zeros 0 0 tail 1 0 0 0 0 zeros 0 0 nil 0 0 tail 1 0 incr 1 0 nats 0 0 head 1 0 cons 2 2 1 adx cons X L incr cons X adx L false incr cons X L incr L true adx 1 0 incr 1 0 nats 0 0 s 1 0 head 1 0 adx 1 0 zeros 0 0 tail 1 0 0 0 0 zeros 0 0 nil 0 0 tail 1 0 incr 1 1 0 nats 0 0 head 1 0 cons 2 2 1 zeros zeros true Failed! NaTT certifiable-1.6