/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE le s x 0 false le 0 y true le s x s y le x y double 0 0 double s x s s double x log 0 logError log s x loop s x s 0 0 loop x s y z if le x s y x s y z if true x y z z if false x y z loop x double y s z 2.2 if false x y z loop x double y s z loop x s y z if le x s y x s y z loop x s y z le x s y le s x s y le x y if false x y z double y log s x loop s x s 0 0 double s x double x true log s x loop s x s 0 0 false loop x s y z if le x s y x s y z if false x y z loop x double y s z true Failed! NaTT certifiable-1.6