+ dirname /input/Singularity + REPO_ROOT=/input + cp -r /input/ /usr/local/var/singularity/mnt/container/planner + apt-get update + apt-get -y install default-jre default-jdk dos2unix debconf: delaying package configuration, since apt-utils is not installed + cd /planner/planner + rm -rf bin + find . -type f -print0 + xargs -0 dos2unix dos2unix: converting file ./compile to Unix format... dos2unix: Binary symbol 0x03 found at line 1 dos2unix: Skipping binary file ./lib/xercesImpl.jar dos2unix: Binary symbol 0x03 found at line 1 dos2unix: Skipping binary file ./lib/commons-math3-3.2.jar dos2unix: Binary symbol 0x03 found at line 1 dos2unix: Skipping binary file ./lib/jlex.jar dos2unix: Binary symbol 0x03 found at line 1 dos2unix: Skipping binary file ./lib/grappa1_4.jar dos2unix: Binary symbol 0x03 found at line 1 dos2unix: Skipping binary file ./lib/xml-apis.jar dos2unix: Binary symbol 0x03 found at line 1 dos2unix: Skipping binary file ./lib/java_cup.jar dos2unix: converting file ./src/ppddl/tt/README.txt to Unix format... dos2unix: converting file ./src/ppddl/tt/p03.pddl to Unix format... dos2unix: converting file ./src/ppddl/tt/p05.pddl to Unix format... dos2unix: converting file ./src/ppddl/tt/p10.pddl to Unix format... dos2unix: converting file ./src/ppddl/tt/p02.pddl to Unix format... dos2unix: converting file ./src/ppddl/tt/p08.pddl to Unix format... dos2unix: converting file ./src/ppddl/tt/p06.pddl to Unix format... dos2unix: converting file ./src/ppddl/tt/p07.pddl to Unix format... dos2unix: converting file ./src/ppddl/tt/p01.pddl to Unix format... dos2unix: converting file ./src/ppddl/tt/p04.pddl to Unix format... dos2unix: converting file ./src/ppddl/tt/domain.pddl to Unix format... dos2unix: converting file ./src/ppddl/tt/p09.pddl to Unix format... dos2unix: converting file ./src/ppddl/ex/README.txt to Unix format... dos2unix: converting file ./src/ppddl/ex/bw-c-pc-8.pddl to Unix format... dos2unix: converting file ./src/ppddl/ex/bx-c10-b10-pc.pddl to Unix format... dos2unix: converting file ./src/ppddl/ex/bw-nc-pc-11.pddl to Unix format... dos2unix: converting file ./src/ppddl/ex/bw-nc-pc-15.pddl to Unix format... dos2unix: converting file ./src/ppddl/ex/bx-c5-b10-pc.pddl to Unix format... dos2unix: converting file ./src/ppddl/ex/bw-nc-pc-21.pddl to Unix format... dos2unix: converting file ./src/ppddl/ex/bx-c10-b10-pc-nr.pddl to Unix format... dos2unix: converting file ./src/ppddl/ex/bx-c15-b10-pc.pddl to Unix format... dos2unix: converting file ./src/ppddl/ex/bw-nc-pc-18.pddl to Unix format... dos2unix: converting file ./src/ppddl/ex/bw-nc-pc-8.pddl to Unix format... dos2unix: converting file ./src/ppddl/ex/zeno-pc.pddl to Unix format... dos2unix: converting file ./src/ppddl/ex/bx-c5-b10-pc-nr.pddl to Unix format... dos2unix: converting file ./src/ppddl/ex/bw-nc-pc-5.pddl to Unix format... dos2unix: converting file ./src/ppddl/ex/bw-c-pc-nr-8.pddl to Unix format... dos2unix: converting file ./src/ppddl/ex/bw-nc-pc-nr-8.pddl to Unix format... dos2unix: converting file ./src/ppddl/ex/elevator.pddl to Unix format... dos2unix: converting file ./src/ppddl/TokenStream.java to Unix format... dos2unix: converting file ./src/ppddl/PPDDL.java to Unix format... dos2unix: converting file ./src/ppddl/Token.java to Unix format... dos2unix: converting file ./src/ppddl/TokenStreamException.java to Unix format... dos2unix: converting file ./src/ppddl/HierarchicalParser.java to Unix format... dos2unix: converting file ./src/util/DocUtils.java to Unix format... dos2unix: converting file ./src/util/Pair.java to Unix format... dos2unix: converting file ./src/util/Permutation.java to Unix format... dos2unix: converting file ./src/util/CString.java to Unix format... dos2unix: converting file ./src/util/Timer.java to Unix format... dos2unix: converting file ./src/util/MapList.java to Unix format... dos2unix: converting file ./src/util/WinUNIX.java to Unix format... dos2unix: converting file ./src/dd/discrete/ADDNode.java to Unix format... dos2unix: converting file ./src/dd/discrete/TestEnumPath.java to Unix format... dos2unix: converting file ./src/dd/discrete/SNodePair.java to Unix format... dos2unix: converting file ./src/dd/discrete/ADDINode.java to Unix format... dos2unix: converting file ./src/dd/discrete/SINodeIndex.java to Unix format... dos2unix: converting file ./src/dd/discrete/SDNodeIndex.java to Unix format... dos2unix: converting file ./src/dd/discrete/ReduceCacheKey.java to Unix format... dos2unix: converting file ./src/dd/discrete/ADDBNode.java to Unix format... dos2unix: converting file ./src/dd/discrete/Test.java to Unix format... dos2unix: converting file ./src/dd/discrete/ADDDNode.java to Unix format... dos2unix: converting file ./src/dd/discrete/ADDRNode.java to Unix format... dos2unix: converting file ./src/dd/discrete/ADD.java to Unix format... dos2unix: converting file ./src/dd/discrete/DD.java to Unix format... dos2unix: converting file ./src/graph/gviz/DotViewerDemo.java to Unix format... dos2unix: converting file ./src/graph/gviz/GraphFormat.java to Unix format... dos2unix: converting file ./src/graph/gviz/Makefile to Unix format... dos2unix: converting file ./src/graph/gviz/DotViewer.java to Unix format... dos2unix: converting file ./src/graph/gviz/DotViewerApplet.java to Unix format... dos2unix: converting file ./src/graph/graph_format.dot to Unix format... dos2unix: converting file ./src/graph/fit_to_page to Unix format... dos2unix: converting file ./src/graph/testl.dot to Unix format... dos2unix: converting file ./src/graph/test.dot to Unix format... dos2unix: converting file ./src/graph/graph_format.ps to Unix format... dos2unix: converting file ./src/graph/texput.log to Unix format... dos2unix: converting file ./src/graph/make_ps to Unix format... dos2unix: converting file ./src/graph/Makefile to Unix format... dos2unix: converting file ./src/graph/template.tex to Unix format... dos2unix: converting file ./src/graph/Graph.java to Unix format... dos2unix: converting file ./src/graph/graph_format_fit.ps to Unix format... dos2unix: converting file ./src/graph/run.bat to Unix format... dos2unix: converting file ./src/graph/testl.ps to Unix format... dos2unix: converting file ./src/graph/texput.aux to Unix format... dos2unix: converting file ./src/graph/run to Unix format... dos2unix: Binary symbol 0x02 found at line 1 dos2unix: Skipping binary file ./src/graph/texput.dvi dos2unix: converting file ./src/graph/test.ps to Unix format... dos2unix: converting file ./src/graph/README to Unix format... dos2unix: converting file ./src/rddl/Global.java to Unix format... dos2unix: converting file ./src/rddl/AState.java to Unix format... dos2unix: converting file ./src/rddl/Expression.java to Unix format... dos2unix: converting file ./src/rddl/parser/sym.java to Unix format... dos2unix: converting file ./src/rddl/parser/parser.java to Unix format... dos2unix: converting file ./src/rddl/parser/Makefile to Unix format... dos2unix: converting file ./src/rddl/parser/rddl.cup to Unix format... dos2unix: converting file ./src/rddl/parser/rddl.lex to Unix format... dos2unix: converting file ./src/rddl/parser/ParseException.java to Unix format... dos2unix: converting file ./src/rddl/parser/Yylex.java to Unix format... dos2unix: converting file ./src/rddl/parser/README to Unix format... dos2unix: converting file ./src/rddl/ActionGenerator.java to Unix format... dos2unix: converting file ./src/rddl/RDDL.java.bak to Unix format... dos2unix: converting file ./src/rddl/sim/Simulator.java to Unix format... dos2unix: converting file ./src/rddl/sim/Result.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/SysAdminMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/WildfireMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/AcademicAdvisingPOMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/NavigationPOMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/SysAdminPOMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/CrossingTrafficPOMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/ReconPOMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/SkillTeachingPOMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/TrafficMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/SkillTeachingMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/TriangleTireworldPOMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/ElevatorPOMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/AcademicAdvisingMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/TrafficPOMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/TamariskMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/TamariskPOMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/TriangleTireworldMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/ElevatorMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/GameOfLifeMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/ReconMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/WildfirePOMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/GameOfLifePOMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/CrossingTrafficMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/generators/NavigationMDPGen.java to Unix format... dos2unix: converting file ./src/rddl/competition/Team3.java to Unix format... dos2unix: converting file ./src/rddl/competition/Client.java to Unix format... dos2unix: converting file ./src/rddl/competition/Server.java to Unix format... dos2unix: converting file ./src/rddl/competition/VisCounter.java to Unix format... dos2unix: converting file ./src/rddl/competition/TestConformant.java to Unix format... dos2unix: converting file ./src/rddl/competition/RDDLXMLException.java to Unix format... dos2unix: converting file ./src/rddl/competition/Records.java to Unix format... dos2unix: converting file ./src/rddl/EState.java to Unix format... dos2unix: converting file ./src/rddl/solver/TimeOutException.java to Unix format... dos2unix: converting file ./src/rddl/solver/SOLVERS.txt to Unix format... dos2unix: converting file ./src/rddl/solver/pomdp/pomcp/POMCP.java to Unix format... dos2unix: converting file ./src/rddl/solver/pomdp/vi/VI.java to Unix format... dos2unix: converting file ./src/rddl/solver/pomdp/pbvi/PBVI.java to Unix format... dos2unix: converting file ./src/rddl/solver/DDUtils.java to Unix format... dos2unix: converting file ./src/rddl/solver/mdp/uct/UCTWithBackup2.java to Unix format... dos2unix: converting file ./src/rddl/solver/mdp/uct/UCTWithBackup.java to Unix format... dos2unix: converting file ./src/rddl/solver/mdp/uct/UCT2.java to Unix format... dos2unix: converting file ./src/rddl/solver/mdp/uct/RolloutPolicy.java to Unix format... dos2unix: converting file ./src/rddl/solver/mdp/uct/UCT.java to Unix format... dos2unix: converting file ./src/rddl/solver/mdp/uct/UCTWithBackupAfterNVisits.java to Unix format... dos2unix: converting file ./src/rddl/solver/mdp/Action.java to Unix format... dos2unix: converting file ./src/rddl/solver/mdp/vi/VI.java to Unix format... dos2unix: converting file ./src/rddl/solver/mdp/rtdp/sBRTDP_MaxVar_Hplus_Texp_Prune.java to Unix format... dos2unix: converting file ./src/rddl/solver/mdp/rtdp/sBRTDP.java to Unix format... dos2unix: converting file ./src/rddl/solver/mdp/rtdp/sBRTDP_MaxVar_Hplus_Texp.java to Unix format... dos2unix: converting file ./src/rddl/solver/mdp/rtdp/sBRTDP_Max.java to Unix format... dos2unix: converting file ./src/rddl/solver/mdp/rtdp/RTDP.java to Unix format... dos2unix: converting file ./src/rddl/solver/mdp/rtdp/sBRTDP_DistinctAvg.java to Unix format... dos2unix: converting file ./src/rddl/solver/mdp/rtdp/sBRTDP_MaxVar_Hplus_Texp_Prune_Sampling.java to Unix format... dos2unix: converting file ./src/rddl/solver/mdp/rtdp/sBRTDP_MaxVar.java to Unix format... dos2unix: converting file ./src/rddl/solver/mdp/rtdp/RTDP1.java to Unix format... dos2unix: converting file ./src/rddl/solver/mdp/rtdp/sBRTDP_Avg.java to Unix format... dos2unix: converting file ./src/rddl/TreeExp.java to Unix format... dos2unix: converting file ./src/rddl/EvalException.java to Unix format... dos2unix: converting file ./src/rddl/RDDL.java to Unix format... dos2unix: converting file ./src/rddl/validate/StaticValidator.java to Unix format... dos2unix: converting file ./src/rddl/validate/DynamicValidator.java to Unix format... dos2unix: converting file ./src/rddl/State.java to Unix format... dos2unix: converting file ./src/rddl/TEState.java to Unix format... dos2unix: converting file ./src/rddl/State.java.bak to Unix format... dos2unix: converting file ./src/rddl/viz/TriangleTireworldDisplay.java to Unix format... dos2unix: converting file ./src/rddl/viz/GenericScreenDisplay.java to Unix format... dos2unix: converting file ./src/rddl/viz/WildfireDisplay.java to Unix format... dos2unix: converting file ./src/rddl/viz/NavigationDisplay.java to Unix format... dos2unix: converting file ./src/rddl/viz/CIMDisplay.java to Unix format... dos2unix: converting file ./src/rddl/viz/AcademicAdvisingDisplay.java to Unix format... dos2unix: converting file ./src/rddl/viz/RDDL2Graph.java to Unix format... dos2unix: converting file ./src/rddl/viz/TrafficDisplay.java to Unix format... dos2unix: converting file ./src/rddl/viz/MarsRoverDisplay.java to Unix format... dos2unix: converting file ./src/rddl/viz/ElevatorDisplay.java to Unix format... dos2unix: converting file ./src/rddl/viz/CrossingTrafficDisplay.java to Unix format... dos2unix: converting file ./src/rddl/viz/BlockDisplay.java to Unix format... dos2unix: converting file ./src/rddl/viz/trfctm/README.txt to Unix format... dos2unix: converting file ./src/rddl/viz/trfctm/TrfGridDisplay.java to Unix format... dos2unix: converting file ./src/rddl/viz/trfctm/TrfDisplay.java to Unix format... dos2unix: converting file ./src/rddl/viz/ERDDL2Graph.java to Unix format... dos2unix: converting file ./src/rddl/viz/NullScreenDisplay.java to Unix format... dos2unix: converting file ./src/rddl/viz/TamariskDisplay.java to Unix format... dos2unix: converting file ./src/rddl/viz/TERDDL2Graph.java to Unix format... dos2unix: converting file ./src/rddl/viz/SysAdminScreenDisplay.java to Unix format... dos2unix: converting file ./src/rddl/viz/SidewalkGraphicsDisplay.java to Unix format... dos2unix: converting file ./src/rddl/viz/GameOfLifeScreenDisplay.java to Unix format... dos2unix: converting file ./src/rddl/viz/StateViz.java to Unix format... dos2unix: converting file ./src/rddl/viz/ARDDL2Graph.java to Unix format... dos2unix: converting file ./src/rddl/policy/RandomConcurrentPolicy.java to Unix format... dos2unix: converting file ./src/rddl/policy/EnumerableStatePolicy.java to Unix format... dos2unix: converting file ./src/rddl/policy/SPerseusSPUDDPolicy.java to Unix format... dos2unix: converting file ./src/rddl/policy/RandomBoolPolicy.java to Unix format... dos2unix: converting file ./src/rddl/policy/SOGBOFA.java to Unix format... dos2unix: converting file ./src/rddl/policy/AssemblyDemo.java to Unix format... dos2unix: converting file ./src/rddl/policy/trfctm/README.txt to Unix format... dos2unix: converting file ./src/rddl/policy/trfctm/TrfRandomPolicy.java to Unix format... dos2unix: converting file ./src/rddl/policy/trfctm/TrfFixedTimePolicy.java to Unix format... dos2unix: converting file ./src/rddl/policy/trfctm/TrfTestPolicy.java to Unix format... dos2unix: converting file ./src/rddl/policy/Policy.java to Unix format... dos2unix: converting file ./src/rddl/policy/NoopPolicy.java to Unix format... dos2unix: converting file ./src/rddl/policy/RandomAct.java to Unix format... dos2unix: converting file ./src/rddl/policy/FixedBoolPolicy.java to Unix format... dos2unix: converting file ./src/rddl/policy/RandomEnumPolicy.java to Unix format... dos2unix: converting file ./src/rddl/policy/DeepCloneUtil.java to Unix format... dos2unix: converting file ./src/rddl/evaluate/README.txt to Unix format... dos2unix: converting file ./src/rddl/evaluate/fix_xml.sh to Unix format... dos2unix: converting file ./src/rddl/evaluate/Statistics.java to Unix format... dos2unix: converting file ./src/rddl/evaluate/FinalEval.java to Unix format... dos2unix: converting file ./src/rddl/evaluate/MinMaxEval.java to Unix format... dos2unix: converting file ./src/rddl/evaluate/LogReader.java to Unix format... dos2unix: converting file ./src/rddl/translate/RDDL2Prefix.java to Unix format... dos2unix: converting file ./src/rddl/translate/RDDL2Format.java to Unix format... dos2unix: converting file ./src/rddl/translate/cnf/README.txt to Unix format... dos2unix: converting file ./src/rddl/translate/cnf/SolutionReader.java to Unix format... dos2unix: converting file ./src/rddl/translate/cnf/CNF.java to Unix format... dos2unix: converting file ./src/rddl/translate/cnf/CNFClause.java to Unix format... dos2unix: converting file ./src/rddl/translate/cnf/Literal.java to Unix format... dos2unix: converting file ./src/rddl/translate/cnf/TestElevatorPolicy.java to Unix format... dos2unix: converting file ./src/rddl/translate/cnf/ManualWorkPolicy.java to Unix format... dos2unix: converting file ./src/rddl/translate/RDDL2FormatNonAdd.java to Unix format... dos2unix: converting file ./run to Unix format... + bash compile src/dd/discrete/DD.java:129: warning: [dep-ann] deprecated item is not annotated with @Deprecated public abstract int getVarNode(int var_id, double low, double high); ^ Note: Some input files use or override a deprecated API. Note: Recompile with -Xlint:deprecation for details. Note: Some input files use unchecked or unsafe operations. Note: Recompile with -Xlint:unchecked for details. 1 warning