/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE s b x1 b s s s x1 s b s x1 b t x1 t b x1 b s x1 t b s x1 u t b x1 b u x1 b s x1 t s x1 t t x1 t u x1 u t x1 s u x1 s s x1 2.2 s b s x1 t x1 b u x1 b s x1 s b x1 s x1 t b x1 s x1 s b x1 s s s x1 s b x1 s s x1 s u x1 s s x1 b u x1 s x1 s b x1 b s s s x1 t u x1 t x1 t b s x1 b x1 t b s x1 t b x1 t s x1 t t x1 s b s x1 b t x1 t b x1 b s x1 s u x1 s x1 t s x1 t x1 true t s x1 t x1 s u x1 s s x1 s u x1 s x1 s b x1 s s x1 t b x1 b s x1 s b s x1 b t x1 t s x1 t t x1 t b s x1 t b x1 s b x1 s s s x1 t b x1 s x1 s b x1 s x1 t b s x1 b x1 b u x1 b s x1 t u x1 t x1 s b x1 b s s s x1 b u x1 s x1 s b s x1 t x1 true s 1 1 0 b 1 1 8367 u 1 1 0 t 1 1 0 s 1 1 0 t 1 1 8366 b 1 1 8366 t u x1 t x1 b u x1 b s x1 t b s x1 t b x1 t s x1 t t x1 s u x1 s x1 s u x1 s s x1 t s x1 t x1 t b s x1 u t b x1 s u x1 s s x1 s b x1 b s s s x1 t b x1 b s x1 b u x1 b s x1 t u x1 u t x1 t s x1 t t x1 s b s x1 b t x1 s u x1 s x1 s u x1 s s x1 true s 1 2999 b 1 2999 u 1 1 3000 t 1 2998 s 1 1 0 t 1 8366 b 1 8366 s u x1 s s x1 s b x1 b s s s x1 b u x1 b s x1 s b s x1 b t x1 b u x1 b s x1 true s 1 1 b 1 1 u 1 2 t 1 2 s 1 1 0 t 1 8366 b 1 1 8366 t b s x1 u t b x1 s u x1 s s x1 s b x1 b s s s x1 t b x1 b s x1 b u x1 b s x1 t u x1 u t x1 t s x1 t t x1 s b s x1 b t x1 t b s x1 t b x1 t u x1 t x1 t s x1 t x1 t s x1 t t x1 true s 1 1 25908 b 1 25907 u 1 1 0 t 1 25907 s 1 0 t 1 1 8366 b 1 8366 t u x1 t x1 t b s x1 t b x1 t b s x1 u t b x1 t b x1 b s x1 b u x1 b s x1 t u x1 u t x1 t s x1 t t x1 t b s x1 t b x1 t u x1 t x1 true s 1 8856 b 1 8857 u 1 1 21239 t 1 1 11294 s 1 0 t 1 1 0 b 1 0 t b s x1 t b x1 b u x1 b s x1 t b s x1 t b x1 true Failed! NaTT certifiable-1.6