/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES a__dbl 0 0 a__dbl s X s s dbl X a__dbls nil nil a__dbls cons X Y cons dbl X dbls Y a__sel 0 cons X Y mark X a__sel s X cons Y Z a__sel mark X mark Z a__indx nil X nil a__indx cons X Y Z cons sel X Z indx Y Z a__from X cons X from s X mark dbl X a__dbl mark X mark dbls X a__dbls mark X mark sel X1 X2 a__sel mark X1 mark X2 mark indx X1 X2 a__indx mark X1 X2 mark from X a__from X mark 0 0 mark s X s X mark nil nil mark cons X1 X2 cons X1 X2 a__dbl X dbl X a__dbls X dbls X a__sel X1 X2 sel X1 X2 a__indx X1 X2 indx X1 X2 a__from X from X 2.2 a__sel s X cons Y Z mark X mark dbls X a__dbls mark X mark dbl X mark X mark sel X1 X2 mark X1 mark from X a__from X mark dbl X a__dbl mark X a__sel 0 cons X Y mark X mark dbls X mark X mark sel X1 X2 mark X2 mark indx X1 X2 mark X1 a__sel s X cons Y Z mark Z a__sel s X cons Y Z a__sel mark X mark Z mark sel X1 X2 a__sel mark X1 mark X2 mark indx X1 X2 a__indx mark X1 X2 true a__sel 0 cons X Y mark X mark sel X1 X2 a__sel mark X1 mark X2 a__sel s X cons Y Z a__sel mark X mark Z a__sel s X cons Y Z mark Z mark sel X1 X2 mark X1 mark dbl X mark X mark indx X1 X2 mark X1 mark sel X1 X2 mark X2 mark dbls X mark X a__sel s X cons Y Z mark X true s 1 1 0 a__from 1 0 dbls 1 1 282 a__indx 2 1 15945 2 15944 0 a__from 1 1 5854 a__indx 2 0 dbl 1 1 130 indx 2 1 15945 2 15944 0 a__dbl 1 1 130 a__dbls 1 0 mark 1 1 26285 0 0 48638 sel 2 1 15945 2 10090 0 from 1 1 5854 nil 0 15945 a__dbl 1 0 a__sel 2 1 26286 2 35232 0 mark 1 1 0 a__sel 2 1 15945 2 10090 0 a__dbls 1 1 282 cons 2 1 5854 2 0 0 a__sel s X cons Y Z a__sel mark X mark Z mark cons X1 X2 cons X1 X2 a__dbls cons X Y cons dbl X dbls Y mark 0 0 a__indx cons X Y Z cons sel X Z indx Y Z a__dbl 0 0 a__dbls nil nil mark s X s X a__sel X1 X2 sel X1 X2 a__dbl X dbl X mark nil nil a__indx X1 X2 indx X1 X2 a__sel 0 cons X Y mark X mark dbl X a__dbl mark X a__indx nil X nil a__dbls X dbls X mark from X a__from X mark sel X1 X2 a__sel mark X1 mark X2 a__from X from X mark dbls X a__dbls mark X a__from X cons X from s X mark indx X1 X2 a__indx mark X1 X2 a__sel s X cons Y Z a__sel mark X mark Z a__dbl s X s s dbl X a__sel s X cons Y Z a__sel mark X mark Z true a__dbls 1 1 mark 1 1 s 1 2 1 a__from 1 0 dbls 1 4 1 a__indx 2 5 a__from 1 4 1 a__indx 2 0 dbl 1 3 1 indx 2 5 a__dbl 1 3 1 mark 1 0 0 0 3 sel 2 6 from 1 4 1 nil 0 0 a__dbl 1 0 a__sel 2 0 1 a__sel 2 6 a__dbls 1 4 1 cons 2 4 1 s 1 1 0 a__from 1 1 dbls 1 1 19455 a__indx 2 2 19453 a__from 1 1 9728 a__indx 2 1 0 dbl 1 1 9727 indx 2 2 19453 a__dbl 1 1 9727 mark 1 1 0 0 1 sel 2 2 9726 from 1 1 9728 nil 0 0 a__dbl 1 1 a__sel 2 1 0 a__sel 2 2 9726 a__dbls 1 1 19455 cons 2 1 9727 2 0 0 mark cons X1 X2 cons X1 X2 a__dbls cons X Y cons dbl X dbls Y mark 0 0 a__indx cons X Y Z cons sel X Z indx Y Z a__dbl 0 0 a__dbls nil nil mark s X s X a__sel X1 X2 sel X1 X2 a__dbl X dbl X mark nil nil a__indx X1 X2 indx X1 X2 a__sel 0 cons X Y mark X mark dbl X a__dbl mark X a__indx nil X nil a__dbls X dbls X mark from X a__from X mark sel X1 X2 a__sel mark X1 mark X2 a__from X from X mark dbls X a__dbls mark X a__from X cons X from s X mark indx X1 X2 a__indx mark X1 X2 a__sel s X cons Y Z a__sel mark X mark Z a__dbl s X s s dbl X mark indx X1 X2 a__indx mark X1 X2 false mark dbls X a__dbls mark X false mark from X a__from X false mark dbl X a__dbl mark X false NaTT certifiable-1.6