/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES t N cs r q N nt ns N q 0 0 q s X s p q X d X d 0 0 d s X s s d X p 0 X X p X 0 X p s X s Y s s p X Y f 0 X nil f s X cs Y Z cs Y nf X a Z t X nt X s X ns X f X1 X2 nf X1 X2 a nt X t a X a ns X s a X a nf X1 X2 f a X1 a X2 a X X 2.2 a nt X a X d s X d X q s X d X a nf X1 X2 a X2 q s X p q X d X q s X q X t N q N a nf X1 X2 f a X1 a X2 q s X s p q X d X d s X s d X p s X s Y p X Y a ns X a X p s X s Y s p X Y f s X cs Y Z a Z a nt X t a X a nf X1 X2 a X1 p s X s Y s s p X Y d s X s s d X a ns X s a X true a nf X1 X2 a X1 f s X cs Y Z a Z a nf X1 X2 a X2 a ns X a X a nf X1 X2 f a X1 a X2 a nt X a X true a 1 1 0 nf 2 1 2 28883 q 1 1 d 1 1 33215 s 1 1 0 r 1 1 0 t 1 1 18458 ns 1 1 0 p 2 0 cs 2 2 0 f 2 1 2 28883 p 2 21657 0 0 25908 s 1 0 nil 0 0 d 1 0 f 2 2 1 nt 1 1 18458 a 1 1 0 q 1 0 t 1 0 a ns X a X d 0 0 a ns X s a X t N cs r q N nt ns N a nf X1 X2 f a X1 a X2 a X X d s X s s d X f s X cs Y Z cs Y nf X a Z a nt X t a X s X ns X t X nt X f 0 X nil f X1 X2 nf X1 X2 a ns X a X true a 1 1 2 nf 2 1 25074 q 1 1 d 1 1 s 1 0 r 1 1 0 t 1 1 24480 ns 1 1 1 p 2 0 cs 2 2 24480 f 2 1 2 25073 p 2 21657 0 0 25908 s 1 0 nil 0 50982 d 1 0 f 2 1 nt 1 1 a 1 1 0 q 1 0 t 1 0 a X X a nt X t a X false t N q N false q s X q X true a 1 1 0 nf 2 1 25074 q 1 1 1 d 1 43324 s 1 1 1 r 1 1 0 t 1 1 24480 ns 1 1 2 p 2 0 cs 2 2 24480 f 2 2 25073 p 2 0 0 0 43325 s 1 0 nil 0 25074 d 1 0 f 2 1 nt 1 1 a 1 0 q 1 1 0 t 1 0 a X X q s X s p q X d X false q s X p q X d X false p s X s Y p X Y true a 1 1 0 nf 2 1 25074 q 1 1 1 d 1 43324 s 1 1 1 r 1 1 0 t 1 1 24480 ns 1 1 2 p 2 1 0 cs 2 2 24480 f 2 2 25073 p 2 0 0 0 43325 s 1 0 nil 0 25074 d 1 0 f 2 1 nt 1 1 a 1 0 q 1 0 t 1 0 a X X p s X s Y s s p X Y false p s X s Y s p X Y false q s X d X false d s X d X true a 1 1 0 nf 2 1 25074 q 1 1 1 d 1 53793 s 1 1 1 r 1 1 0 t 1 1 49765 ns 1 2 p 2 0 cs 2 2 23929 f 2 2 25073 p 2 0 0 0 53794 s 1 0 nil 0 25074 d 1 1 0 f 2 1 nt 1 1 25835 a 1 0 q 1 0 t 1 0 a X X d s X s s d X false d s X s d X false a ns X s a X false NaTT certifiable-1.6