/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES eq 0 0 true eq 0 s m false eq s n 0 false eq s n s m eq n m le 0 m true le s n 0 false le s n s m le n m min cons 0 nil 0 min cons s n nil s n min cons n cons m x if_min le n m cons n cons m x if_min true cons n cons m x min cons n x if_min false cons n cons m x min cons m x replace n m nil nil replace n m cons k x if_replace eq n k n m cons k x if_replace true n m cons k x cons m x if_replace false n m cons k x cons k replace n m x sort nil nil sort cons n x cons min cons n x sort replace min cons n x n x 2.2 if_min false cons n cons m x min cons m x min cons n cons m x if_min le n m cons n cons m x sort cons n x min cons n x eq s n s m eq n m sort cons n x sort replace min cons n x n x sort cons n x replace min cons n x n x min cons n cons m x le n m sort cons n x min cons n x le s n s m le n m replace n m cons k x if_replace eq n k n m cons k x if_min true cons n cons m x min cons n x if_replace false n m cons k x replace n m x replace n m cons k x eq n k true sort cons n x sort replace min cons n x n x true le 2 2 0 s 1 1 30952 le 2 0 if_min 2 0 eq 2 1 false 0 2 min 1 0 true 0 0 eq 2 0 sort 1 1 0 0 0 30952 if_replace 4 3 4 1424 nil 0 1 sort 1 0 replace 3 0 if_replace 4 0 min 1 30951 cons 2 1 2 1425 if_min 2 2 0 replace 3 2 3 1424 if_replace true n m cons k x cons m x if_replace false n m cons k x cons k replace n m x le 0 m true le s n s m le n m replace n m cons k x if_replace eq n k n m cons k x replace n m nil nil le s n 0 false sort cons n x replace min cons n x n x false if_replace false n m cons k x replace n m x replace n m cons k x if_replace eq n k n m cons k x true le 2 2 0 s 1 1 30952 le 2 0 if_min 2 0 eq 2 1 false 0 2 min 1 0 true 0 0 eq 2 0 sort 1 1 0 0 0 6 if_replace 4 3 4 17678 nil 0 1 sort 1 0 replace 3 3 1 if_replace 4 4 0 min 1 5 cons 2 2 2 if_min 2 2 0 replace 3 2 3 17678 if_replace true n m cons k x cons m x if_replace false n m cons k x cons k replace n m x le 0 m true le s n s m le n m replace n m cons k x if_replace eq n k n m cons k x replace n m nil nil le s n 0 false replace n m cons k x eq n k false eq s n s m eq n m true le 2 2 0 s 1 1 30952 le 2 0 if_min 2 0 eq 2 1 false 0 2 min 1 0 true 0 0 eq 2 2 0 sort 1 1 0 0 0 6 if_replace 4 3 4 17678 nil 0 1 sort 1 0 replace 3 1 if_replace 4 0 min 1 5 cons 2 2 1 if_min 2 2 2 replace 3 2 3 17678 if_replace true n m cons k x cons m x if_replace false n m cons k x cons k replace n m x le 0 m true le s n s m le n m replace n m cons k x if_replace eq n k n m cons k x replace n m nil nil le s n 0 false sort cons n x min cons n x false sort cons n x min cons n x false if_min true cons n cons m x min cons n x min cons n cons m x if_min le n m cons n cons m x if_min false cons n cons m x min cons m x true le 2 2 1 s 1 1 30952 le 2 0 if_min 2 2 0 eq 2 1 false 0 2 min 1 1 1 true 0 0 eq 2 0 sort 1 1 0 0 0 6 if_replace 4 3 4 17678 nil 0 1 sort 1 0 replace 3 1 if_replace 4 0 min 1 5 cons 2 1 2 2 if_min 2 2 0 replace 3 2 3 17678 if_replace true n m cons k x cons m x if_replace false n m cons k x cons k replace n m x le 0 m true le s n s m le n m replace n m cons k x if_replace eq n k n m cons k x replace n m nil nil le s n 0 false min cons n cons m x le n m false le s n s m le n m true le 2 2 1 s 1 1 30952 le 2 2 0 if_min 2 0 eq 2 1 false 0 2 min 1 1 true 0 0 eq 2 0 sort 1 1 0 0 0 1684 if_replace 4 3 4 17678 nil 0 1 sort 1 0 replace 3 1 if_replace 4 0 min 1 1683 cons 2 1 2 841 if_min 2 2 0 replace 3 2 3 17678 if_replace true n m cons k x cons m x if_replace false n m cons k x cons k replace n m x le 0 m true le s n s m le n m replace n m cons k x if_replace eq n k n m cons k x replace n m nil nil le s n 0 false NaTT certifiable-1.6