/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE fstsplit 0 x nil fstsplit s n nil nil fstsplit s n cons h t cons h fstsplit n t sndsplit 0 x x sndsplit s n nil nil sndsplit s n cons h t sndsplit n t empty nil true empty cons h t false leq 0 m true leq s n 0 false leq s n s m leq n m length nil 0 length cons h t s length t app nil x x app cons h t x cons h app t x map_f pid nil nil map_f pid cons h t app f pid h map_f pid t process store m if1 store m leq m length store if1 store m true if2 store m empty fstsplit m store if1 store m false if3 store m empty fstsplit m app map_f self nil store if2 store m false process app map_f self nil sndsplit m store m if3 store m false process sndsplit m app map_f self nil store m 2.2 length cons h t length t if1 store m false fstsplit m app map_f self nil store map_f pid cons h t app f pid h map_f pid t if3 store m false process sndsplit m app map_f self nil store m if3 store m false app map_f self nil store process store m if1 store m leq m length store app cons h t x app t x if3 store m false map_f self nil map_f pid cons h t map_f pid t process store m leq m length store if2 store m false map_f self nil if1 store m false app map_f self nil store if3 store m false sndsplit m app map_f self nil store if1 store m false empty fstsplit m app map_f self nil store fstsplit s n cons h t fstsplit n t if1 store m true fstsplit m store if2 store m false app map_f self nil sndsplit m store process store m length store if2 store m false sndsplit m store if1 store m true empty fstsplit m store leq s n s m leq n m sndsplit s n cons h t sndsplit n t if1 store m false map_f self nil if1 store m true if2 store m empty fstsplit m store if1 store m false if3 store m empty fstsplit m app map_f self nil store if2 store m false process app map_f self nil sndsplit m store m true map_f pid cons h t map_f pid t true empty 1 0 s 1 0 sndsplit 2 0 process 2 0 sndsplit 2 0 if1 3 0 false 0 0 leq 2 0 true 0 0 f 2 0 leq 2 0 if1 3 0 if2 3 0 fstsplit 2 0 if3 3 0 0 0 0 map_f 2 2 0 nil 0 0 process 2 0 app 2 0 fstsplit 2 0 map_f 2 0 self 0 0 if3 3 0 cons 2 2 1 empty 1 0 length 1 0 if2 3 0 length 1 0 app 2 0 if2 store m false process app map_f self nil sndsplit m store m if1 store m false if3 store m empty fstsplit m app map_f self nil store if1 store m true if2 store m empty fstsplit m store process store m if1 store m leq m length store if3 store m false process sndsplit m app map_f self nil store m true Failed! NaTT certifiable-1.6