/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES union empty X X max singl x x max union singl x singl 0 x max union singl s x singl s y s max union singl x singl y max union singl x union Y Z max union singl x singl max union Y Z union union 2.2 union x union y z union union x y z union x y union y x union x union y z union x y union x y union y x union x union y z union union x y z max union singl x union Y Z max union Y Z max union singl s x singl s y max union singl x singl y max union singl x union Y Z union singl x singl max union Y Z max union singl s x singl s y union singl x singl y max union singl x union Y Z max union singl x singl max union Y Z union union empty X _1 union X _1 max union singl x union Y Z max union singl x singl max union Y Z max union singl x union Y Z max union Y Z max union singl s x singl s y max union singl x singl y true s 1 2 0 0 1 max 1 1 union 2 1 2 20539 max 1 1 0 singl 1 20538 empty 0 1 union 2 0 max union singl x union Y Z max union Y Z max union singl x union Y Z max union singl x singl max union Y Z union empty X X union x y union y x union x union y z union union x y z max union singl s x singl s y max union singl x singl y true s 1 1 1 0 0 35632 max 1 1 0 union 2 1 2 47339 max 1 1 0 singl 1 1 0 empty 0 3564 union 2 0 max union singl s x singl s y max union singl x singl y max union singl s x singl s y s max union singl x singl y union empty X X max union singl x singl 0 x max union singl x union Y Z max union singl x singl max union Y Z union x y union y x union x union y z union union x y z max singl x x max union singl x union Y Z union singl x singl max union Y Z false max union singl s x singl s y union singl x singl y false union x union y z union union x y z union x y union y x union x union y z union x y true union union empty X _1 union X _1 union x y union y x union x union y z union union x y z union x union y z union x y true s 1 1 1 0 0 42199 max 1 1 0 union 2 1 2 1 max 1 1 0 singl 1 1 0 empty 0 38145 union 2 1 2 0 union x union y z union x y union union empty X _1 union X _1 max union singl s x singl s y s max union singl x singl y union empty X X max union singl x singl 0 x max union singl x union Y Z max union singl x singl max union Y Z union x y union y x union x union y z union union x y z max singl x x union x y union y x union x union y z union union x y z true NaTT certifiable-1.6