/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE dbl 0 0 dbl s X s s dbl X dbls nil nil dbls cons X Y cons dbl X dbls Y sel 0 cons X Y X sel s X cons Y Z sel X Z indx nil X nil indx cons X Y Z cons sel X Z indx Y Z from X cons X from s X dbl1 0 01 dbl1 s X s1 s1 dbl1 X sel1 0 cons X Y X sel1 s X cons Y Z sel1 X Z quote 0 01 quote s X s1 quote X quote dbl X dbl1 X quote sel X Y sel1 X Y 2.2 sel s X cons Y Z sel X Z quote sel X Y sel1 X Y indx cons X Y Z indx Y Z dbls cons X Y dbl X dbls cons X Y dbls Y quote dbl X dbl1 X quote s X quote X dbl1 s X dbl1 X sel1 s X cons Y Z sel1 X Z dbl s X dbl X indx cons X Y Z sel X Z from X from s X true from X from s X true Failed! NaTT certifiable-1.6