/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES del . x . y z f = x y x y z f true x y z del . y z f false x y z . x del . y z = nil nil true = . x y nil false = nil . y z false = . x y . u v and = x u = y v 2.2 = . x y . u v = x u del . x . y z = x y del . x . y z f = x y x y z = . x y . u v = y v f true x y z del . y z f false x y z del . y z true f false x y z del . y z f true x y z del . y z del . x . y z f = x y x y z true del 1 1 0 v 0 1 u 0 1 and 2 1 0 false 0 1 true 0 1 f 4 0 del 1 0 = 2 1 nil 0 1 f 4 1 2 3 4 2 . 2 1 2 2 = 2 0 = nil nil true = . x y nil false = . x y . u v and = x u = y v = nil . y z false del . x . y z = x y false = . x y . u v = y v false = . x y . u v = x u false NaTT certifiable-1.6