/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE le 0 y z greater y z le s x 0 z false le s x s y 0 false le s x s y s z le x y z greater x 0 first greater 0 s y second greater s x s y greater x y double 0 0 double s x s s double x triple x if le x x double x x 0 0 if false x y z true if first x y z if le s x y s z s x y s z if second x y z if le s x s y z s x s y z 2.2 if second x y z le s x s y z greater s x s y greater x y triple x double x le s x s y s z le x y z triple x if le x x double x x 0 0 le 0 y z greater y z if first x y z le s x y s z double s x double x if second x y z if le s x s y z s x s y z triple x le x x double x if first x y z if le s x y s z s x y s z true triple x le x x double x false triple x double x false double s x double x true le 3 0 s 1 1 1 le 3 0 triple 1 0 greater 2 0 false 0 0 triple 1 0 second 0 0 true 0 0 0 0 0 if 4 0 double 1 1 0 double 1 0 first 0 0 greater 2 0 if 4 0 triple x if le x x double x x 0 0 false if first x y z if le s x y s z s x y s z if second x y z if le s x s y z s x s y z true Failed! NaTT certifiable-1.6