/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE p a x0 p x1 p x2 x3 p x1 p x0 p a x3 x3 2.2 p a x0 p x1 p x2 x3 p x0 p a x3 x3 p a x0 p x1 p x2 x3 p a x3 x3 p a x0 p x1 p x2 x3 p x1 p x0 p a x3 x3 true p a x0 p x1 p x2 x3 p x1 p x0 p a x3 x3 p a x0 p x1 p x2 x3 p a x3 x3 p a x0 p x1 p x2 x3 p x0 p a x3 x3 true a 1 1 p 2 2 0 p 2 2 28958 p a x0 p x1 p x2 x3 p x1 p x0 p a x3 x3 p a x0 p x1 p x2 x3 p x1 p x0 p a x3 x3 p a x0 p x1 p x2 x3 p x1 p x0 p a x3 x3 true Failed! NaTT certifiable-1.6