/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES active from X mark cons X from s X active first 0 Z mark nil active first s X cons Y Z mark cons Y first X Z active sel 0 cons X Z mark X active sel s X cons Y Z mark sel X Z mark from X active from mark X mark cons X1 X2 active cons mark X1 X2 mark s X active s mark X mark first X1 X2 active first mark X1 mark X2 mark 0 active 0 mark nil active nil mark sel X1 X2 active sel mark X1 mark X2 from mark X from X from active X from 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 s mark X s X s active X s X first mark X1 X2 first X1 X2 first X1 mark X2 first X1 X2 first active X1 X2 first X1 X2 first X1 active X2 first X1 X2 sel mark X1 X2 sel X1 X2 sel X1 mark X2 sel X1 X2 sel active X1 X2 sel X1 X2 sel X1 active X2 sel X1 X2 2.2 mark from X active from mark X mark s X mark X cons active X1 X2 cons X1 X2 active first s X cons Y Z cons Y first X Z cons X1 active X2 cons X1 X2 mark s X s mark X mark s X active s mark X active from X mark cons X from s X active from X cons X from s X mark first X1 X2 active first mark X1 mark X2 active from X s X mark sel X1 X2 active sel mark X1 mark X2 mark first X1 X2 mark X2 first X1 active X2 first X1 X2 active sel s X cons Y Z mark sel X Z mark 0 active 0 active sel 0 cons X Z mark X first active X1 X2 first X1 X2 sel X1 mark X2 sel X1 X2 mark sel X1 X2 sel mark X1 mark X2 s mark X s X active sel s X cons Y Z sel X Z mark cons X1 X2 active cons mark X1 X2 mark first X1 X2 first mark X1 mark X2 active from X from s X mark nil active nil cons X1 mark X2 cons X1 X2 from mark X from X cons mark X1 X2 cons X1 X2 sel active X1 X2 sel X1 X2 mark cons X1 X2 mark X1 active first s X cons Y Z mark cons Y first X Z first X1 mark X2 first X1 X2 from active X from X first mark X1 X2 first X1 X2 s active X s X sel X1 active X2 sel X1 X2 active first s X cons Y Z first X Z mark cons X1 X2 cons mark X1 X2 mark sel X1 X2 mark X2 mark from X from mark X active first 0 Z mark nil mark first X1 X2 mark X1 mark sel X1 X2 mark X1 mark from X mark X sel mark X1 X2 sel X1 X2 true mark from X mark X mark sel X1 X2 mark X1 mark first X1 X2 mark X1 active sel 0 cons X Z mark X active sel s X cons Y Z mark sel X Z mark sel X1 X2 mark X2 mark first X1 X2 mark X2 mark sel X1 X2 active sel mark X1 mark X2 mark first X1 X2 active first mark X1 mark X2 active first s X cons Y Z mark cons Y first X Z mark cons X1 X2 mark X1 active from X mark cons X from s X mark s X active s mark X mark s X mark X mark from X active from mark X mark cons X1 X2 active cons mark X1 X2 true cons 2 0 s 1 1 mark 1 1144 0 0 1146 sel 2 0 from 1 1144 sel 2 1144 s 1 0 first 2 0 nil 0 29246 mark 1 1145 first 2 1144 from 1 0 active 1 1 0 cons 2 1143 active 1 1 0 mark from X active from mark X mark s X mark X active from X mark cons X from s X mark cons X1 X2 mark X1 active first s X cons Y Z mark cons Y first X Z mark first X1 X2 active first mark X1 mark X2 mark sel X1 X2 active sel mark X1 mark X2 mark first X1 X2 mark X2 mark sel X1 X2 mark X2 active sel s X cons Y Z mark sel X Z active sel 0 cons X Z mark X mark first X1 X2 mark X1 mark sel X1 X2 mark X1 mark from X mark X cons X1 active X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 first mark X1 X2 first X1 X2 sel X1 mark X2 sel X1 X2 s mark X s X cons active X1 X2 cons X1 X2 sel active X1 X2 sel X1 X2 first X1 mark X2 first X1 X2 sel X1 active X2 sel X1 X2 s active X s X sel mark X1 X2 sel X1 X2 from active X from X first active X1 X2 first X1 X2 first X1 active X2 first X1 X2 from mark X from X active sel 0 cons X Z mark X mark s X mark X active from X mark cons X from s X active first s X cons Y Z mark cons Y first X Z active sel s X cons Y Z mark sel X Z mark cons X1 X2 mark X1 mark sel X1 X2 mark X2 mark sel X1 X2 mark X1 mark sel X1 X2 active sel mark X1 mark X2 mark first X1 X2 mark X2 mark first X1 X2 mark X1 mark first X1 X2 active first mark X1 mark X2 mark from X mark X mark from X active from mark X true cons 2 0 s 1 1 0 mark 1 1 0 0 0 2 sel 2 0 from 1 1 21242 sel 2 1 23680 2 2438 0 s 1 0 first 2 0 nil 0 21241 mark 1 1 0 first 2 1 21239 2 21240 0 from 1 0 active 1 1 0 cons 2 1 21241 2 0 0 active 1 1 0 mark from X active from mark X mark first X1 X2 active first mark X1 mark X2 mark sel X1 X2 active sel mark X1 mark X2 active sel s X cons Y Z mark sel X Z active first s X cons Y Z mark cons Y first X Z active from X mark cons X from s X mark s X mark X cons X1 active X2 cons X1 X2 active sel 0 cons X Z mark X cons mark X1 X2 cons X1 X2 mark s X active s mark X active from X mark cons X from s X active first s X cons Y Z mark cons Y first X Z cons X1 mark X2 cons X1 X2 first mark X1 X2 first X1 X2 sel X1 mark X2 sel X1 X2 s mark X s X cons active X1 X2 cons X1 X2 sel active X1 X2 sel X1 X2 first X1 mark X2 first X1 X2 sel X1 active X2 sel X1 X2 active sel s X cons Y Z mark sel X Z mark 0 active 0 mark cons X1 X2 active cons mark X1 X2 s active X s X sel mark X1 X2 sel X1 X2 from active X from X mark sel X1 X2 active sel mark X1 mark X2 first active X1 X2 first X1 X2 first X1 active X2 first X1 X2 mark nil active nil mark first X1 X2 active first mark X1 mark X2 from mark X from X mark from X active from mark X active first 0 Z mark nil mark s X mark X active from X mark cons X from s X active first s X cons Y Z mark cons Y first X Z active sel s X cons Y Z mark sel X Z mark sel X1 X2 active sel mark X1 mark X2 mark first X1 X2 active first mark X1 mark X2 mark from X active from mark X true cons 2 0 s 1 1 1 mark 1 1 0 0 0 0 sel 2 0 from 1 21240 sel 2 21239 s 1 0 first 2 0 nil 0 1 mark 1 18588 first 2 1 38147 from 1 0 active 1 18587 cons 2 21238 active 1 21239 mark sel X1 X2 active sel mark X1 mark X2 active sel s X cons Y Z mark sel X Z cons X1 active X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 sel X1 mark X2 sel X1 X2 cons active X1 X2 cons X1 X2 sel active X1 X2 sel X1 X2 sel X1 active X2 sel X1 X2 sel mark X1 X2 sel X1 X2 active sel s X cons Y Z mark sel X Z mark sel X1 X2 active sel mark X1 mark X2 true mark 1 1 active 1 1 active 1 1 cons 2 0 s 1 2 1 mark 1 3 1 0 0 1 sel 2 0 2 1 from 1 6 1 sel 2 5 1 2 s 1 0 first 2 0 nil 0 1 first 2 1 from 1 0 cons 2 1 cons 2 1 1 0 s 1 1 0 mark 1 1 0 0 0 30613 sel 2 1 2 1 from 1 1 32286 sel 2 1 2 10451 s 1 1 first 2 2 1 nil 0 30613 first 2 1 2 0 from 1 1 cons 2 1 0 2 0 0 cons X1 active X2 cons X1 X2 active sel 0 cons X Z mark X cons mark X1 X2 cons X1 X2 mark s X active s mark X active from X mark cons X from s X active first s X cons Y Z mark cons Y first X Z cons X1 mark X2 cons X1 X2 first mark X1 X2 first X1 X2 sel X1 mark X2 sel X1 X2 s mark X s X cons active X1 X2 cons X1 X2 sel active X1 X2 sel X1 X2 first X1 mark X2 first X1 X2 sel X1 active X2 sel X1 X2 active sel s X cons Y Z mark sel X Z mark 0 active 0 mark cons X1 X2 active cons mark X1 X2 s active X s X sel mark X1 X2 sel X1 X2 from active X from X mark sel X1 X2 active sel mark X1 mark X2 first active X1 X2 first X1 X2 first X1 active X2 first X1 X2 mark nil active nil mark first X1 X2 active first mark X1 mark X2 from mark X from X mark from X active from mark X active first 0 Z mark nil active first 0 Z mark nil false mark from X from mark X false active sel s X cons Y Z sel X Z false mark first X1 X2 first mark X1 mark X2 false mark nil active nil false active first s X cons Y Z cons Y first X Z false active first s X cons Y Z first X Z false first active X1 X2 first X1 X2 first X1 active X2 first X1 X2 first mark X1 X2 first X1 X2 first X1 mark X2 first X1 X2 true cons 2 0 s 1 1 mark 1 21239 0 0 2332 sel 2 0 from 1 21241 sel 2 1 s 1 0 first 2 1 0 nil 0 41379 mark 1 1 3 first 2 2 1 from 1 0 active 1 1 1 cons 2 1 21240 active 1 21239 first X1 mark X2 first X1 X2 first X1 active X2 first X1 X2 cons X1 active X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 first X1 mark X2 first X1 X2 first X1 active X2 first X1 X2 true cons 2 0 s 1 13214 mark 1 21239 0 0 23665 sel 2 0 from 1 27376 sel 2 5506 s 1 0 first 2 2 0 nil 0 43799 mark 1 1 8348 first 2 2 8346 from 1 0 active 1 1 1 cons 2 1 29456 active 1 21239 cons X1 active X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 mark sel X1 X2 sel mark X1 mark X2 false sel mark X1 X2 sel X1 X2 sel X1 mark X2 sel X1 X2 sel X1 active X2 sel X1 X2 sel active X1 X2 sel X1 X2 true cons 2 0 s 1 1 mark 1 21239 0 0 1 sel 2 1 2 0 from 1 1 sel 2 5450 s 1 0 first 2 0 nil 0 43799 mark 1 1 34497 first 2 2 34495 from 1 0 active 1 1 1 cons 2 1 32968 active 1 21239 cons X1 active X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 mark cons X1 X2 cons mark X1 X2 false mark 0 active 0 false active from X cons X from s X false cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 true cons 2 1 0 s 1 25728 mark 1 21239 0 0 1 sel 2 0 from 1 2 sel 2 1 s 1 0 first 2 0 nil 0 47960 mark 1 1 14925 first 2 2 1 from 1 0 active 1 1 1 cons 2 1 28320 active 1 21239 cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 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 cons X1 mark X2 cons X1 X2 true cons 2 2 0 s 1 16335 mark 1 21239 0 0 31160 sel 2 0 from 1 25532 sel 2 17525 s 1 0 first 2 0 nil 0 22325 mark 1 1 41099 first 2 2 41097 from 1 0 active 1 1 1 cons 2 1 28320 active 1 21239 cons X1 active X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 active from X from s X false from active X from X from mark X from X true cons 2 0 s 1 436 mark 1 21239 0 0 31160 sel 2 0 from 1 1 sel 2 11668 s 1 0 first 2 0 nil 0 55691 mark 1 1 58951 first 2 2 58949 from 1 1 0 active 1 1 1 cons 2 1 1 active 1 21239 cons X1 active X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 active from X s X false mark s X s mark X false s mark X s X s active X s X true cons 2 0 s 1 14022 mark 1 21239 0 0 51902 sel 2 0 from 1 1 sel 2 1 s 1 1 0 first 2 0 nil 0 38541 mark 1 1 3 first 2 2 1 from 1 0 active 1 1 1 cons 2 1 13825 active 1 21239 cons X1 active X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 NaTT certifiable-1.6