/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES sum cons s n x cons m y sum cons n x cons s m y sum cons 0 x y sum x y sum nil y y weight cons n cons m x weight sum cons n cons m x cons 0 x weight cons n nil n 2.2 sum cons s n x cons m y sum cons n x cons s m y weight cons n cons m x weight sum cons n cons m x cons 0 x sum cons 0 x y sum x y weight cons n cons m x sum cons n cons m x cons 0 x true weight cons n cons m x weight sum cons n cons m x cons 0 x true s 1 1 weight 1 1 0 sum 2 2 0 0 0 1 nil 0 1 weight 1 0 cons 2 2 1 sum 2 0 sum cons s n x cons m y sum cons n x cons s m y sum nil y y sum cons 0 x y sum x y weight cons n cons m x sum cons n cons m x cons 0 x false sum cons 0 x y sum x y sum cons s n x cons m y sum cons n x cons s m y true s 1 1 weight 1 1 0 sum 2 2 0 0 0 1 nil 0 1 weight 1 0 cons 2 2 1 sum 2 1 0 sum cons s n x cons m y sum cons n x cons s m y sum cons s n x cons m y sum cons n x cons s m y sum nil y y sum cons 0 x y sum x y sum cons s n x cons m y sum cons n x cons s m y true s 1 1 1 weight 1 1 0 sum 2 1 2 0 0 0 44022 nil 0 21680 weight 1 0 cons 2 1 2 282 sum 2 1 0 sum cons s n x cons m y sum cons n x cons s m y sum nil y y sum cons 0 x y sum x y NaTT certifiable-1.6