/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE nats adx zeros zeros cons n__0 n__zeros incr cons X Y cons n__s activate X n__incr activate Y adx cons X Y incr cons activate X n__adx activate Y hd cons X Y activate X tl cons X Y activate Y 0 n__0 zeros n__zeros s X n__s X incr X n__incr X adx X n__adx X activate n__0 0 activate n__zeros zeros activate n__s X s X activate n__incr X incr X activate n__adx X adx X activate X X 2.2 activate n__zeros zeros activate n__adx X adx X adx cons X Y activate X nats adx zeros activate n__incr X incr X adx cons X Y incr cons activate X n__adx activate Y adx cons X Y activate Y incr cons X Y activate X nats zeros hd cons X Y activate X activate n__0 0 tl cons X Y activate Y incr cons X Y activate Y activate n__s X s X true tl cons X Y activate Y false nats adx zeros false hd cons X Y activate X false nats zeros false adx cons X Y activate Y adx cons X Y incr cons activate X n__adx activate Y incr cons X Y activate Y activate n__incr X incr X adx cons X Y activate X activate n__adx X adx X incr cons X Y activate X true adx 1 1 14681 0 0 0 incr 1 1 0 hd 1 0 nats 0 0 s 1 1 0 n__adx 1 1 14681 activate 1 1 0 n__zeros 0 23974 activate 1 1 0 adx 1 1 14681 zeros 0 23974 tl 1 0 n__s 1 1 0 0 0 0 zeros 0 0 s 1 0 tl 1 0 incr 1 1 0 n__0 0 0 hd 1 0 nats 0 0 cons 2 1 2 0 n__incr 1 1 0 incr cons X Y activate X activate n__adx X adx X activate n__incr X incr X incr cons X Y activate Y adx cons X Y incr cons activate X n__adx activate Y adx cons X Y incr cons activate X n__adx activate Y activate n__incr X incr X zeros n__zeros incr cons X Y cons n__s activate X n__incr activate Y activate n__adx X adx X activate X X incr X n__incr X 0 n__0 activate n__s X s X activate n__0 0 adx X n__adx X s X n__s X activate n__zeros zeros zeros cons n__0 n__zeros adx cons X Y incr cons activate X n__adx activate Y activate n__incr X incr X incr cons X Y activate Y incr cons X Y activate X activate n__adx X adx X true adx 1 1 36466 0 0 0 incr 1 1 0 hd 1 0 nats 0 0 s 1 0 n__adx 1 1 36466 activate 1 1 0 n__zeros 0 36467 activate 1 1 0 adx 1 1 36466 zeros 0 36467 tl 1 0 n__s 1 0 0 0 0 zeros 0 0 s 1 0 tl 1 0 incr 1 1 0 n__0 0 0 hd 1 0 nats 0 0 cons 2 1 36467 2 0 0 n__incr 1 1 0 activate n__adx X adx X incr cons X Y activate Y activate n__incr X incr X adx cons X Y incr cons activate X n__adx activate Y adx cons X Y incr cons activate X n__adx activate Y activate n__incr X incr X zeros n__zeros incr cons X Y cons n__s activate X n__incr activate Y activate n__adx X adx X activate X X incr X n__incr X 0 n__0 activate n__s X s X activate n__0 0 adx X n__adx X s X n__s X activate n__zeros zeros zeros cons n__0 n__zeros adx cons X Y incr cons activate X n__adx activate Y activate n__incr X incr X incr cons X Y activate Y activate n__adx X adx X true adx 1 13327 0 0 0 incr 1 870 hd 1 0 nats 0 0 s 1 2 n__adx 1 870 activate 1 1 n__zeros 0 12620 activate 1 1 12457 adx 1 869 zeros 0 2 tl 1 0 n__s 1 1 3 0 0 2 zeros 0 0 s 1 0 tl 1 0 incr 1 1 0 n__0 0 3 hd 1 0 nats 0 0 cons 2 2 12457 n__incr 1 1 871 activate n__adx X adx X incr cons X Y activate Y adx cons X Y incr cons activate X n__adx activate Y adx cons X Y incr cons activate X n__adx activate Y incr cons X Y activate Y activate n__adx X adx X true Failed! NaTT certifiable-1.6