/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/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 active adx X adx active X active incr X incr active X active hd X hd active X active tl X tl active X adx mark X mark adx X incr mark X mark incr X hd mark X mark hd X tl mark X mark tl X proper nats ok nats proper adx X adx proper X proper zeros ok zeros proper cons X1 X2 cons proper X1 proper X2 proper 0 ok 0 proper incr X incr proper X proper s X s proper X proper hd X hd proper X proper tl X tl proper X adx ok X ok adx X cons ok X1 ok X2 ok cons X1 X2 incr ok X ok incr X s ok X ok s X hd ok X ok hd X tl ok X ok tl X top mark X top proper X top ok X top active X 2.2 tl ok X tl X proper cons X1 X2 proper X2 proper s X proper X active nats adx zeros proper cons X1 X2 proper X1 proper cons X1 X2 cons proper X1 proper X2 active incr X active X active adx cons X Y incr cons X adx Y adx mark X adx X active adx cons X Y adx Y tl mark X tl X proper tl X proper X top ok X top active X proper hd X hd proper X hd ok X hd X top ok X active X proper adx X proper X top mark X top proper X proper adx X adx proper X proper hd X proper X active adx X active X adx ok X adx X active adx cons X Y cons X adx Y incr mark X incr X active incr cons X Y s X active hd X active X proper s X s proper X active tl X active X active incr cons X Y incr Y incr ok X incr X proper incr X incr proper X active incr cons X Y cons s X incr Y active adx X adx active X s ok X s X active incr X incr active X active tl X tl active X cons ok X1 ok X2 cons X1 X2 hd mark X hd X active zeros cons 0 zeros proper tl X tl proper X top mark X proper X active hd X hd active X proper incr X proper X true top mark X top proper X top ok X top active X true top 1 1 top 1 1 tl 1 1 proper 1 1 ok 1 1 active 1 1 adx 1 0 incr 1 2 1 hd 1 6 1 cons 2 0 s 1 2 adx 1 3 1 zeros 0 4 0 0 4 s 1 0 tl 1 6 1 mark 1 1 1 incr 1 0 proper 1 0 hd 1 0 nats 0 7 cons 2 3 active 1 0 adx 1 1 incr 1 1 0 hd 1 1 1 cons 2 2 1 s 1 0 adx 1 1 1 zeros 0 0 0 0 0 s 1 1 tl 1 1 35495 mark 1 1 0 incr 1 1 proper 1 1 hd 1 1 nats 0 1 cons 2 1 2 0 active 1 1 top ok X top active X proper cons X1 X2 cons proper X1 proper X2 active adx cons X Y mark incr cons X adx Y proper nats ok nats active incr X incr active X active nats mark adx zeros active incr cons X Y mark cons s X incr Y proper adx X adx proper X proper s X s proper X incr ok X ok incr X proper 0 ok 0 proper zeros ok zeros s ok X ok s X proper hd X hd proper X hd ok X ok hd X active hd cons X Y mark X active tl X tl active X active adx X adx active X proper incr X incr proper X cons ok X1 ok X2 ok cons X1 X2 tl mark X mark tl X incr mark X mark incr X proper tl X tl proper X adx ok X ok adx X adx mark X mark adx X active hd X hd active X hd mark X mark hd X active tl cons X Y mark Y tl ok X ok tl X active zeros mark cons 0 zeros top ok X top active X true adx 1 0 incr 1 1 0 hd 1 1 0 cons 2 0 s 1 2 top 1 0 top 1 1 0 adx 1 1 0 zeros 0 1 tl 1 0 proper 1 2 ok 1 2 0 0 1 s 1 0 tl 1 1 0 mark 1 1 incr 1 0 proper 1 0 hd 1 0 nats 0 1 active 1 1 cons 2 2 active 1 0 proper cons X1 X2 cons proper X1 proper X2 active adx cons X Y mark incr cons X adx Y proper nats ok nats active incr X incr active X active nats mark adx zeros active incr cons X Y mark cons s X incr Y proper adx X adx proper X proper s X s proper X incr ok X ok incr X proper 0 ok 0 proper zeros ok zeros s ok X ok s X proper hd X hd proper X hd ok X ok hd X active hd cons X Y mark X active tl X tl active X active adx X adx active X proper incr X incr proper X cons ok X1 ok X2 ok cons X1 X2 tl mark X mark tl X incr mark X mark incr X proper tl X tl proper X adx ok X ok adx X adx mark X mark adx X active hd X hd active X hd mark X mark hd X active tl cons X Y mark Y tl ok X ok tl X active zeros mark cons 0 zeros top ok X active X false top mark X proper X false proper incr X proper X proper hd X proper X proper adx X proper X proper tl X proper X proper cons X1 X2 proper X1 proper s X proper X proper cons X1 X2 proper X2 true adx 1 0 incr 1 1 1 hd 1 1 1 cons 2 0 s 1 1 1 top 1 0 top 1 0 adx 1 1 1 zeros 0 1 tl 1 0 proper 1 14522 ok 1 14523 0 0 2805 s 1 0 tl 1 1 1 mark 1 49472 incr 1 0 proper 1 1 0 hd 1 0 nats 0 1 active 1 49471 cons 2 1 2 3024 active 1 0 cons ok X1 ok X2 ok cons X1 X2 adx ok X ok adx X adx mark X mark adx X proper tl X tl proper X false proper incr X incr proper X false proper hd X hd proper X false proper s X s proper X false proper adx X adx proper X false proper cons X1 X2 cons proper X1 proper X2 false active tl X active X active hd X active X active incr X active X active adx X active X true adx 1 0 incr 1 1 1 hd 1 1 1 cons 2 0 s 1 1 11575 top 1 0 top 1 0 adx 1 1 1 zeros 0 1 tl 1 0 proper 1 1 ok 1 2 0 0 1 s 1 0 tl 1 1 1 mark 1 2 incr 1 0 proper 1 0 hd 1 0 nats 0 1 active 1 1 cons 2 1 2 1 active 1 1 0 cons ok X1 ok X2 ok cons X1 X2 adx ok X ok adx X adx mark X mark adx X active zeros cons 0 zeros false active hd X hd active X false hd ok X hd X hd mark X hd X true adx 1 0 incr 1 1 1 hd 1 1 1 cons 2 0 s 1 1 16266 top 1 0 top 1 0 adx 1 1 24324 zeros 0 14923 tl 1 0 proper 1 1 ok 1 1 2 0 0 47966 s 1 0 tl 1 1 6812 mark 1 1 12064 incr 1 0 proper 1 0 hd 1 1 0 nats 0 0 active 1 1 cons 2 1 2 0 active 1 0 cons ok X1 ok X2 ok cons X1 X2 adx ok X ok adx X adx mark X mark adx X active adx X adx active X false active tl X tl active X false tl mark X tl X tl ok X tl X true adx 1 0 incr 1 1 1 hd 1 1 15047 cons 2 0 s 1 1 25532 top 1 0 top 1 0 adx 1 1 1 zeros 0 47040 tl 1 1 0 proper 1 61407 ok 1 1 61408 0 0 1 s 1 0 tl 1 1 26531 mark 1 1 12064 incr 1 0 proper 1 0 hd 1 0 nats 0 0 active 1 1 cons 2 1 2 0 active 1 0 cons ok X1 ok X2 ok cons X1 X2 adx ok X ok adx X adx mark X mark adx X active incr cons X Y cons s X incr Y false active incr cons X Y s X false s ok X s X true adx 1 0 incr 1 1 1 hd 1 1 15047 cons 2 0 s 1 1 9245 top 1 0 top 1 0 adx 1 1 1 zeros 0 13825 tl 1 0 proper 1 1 ok 1 1 3 0 0 40748 s 1 1 0 tl 1 1 1 mark 1 1 72167 incr 1 0 proper 1 0 hd 1 0 nats 0 0 active 1 60104 cons 2 1 2 0 active 1 0 cons ok X1 ok X2 ok cons X1 X2 adx ok X ok adx X adx mark X mark adx X active incr cons X Y incr Y false active nats adx zeros false active incr X incr active X false active adx cons X Y incr cons X adx Y false incr ok X incr X incr mark X incr X true adx 1 0 incr 1 1 1 hd 1 1 10114 cons 2 0 s 1 9246 top 1 0 top 1 0 adx 1 1 1184 zeros 0 1 tl 1 0 proper 1 1 ok 1 1 2 0 0 29503 s 1 0 tl 1 1 1 mark 1 1 12064 incr 1 1 0 proper 1 0 hd 1 0 nats 0 0 active 1 1 cons 2 1 2 0 active 1 0 cons ok X1 ok X2 ok cons X1 X2 adx ok X ok adx X adx mark X mark adx X active adx cons X Y cons X adx Y false cons ok X1 ok X2 cons X1 X2 true adx 1 0 incr 1 1 1 hd 1 1 10114 cons 2 1 0 s 1 2 top 1 0 top 1 0 adx 1 1 1 zeros 0 1 tl 1 0 proper 1 1 ok 1 1 2 0 0 57122 s 1 0 tl 1 1 1 mark 1 1 28256 incr 1 0 proper 1 0 hd 1 0 nats 0 0 active 1 1 cons 2 1 2 0 active 1 0 cons ok X1 ok X2 ok cons X1 X2 adx ok X ok adx X adx mark X mark adx X active adx cons X Y adx Y false adx mark X adx X adx ok X adx X true adx 1 1 0 incr 1 1 1 hd 1 1 32157 cons 2 0 s 1 2 top 1 0 top 1 0 adx 1 1 19912 zeros 0 1 tl 1 0 proper 1 1 ok 1 1 13477 0 0 1 s 1 0 tl 1 1 6437 mark 1 1 28256 incr 1 0 proper 1 0 hd 1 0 nats 0 0 active 1 1 cons 2 1 2 0 active 1 0 cons ok X1 ok X2 ok cons X1 X2 adx ok X ok adx X adx mark X mark adx X NaTT certifiable-1.6