/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE pairNs cons 0 n__incr n__oddNs oddNs incr pairNs incr cons X XS cons s X n__incr activate XS take 0 XS nil take s N cons X XS cons X n__take N activate XS zip nil XS nil zip X nil nil zip cons X XS cons Y YS cons pair X Y n__zip activate XS activate YS tail cons X XS activate XS repItems nil nil repItems cons X XS cons X n__cons X n__repItems activate XS incr X n__incr X oddNs n__oddNs take X1 X2 n__take X1 X2 zip X1 X2 n__zip X1 X2 cons X1 X2 n__cons X1 X2 repItems X n__repItems X activate n__incr X incr activate X activate n__oddNs oddNs activate n__take X1 X2 take activate X1 activate X2 activate n__zip X1 X2 zip activate X1 activate X2 activate n__cons X1 X2 cons activate X1 X2 activate n__repItems X repItems activate X activate X X 2.2 oddNs pairNs activate n__repItems X repItems activate X activate n__cons X1 X2 cons activate X1 X2 activate n__take X1 X2 activate X1 take s N cons X XS cons X n__take N activate XS zip cons X XS cons Y YS activate YS zip cons X XS cons Y YS activate XS take s N cons X XS activate XS activate n__cons X1 X2 activate X1 activate n__incr X incr activate X incr cons X XS activate XS activate n__repItems X activate X activate n__take X1 X2 activate X2 repItems cons X XS activate XS zip cons X XS cons Y YS cons pair X Y n__zip activate XS activate YS activate n__zip X1 X2 activate X1 incr cons X XS cons s X n__incr activate XS activate n__incr X activate X pairNs cons 0 n__incr n__oddNs activate n__zip X1 X2 zip activate X1 activate X2 tail cons X XS activate XS oddNs incr pairNs activate n__take X1 X2 take activate X1 activate X2 activate n__oddNs oddNs repItems cons X XS cons X n__cons X n__repItems activate XS activate n__zip X1 X2 activate X2 true tail cons X XS activate XS false activate n__zip X1 X2 activate X2 activate n__incr X incr activate X activate n__cons X1 X2 activate X1 activate n__oddNs oddNs take s N cons X XS activate XS activate n__take X1 X2 take activate X1 activate X2 oddNs incr pairNs zip cons X XS cons Y YS activate XS zip cons X XS cons Y YS activate YS activate n__zip X1 X2 zip activate X1 activate X2 activate n__incr X activate X activate n__take X1 X2 activate X1 activate n__zip X1 X2 activate X1 activate n__repItems X repItems activate X repItems cons X XS activate XS activate n__take X1 X2 activate X2 activate n__repItems X activate X incr cons X XS activate XS true repItems 1 1 15923 incr 1 1 0 cons 2 0 s 1 1 0 n__oddNs 0 41085 take 2 2 20539 0 activate 1 1 0 take 2 1 20540 2 20539 0 pairNs 0 0 pair 2 0 activate 1 1 1 zip 2 1 11596 2 20542 0 tail 1 0 0 0 20544 n__take 2 1 20540 2 20539 0 n__cons 2 1 20541 2 0 0 nil 0 41084 tail 1 0 incr 1 1 1 n__zip 2 1 41083 2 20541 0 pairNs 0 41085 oddNs 0 41086 oddNs 0 41085 n__repItems 1 1 15923 repItems 1 1 2 cons 2 1 20541 2 0 0 n__incr 1 1 0 zip 2 1 41083 2 20541 0 incr cons X XS activate XS activate n__incr X activate X activate n__zip X1 X2 zip activate X1 activate X2 oddNs incr pairNs activate n__oddNs oddNs activate n__incr X incr activate X activate n__incr X incr activate X take 0 XS nil zip X1 X2 n__zip X1 X2 zip cons X XS cons Y YS cons pair X Y n__zip activate XS activate YS pairNs cons 0 n__incr n__oddNs incr cons X XS cons s X n__incr activate XS cons X1 X2 n__cons X1 X2 activate n__zip X1 X2 zip activate X1 activate X2 activate n__oddNs oddNs repItems X n__repItems X activate n__cons X1 X2 cons activate X1 X2 take s N cons X XS cons X n__take N activate XS repItems nil nil zip X nil nil activate n__take X1 X2 take activate X1 activate X2 take X1 X2 n__take X1 X2 incr X n__incr X activate n__repItems X repItems activate X activate X X repItems cons X XS cons X n__cons X n__repItems activate XS oddNs n__oddNs zip nil XS nil oddNs incr pairNs activate n__incr X activate X activate n__incr X incr activate X incr cons X XS activate XS activate n__oddNs oddNs oddNs incr pairNs true Failed! NaTT certifiable-1.6