/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES app app and true true true app app and x false false app app and false y false app app or true y true app app or x true true app app or false false false app app forall p nil true app app forall p app app cons x xs app app and app p x app app forall p xs app app forsome p nil false app app forsome p app app cons x xs app app or app p x app app forsome p xs 2.2 app app forsome p app app cons x xs app or app p x app app forall p app app cons x xs app and app p x app app forall p app app cons x xs app p x app app forall p app app cons x xs app app and app p x app app forall p xs app app forsome p app app cons x xs app p x app app forsome p app app cons x xs app app or app p x app app forsome p xs app app forall p app app cons x xs app app forall p xs app app forsome p app app cons x xs app app forsome p xs true app app forsome p app app cons x xs app app forsome p xs app app forall p app app cons x xs app app forall p xs app app forsome p app app cons x xs app p x app app forall p app app cons x xs app p x true and 0 13884 false 0 61978 true 0 107211 forsome 0 8291 forall 0 53524 nil 0 36956 or 0 13884 app 2 2 0 cons 0 22248 app 2 1 2 8365 app app forsome p app app cons x xs app app or app p x app app forsome p xs false app app forall p app app cons x xs app app and app p x app app forall p xs false app app forall p app app cons x xs app and app p x false app app forsome p app app cons x xs app or app p x false NaTT certifiable-1.6