/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/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 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 v 0 1 u 0 2438 false 0 19306 true 0 44083 if 3 1 2 3 38978 if 3 1 0 NaTT certifiable-1.6