/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES bsort nil nil bsort . x y last . bubble . x y bsort butlast bubble . x y bubble nil nil bubble . x nil . x nil bubble . x . y z if <= x y . y bubble . x z . x bubble . y z last nil 0 last . x nil x last . x . y z last . y z butlast nil nil butlast . x nil nil butlast . x . y z . x butlast . y z 2.2 bsort . x y bubble . x y butlast . x . y z butlast . y z last . x . y z last . y z bubble . x . y z bubble . x z bsort . x y bubble . x y bsort . x y bsort butlast bubble . x y bsort . x y last . bubble . x y bsort butlast bubble . x y bubble . x . y z bubble . y z bsort . x y butlast bubble . x y true bsort . x y bsort butlast bubble . x y true 2 1 bubble 1 0 0 butlast 1 0 0 <= 2 2 1 bsort 1 1 0 0 0 1 0 0 butlast 1 0 0 1 1 1 39790 0 last 1 0 0 if 3 0 0 1 0 3 42893 42893 0 0 0 0 last 1 0 0 nil 0 1 1 . 2 1 1 0 0 2 42893 0 bubble 1 0 0 1 1 1 64777 0 bsort 1 0 0 bubble . x nil . x nil bubble nil nil bubble . x . y z if <= x y . y bubble . x z . x bubble . y z butlast . x nil nil butlast . x . y z . x butlast . y z butlast nil nil bsort . x y last . bubble . x y bsort butlast bubble . x y false bsort . x y butlast bubble . x y false last . x . y z last . y z true bubble 1 0 butlast 1 0 <= 2 1 bsort 1 0 butlast 1 36459 last 1 1 0 if 3 1 0 0 0 0 last 1 0 nil 0 36460 . 2 2 1 bubble 1 36461 bsort 1 0 bubble . x nil . x nil bubble nil nil bubble . x . y z if <= x y . y bubble . x z . x bubble . y z butlast . x . y z butlast . y z true bubble 1 0 butlast 1 1 0 <= 2 1 bsort 1 0 butlast 1 2998 last 1 0 if 3 1 0 0 0 0 last 1 0 nil 0 36460 . 2 2 1 bubble 1 36461 bsort 1 0 bubble . x nil . x nil bubble nil nil bubble . x . y z if <= x y . y bubble . x z . x bubble . y z bsort . x y bubble . x y false bsort . x y bubble . x y false bubble . x . y z bubble . y z bubble . x . y z bubble . x z true bubble 1 1 0 butlast 1 0 <= 2 1 bsort 1 0 butlast 1 30205 last 1 0 if 3 1 30206 0 0 0 last 1 0 nil 0 30206 . 2 2 1 bubble 1 30207 bsort 1 0 bubble . x nil . x nil bubble nil nil bubble . x . y z if <= x y . y bubble . x z . x bubble . y z NaTT certifiable-1.6