/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 1 s 0 2 s 1 3 s 2 4 s 3 5 s 4 6 s 5 7 s 6 8 s 7 9 s 8 max' 0 x x max' s x s y s max' x y app empty X X max singl x x max app singl x Y max2 x Y max2 x empty x max2 x singl y max' x y max2 x app singl y Z max2 max' x y Z app max' app 2.2 app x y app y x app x app y z app app x y z max' x y max' y x app x y app y x app x app y z app app x y z app x app y z app x y max' x y max' y x 6 5 max2 x singl y max' x y max2 x app singl y Z max2 max' x y Z 3 2 7 6 max2 x app singl y Z max' x y max app singl x Y max2 x Y 4 3 9 8 2 1 5 4 8 7 max' s x s y max' x y app app empty X _1 app X _1 9 8 false 8 7 false app x app y z app x y app x app y z app app x y z app x y app y x true max app singl x Y max2 x Y false max2 x app singl y Z max2 max' x y Z true 7 0 0 1 0 0 4 0 0 s 1 1 1 7 0 0 max2 2 0 max' 2 1 2 1 5 0 0 max' 2 0 3 0 0 6 0 0 8 0 0 2 0 0 9 0 0 max2 2 1 2 0 8 0 0 4 0 0 9 0 0 0 0 10157 max 1 0 max 1 0 3 0 0 app 2 0 singl 1 1 2 5 0 0 2 0 0 empty 0 0 6 0 0 1 0 0 app 2 1 2 11797 max2 x app singl y Z max2 max' x y Z max' x y max' y x max' 0 x x max' s x s y s max' x y max2 x singl y max' x y false max2 x app singl y Z max' x y false max' s x s y max' x y max' x y max' y x true 7 0 0 1 0 0 4 0 0 s 1 1 1 7 0 0 max2 2 0 max' 2 1 2 1 5 0 0 max' 2 1 2 0 3 0 0 6 0 0 8 0 0 2 0 0 9 0 0 max2 2 1 0 8 0 0 4 0 0 9 0 0 0 0 10157 max 1 0 max 1 0 3 0 0 app 2 0 singl 1 2 5 0 0 2 0 0 empty 0 0 6 0 0 1 0 0 app 2 11797 max' s x s y max' x y max' x y max' y x max' 0 x x max' s x s y s max' x y max' x y max' y x true 7 6 false 6 5 false 5 4 false 4 3 false 3 2 false 2 1 false max' x y max' y x true app app empty X _1 app X _1 app x app y z app x y app x y app y x app x app y z app app x y z true 7 0 0 1 0 0 4 0 0 s 1 1 1 7 0 0 max2 2 0 max' 2 1 2 1 5 0 0 max' 2 0 3 0 0 6 0 0 8 0 0 2 0 0 9 0 0 max2 2 1 0 8 0 0 4 0 0 9 0 0 0 0 10157 max 1 0 max 1 0 3 0 0 app 2 1 2 0 singl 1 2 5 0 0 2 0 0 empty 0 40651 6 0 0 1 0 0 app 2 1 2 11797 app x app y z app x y app app empty X _1 app X _1 max' x y max' y x app x app y z app app x y z max' 0 x x app x y app y x app empty X X max' s x s y s max' x y app x app y z app app x y z app x y app y x true NaTT certifiable-1.6