/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE b0 $ x1 $ x1 b0 b1 $ x1 s2 $ x1 b1 b1 $ x1 s5 $ x1 b0 s0 x1 s0 b0 x1 b0 s1 x1 s0 b1 x1 b0 s2 x1 s1 b0 x1 b0 s3 x1 s1 b1 x1 b0 s4 x1 s2 b0 x1 b0 s5 x1 s2 b1 x1 b0 s6 x1 s3 b0 x1 b1 s0 x1 s3 b1 x1 b1 s1 x1 s4 b0 x1 b1 s2 x1 s4 b1 x1 b1 s3 x1 s5 b0 x1 b1 s4 x1 s5 b1 x1 b1 s5 x1 s6 b0 x1 b1 s6 x1 s6 b1 x1 & s0 x1 & b0 x1 & s1 x1 & b1 x1 & s2 x1 & b1 b0 x1 & s3 x1 & b1 b1 x1 & s4 x1 & b1 b0 b0 x1 & s5 x1 & b1 b0 b1 x1 & s6 x1 & b1 b1 b0 x1 2.2 b1 s2 x1 b1 x1 & s3 x1 b1 b1 x1 & s0 x1 & b0 x1 & s6 x1 b1 b1 b0 x1 b1 s1 x1 b0 x1 & s5 x1 & b1 b0 b1 x1 & s5 x1 b0 b1 x1 & s4 x1 b0 x1 & s4 x1 b0 b0 x1 & s5 x1 b1 x1 b1 s5 x1 b0 x1 b1 s3 x1 b0 x1 & s3 x1 b1 x1 b1 s6 x1 b1 x1 b0 s1 x1 b1 x1 & s6 x1 b1 b0 x1 & s5 x1 b1 b0 b1 x1 b1 s4 x1 b1 x1 & s6 x1 & b1 b1 b0 x1 & s3 x1 & b1 b1 x1 & s4 x1 b1 b0 b0 x1 b0 s0 x1 b0 x1 & s1 x1 b1 x1 & s2 x1 b0 x1 b0 s4 x1 b0 x1 b0 s6 x1 b0 x1 & s1 x1 & b1 x1 & s0 x1 b0 x1 & s4 x1 & b1 b0 b0 x1 & s2 x1 b1 b0 x1 b0 s5 x1 b1 x1 b0 s2 x1 b0 x1 & s6 x1 b0 x1 & s2 x1 & b1 b0 x1 b1 s0 x1 b1 x1 b0 s3 x1 b1 x1 true & s2 x1 & b1 b0 x1 & s4 x1 & b1 b0 b0 x1 & s1 x1 & b1 x1 & s5 x1 & b1 b0 b1 x1 & s3 x1 & b1 b1 x1 & s6 x1 & b1 b1 b0 x1 & s0 x1 & b0 x1 true s4 1 1 & 1 0 & 1 1 0 s5 1 1 b1 1 0 b0 1 1 18588 s6 1 1 b0 1 0 b1 1 1 $ 1 16908 s3 1 1 s2 1 2 s1 1 2 s0 1 1 18589 & s6 x1 & b1 b1 b0 x1 & s3 x1 & b1 b1 x1 & s5 x1 & b1 b0 b1 x1 & s4 x1 & b1 b0 b0 x1 b0 s0 x1 s0 b0 x1 b1 s4 x1 s5 b1 x1 b0 s4 x1 s2 b0 x1 b0 $ x1 $ x1 b1 b1 $ x1 s5 $ x1 b1 s5 x1 s6 b0 x1 b1 s6 x1 s6 b1 x1 b0 s1 x1 s0 b1 x1 b0 s6 x1 s3 b0 x1 b0 s3 x1 s1 b1 x1 b1 s3 x1 s5 b0 x1 b1 s1 x1 s4 b0 x1 b1 s0 x1 s3 b1 x1 b0 s5 x1 s2 b1 x1 b1 s2 x1 s4 b1 x1 b0 s2 x1 s1 b0 x1 b0 b1 $ x1 s2 $ x1 & s3 x1 & b1 b1 x1 & s4 x1 & b1 b0 b0 x1 & s5 x1 & b1 b0 b1 x1 & s6 x1 & b1 b1 b0 x1 true Failed! NaTT certifiable-1.6