Output scis from sinfer in program order
Output scis from sinfer in program order

ucsd-progsys/csolve,ucsd-progsys/csolve,ucsd-progsys/csolve,ucsd-progsys/csolve-bak,ucsd-progsys/csolve-bak,ucsd-progsys/csolve,ucsd-progsys/csolve,ucsd-progsys/csolve-bak,ucsd-progsys/csolve-bak,ucsd-progsys/csolve,ucsd-progsys/csolve-bak,ucsd-progsys/csolve-bak,ucsd-progsys/csolve,ucsd-progsys/csolve-bak,ucsd-progsys/csolve-bak,ucsd-progsys/csolve-bak,ucsd-progsys/csolve-bak,ucsd-progsys/csolve,ucsd-progsys/csolve,ucsd-progsys/csolve-bak,ucsd-progsys/csolve,ucsd-progsys/csolve