/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES if true x y x if false x y y if x y y y if if x y z u v if x if y u v if z u v if x if x y z z if x y z if x y if x y z if x y z 2.2 if if x y z u v if y u v if if x y z u v if z u v if if x y z u v if x if y u v if z u v true if if x y z u v if x if y u v if z u v if if x y z u v if z u v if if x y z u v if y u v true false 0 1 true 0 7758 if 3 1 2 3 1 if 3 1 0 NaTT certifiable-1.6