/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES a__from X cons mark X from s X a__first 0 Z nil a__first s X cons Y Z cons mark Y first X Z a__sel 0 cons X Z mark X a__sel s X cons Y Z a__sel mark X mark Z mark from X a__from mark X mark first X1 X2 a__first mark X1 mark X2 mark sel X1 X2 a__sel mark X1 mark X2 mark cons X1 X2 cons mark X1 X2 mark s X s mark X mark 0 0 mark nil nil a__from X from X a__first X1 X2 first X1 X2 a__sel X1 X2 sel X1 X2 2.2 mark from X mark X mark first X1 X2 mark X2 mark sel X1 X2 a__sel mark X1 mark X2 a__sel s X cons Y Z mark X a__first s X cons Y Z mark Y a__from X mark X mark sel X1 X2 mark X1 mark s X mark X a__sel s X cons Y Z mark Z mark first X1 X2 mark X1 a__sel 0 cons X Z mark X mark cons X1 X2 mark X1 mark from X a__from mark X a__sel s X cons Y Z a__sel mark X mark Z mark sel X1 X2 mark X2 mark first X1 X2 a__first mark X1 mark X2 true mark first X1 X2 a__first mark X1 mark X2 mark sel X1 X2 mark X1 mark sel X1 X2 mark X2 a__from X mark X a__sel s X cons Y Z a__sel mark X mark Z mark from X a__from mark X mark cons X1 X2 mark X1 a__sel 0 cons X Z mark X a__first s X cons Y Z mark Y a__sel s X cons Y Z mark X mark sel X1 X2 a__sel mark X1 mark X2 mark first X1 X2 mark X2 mark first X1 X2 mark X1 a__sel s X cons Y Z mark Z mark s X mark X mark from X mark X true s 1 1 0 a__from 1 1 2441 a__first 2 2 2440 0 a__from 1 1 2441 mark 1 1 1 0 0 1 from 1 1 2441 sel 2 1 23682 2 23683 0 nil 0 2440 a__sel 2 1 23682 2 21240 0 mark 1 1 0 a__sel 2 1 23682 2 23683 0 first 2 1 2438 2 2440 0 a__first 2 1 2438 2 2440 0 cons 2 1 2441 2 0 0 mark s X mark X a__sel s X cons Y Z a__sel mark X mark Z a__sel 0 cons X Z mark X a__sel X1 X2 sel X1 X2 mark sel X1 X2 a__sel mark X1 mark X2 a__from X cons mark X from s X a__first s X cons Y Z cons mark Y first X Z a__sel s X cons Y Z a__sel mark X mark Z mark s X s mark X mark first X1 X2 a__first mark X1 mark X2 a__first X1 X2 first X1 X2 mark nil nil mark 0 0 mark cons X1 X2 cons mark X1 X2 a__from X from X mark from X a__from mark X a__first 0 Z nil a__sel s X cons Y Z a__sel mark X mark Z true mark 1 1 s 1 2 1 a__from 1 0 a__first 2 0 a__from 1 1 mark 1 0 0 0 3 from 1 1 sel 2 1 nil 0 3 a__sel 2 3 1 2 a__sel 2 1 first 2 2 2 a__first 2 2 2 cons 2 0 s 1 1 0 a__from 1 1 a__first 2 1 1 a__from 1 1 2244 mark 1 1 0 0 2241 from 1 1 2244 sel 2 2 2 nil 0 2241 a__sel 2 1 2 2244 a__sel 2 2 2 first 2 2 2242 a__first 2 2 2242 cons 2 1 2243 2 0 0 a__sel 0 cons X Z mark X a__sel X1 X2 sel X1 X2 mark sel X1 X2 a__sel mark X1 mark X2 a__from X cons mark X from s X a__first s X cons Y Z cons mark Y first X Z a__sel s X cons Y Z a__sel mark X mark Z mark s X s mark X mark first X1 X2 a__first mark X1 mark X2 a__first X1 X2 first X1 X2 mark nil nil mark 0 0 mark cons X1 X2 cons mark X1 X2 a__from X from X mark from X a__from mark X a__first 0 Z nil mark s X mark X true s 1 1 1 a__from 1 0 a__first 2 1 a__from 1 35496 mark 1 1 0 0 0 35496 from 1 1 35497 sel 2 2 35497 nil 0 35497 a__sel 2 0 mark 1 35495 a__sel 2 35496 first 2 1 2 35497 a__first 2 35496 cons 2 2 35496 NaTT certifiable-1.6