/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES active nats mark cons 0 incr nats active pairs mark cons 0 incr odds active odds mark incr pairs active incr cons X XS mark cons s X incr XS active head cons X XS mark X active tail cons X XS mark XS mark nats active nats mark cons X1 X2 active cons mark X1 X2 mark 0 active 0 mark incr X active incr mark X mark pairs active pairs mark odds active odds mark s X active s mark X mark head X active head mark X mark tail X active tail mark 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 head mark X head X head active X head X tail mark X tail X tail active X tail X 2.2 active pairs cons 0 incr odds active incr cons X XS s X cons mark X1 X2 cons X1 X2 mark cons X1 X2 active cons mark X1 X2 active incr cons X XS cons s X incr XS active incr cons X XS mark cons s X incr XS mark cons X1 X2 mark X1 mark tail X active tail mark X mark s X s mark X mark tail X mark X mark head X active head mark X mark pairs active pairs s active X s X tail active X tail X s mark X s X cons active X1 X2 cons X1 X2 mark odds active odds active odds incr pairs mark head X head mark X active odds mark incr pairs cons X1 mark X2 cons X1 X2 mark incr X incr mark X mark s X mark X mark tail X tail mark X head mark X head X active nats cons 0 incr nats mark s X active s mark X active incr cons X XS incr XS incr active X incr X active head cons X XS mark X active nats incr nats tail mark X tail X incr mark X incr X active nats mark cons 0 incr nats mark incr X active incr mark X cons X1 active X2 cons X1 X2 mark cons X1 X2 cons mark X1 X2 mark incr X mark X head active X head X active pairs incr odds active pairs mark cons 0 incr odds mark 0 active 0 mark head X mark X active tail cons X XS mark XS mark nats active nats true mark nats active nats active tail cons X XS mark XS active odds mark incr pairs mark head X mark X mark odds active odds active pairs mark cons 0 incr odds mark incr X mark X mark pairs active pairs mark head X active head mark X active nats mark cons 0 incr nats mark incr X active incr mark X mark tail X mark X mark tail X active tail mark X active head cons X XS mark X mark s X active s mark X mark cons X1 X2 mark X1 active incr cons X XS mark cons s X incr XS mark s X mark X mark cons X1 X2 active cons mark X1 X2 true incr 1 2 cons 2 0 s 1 1 pairs 0 2 head 1 0 tail 1 2 mark 1 2 0 0 4 s 1 0 odds 0 2 tail 1 0 mark 1 3 incr 1 0 nats 0 2 active 1 1 0 head 1 2 cons 2 1 active 1 1 0 mark s X mark X active incr cons X XS mark cons s X incr XS mark cons X1 X2 mark X1 active head cons X XS mark X mark tail X active tail mark X mark tail X mark X mark incr X active incr mark X active nats mark cons 0 incr nats mark head X active head mark X mark pairs active pairs mark incr X mark X active pairs mark cons 0 incr odds mark odds active odds mark head X mark X active odds mark incr pairs active tail cons X XS mark XS mark nats active nats cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 incr active X incr X tail mark X tail X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 tail active X tail X s mark X s X incr mark X incr X head active X head X s active X s X head mark X head X active incr cons X XS mark cons s X incr XS mark tail X mark X mark tail X active tail mark X mark cons X1 X2 mark X1 active nats mark cons 0 incr nats active odds mark incr pairs active head cons X XS mark X mark incr X mark X mark incr X active incr mark X mark nats active nats mark head X mark X mark head X active head mark X mark odds active odds mark pairs active pairs mark s X mark X active tail cons X XS mark XS active pairs mark cons 0 incr odds true incr 1 1 0 cons 2 0 s 1 1 0 pairs 0 24479 head 1 0 tail 1 1 21238 mark 1 1 0 0 0 0 s 1 0 odds 0 24479 tail 1 0 mark 1 1 0 incr 1 0 nats 0 42151 active 1 1 0 head 1 1 12457 cons 2 1 2 0 active 1 1 0 active pairs mark cons 0 incr odds mark s X mark X mark pairs active pairs mark odds active odds mark head X active head mark X mark nats active nats mark incr X active incr mark X mark incr X mark X active odds mark incr pairs active nats mark cons 0 incr nats mark cons X1 X2 mark X1 mark tail X active tail mark X active incr cons X XS mark cons s X incr XS cons active X1 X2 cons X1 X2 active incr cons X XS mark cons s X incr XS mark tail X active tail mark X mark cons X1 X2 active cons mark X1 X2 active nats mark cons 0 incr nats active odds mark incr pairs cons mark X1 X2 cons X1 X2 incr active X incr X tail mark X tail X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 tail active X tail X s mark X s X active head cons X XS mark X mark incr X active incr mark X mark nats active nats incr mark X incr X head active X head X mark head X active head mark X mark odds active odds s active X s X head mark X head X mark pairs active pairs mark 0 active 0 mark s X active s mark X active tail cons X XS mark XS active pairs mark cons 0 incr odds active incr cons X XS mark cons s X incr XS mark tail X active tail mark X mark cons X1 X2 mark X1 active nats mark cons 0 incr nats active odds mark incr pairs mark incr X mark X mark incr X active incr mark X mark nats active nats mark head X active head mark X mark odds active odds mark pairs active pairs mark s X mark X active pairs mark cons 0 incr odds true incr 1 32798 cons 2 0 s 1 1 pairs 0 32798 head 1 0 tail 1 1 mark 1 32798 0 0 1 s 1 0 odds 0 32798 tail 1 0 mark 1 1 incr 1 0 nats 0 32798 active 1 1 head 1 12213 cons 2 1 active 1 1 0 active pairs mark cons 0 incr odds mark s X mark X mark pairs active pairs mark odds active odds mark nats active nats mark incr X active incr mark X mark incr X mark X active odds mark incr pairs active nats mark cons 0 incr nats mark cons X1 X2 mark X1 active incr cons X XS mark cons s X incr XS cons active X1 X2 cons X1 X2 active incr cons X XS mark cons s X incr XS mark tail X active tail mark X mark cons X1 X2 active cons mark X1 X2 active nats mark cons 0 incr nats active odds mark incr pairs cons mark X1 X2 cons X1 X2 incr active X incr X tail mark X tail X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 tail active X tail X s mark X s X active head cons X XS mark X mark incr X active incr mark X mark nats active nats incr mark X incr X head active X head X mark head X active head mark X mark odds active odds s active X s X head mark X head X mark pairs active pairs mark 0 active 0 mark s X active s mark X active tail cons X XS mark XS active pairs mark cons 0 incr odds active incr cons X XS mark cons s X incr XS mark cons X1 X2 mark X1 active nats mark cons 0 incr nats active odds mark incr pairs mark incr X mark X mark incr X active incr mark X mark nats active nats mark odds active odds mark pairs active pairs mark s X mark X active pairs mark cons 0 incr odds true incr 1 1 0 cons 2 0 s 1 1 0 pairs 0 14221 head 1 0 tail 1 1 10451 mark 1 1 0 0 0 14219 s 1 0 odds 0 14221 tail 1 0 mark 1 1 0 incr 1 0 nats 0 14221 active 1 1 0 head 1 1 62898 cons 2 1 1 2 0 0 active 1 1 0 active pairs mark cons 0 incr odds mark s X mark X mark pairs active pairs mark odds active odds mark nats active nats mark incr X active incr mark X mark incr X mark X active odds mark incr pairs active nats mark cons 0 incr nats active incr cons X XS mark cons s X incr XS cons active X1 X2 cons X1 X2 active incr cons X XS mark cons s X incr XS mark tail X active tail mark X mark cons X1 X2 active cons mark X1 X2 active nats mark cons 0 incr nats active odds mark incr pairs cons mark X1 X2 cons X1 X2 incr active X incr X tail mark X tail X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 tail active X tail X s mark X s X active head cons X XS mark X mark incr X active incr mark X mark nats active nats incr mark X incr X head active X head X mark head X active head mark X mark odds active odds s active X s X head mark X head X mark pairs active pairs mark 0 active 0 mark s X active s mark X active tail cons X XS mark XS active pairs mark cons 0 incr odds active incr cons X XS mark cons s X incr XS active odds mark incr pairs mark incr X mark X mark incr X active incr mark X mark odds active odds mark s X mark X true incr 1 1 0 cons 2 0 s 1 1 1 pairs 0 0 head 1 0 tail 1 0 mark 1 1 0 0 0 2748 s 1 0 odds 0 45380 tail 1 0 mark 1 1 45381 incr 1 0 nats 0 1496 active 1 1 0 head 1 0 cons 2 0 active 1 0 mark incr X active incr mark X mark incr X mark X active odds mark incr pairs active incr cons X XS mark cons s X incr XS cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 incr active X incr X tail mark X tail X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 tail active X tail X incr mark X incr X active incr cons X XS mark cons s X incr XS active odds mark incr pairs mark incr X mark X mark incr X active incr mark X true incr 1 1 31744 cons 2 0 s 1 1 pairs 0 0 head 1 0 tail 1 0 mark 1 1 0 0 0 14843 s 1 0 odds 0 10336 tail 1 0 mark 1 1 31983 incr 1 0 nats 0 20534 active 1 1 0 head 1 0 cons 2 1 31742 active 1 31744 mark incr X active incr mark X active odds mark incr pairs cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 incr active X incr X tail mark X tail X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 tail active X tail X s mark X s X incr mark X incr X s active X s X active odds mark incr pairs mark incr X active incr mark X true incr 1 1 cons 2 0 s 1 1 pairs 0 1 head 1 0 tail 1 23637 mark 1 2 0 0 14843 s 1 0 odds 0 10336 tail 1 0 mark 1 1 1 incr 1 0 nats 0 20534 active 1 0 head 1 0 cons 2 15620 active 1 1 0 cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 incr active X incr X tail mark X tail X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 tail active X tail X s mark X s X incr mark X incr X head active X head X s active X s X head mark X head X mark pairs active pairs false mark nats active nats false active nats mark cons 0 incr nats false active pairs mark cons 0 incr odds false mark s X s mark X false mark 0 active 0 false active pairs incr odds false mark head X head mark X false head active X head X head mark X head X true incr 1 0 cons 2 0 s 1 21102 pairs 0 16335 head 1 1 0 tail 1 0 mark 1 2 0 0 9534 s 1 0 odds 0 25192 tail 1 0 mark 1 1 25194 incr 1 0 nats 0 19621 active 1 1 1 head 1 0 cons 2 44798 active 1 1 0 cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 incr active X incr X tail mark X tail X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 tail active X tail X s mark X s X incr mark X incr X head active X head X s active X s X head mark X head X active odds incr pairs false mark cons X1 X2 cons mark X1 X2 false active nats cons 0 incr nats false active nats incr nats false mark tail X tail mark X false tail active X tail X tail mark X tail X true incr 1 0 cons 2 0 s 1 26815 pairs 0 1338 head 1 0 tail 1 0 mark 1 2 0 0 9534 s 1 0 odds 0 3969 tail 1 1 0 mark 1 1 25194 incr 1 0 nats 0 11668 active 1 1 1 head 1 0 cons 2 436 active 1 1 0 cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 incr active X incr X tail mark X tail X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 tail active X tail X s mark X s X incr mark X incr X head active X head X s active X s X head mark X head X active incr cons X XS cons s X incr XS false active incr cons X XS incr XS false cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons mark X1 X2 cons X1 X2 true incr 1 0 cons 2 1 0 s 1 1 pairs 0 1338 head 1 0 tail 1 0 mark 1 2 0 0 1 s 1 0 odds 0 1 tail 1 0 mark 1 1 25194 incr 1 0 nats 0 7335 active 1 1 1 head 1 0 cons 2 1 active 1 1 0 cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 incr active X incr X tail mark X tail X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 tail active X tail X s mark X s X incr mark X incr X head active X head X s active X s X head mark X head X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 true incr 1 0 cons 2 2 0 s 1 1 pairs 0 2 head 1 0 tail 1 0 mark 1 2 0 0 35971 s 1 0 odds 0 13825 tail 1 0 mark 1 1 13826 incr 1 0 nats 0 14264 active 1 1 0 head 1 1 0 cons 2 1 1647 active 1 0 cons X1 active X2 cons X1 X2 cons X1 active X2 cons X1 X2 true incr 1 0 cons 2 2 0 s 1 1 pairs 0 2 head 1 0 tail 1 0 mark 1 2 0 0 24376 s 1 0 odds 0 13825 tail 1 0 mark 1 1 13827 incr 1 0 nats 0 48949 active 1 1 1 head 1 1 0 cons 2 1 10748 active 1 0 active incr cons X XS s X false s mark X s X s active X s X true incr 1 0 cons 2 0 s 1 28255 pairs 0 11495 head 1 0 tail 1 0 mark 1 2 0 0 1 s 1 1 0 odds 0 1002 tail 1 0 mark 1 1 13827 incr 1 0 nats 0 8573 active 1 1 1 head 1 1 0 cons 2 1 1 active 1 0 active pairs cons 0 incr odds false mark incr X incr mark X false incr mark X incr X incr active X incr X true incr 1 0 cons 2 0 s 1 39707 pairs 0 1 head 1 0 tail 1 0 mark 1 2 0 0 44797 s 1 0 odds 0 1911 tail 1 0 mark 1 1 13827 incr 1 1 0 nats 0 8573 active 1 1 1 head 1 1 0 cons 2 1 1 active 1 0 NaTT certifiable-1.6