/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES a__nats cons 0 incr nats a__pairs cons 0 incr odds a__odds a__incr a__pairs a__incr cons X XS cons s mark X incr XS a__head cons X XS mark X a__tail cons X XS mark XS mark nats a__nats mark incr X a__incr mark X mark pairs a__pairs mark odds a__odds mark head X a__head mark X mark tail X a__tail mark X mark cons X1 X2 cons mark X1 X2 mark 0 0 mark s X s mark X a__nats nats a__incr X incr X a__pairs pairs a__odds odds a__head X head X a__tail X tail X 2.2 mark cons X1 X2 mark X1 mark tail X a__tail mark X mark incr X a__incr mark X mark odds a__odds a__odds a__incr a__pairs a__odds a__pairs mark incr X mark X mark tail X mark X a__head cons X XS mark X mark head X mark X a__incr cons X XS mark X mark pairs a__pairs a__tail cons X XS mark XS mark nats a__nats mark s X mark X mark head X a__head mark X true mark head X a__head mark X mark incr X mark X mark s X mark X a__tail cons X XS mark XS a__incr cons X XS mark X a__odds a__incr a__pairs mark odds a__odds mark incr X a__incr mark X mark tail X a__tail mark X mark head X mark X a__head cons X XS mark X mark tail X mark X mark cons X1 X2 mark X1 true incr 1 1 0 s 1 1 0 a__head 1 1 1 a__incr 1 1 0 pairs 0 19496 a__nats 0 41990 a__pairs 0 0 a__odds 0 19496 tail 1 1 2 mark 1 1 0 0 0 0 odds 0 19496 a__nats 0 0 mark 1 1 0 nats 0 41990 a__incr 1 1 0 head 1 1 869 cons 2 1 2 0 a__odds 0 19496 a__pairs 0 19496 a__tail 1 1 2 a__tail 1 1 1 a__head 1 1 869 mark cons X1 X2 mark X1 mark incr X a__incr mark X mark odds a__odds a__odds a__incr a__pairs a__incr cons X XS mark X mark s X mark X mark incr X mark X a__pairs pairs a__incr cons X XS cons s mark X incr XS mark s X s mark X mark incr X a__incr mark X a__nats cons 0 incr nats a__odds a__incr a__pairs a__nats nats a__tail X tail X a__odds odds a__incr X incr X a__head cons X XS mark X mark odds a__odds mark nats a__nats a__head X head X mark 0 0 mark tail X a__tail mark X mark head X a__head mark X mark pairs a__pairs mark cons X1 X2 cons mark X1 X2 a__tail cons X XS mark XS a__pairs cons 0 incr odds a__incr cons X XS mark X mark s X mark X mark incr X mark X mark incr X a__incr mark X a__odds a__incr a__pairs mark odds a__odds mark cons X1 X2 mark X1 true incr 1 1 0 s 1 1 0 a__head 1 0 a__incr 1 1 0 pairs 0 25151 a__nats 0 25151 a__pairs 0 0 a__odds 0 25151 tail 1 1 1 mark 1 1 15923 0 0 9227 odds 0 25151 a__nats 0 0 mark 1 1 0 nats 0 25151 a__incr 1 1 0 head 1 1 46823 cons 2 1 15924 2 0 0 a__odds 0 25152 a__pairs 0 25151 a__tail 1 1 1 a__tail 1 0 a__head 1 1 46823 mark incr X mark X mark s X mark X a__pairs pairs a__incr cons X XS cons s mark X incr XS mark s X s mark X mark incr X a__incr mark X a__nats cons 0 incr nats a__odds a__incr a__pairs a__nats nats a__tail X tail X a__odds odds a__incr X incr X a__head cons X XS mark X mark odds a__odds mark nats a__nats a__head X head X mark 0 0 mark tail X a__tail mark X mark head X a__head mark X mark pairs a__pairs mark cons X1 X2 cons mark X1 X2 a__tail cons X XS mark XS a__pairs cons 0 incr odds mark s X mark X mark incr X mark X true incr 1 1 4 s 1 1 1 a__head 1 1 a__incr 1 3 pairs 0 3 a__nats 0 2 a__pairs 0 0 a__odds 0 2 tail 1 3 mark 1 1 0 0 0 2 odds 0 3 a__nats 0 0 mark 1 1 nats 0 0 a__incr 1 0 head 1 1 1 cons 2 4 a__odds 0 0 a__pairs 0 2 a__tail 1 2 a__tail 1 1 a__head 1 0 mark pairs a__pairs false mark nats a__nats false a__odds a__pairs false NaTT certifiable-1.6