/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES a__nats a__adx a__zeros a__zeros cons 0 zeros a__incr cons X Y cons s X incr Y a__adx cons X Y a__incr cons X adx Y a__hd cons X Y mark X a__tl cons X Y mark Y mark nats a__nats mark adx X a__adx mark X mark zeros a__zeros mark incr X a__incr mark X mark hd X a__hd mark X mark tl X a__tl mark X mark cons X1 X2 cons X1 X2 mark 0 0 mark s X s X a__nats nats a__adx X adx X a__zeros zeros a__incr X incr X a__hd X hd X a__tl X tl X 2.2 mark zeros a__zeros mark tl X mark X mark adx X a__adx mark X mark incr X mark X a__nats a__adx a__zeros a__nats a__zeros mark adx X mark X mark nats a__nats a__hd cons X Y mark X mark tl X a__tl mark X mark hd X a__hd mark X a__tl cons X Y mark Y mark incr X a__incr mark X a__adx cons X Y a__incr cons X adx Y mark hd X mark X true mark hd X mark X mark adx X mark X a__tl cons X Y mark Y mark hd X a__hd mark X mark incr X mark X mark tl X mark X mark tl X a__tl mark X a__hd cons X Y mark X true incr 1 1 0 hd 1 1 70134 s 1 0 a__incr 1 1 0 a__tl 1 1 0 a__nats 0 70415 adx 1 1 1 zeros 0 26391 a__hd 1 1 70134 a__adx 1 0 mark 1 1 0 0 0 44022 a__zeros 0 0 tl 1 1 70134 a__nats 0 0 mark 1 1 70133 a__adx 1 1 1 nats 0 282 a__hd 1 1 0 a__incr 1 0 cons 2 1 2 1 a__tl 1 1 70134 a__zeros 0 70414 mark incr X mark X a__zeros zeros a__adx cons X Y a__incr cons X adx Y mark s X s X mark adx X a__adx mark X a__nats a__adx a__zeros a__incr cons X Y cons s X incr Y a__nats nats a__tl X tl X a__incr X incr X a__adx X adx X a__hd cons X Y mark X mark incr X a__incr mark X mark nats a__nats a__hd X hd X mark 0 0 mark tl X a__tl mark X mark hd X a__hd mark X mark zeros a__zeros mark cons X1 X2 cons X1 X2 a__tl cons X Y mark Y a__zeros cons 0 zeros mark incr X mark X true incr 1 1 1 hd 1 1 2 s 1 1 16909 a__incr 1 16909 a__tl 1 0 a__nats 0 0 adx 1 1 zeros 0 16910 a__hd 1 1 1 a__adx 1 0 mark 1 1 0 0 0 16909 a__zeros 0 0 tl 1 70134 a__nats 0 0 mark 1 16908 a__adx 1 1 0 nats 0 282 a__hd 1 0 a__incr 1 0 cons 2 16909 a__tl 1 16907 a__zeros 0 16909 mark incr X a__incr mark X false mark adx X a__adx mark X false mark nats a__nats false a__nats a__adx a__zeros false a__adx cons X Y a__incr cons X adx Y false a__nats a__zeros false mark zeros a__zeros false NaTT certifiable-1.6