/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES active nats mark adx zeros active zeros mark cons 0 zeros active incr cons X Y mark cons s X incr Y active adx cons X Y mark incr cons X adx Y active hd cons X Y mark X active tl cons X Y mark Y mark nats active nats mark adx X active adx mark X mark zeros active zeros mark cons X1 X2 active cons X1 X2 mark 0 active 0 mark incr X active incr mark X mark s X active s X mark hd X active hd mark X mark tl X active tl mark X adx mark X adx X adx active X adx X cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 incr mark X incr X incr active X incr X s mark X s X s active X s X hd mark X hd X hd active X hd X tl mark X tl X tl active X tl X 2.2 active zeros cons 0 zeros active adx cons X Y cons X adx Y active incr cons X Y mark cons s X incr Y mark adx X active adx mark X active adx cons X Y incr cons X adx Y active adx cons X Y mark incr cons X adx Y mark adx X mark X mark tl X active tl mark X mark zeros active zeros mark tl X mark X mark hd X active hd mark X incr active X incr X mark incr X incr mark X adx active X adx X hd active X hd X cons mark X1 X2 cons X1 X2 mark incr X mark X active incr cons X Y s X mark hd X hd mark X active incr cons X Y cons s X incr Y cons X1 mark X2 cons X1 X2 active hd cons X Y mark X mark 0 active 0 mark tl X tl mark X mark incr X active incr mark X active nats mark adx zeros mark s X active s X active adx cons X Y adx Y adx mark X adx X incr mark X incr X active nats adx zeros cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 active incr cons X Y incr Y mark cons X1 X2 active cons X1 X2 hd mark X hd X mark adx X adx mark X tl mark X tl X s active X s X tl active X tl X active zeros mark cons 0 zeros s mark X s X mark hd X mark X active tl cons X Y mark Y mark nats active nats true mark nats active nats active tl cons X Y mark Y mark hd X mark X mark incr X mark X active zeros mark cons 0 zeros mark hd X active hd mark X mark cons X1 X2 active cons X1 X2 mark tl X mark X mark zeros active zeros mark tl X active tl mark X mark s X active s X mark adx X mark X active nats mark adx zeros active adx cons X Y mark incr cons X adx Y mark incr X active incr mark X mark adx X active adx mark X active incr cons X Y mark cons s X incr Y active hd cons X Y mark X true adx 1 0 incr 1 33955 hd 1 33955 cons 2 0 s 1 33954 adx 1 33955 zeros 0 33955 tl 1 0 mark 1 33955 0 0 33957 s 1 0 tl 1 33955 mark 1 33956 incr 1 0 hd 1 0 nats 0 33955 active 1 1 0 cons 2 33954 active 1 1 0 active hd cons X Y mark X active incr cons X Y mark cons s X incr Y mark adx X active adx mark X mark incr X active incr mark X active adx cons X Y mark incr cons X adx Y active nats mark adx zeros mark adx X mark X mark tl X active tl mark X mark zeros active zeros mark tl X mark X mark hd X active hd mark X active zeros mark cons 0 zeros mark incr X mark X mark hd X mark X active tl cons X Y mark Y mark nats active nats cons mark X1 X2 cons X1 X2 adx mark X adx X cons X1 active X2 cons X1 X2 hd mark X hd X cons X1 mark X2 cons X1 X2 adx active X adx X hd active X hd X incr mark X incr X tl mark X tl X cons active X1 X2 cons X1 X2 s active X s X incr active X incr X s mark X s X tl active X tl X active adx cons X Y mark incr cons X adx Y mark tl X mark X mark tl X active tl mark X mark adx X mark X mark adx X active adx mark X active nats mark adx zeros active incr cons X Y mark cons s X incr Y active hd cons X Y mark X mark nats active nats mark hd X mark X mark hd X active hd mark X mark incr X mark X mark incr X active incr mark X active tl cons X Y mark Y true adx 1 0 incr 1 1 0 hd 1 1 31598 cons 2 0 s 1 0 adx 1 1 29534 zeros 0 24766 tl 1 0 mark 1 1 0 0 0 0 s 1 0 tl 1 1 28224 mark 1 1 0 incr 1 0 hd 1 0 nats 0 54301 active 1 1 0 cons 2 1 2 0 active 1 1 0 mark incr X active incr mark X mark incr X mark X mark hd X active hd mark X mark nats active nats active incr cons X Y mark cons s X incr Y mark adx X active adx mark X mark tl X active tl mark X active adx cons X Y mark incr cons X adx Y cons mark X1 X2 cons X1 X2 active adx cons X Y mark incr cons X adx Y mark tl X active tl mark X mark adx X active adx mark X active nats mark adx zeros active incr cons X Y mark cons s X incr Y adx mark X adx X cons X1 active X2 cons X1 X2 hd mark X hd X cons X1 mark X2 cons X1 X2 adx active X adx X hd active X hd X incr mark X incr X tl mark X tl X active hd cons X Y mark X mark cons X1 X2 active cons X1 X2 mark nats active nats cons active X1 X2 cons X1 X2 s active X s X mark hd X active hd mark X mark incr X active incr mark X incr active X incr X s mark X s X mark 0 active 0 mark zeros active zeros mark s X active s X active tl cons X Y mark Y tl active X tl X active zeros mark cons 0 zeros active adx cons X Y mark incr cons X adx Y mark tl X active tl mark X mark adx X active adx mark X active incr cons X Y mark cons s X incr Y mark hd X active hd mark X mark incr X mark X mark incr X active incr mark X true adx 1 0 incr 1 1 0 hd 1 1 1 cons 2 0 s 1 0 adx 1 19507 zeros 0 15837 tl 1 0 mark 1 1 0 0 0 24389 s 1 0 tl 1 11650 mark 1 1 0 incr 1 0 hd 1 0 nats 0 19506 active 1 1 0 cons 2 0 active 1 0 mark incr X active incr mark X mark incr X mark X active incr cons X Y mark cons s X incr Y active adx cons X Y mark incr cons X adx Y cons mark X1 X2 cons X1 X2 adx mark X adx X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 adx active X adx X incr mark X incr X cons active X1 X2 cons X1 X2 incr active X incr X active adx cons X Y mark incr cons X adx Y active incr cons X Y mark cons s X incr Y mark incr X mark X mark incr X active incr mark X true adx 1 0 incr 1 29358 hd 1 29021 cons 2 0 s 1 27857 adx 1 29359 zeros 0 0 tl 1 0 mark 1 29358 0 0 5599 s 1 0 tl 1 41476 mark 1 1 1 incr 1 0 hd 1 0 nats 0 13214 active 1 1 1 cons 2 2 0 active 1 1 0 mark incr X active incr mark X mark incr X mark X active incr cons X Y mark cons s X incr Y cons mark X1 X2 cons X1 X2 adx mark X adx X cons X1 active X2 cons X1 X2 hd mark X hd X cons X1 mark X2 cons X1 X2 adx active X adx X hd active X hd X incr mark X incr X tl mark X tl X cons active X1 X2 cons X1 X2 s active X s X incr active X incr X s mark X s X tl active X tl X active incr cons X Y mark cons s X incr Y mark incr X mark X mark incr X active incr mark X true adx 1 0 incr 1 1 42903 hd 1 1 cons 2 0 s 1 2805 adx 1 11577 zeros 0 42899 tl 1 0 mark 1 1 0 0 0 3024 s 1 0 tl 1 1 26356 mark 1 1 46517 incr 1 0 hd 1 0 nats 0 11575 active 1 1 46518 cons 2 42901 active 1 42902 cons mark X1 X2 cons X1 X2 adx mark X adx X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 adx active X adx X incr mark X incr X cons active X1 X2 cons X1 X2 incr active X incr X mark nats active nats false mark zeros active zeros false active zeros mark cons 0 zeros false mark 0 active 0 false mark incr X incr mark X false active zeros cons 0 zeros false mark hd X hd mark X false hd active X hd X hd mark X hd X true adx 1 0 incr 1 1 2 hd 1 1 cons 2 0 s 1 2805 adx 1 3 zeros 0 1 tl 1 0 mark 1 1 0 0 0 44080 s 1 0 tl 1 1 36404 mark 1 1 46517 incr 1 0 hd 1 1 0 nats 0 1 active 1 1 46518 cons 2 3 active 1 42902 cons mark X1 X2 cons X1 X2 adx mark X adx X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 adx active X adx X incr mark X incr X cons active X1 X2 cons X1 X2 incr active X incr X active incr cons X Y cons s X incr Y false active incr cons X Y s X false s mark X s X s active X s X true adx 1 0 incr 1 1 38809 hd 1 5969 cons 2 0 s 1 2805 adx 1 42387 zeros 0 3578 tl 1 0 mark 1 1 0 0 0 17644 s 1 1 0 tl 1 1 38368 mark 1 1 46517 incr 1 0 hd 1 0 nats 0 42385 active 1 1 46518 cons 2 3580 active 1 42902 cons mark X1 X2 cons X1 X2 adx mark X adx X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 adx active X adx X incr mark X incr X cons active X1 X2 cons X1 X2 incr active X incr X active incr cons X Y incr Y false active nats adx zeros false mark adx X adx mark X false active adx cons X Y incr cons X adx Y false incr active X incr X incr mark X incr X true adx 1 0 incr 1 1 977 hd 1 41777 cons 2 0 s 1 2805 adx 1 38484 zeros 0 32528 tl 1 0 mark 1 1 0 0 0 17644 s 1 0 tl 1 1 29596 mark 1 1 46517 incr 1 1 0 hd 1 0 nats 0 38482 active 1 1 46518 cons 2 37509 active 1 42902 cons mark X1 X2 cons X1 X2 adx mark X adx X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 adx active X adx X incr mark X incr X cons active X1 X2 cons X1 X2 incr active X incr X active adx cons X Y cons X adx Y false cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 true adx 1 0 incr 1 1 28236 hd 1 14264 cons 2 2 0 s 1 18292 adx 1 29299 zeros 0 1063 tl 1 0 mark 1 1 0 0 0 37662 s 1 0 tl 1 1 57534 mark 1 1 46517 incr 1 0 hd 1 0 nats 0 1 active 1 1 46518 cons 2 1065 active 1 42902 cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 adx mark X adx X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 adx active X adx X incr mark X incr X cons active X1 X2 cons X1 X2 incr active X incr X cons mark X1 X2 cons X1 X2 cons active X1 X2 cons X1 X2 true adx 1 0 incr 1 1 10733 hd 1 41701 cons 2 1 0 s 1 48563 adx 1 10734 zeros 0 1 tl 1 0 mark 1 1 0 0 0 60627 s 1 0 tl 1 1 23842 mark 1 1 23975 incr 1 0 hd 1 0 nats 0 10732 active 1 1 23976 cons 2 3 active 1 42902 cons mark X1 X2 cons X1 X2 adx mark X adx X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 adx active X adx X incr mark X incr X cons active X1 X2 cons X1 X2 incr active X incr X active adx cons X Y adx Y false adx active X adx X adx mark X adx X true adx 1 1 0 incr 1 1 10733 hd 1 1 cons 2 0 s 1 1 adx 1 8857 zeros 0 22882 tl 1 0 mark 1 1 0 0 0 1 s 1 0 tl 1 1 40096 mark 1 1 1 incr 1 0 hd 1 0 nats 0 8855 active 1 1 2 cons 2 22884 active 1 42902 cons mark X1 X2 cons X1 X2 adx mark X adx X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 adx active X adx X incr mark X incr X cons active X1 X2 cons X1 X2 incr active X incr X mark tl X tl mark X false tl active X tl X tl mark X tl X true adx 1 0 incr 1 1 47313 hd 1 35937 cons 2 0 s 1 1800 adx 1 47315 zeros 0 2 tl 1 1 0 mark 1 1 0 0 0 36060 s 1 0 tl 1 1 18436 mark 1 1 1 incr 1 0 hd 1 0 nats 0 47313 active 1 1 2 cons 2 4 active 1 42902 cons mark X1 X2 cons X1 X2 adx mark X adx X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 adx active X adx X incr mark X incr X cons active X1 X2 cons X1 X2 incr active X incr X NaTT certifiable-1.6