-2.2350414 -12.512948 0.0 1 misc/cta.el -16711936 false -2.2885206 -12.492303 0.0 3 misc/hilit19.el -16711936 false -7.175892 -7.2725515 0.0 246 doc/todo.txt -16711936 false -48.766285 -45.636154 0.0 15 ana/anaBoolEmpty.h -16711936 false -49.056293 -46.470512 0.0 14 ana/anaBoolEqual.h -16711936 false -48.636635 -46.26256 0.0 14 ana/anaBoolInclusion.h -16711936 false -49.30345 -49.40873 0.0 12 ana/anaRegDifference.h -16711936 false -50.445282 -49.33432 0.0 14 ana/anaRegInstrAssign.h -16711936 false -49.963474 -45.898014 0.0 15 ana/anaRegInstrIf.h -16711936 false -49.52321 -48.231857 0.0 16 ana/anaRegInstrPrint.h -16711936 false -50.26347 -48.034054 0.0 9 ana/anaRegInstrSeq.h -16711936 false -50.24284 -47.440598 0.0 13 ana/anaRegInstrWhile.h -16711936 false -49.620834 -51.247223 0.0 18 ana/anaRegIntersect.h -16711936 false -48.07192 -49.859898 0.0 21 ana/anaRegLinConstraint.h -16711936 false -46.67091 -51.326385 0.0 26 ana/anaRegNot.h -16711936 false -49.66956 -52.46221 0.0 20 ana/anaRegPost.h -16711936 false -49.219395 -52.901405 0.0 20 ana/anaRegPre.h -16711936 false -48.592255 -51.783737 0.0 22 ana/anaRegReachBackward.h -16711936 false -48.2473 -52.559372 0.0 24 ana/anaRegReachForward.h -16711936 false -46.6573 -47.926205 0.0 28 ana/anaRegState.h -16711936 false -50.327415 -51.463238 0.0 18 ana/anaRegSymbol.h -16711936 false -49.595432 -51.756195 0.0 17 ana/anaRegUnion.h -16711936 false -49.08753 -50.961308 0.0 19 ana/anaRegion.h -16711936 false -49.74822 -43.66903 0.0 7 ana/anaRegInitial.h -16711936 false -45.805904 -6.3328514 0.0 40 ddm/ddmAutomaton.cpp -16711936 false -44.97721 -3.1178706 0.0 36 ddm/ddmAutomaton.h -16711936 false 4.481347 -13.211995 0.0 15 ana/anaObject.h -16711936 false -52.53526 -20.774944 0.0 7 ddm/ddmAutomatonOstream.cpp -16711936 false -50.81042 -15.229733 0.0 12 ddm/ddmConfigPair.cpp -16711936 false -52.588757 -21.07607 0.0 7 ddm/ddmConfigPair.h -16711936 false -50.397324 -14.674204 0.0 15 ddm/ddmConfigPairList.cpp -16711936 false -53.73546 -24.088501 0.0 6 ddm/ddmConstraints.cpp -16711936 false -53.375916 -25.61251 0.0 5 ddm/ddmConstraints.h -16711936 false -54.066082 -26.979687 0.0 4 ddm/ddmDualVec.cpp -16711936 false -53.688553 -29.977976 0.0 3 ddm/ddmIncidences.cpp -16711936 false -53.745 -30.225378 0.0 3 ddm/ddmIncidences.h -16711936 false -53.218662 -24.416481 0.0 6 ddm/ddmPoly.cpp -16711936 false -48.429966 -16.159945 0.0 8 ddm/ddmRegion.cpp -16711936 false -50.65573 -20.308687 0.0 7 ddm/ddmRegion.h -16711936 false -52.816425 -23.500282 0.0 5 ddm/ddmState.cpp -16711936 false -52.63194 -29.441029 0.0 4 ddm/ddmState.h -16711936 false -53.526604 -29.912916 0.0 3 ddm/ddmTraces.cpp -16711936 false -53.614025 -27.55491 0.0 4 ddm/ddmTraces.h -16711936 false -51.7537 -14.96551 0.0 11 ddm/ddmXPoly.cpp -16711936 false -53.1238 -18.193975 0.0 9 ddm/ddmXPoly.h -16711936 false -35.65104 9.120644 0.0 41 ddm/dependencies -16711936 false -49.249485 -45.941742 0.0 12 ana/anaBool.h -16711936 false -49.532482 -48.633 0.0 13 ana/anaRegInstr.h -16711936 false 15.112897 1.4676467 0.0 3 doc/CodingStandard.txt -16711936 false -28.269579 9.01413 0.0 39 Makefile -16711936 false -52.5048 -20.550467 0.0 6 ddm/ddmAutomatonOstream.h -16711936 false -44.01799 -4.4407425 0.0 22 ddm/ddmConfig.cpp -16711936 false 10.062476 -0.4628983 0.0 1 doc/Profile_anaRegReachForwardFixPnt_Evaluate_Fischer2.log -16711936 false 10.052288 -0.45967445 0.0 1 doc/Profile_anaRegReachForwardFixPnt_Evaluate_Railroad-dos.log -16711936 false 27.772718 -22.48864 0.0 3 regression/Cycletest1.cta.log -16711936 false 27.685915 -22.549023 0.0 3 regression/Cycletest2.cta.log -16711936 false 27.720598 -22.46331 0.0 3 regression/Cycletest3.cta.log -16711936 false 27.769106 -22.41846 0.0 3 regression/ErrorState.cta.log -16711936 false 27.577549 -22.422497 0.0 4 regression/Railroad-dos.cta.log -16711936 false 27.602518 -22.584116 0.0 4 regression/Signaltest1.cta.log -16711936 false 27.5283 -22.54168 0.0 4 regression/Signaltest2.cta.log -16711936 false 27.486727 -22.454002 0.0 4 regression/Signaltest3.cta.log -16711936 false -23.589796 29.38671 0.0 27 bdd/dependencies -16711936 false -42.683575 -4.7302856 0.0 24 ddm/ddmConfig.h -16711936 false -5.962199 35.39904 0.0 17 bdd/bddCommunicationGraph.h -16711936 false -6.1608787 35.63723 0.0 8 bdd/bddCommunicationGraphNode.h -16711936 false -2.8050463 46.08961 0.0 77 bdd/bddAutomaton.cpp -16711936 false -26.738033 24.831259 0.0 21 cta/dependencies -16711936 false -44.58647 -45.564095 0.0 7 ana/anaBoolIsReachable.h -16711936 false -48.231018 -17.308096 0.0 6 ddm/ddmTransition.cpp -16711936 false -2.682302 47.966747 0.0 34 bdd/bddAutomaton.h -16711936 false 1.6875436 46.500095 0.0 27 bdd/bddConfig.h -16711936 false -7.004054 25.394104 0.0 4 example/bdd/ProductionCell.cta -16711936 false -12.028703 -14.037059 0.0 3 ddm/ddm.proj -16711936 false 3.718951 48.523224 0.0 14 bdd/bddBdd.cpp -16711936 false 3.8514104 49.12746 0.0 10 bdd/bddBdd.h -16711936 false 2.9254045 47.312946 0.0 16 bdd/bddConfig.cpp -16711936 false -37.415676 -43.37192 0.0 4 ana/anaRegHide.h -16711936 false -14.313216 18.495829 0.0 14 ana/anaRegInputErrorState.h -16711936 false -30.854216 12.081544 0.0 16 cta/reprConfig.h -16711936 false -36.460083 16.020817 0.0 19 cta/reprAutomaton.h -16711936 false -5.8742414 14.037359 0.0 24 example/bdd/ManufacturingPlant.cta -16711936 false -10.994391 19.71128 0.0 13 example/bdd/RailRoad.cta -16711936 false -4.646783 35.6802 0.0 7 ana/anaRegInstrPrintBddEstim.h -16711936 false -1.193939 44.759052 0.0 3 ana/anaRegInstrPrintBddGraph.h -16711936 false 4.4125514 7.593154 0.0 2 misc/bddSizeVisualize/4TimedBelts.dat -16711936 false -4.3742623 -1.2988502 0.0 3 misc/bddSizeVisualize/4UntimedBelts.dat -16711936 false 3.6412606 2.6739204 0.0 2 misc/bddSizeVisualize/Fischer16.dat -16711936 false 3.6136684 2.6766167 0.0 2 misc/bddSizeVisualize/Fischer32.dat -16711936 false 3.5984442 2.6442826 0.0 2 misc/bddSizeVisualize/Fischer4.dat -16711936 false 3.5853865 2.6959581 0.0 2 misc/bddSizeVisualize/Fischer4KLast.dat -16711936 false 26.845207 -5.4656525 0.0 2 misc/bddSizeVisualize/Fischer64.dat -16711936 false 3.6589613 2.4869692 0.0 3 misc/bddSizeVisualize/Fischer8.dat -16711936 false 3.5908592 2.4943864 0.0 3 misc/bddSizeVisualize/Fischer8KLast.dat -16711936 false 26.790905 -5.446529 0.0 2 misc/bddSizeVisualize/TwoState8a.dat -16711936 false 17.585556 -4.8675346 0.0 2 misc/bddSizeVisualize/AND4.dat -16711936 false -1.0124748 -25.18307 0.0 3 misc/bddSizeVisualize/Fischer8Estim.dat -16711936 false -1.0502883 -25.185108 0.0 2 misc/bddSizeVisualize/Fischer8KLastEstim.dat -16711936 false -5.69067 -9.804012 0.0 1 misc/bddSizeVisualize/4TimedBeltsEstim.dat -16711936 false 3.0274184 11.802482 0.0 1 misc/bddSizeVisualize/4TimedBeltsWithVariableOrder.dat -16711936 false 3.0197494 11.794985 0.0 1 misc/bddSizeVisualize/Fischer32WithVariableOrdering.dat -16711936 false -3.0769598 34.17196 0.0 38 cta/ctaModule.cpp -16711936 false -3.133253 31.935661 0.0 10 cta/ctaModule.h -16711936 false 14.540226 4.4500203 0.0 28 cta/ctaYacc.y -16711936 false 14.284294 16.453579 0.0 13 cta/rabbit.cpp -16711936 false 24.747618 4.4952426 0.0 27 cta/utilCmdLineOptions.cpp -16711936 false 24.445847 3.9706283 0.0 12 cta/utilCmdLineOptions.h -16711936 false 2.9204438 48.434074 0.0 15 bdd/bddSymTab.h -16711936 false 3.866963 49.760303 0.0 5 bdd/Makefile -16711936 false -7.334789 30.525316 0.0 8 cta/Makefile -16711936 false -2.4029458 41.71546 0.0 4 cta/utilTime.cpp -16711936 false -0.8479859 -9.821044 0.0 2 cta/utilTime.h -16711936 false 7.3469806 11.054853 0.0 19 ana/anaSecReachability.h -16711936 false -9.758281 16.709322 0.0 15 cta/ctaAutomaton.cpp -16711936 false -18.094404 23.00638 0.0 3 cta/ctaAutomaton.h -16711936 false -16.522673 19.521353 0.0 6 cta/ctaRestNot.h -16711936 false -16.234928 21.12517 0.0 8 cta/ctaState.cpp -16711936 false -17.85858 21.978895 0.0 5 cta/ctaState.h -16711936 false -14.00261 21.453632 0.0 3 cta/ctaSynchronisation.cpp -16711936 false -15.933174 23.622314 0.0 2 cta/ctaSynchronisation.h -16711936 false -9.5481205 17.993876 0.0 12 cta/ctaSystem.cpp -16711936 false -15.85287 22.72919 0.0 5 cta/ctaConfigState.cpp -16711936 false -15.239152 20.247818 0.0 6 cta/ctaConfigState.h -16711936 false -15.886559 23.421116 0.0 2 cta/ctaRestFalse.h -16711936 false -16.628641 23.28753 0.0 2 cta/ctaRestRel.h -16711936 false -16.436369 22.978868 0.0 2 cta/ctaRestriction.cpp -16711936 false -14.868478 20.404337 0.0 3 cta/ctaSet.h -16711936 false -18.570637 20.496372 0.0 5 cta/ctaTransition.h -16711936 false -17.049467 22.484173 0.0 3 cta/ctaConfiguration.h -16711936 false -17.231472 22.12351 0.0 4 cta/ctaHyTechPrinter.cpp -16711936 false -16.53628 23.159304 0.0 2 cta/ctaString.h -16711936 false -10.011036 8.895176 0.0 1 doc/codeerzeugung.txt -16711936 false 31.343174 -6.757082 0.0 5 example/ddm/GasBurner.cta -16711936 false -10.711497 45.54111 0.0 2 ana/anaSecSimulation.h -16711936 false 14.648808 3.941874 0.0 10 cta/ctaLex.l -16711936 false -6.950469 -1.8233562 0.0 1 cta/timeb.h -16711936 false -1.5998693 1.7490492 0.0 11 sim/fertanl.h -16711936 false -16.524853 -10.514818 0.0 1 sim/io.h -16711936 false -16.675158 -10.602947 0.0 3 sim/pcdriver.h -16711936 false -16.974957 -10.693464 0.0 1 sim/libwsock32.a -16711936 false -17.494429 -9.262413 0.0 3 sim/server.cpp -16711936 false -9.496417 -2.2629554 0.0 26 ddm/Makefile -16711936 false 13.76929 -7.9768295 0.0 11 1readme.txt -16711936 false -12.249276 -14.009822 0.0 2 cta-db/chkstyle -16711936 false -12.245271 -13.953155 0.0 2 cta-db/emacs-config-file -16711936 false -12.289839 -13.997845 0.0 2 ddm/bzero.c -16711936 false -12.173487 -13.997982 0.0 2 ddm/ideas -16711936 false -12.191531 -13.968353 0.0 2 ddm/mrk/Makefile -16711936 false -12.179139 -14.070718 0.0 2 ddm/mrk/dependencies -16711936 false -12.08779 -13.855402 0.0 3 doc/doku.txt -16711936 false -21.175604 9.3989105 0.0 6 example/refine/RefineSimple.cta -16711936 false -17.248281 23.939318 0.0 1 cta/cta-db.proj -16711936 false -14.455945 24.988544 0.0 2 cta/ctaComponent.cpp -16711936 false -14.3324 24.946083 0.0 2 cta/ctaComponent.h -16711936 false -17.217146 23.099483 0.0 2 cta/ctaConfigAnd.h -16711936 false -16.9386 22.580149 0.0 3 cta/ctaConfigLinRest.h -16711936 false -17.221205 22.913742 0.0 2 cta/ctaConfigOr.h -16711936 false -17.156717 23.963964 0.0 1 cta/ctaConfiguration.cpp -16711936 false -17.096691 24.032093 0.0 1 cta/ctaErrMsg.h -16711936 false -17.25808 23.924356 0.0 1 cta/ctaExprConst.h -16711936 false -17.21761 23.912727 0.0 1 cta/ctaExprNegation.h -16711936 false -17.270584 24.04841 0.0 1 cta/ctaExprPlus.h -16711936 false -17.243948 24.019953 0.0 1 cta/ctaExprVar.cpp -16711936 false -17.332308 23.167606 0.0 2 cta/ctaExprVar.h -16711936 false -17.31925 23.005716 0.0 2 cta/ctaExpression.h -16711936 false -17.241516 23.792723 0.0 1 cta/ctaGrammar.l -16711936 false 10.74384 12.19928 0.0 4 cta/ctaGrammar.txt -16711936 false -17.22387 23.71698 0.0 1 cta/ctaHyTechPrinter.h -16711936 false -2.4751275 -11.293109 0.0 4 cta/ctaInstantiation.cpp -16711936 false -17.295677 23.96182 0.0 1 cta/ctaInstantiation.h -16711936 false -17.258785 23.739561 0.0 1 cta/ctaMap.h -16711936 false -17.359886 23.90372 0.0 1 cta/ctaObject.cpp -16711936 false -17.273146 23.895681 0.0 1 cta/ctaObject.h -16711936 false -14.656396 24.978073 0.0 2 cta/ctaParser.h -16711936 false 10.376645 -0.35264185 0.0 2 cta/ctaRelOp.h -16711936 false -17.06565 23.98813 0.0 1 cta/ctaRestAnd.h -16711936 false -17.329302 24.000763 0.0 1 cta/ctaRestOr.h -16711936 false -17.153275 23.97718 0.0 1 cta/ctaRestRel.cpp -16711936 false -17.19675 23.903305 0.0 1 cta/ctaRestTrue.h -16711936 false -17.286106 23.874 0.0 1 cta/ctaRestriction.h -16711936 false -17.284746 23.837309 0.0 1 cta/ctaScanner.h -16711936 false -17.329126 23.881153 0.0 1 cta/ctaSetPointer.h -16711936 false -17.322296 23.824926 0.0 1 cta/ctaString.cpp -16711936 false -17.01917 23.95581 0.0 1 cta/ctaStringGNU.h -16711936 false -17.299213 23.780697 0.0 1 cta/ctaStringSTL.h -16711936 false -15.28997 23.649746 0.0 2 cta/ctaSystem.h -16711936 false -20.304356 18.589083 0.0 2 cta/ctaTransition.cpp -16711936 false -17.20865 23.891838 0.0 1 cta/ctaVectorOfPointer.h -16711936 false -12.023171 -6.205483 0.0 39 doc/done.txt -16711936 false -25.474691 2.8625991 0.0 1 ddm/main/main1.cc -16711936 false -25.442604 2.8265965 0.0 1 ddm/main/main10.cc -16711936 false -25.339693 2.8405797 0.0 1 ddm/main/main11.cc -16711936 false -25.494947 2.8993995 0.0 1 ddm/main/main12.cc -16711936 false -25.411757 2.9134035 0.0 1 ddm/main/main2.cc -16711936 false -25.365395 2.8831606 0.0 1 ddm/main/main3.cc -16711936 false -25.431278 2.9311752 0.0 1 ddm/main/main4.cc -16711936 false -25.352669 2.8143103 0.0 1 ddm/main/main5.cc -16711936 false -25.441313 2.7841134 0.0 1 ddm/main/main6.cc -16711936 false -25.329884 2.9111843 0.0 1 ddm/main/main7.cc -16711936 false -25.374693 2.8120837 0.0 1 ddm/main/main8.cc -16711936 false -25.437363 2.790194 0.0 1 ddm/main/main9.cc -16711936 false -25.417913 2.9358306 0.0 1 ddm/tst/tst1 -16711936 false -25.39104 2.794082 0.0 1 ddm/tst/tst2 -16711936 false -25.328571 2.9210541 0.0 1 ddm/tst/tst3 -16711936 false -25.440145 2.8055599 0.0 1 ddm/tst/tst3_1 -16711936 false -25.431425 2.826595 0.0 1 ddm/tst/tst3_2 -16711936 false -25.348877 2.877592 0.0 1 ddm/tst/tst4 -16711936 false -25.432362 2.8468702 0.0 1 ddm/tst/tst5 -16711936 false -25.42495 2.9147077 0.0 1 ddm/tst/tst6 -16711936 false -53.089005 -28.247131 0.0 4 ddm/ddmConfigPairList.h -16711936 false -53.686058 -30.443861 0.0 3 ddm/ddmDualVec.h -16711936 false -53.84228 -24.509579 0.0 5 ddm/ddmRays.cpp -16711936 false -50.51042 -6.247832 0.0 4 ddm/ddmVecPlain.cpp -16711936 false -50.609447 -6.3609056 0.0 3 ddm/ddmVecPlain.h -16711936 false -50.087524 -1.2611693 0.0 6 ddm/ddmVecSTL.cpp -16711936 false -49.707954 -6.3526144 0.0 6 ddm/ddmVecSTL.h -16711936 false -52.6475 -11.054215 0.0 1 cta/reprNUMBER.h -16711936 false -48.353214 -10.775128 0.0 3 cta/reprAutomatonOstream.h -16711936 false -48.394257 -11.00813 0.0 2 cta/ctaIntSet.h -16711936 false -33.593597 6.4452033 0.0 2 cta/reprObject.h -16711936 false -3.7998815 -10.865191 0.0 1 example/kronos/Fischer/Fischer.tctl -16711936 false -3.8005445 -10.876215 0.0 1 example/kronos/Fischer/Fischer1.tg -16711936 false -3.8571227 -10.912471 0.0 1 example/kronos/Fischer/Fischer2.tg -16711936 false -3.8417957 -10.923864 0.0 1 example/kronos/Fischer/Fischer3.tg -16711936 false -3.7771056 -10.877972 0.0 1 example/kronos/Fischer/Fischer4.tg -16711936 false -3.803612 -10.924148 0.0 1 example/kronos/Fischer/Fischer5.tg -16711936 false -3.8006992 -10.922146 0.0 1 example/kronos/Fischer/Fischer6.tg -16711936 false -3.8221498 -10.855413 0.0 1 example/kronos/Fischer/varK2.tg -16711936 false -3.8741767 -10.860564 0.0 1 example/kronos/Fischer/varK3.tg -16711936 false -3.8208494 -10.916934 0.0 1 example/kronos/Fischer/varK4.tg -16711936 false -3.8752263 -10.840521 0.0 1 example/kronos/Fischer/varK5.tg -16711936 false -3.866141 -10.89253 0.0 1 example/kronos/Fischer/varK6.tg -16711936 false -7.7392526 21.271786 0.0 5 example/bdd/XOR10.cta -16711936 false -7.594924 21.375946 0.0 4 example/bdd/XOR2.cta -16711936 false -7.667766 21.363167 0.0 4 example/bdd/XOR3.cta -16711936 false -7.6144295 21.312246 0.0 4 example/bdd/XOR5.cta -16711936 false -44.17504 -40.425747 0.0 2 example/refine/RefineFischer2.cta -16711936 false -27.094873 17.16628 0.0 8 example/refine/RefineTest.cta -16711936 false -30.338917 -5.4148645 0.0 3 example/refine/FischerX.cta -16711936 false -33.44007 -4.3036265 0.0 9 example/refine/MutexSync.cta -16711936 false -30.38057 -5.3022523 0.0 3 example/refine/RefineTestSync.cta -16711936 false 19.083332 -24.429976 0.0 4 ana/anaRegInstrPrintAuto.h -16711936 false -39.97497 -41.452507 0.0 2 ana/anaRegInstrPrintFlatModule.h -16711936 false -27.125214 -15.186978 0.0 3 example/refine/RefineVar.cta -16711936 false 10.9723 13.086565 0.0 4 example/c-Mocha/twostate/twostate.rm -16711936 false 11.868854 14.795973 0.0 2 example/c-Mocha/twostate/twostate.spec -16711936 false 4.586127 50.16059 0.0 7 bdd/bddTransition.h -16711936 false 17.676584 11.622168 0.0 5 example/refine/ToolCheck/missingSyncProblem.cta -16711936 false 28.625376 -6.155129 0.0 6 misc/bddSizeVisualize/VisualizeFrame.java -16711936 false -32.42976 24.115562 0.0 1 ana/anaSection.h -16711936 false 20.234043 7.1016955 0.0 1 doc/impldoc/i.tex -16711936 false 20.224524 7.1471767 0.0 1 doc/impldoc/klassen.eps -16711936 false 20.227526 7.1390953 0.0 1 doc/impldoc/klassen.fig -16711936 false 20.23035 7.1093206 0.0 1 doc/impldoc/s.tex -16711936 false 20.228306 7.13398 0.0 1 doc/impldoc/stopwtch.eps -16711936 false 20.208698 7.119921 0.0 1 doc/impldoc/stopwtch.fig -16711936 false 21.084303 10.709147 0.0 1 cta/cvrt2unix.sh -16711936 false 21.082348 10.698262 0.0 1 cta/testrun -16711936 false 21.068956 10.70136 0.0 1 cta/unistd.h -16711936 false 10.326905 -9.86006 0.0 6 ana/anaSecRefinement.h -16711936 false -30.12795 16.68737 0.0 4 cta/utilProgress.h -16711936 false 33.58075 -7.786609 0.0 11 example/ddm/Fischer2.cta -16711936 false 39.664604 -7.4620266 0.0 6 example/ddm/Fischer3.cta -16711936 false 39.59959 -7.2084413 0.0 5 example/ddm/Fischer4.cta -16711936 false 38.959076 -6.8794775 0.0 8 example/ddm/Fischer5.cta -16711936 false 28.641266 -30.80377 0.0 2 example/ddm/Fischer5_1.cta -16711936 false 4.3042803 -45.21639 0.0 2 example/ddm/SteamBoiler.cta -16711936 false 29.822365 -29.129612 0.0 3 example/ddm/WaterLevel.cta -16711936 false 29.57267 -29.199476 0.0 1 example/ddm/ray-understanding.cta -16711936 false 29.752304 -29.203688 0.0 2 example/ddm/RailRoad.cta -16711936 false 30.628025 -6.2847075 0.0 2 ana/anaRegInstrPrintCompletedModule.h -16711936 false 2.810628 8.806544 0.0 2 example/kronos/Fischer/1ReadMe.txt -16711936 false 13.313546 -11.72981 0.0 1 example/c-Mocha/twostate/script-inv -16711936 false 13.31925 -11.751928 0.0 1 example/c-Mocha/twostate/script-untimed -16711936 false 13.302805 -11.7601595 0.0 1 example/c-Mocha/twostate/twostate-untimed.rm -16711936 false 13.285202 -11.755705 0.0 1 example/c-Mocha/twostate/twostate.log -16711936 false 13.276084 -11.739556 0.0 1 example/c-Mocha/1ReadMe.txt -16711936 false 23.320202 1.3479347 0.0 1 example/Anlage/Umlauf-Architecture-orig.cta -16711936 false 23.30794 1.3590158 0.0 1 example/hytech/Fischer2.hy -16711936 false 23.345625 1.3253586 0.0 1 example/hytech/Fischer3.hy -16711936 false 23.2726 1.2804853 0.0 1 example/hytech/Fischer4.hy -16711936 false 23.357548 1.3320596 0.0 1 example/hytech/Fischer5.hy -16711936 false 23.355352 1.321514 0.0 1 example/hytech/Fischer6.hy -16711936 false 23.252275 1.3015312 0.0 1 example/hytech/Fischer7.hy -16711936 false 23.334572 1.2777218 0.0 1 example/hytech/Steamboiler.hy -16711936 false 23.313353 1.3339927 0.0 1 example/refine/1readme.txt -16711936 false 23.258793 1.3507428 0.0 1 example/testmodels/LogicAnalyser.cta -16711936 false 23.228977 1.3041508 0.0 1 example/testmodels/Test_INPUTERROR.cta -16711936 false 23.308722 1.2725738 0.0 1 example/testmodels/Test_Precedence.cta -16711936 false 23.243128 1.3322119 0.0 1 example/testmodels/task163.cta -16711936 false 23.310946 1.293851 0.0 1 example/testmodels/testEmpty.cta -16711936 false 40.07904 -6.806394 0.0 7 example/ddm/Fischer6.cta -16711936 false 19.720041 -10.251148 0.0 2 example/red/fddi/hddi06.d -16711936 false 19.887592 -10.083982 0.0 2 example/red/fddi/hddi16.d -16711936 false 19.890299 -10.056504 0.0 2 example/red/fddi/hddi64.d -16711936 false 4.145904 17.215593 0.0 2 example/final/timed-bdd/TokenRingFDDI/FDDI02.cta -16711936 false -3.5491016 -24.45843 0.0 1 example/bdd/CSMA-CD/CSMA002.cta -16711936 false -3.5790348 -24.451563 0.0 1 example/bdd/CSMA-CD/CSMA004.cta -16711936 false -3.6193433 -24.445803 0.0 1 example/bdd/CSMA-CD/CSMA006.cta -16711936 false -3.6412365 -24.455803 0.0 1 example/bdd/CSMA-CD/CSMA008.cta -16711936 false -3.6292756 -24.419422 0.0 1 example/bdd/CSMA-CD/CSMA010.cta -16711936 false -3.5990725 -24.500917 0.0 1 example/bdd/CSMA-CD/CSMA012.cta -16711936 false -3.5585752 -24.433487 0.0 1 example/bdd/CSMA-CD/CSMA014.cta -16711936 false -3.5835023 -24.391726 0.0 1 example/bdd/CSMA-CD/CSMA016.cta -16711936 false -3.5914016 -24.455986 0.0 1 example/bdd/CSMA-CD/CSMA032.cta -16711936 false -3.5705583 -24.416494 0.0 1 example/bdd/CSMA-CD/CSMA064.cta -16711936 false -3.6294582 -24.266233 0.0 2 example/bdd/CSMA-CD/CSMA128.cta -16711936 false -3.6327322 -24.200201 0.0 2 example/bdd/CSMA-CD/CSMA256.cta -16711936 false -43.954487 2.5445392 0.0 2 cta/FlexLexer.h -16711936 false -48.469593 -11.573884 0.0 1 cta/Regex.h -16711936 false -48.390697 -11.519479 0.0 1 cta/String.h.orig -16711936 false -48.422314 -11.523166 0.0 1 cta/ctaIntSet.cpp -16711936 false -52.884113 -27.690138 0.0 4 ddm/ddmTransition.h -16711936 false 2.7821321 23.172266 0.0 1 cta/utilGetOpt.c -16711936 false 2.8013232 23.149109 0.0 1 cta/utilGetOpt.h -16711936 false 10.296579 21.93063 0.0 2 example/refine/FischerImplCheck.cta -16711936 false -42.38589 1.4949247 0.0 2 ana/anaRegInstrPrintRepr.h -16711936 false 16.905455 4.47548 0.0 3 ana/anaRegInstrPrintReprSize.h -16711936 false 2.4909284 49.558567 0.0 10 bdd/bddSymTab.cpp -16711936 false 20.211317 2.132515 0.0 3 example/bdd/TokenRingFDDI/FDDI2.cta -16711936 false 16.381798 -15.708562 0.0 4 example/bdd/AND/AND8.cta -16711936 false 1.2571756 -16.83142 0.0 1 example/red/fddi/README.txt -16711936 false 1.2195969 -16.852974 0.0 1 example/red/fddi/hddi02.d -16711936 false 1.2288681 -16.869968 0.0 1 example/red/fddi/hddi04.d -16711936 false 1.2524115 -16.868322 0.0 1 example/red/fddi/hddi08.d -16711936 false 1.2461373 -16.865639 0.0 1 example/red/fddi/hddi10.d -16711936 false 1.2259256 -16.838995 0.0 1 example/red/fddi/hddi12.d -16711936 false 19.906559 -10.011063 0.0 1 example/red/fddi/hddi14.d -16711936 false 19.90093 -10.007431 0.0 1 example/red/fddi/hddi32.d -16711936 false 6.990306 18.249117 0.0 1 example/final/hybrid-ddm/Fischer2.cta -16711936 false 7.0296135 18.329725 0.0 1 example/final/hybrid-ddm/Fischer3.cta -16711936 false 6.7495785 18.294493 0.0 1 example/final/hybrid-ddm/Fischer4.cta -16711936 false 6.823937 18.135162 0.0 1 example/final/hybrid-ddm/Fischer5.cta -16711936 false 6.736728 18.510872 0.0 1 example/final/hybrid-ddm/Fischer6.cta -16711936 false 6.766789 18.462114 0.0 1 example/final/hybrid-ddm/GasBurner.cta -16711936 false 6.766991 18.448202 0.0 1 example/final/hybrid-ddm/RailRoad.cta -16711936 false 6.762051 18.394125 0.0 1 example/final/hybrid-ddm/WaterLevel.cta -16711936 false 6.877596 18.130407 0.0 1 example/final/timed-bdd/AndGates/AND02series.cta -16711936 false 7.1007686 18.470837 0.0 1 example/final/timed-bdd/AndGates/AND04series.cta -16711936 false 6.9030147 18.451677 0.0 1 example/final/timed-bdd/AndGates/AND08series.cta -16711936 false 6.896784 18.336807 0.0 1 example/final/timed-bdd/AndGates/AND16series.cta -16711936 false 10.045243 18.352867 0.0 2 example/final/timed-bdd/CSMA-CD/CSMA002.cta -16711936 false 9.768056 18.483633 0.0 2 example/final/timed-bdd/CSMA-CD/CSMA004.cta -16711936 false 9.946155 18.417463 0.0 2 example/final/timed-bdd/CSMA-CD/CSMA008.cta -16711936 false 10.037715 18.370214 0.0 2 example/final/timed-bdd/CSMA-CD/CSMA016.cta -16711936 false 9.850571 18.484062 0.0 2 example/final/timed-bdd/CSMA-CD/CSMA032.cta -16711936 false 6.7508955 18.110481 0.0 1 example/final/timed-bdd/CSMA-CD/CSMA064.cta -16711936 false 9.905717 18.361984 0.0 2 example/final/timed-bdd/CSMA-CD/CSMA128.cta -16711936 false 10.011372 18.442196 0.0 2 example/final/timed-bdd/CSMA-CD/CSMA256.cta -16711936 false 6.7654138 18.48911 0.0 1 example/final/timed-bdd/Fischer/Fischer004.cta -16711936 false 6.8037105 18.534199 0.0 1 example/final/timed-bdd/Fischer/Fischer005.cta -16711936 false 6.9530373 18.259853 0.0 1 example/final/timed-bdd/Fischer/Fischer006.cta -16711936 false 6.7794647 18.385159 0.0 1 example/final/timed-bdd/Fischer/Fischer007.cta -16711936 false 6.746201 18.126564 0.0 1 example/final/timed-bdd/Fischer/Fischer008.cta -16711936 false 7.0025716 18.401236 0.0 1 example/final/timed-bdd/Fischer/Fischer010.cta -16711936 false 6.698029 18.453758 0.0 1 example/final/timed-bdd/Fischer/Fischer012.cta -16711936 false 6.6882567 18.221779 0.0 1 example/final/timed-bdd/Fischer/Fischer014.cta -16711936 false 6.9205656 18.319014 0.0 1 example/final/timed-bdd/Fischer/Fischer016.cta -16711936 false 6.7499022 18.20155 0.0 1 example/final/timed-bdd/Fischer/Fischer032.cta -16711936 false 6.811669 18.207523 0.0 1 example/final/timed-bdd/Fischer/Fischer064.cta -16711936 false 6.902541 18.339119 0.0 1 example/final/timed-bdd/Fischer/Fischer096.cta -16711936 false 6.6593904 18.34014 0.0 1 example/final/timed-bdd/Fischer/Fischer128.cta -16711936 false 7.0543246 18.432266 0.0 1 example/final/timed-bdd/TokenRingFDDI/FDDI04.cta -16711936 false 6.8127503 18.413292 0.0 1 example/final/timed-bdd/TokenRingFDDI/FDDI06.cta -16711936 false 6.8397217 18.228642 0.0 1 example/final/timed-bdd/TokenRingFDDI/FDDI08.cta -16711936 false 6.7788095 18.207344 0.0 1 example/final/timed-bdd/TokenRingFDDI/FDDI10.cta -16711936 false 6.9099827 18.35054 0.0 1 example/final/timed-bdd/TokenRingFDDI/FDDI12.cta -16711936 false 6.7410603 18.396511 0.0 1 example/final/timed-bdd/TokenRingFDDI/FDDI14.cta -16711936 false 6.6984167 18.318493 0.0 1 example/final/timed-bdd/TokenRingFDDI/FDDI16.cta -16711936 false 6.7314434 18.216015 0.0 1 example/final/timed-bdd/TwoState/TwoState004.cta -16711936 false 6.6928396 18.372034 0.0 1 example/final/timed-bdd/TwoState/TwoState006.cta -16711936 false 6.713973 18.368637 0.0 1 example/final/timed-bdd/TwoState/TwoState008.cta -16711936 false 6.6591744 18.187897 0.0 1 example/final/timed-bdd/TwoState/TwoState016.cta -16711936 false 6.687517 18.258162 0.0 1 example/final/timed-bdd/TwoState/TwoState032.cta -16711936 false 7.0795026 18.47621 0.0 1 example/final/timed-bdd/TwoState/TwoState064.cta -16711936 false 6.9089365 18.420267 0.0 1 example/final/timed-bdd/TwoState/TwoState128.cta -16711936 false -16.626287 -18.10518 0.0 4 example/Anlage/beltSystem_1Piece.cta -16711936 false 27.121632 -21.155403 0.0 2 regression/ErrorState.cta -16711936 false 3.3786483 49.711823 0.0 3 bdd/bddExpression.cpp -16711936 false 3.4818618 49.540325 0.0 3 bdd/bddExpression.h -16711936 false -53.563892 -31.202452 0.0 2 ddm/ddmMat.cpp -16711936 false -53.542885 -31.329693 0.0 2 ddm/ddmMat.h -16711936 false -53.08739 -30.290747 0.0 1 ddm/ddmObject.h -16711936 false -53.914917 -30.12637 0.0 3 ddm/ddmPoly.h -16711936 false -53.466766 -31.117304 0.0 2 ddm/ddmRCIPtr.h -16711936 false -53.44738 -31.394903 0.0 2 ddm/ddmRCObject.h -16711936 false -53.37587 -31.333443 0.0 2 ddm/ddmRCRegion.h -16711936 false -53.337215 -31.202435 0.0 2 ddm/ddmRays.h -16711936 false -52.026443 -22.410967 0.0 4 ddm/ddmVec.h -16711936 false 14.1795225 -11.383919 0.0 2 example/bdd/CSMA-CD/generator.cpp -16711936 false -0.37560695 -0.31237668 0.0 2 example/Anlage/beltSystem_5Piece_untTBelt.cta -16711936 false 8.788769 0.77628195 0.0 1 example/Anlage/beltSystem_pushTable5Piece.cta -16711936 false 36.31568 12.2846365 0.0 1 example/bdd/Fischer/severalConst/Fischer16c2Full.cta -16711936 false 34.197773 23.447926 0.0 2 example/bdd/Fischer/severalConst/Fischer16c4Full.cta -16711936 false 34.817364 21.943762 0.0 2 example/bdd/Fischer/severalConst/Fischer16c8Full.cta -16711936 false 36.299763 12.272929 0.0 1 example/bdd/Fischer/severalConst/Fischer32c2Full.cta -16711936 false 36.328773 12.298799 0.0 1 example/bdd/Fischer/severalConst/Fischer32c4Full.cta -16711936 false 36.318153 12.270879 0.0 1 example/bdd/Fischer/severalConst/Fischer32c8Full.cta -16711936 false 33.5897 24.872837 0.0 2 example/bdd/Fischer/severalConst/Fischer64c2Full.cta -16711936 false 35.302864 20.69653 0.0 2 example/bdd/Fischer/severalConst/Fischer64c4Full.cta -16711936 false 13.964821 2.307699 0.0 1 example/refine/Fischer4Rek.cta -16711936 false 13.952793 2.3110042 0.0 1 example/refine/Fischer2Rek.cta -16711936 false -6.022381 5.581197 0.0 1 misc/bddSizeVisualize/AND4_optimized.dat -16711936 false -12.703013 -3.4724271 0.0 1 example/Anlage/devModels/beltSystemCode.cta -16711936 false -12.692177 -3.4735053 0.0 1 example/Anlage/devModels/beltSystemUntimed.cta -16711936 false -6.203432 5.872308 0.0 1 example/Anlage/beltSystem_2Piece_untTBelt.cta -16711936 false 32.185394 -0.61316574 0.0 2 misc/bddSizeVisualize/ColorAssignment.java -16711936 false 25.417086 -33.076992 0.0 2 example/ddm/Fischer5_woReset.cta -16711936 false -21.580076 -14.992788 0.0 9 example/Anlage/verificationTimes.txt -16711936 false 14.218909 -8.981332 0.0 2 example/refine/ToolCheck/nonTerminatingProblem.cta -16711936 false -7.3088703 -3.3225229 0.0 1 example/bdd/Fischer/globalClock/Fischer1c.cta -16711936 false -7.3075657 -3.2964976 0.0 1 example/bdd/Fischer/globalClock/Fischer2c.cta -16711936 false -7.292749 -3.3024015 0.0 1 example/bdd/Fischer/globalClock/Fischer32c.cta -16711936 false -7.2799597 -3.3126848 0.0 1 example/bdd/Fischer/globalClock/Fischer3c.cta -16711936 false -7.2941737 -3.3306587 0.0 1 example/bdd/Fischer/globalClock/Fischer64c.cta -16711936 false 7.9195194 -24.017962 0.0 1 example/bdd/Fischer/varOrder/Fischer10KAtLast.cta -16711936 false 7.8427305 -24.066536 0.0 1 example/bdd/Fischer/varOrder/Fischer12KAtLast.cta -16711936 false 11.513542 -22.728554 0.0 2 example/bdd/Fischer/varOrder/Fischer16KAtLast.cta -16711936 false 7.8295918 -24.094429 0.0 1 example/bdd/Fischer/varOrder/Fischer4ClockAtLast.cta -16711936 false 7.88564 -24.185556 0.0 1 example/bdd/Fischer/varOrder/Fischer4KAtLast.cta -16711936 false 7.846097 -24.194038 0.0 1 example/bdd/Fischer/varOrder/Fischer5ClockAtLast.cta -16711936 false 7.863503 -24.162062 0.0 1 example/bdd/Fischer/varOrder/Fischer5KAtLast.cta -16711936 false 8.023992 -24.196978 0.0 1 example/bdd/Fischer/varOrder/Fischer6ClockAtLast.cta -16711936 false 7.9939785 -24.096378 0.0 1 example/bdd/Fischer/varOrder/Fischer6KAtLast.cta -16711936 false 7.914076 -24.143673 0.0 1 example/bdd/Fischer/varOrder/Fischer7ClockAtLast.cta -16711936 false 7.913003 -24.018476 0.0 1 example/bdd/Fischer/varOrder/Fischer7KAtLast.cta -16711936 false 7.938877 -23.996616 0.0 1 example/bdd/Fischer/varOrder/Fischer8ClockAtLast.cta -16711936 false 7.950479 -24.035215 0.0 1 example/bdd/Fischer/varOrder/Fischer8KAtLast.cta -16711936 false 7.8250194 -24.133396 0.0 1 example/bdd/Fischer/Fischer1.cta -16711936 false 7.86611 -24.008032 0.0 1 example/bdd/Fischer/Fischer10.cta -16711936 false 7.9069977 -24.180126 0.0 1 example/bdd/Fischer/Fischer12.cta -16711936 false 7.999505 -24.034676 0.0 1 example/bdd/Fischer/Fischer128.cta -16711936 false 7.943631 -23.989016 0.0 1 example/bdd/Fischer/Fischer14.cta -16711936 false 6.846131 -24.222229 0.0 2 example/bdd/Fischer/Fischer16.cta -16711936 false 7.858306 -24.006662 0.0 1 example/bdd/Fischer/Fischer2.cta -16711936 false 7.834867 -24.06397 0.0 1 example/bdd/Fischer/Fischer3.cta -16711936 false 7.0845804 -24.180902 0.0 2 example/bdd/Fischer/Fischer32.cta -16711936 false 7.986605 -24.165043 0.0 1 example/bdd/Fischer/Fischer4.cta -16711936 false 8.037096 -24.107756 0.0 1 example/bdd/Fischer/Fischer5.cta -16711936 false 7.8630147 -24.146463 0.0 1 example/bdd/Fischer/Fischer6.cta -16711936 false 7.932181 -23.965277 0.0 1 example/bdd/Fischer/Fischer64.cta -16711936 false 7.984995 -24.103786 0.0 1 example/bdd/Fischer/Fischer7.cta -16711936 false 7.8910875 -23.998014 0.0 1 example/bdd/Fischer/Fischer8.cta -16711936 false 15.92342 -17.865675 0.0 3 example/bdd/AND/AND16series.cta -16711936 false 15.943337 -17.689775 0.0 3 example/bdd/AND/AND2.cta -16711936 false 20.769926 10.387753 0.0 1 example/bdd/AND/AND2rand1.cta -16711936 false 20.75108 10.308364 0.0 1 example/bdd/AND/AND2rand2.cta -16711936 false 2.3572822 -29.461695 0.0 4 example/bdd/AND/AND2series.cta -16711936 false 20.709074 10.393749 0.0 1 example/bdd/AND/AND3.cta -16711936 false 20.60798 10.324411 0.0 1 example/bdd/AND/AND3b.cta -16711936 false 20.65539 10.300093 0.0 1 example/bdd/AND/AND3bcount.cta -16711936 false 20.699942 10.442668 0.0 1 example/bdd/AND/AND3count.cta -16711936 false 20.644686 10.275544 0.0 1 example/bdd/AND/AND3flat.cta -16711936 false 21.018208 9.314665 0.0 2 example/bdd/AND/AND4.cta -16711936 false 20.837183 10.30742 0.0 1 example/bdd/AND/AND4b.cta -16711936 false 20.760683 10.344229 0.0 1 example/bdd/AND/AND4bcount.cta -16711936 false 20.59427 10.379333 0.0 1 example/bdd/AND/AND4count.cta -16711936 false 20.700249 10.429724 0.0 1 example/bdd/AND/AND4flat.cta -16711936 false 21.114265 8.967984 0.0 2 example/bdd/AND/AND4series.cta -16711936 false 20.828829 10.36775 0.0 1 example/bdd/AND/AND5.cta -16711936 false 20.729841 10.383518 0.0 1 example/bdd/AND/AND5bcount.cta -16711936 false 20.70278 10.387052 0.0 1 example/bdd/AND/AND5cCount.cta -16711936 false 20.764782 10.35309 0.0 1 example/bdd/AND/AND5count.cta -16711936 false 20.62739 10.478379 0.0 1 example/bdd/AND/AND6.cta -16711936 false 20.621384 10.4184885 0.0 1 example/bdd/AND/AND6count.cta -16711936 false 20.66341 10.453989 0.0 1 example/bdd/AND/AND7.cta -16711936 false 20.68153 10.429147 0.0 1 example/bdd/AND/AND7count.cta -16711936 false 20.589891 10.398072 0.0 1 example/bdd/AND/AND8count.cta -16711936 false 16.073406 -17.697186 0.0 2 example/bdd/AND/AND8series.cta -16711936 false -10.100969 -17.258018 0.0 1 example/bdd/TwoState/TwoState10a.cta -16711936 false -10.099889 -17.27696 0.0 1 example/bdd/TwoState/TwoState10b.cta -16711936 false -10.115921 -17.245144 0.0 1 example/bdd/TwoState/TwoState11a.cta -16711936 false -10.091388 -17.172304 0.0 1 example/bdd/TwoState/TwoState11b.cta -16711936 false -10.073517 -17.280594 0.0 1 example/bdd/TwoState/TwoState12a.cta -16711936 false 13.6113405 6.5249534 0.0 3 example/bdd/TwoState/TwoState16a.cta -16711936 false -10.10441 -17.191916 0.0 1 example/bdd/TwoState/TwoState32a.cta -16711936 false -10.006475 -17.221247 0.0 1 example/bdd/TwoState/TwoState5a.cta -16711936 false -10.082482 -17.151142 0.0 1 example/bdd/TwoState/TwoState5b.cta -16711936 false -9.986619 -17.209227 0.0 1 example/bdd/TwoState/TwoState64a.cta -16711936 false 13.774813 6.5891104 0.0 2 example/bdd/TwoState/TwoState6a.cta -16711936 false -10.121803 -17.197966 0.0 1 example/bdd/TwoState/TwoState6b.cta -16711936 false -10.01122 -17.176237 0.0 1 example/bdd/TwoState/TwoState7a.cta -16711936 false -10.128218 -17.187717 0.0 1 example/bdd/TwoState/TwoState7b.cta -16711936 false 10.059476 -5.3811336 0.0 3 example/bdd/TwoState/TwoState8a.cta -16711936 false -9.979206 -16.896088 0.0 2 example/bdd/TwoState/TwoState8b.cta -16711936 false -10.059187 -17.14948 0.0 1 example/bdd/TwoState/TwoState9a.cta -16711936 false -10.10015 -17.186438 0.0 1 example/bdd/TwoState/TwoState9b.cta -16711936 false -10.028123 -17.270613 0.0 1 example/bdd/TwoState/TwoStateTest.txt -16711936 false 15.486836 -4.407946 0.0 1 example/testmodels/InpErrState.cta -16711936 false 4.1185174 -7.6875014 0.0 1 example/testmodels/AllowTest.cta -16711936 false -14.500386 1.4249448 0.0 1 example/kronos/csma-cd/csma_false.tctl -16711936 false -14.49263 1.4651712 0.0 1 example/kronos/csma-cd/medium.tg -16711936 false -14.473609 1.4779636 0.0 1 example/kronos/csma-cd/sender1.tg -16711936 false -14.438492 1.4630997 0.0 1 example/kronos/csma-cd/sender2.tg -16711936 false -14.489079 1.4405161 0.0 1 example/kronos/csma-cd/sender3.tg -16711936 false -14.425706 1.4495625 0.0 1 example/kronos/csma-cd/sender4.tg -16711936 false -14.430718 1.4794968 0.0 1 example/kronos/csma-cd/sender5.tg -16711936 false -14.464045 1.4878597 0.0 1 example/kronos/csma-cd/sender6.tg -16711936 false -14.478329 1.4121574 0.0 1 example/kronos/csma-cd/sender7.tg -16711936 false -14.454645 1.4070398 0.0 1 example/kronos/csma-cd/sender8.tg -16711936 false -14.441562 1.4150549 0.0 1 example/kronos/csma-cd/sender9.tg -16711936 false -14.418636 1.4289161 0.0 1 example/kronos/csma-cd/verificationTimes.txt -16711936 false 6.08651 24.17804 0.0 5 example/bdd/CSMA-CD/CSMA.txt -16711936 false 5.5037575 6.5331736 0.0 2 example/refine/ToolCheck/test4.cta -16711936 false 5.4959626 6.5106936 0.0 2 example/refine/ToolCheck/test2.cta -16711936 false 6.085568 6.587952 0.0 2 example/refine/ToolCheck/sharedVarProblem.cta -16711936 false 6.003479 6.611919 0.0 2 example/refine/ToolCheck/test1.cta -16711936 false 10.866506 -1.4128816 0.0 2 misc/bddSizeVisualize/readme.txt -16711936 false 28.881418 -6.279667 0.0 4 misc/bddSizeVisualize/FileInput.java -16711936 false 28.808943 -6.194632 0.0 4 misc/bddSizeVisualize/VisualizeSize.java -16711936 false 28.929712 -6.183851 0.0 2 misc/bddSizeVisualize/ControlDialog.java -16711936 false 28.933 -6.12267 0.0 1 misc/bddSizeVisualize/FilenameDialog.java -16711936 false 6.704602 -2.1551147 0.0 1 example/Anlage/refine/refineBelt.cta -16711936 false 6.694747 -2.151551 0.0 1 example/Anlage/refine/refineSensor.cta -16711936 false 13.452826 4.0776496 0.0 20 example/Anlage/devModels/beltSystem2.cta -16711936 false 40.287617 -6.88554 0.0 1 example/ddm/Fischer5_NotTrans.cta -16711936 false 31.941309 -30.795494 0.0 2 example/ddm/driftDeriv/Fischer2.cta -16711936 false 31.772007 -30.867773 0.0 3 example/ddm/driftDeriv/Fischer3.cta -16711936 false 31.746328 -30.849518 0.0 3 example/ddm/driftDeriv/Fischer4.cta -16711936 false 0.1583236 -12.035899 0.0 2 misc/bddSizeVisualize/beltSystem.dat -16711936 false 0.13897048 -12.032937 0.0 2 misc/bddSizeVisualize/beltSystemWithVariableOrdering.dat -16711936 false 0.12501268 -12.004729 0.0 1 misc/bddSizeVisualize/beltSystemWithVariableOrderingAndy.dat -16711936 false -3.412507 14.704662 0.0 1 example/bdd/TwoState/TwoState128.cta -16711936 false -3.4216087 14.708213 0.0 1 example/bdd/TwoState/TwoState256.cta -16711936 false 15.919049 8.904332 0.0 3 example/bdd/Fischer/inactiveClocks/inactiveClocks.txt -16711936 false 26.983028 36.118 0.0 2 example/bdd/Fischer/severalConst/Fischer16c16.cta -16711936 false 26.918951 36.12447 0.0 2 example/bdd/Fischer/severalConst/Fischer16c2.cta -16711936 false 26.859762 36.1433 0.0 2 example/bdd/Fischer/severalConst/Fischer16c32.cta -16711936 false 26.975374 36.00045 0.0 2 example/bdd/Fischer/severalConst/Fischer16c4.cta -16711936 false 26.878374 36.038204 0.0 2 example/bdd/Fischer/severalConst/Fischer16c8.cta -16711936 false 26.45737 34.792206 0.0 1 example/bdd/Fischer/severalConst/Fischer4c16.cta -16711936 false 26.404627 34.78367 0.0 1 example/bdd/Fischer/severalConst/Fischer4c16Full.cta -16711936 false 26.46609 34.78018 0.0 1 example/bdd/Fischer/severalConst/Fischer4c2.cta -16711936 false 26.329103 34.814224 0.0 1 example/bdd/Fischer/severalConst/Fischer4c2Full.cta -16711936 false 26.478575 34.81128 0.0 1 example/bdd/Fischer/severalConst/Fischer4c32.cta -16711936 false 26.425447 34.987717 0.0 1 example/bdd/Fischer/severalConst/Fischer4c32Full.cta -16711936 false 26.368307 34.923534 0.0 1 example/bdd/Fischer/severalConst/Fischer4c4.cta -16711936 false 26.480042 34.8171 0.0 1 example/bdd/Fischer/severalConst/Fischer4c4Full.cta -16711936 false 26.417435 34.778175 0.0 1 example/bdd/Fischer/severalConst/Fischer4c8.cta -16711936 false 26.316395 34.913044 0.0 1 example/bdd/Fischer/severalConst/Fischer4c8Full.cta -16711936 false 26.905083 35.925915 0.0 2 example/bdd/Fischer/severalConst/Fischer64c16.cta -16711936 false 26.80868 36.063934 0.0 2 example/bdd/Fischer/severalConst/Fischer64c2.cta -16711936 false 26.783133 36.14774 0.0 2 example/bdd/Fischer/severalConst/Fischer64c32.cta -16711936 false 26.853481 35.83106 0.0 2 example/bdd/Fischer/severalConst/Fischer64c4.cta -16711936 false 26.775091 35.952003 0.0 2 example/bdd/Fischer/severalConst/Fischer64c8.cta -16711936 false 26.481024 34.761562 0.0 1 example/bdd/Fischer/severalConst/Fischer8c16.cta -16711936 false 26.40875 34.777126 0.0 1 example/bdd/Fischer/severalConst/Fischer8c16Full.cta -16711936 false 26.352158 34.909843 0.0 1 example/bdd/Fischer/severalConst/Fischer8c2.cta -16711936 false 26.299677 34.77196 0.0 1 example/bdd/Fischer/severalConst/Fischer8c2Full.cta -16711936 false 26.315367 34.829952 0.0 1 example/bdd/Fischer/severalConst/Fischer8c32.cta -16711936 false 26.333363 34.95333 0.0 1 example/bdd/Fischer/severalConst/Fischer8c32Full.cta -16711936 false 26.34859 34.819347 0.0 1 example/bdd/Fischer/severalConst/Fischer8c4.cta -16711936 false 26.501 34.86754 0.0 1 example/bdd/Fischer/severalConst/Fischer8c4Full.cta -16711936 false 26.32949 34.861935 0.0 1 example/bdd/Fischer/severalConst/Fischer8c8.cta -16711936 false 26.475723 34.89334 0.0 1 example/bdd/Fischer/severalConst/Fischer8c8Full.cta -16711936 false 1.6962757 -29.731497 0.0 1 example/bdd/AND/AND16.cta -16711936 false 1.7446271 -29.66722 0.0 1 example/bdd/AND/AND16Full.cta -16711936 false 1.6835855 -29.662382 0.0 1 example/bdd/AND/AND16seriesFull.cta -16711936 false 1.7058803 -29.81769 0.0 2 example/bdd/AND/AND2Full.cta -16711936 false 1.6555655 -29.709846 0.0 1 example/bdd/AND/AND2min.cta -16711936 false 1.7098045 -29.841774 0.0 2 example/bdd/AND/AND2seriesFull.cta -16711936 false 1.7688289 -29.73542 0.0 1 example/bdd/AND/AND4Full.cta -16711936 false 1.6859592 -29.690487 0.0 1 example/bdd/AND/AND4seriesFull.cta -16711936 false 1.692231 -29.722548 0.0 1 example/bdd/AND/AND8Full.cta -16711936 false 1.7310082 -29.729677 0.0 1 example/bdd/AND/AND8seriesFull.cta -16711936 false 12.283173 -21.890545 0.0 1 example/bdd/Fischer/varOrder/Fischer10ClockAtLast.cta -16711936 false 12.310079 -21.920855 0.0 1 example/bdd/Fischer/varOrder/Fischer10ClockAtLastFull.cta -16711936 false 12.314745 -21.90965 0.0 1 example/bdd/Fischer/varOrder/Fischer12ClockAtLast.cta -16711936 false 12.291797 -21.928843 0.0 1 example/bdd/Fischer/varOrder/Fischer12ClockAtLastFull.cta -16711936 false 12.224146 -21.880466 0.0 1 example/bdd/Fischer/varOrder/Fischer14ClockAtLast.cta -16711936 false 12.303878 -21.90154 0.0 1 example/bdd/Fischer/varOrder/Fischer14ClockAtLastFull.cta -16711936 false 12.22544 -21.953434 0.0 1 example/bdd/Fischer/varOrder/Fischer14KAtLast.cta -16711936 false 12.2616825 -21.96307 0.0 1 example/bdd/Fischer/varOrder/Fischer14KAtLastFull.cta -16711936 false 12.277752 -21.973507 0.0 1 example/bdd/Fischer/varOrder/Fischer16ClockAtLast.cta -16711936 false 12.229411 -21.934168 0.0 1 example/bdd/Fischer/varOrder/Fischer16ClockAtLastFull.cta -16711936 false 12.262671 -21.885744 0.0 1 example/bdd/Fischer/varOrder/Fischer16KAtLastFull.cta -16711936 false 12.321501 -22.001604 0.0 1 example/bdd/Fischer/varOrder/Fischer18KAtLast.cta -16711936 false 12.223207 -21.91892 0.0 1 example/bdd/Fischer/varOrder/Fischer18KAtLastFull.cta -16711936 false 0.4148918 22.02834 0.0 1 example/bdd/Fischer/varOrder/Fischer32KAtLast.cta -16711936 false 0.41486213 22.0178 0.0 1 example/bdd/Fischer/varOrder/Fischer32KAtLastFull.cta -16711936 false 20.266117 2.2120032 0.0 2 example/bdd/TokenRingFDDI/FDDI16.cta -16711936 false 20.276377 2.1661184 0.0 2 example/bdd/TokenRingFDDI/FDDI4.cta -16711936 false 20.245646 2.1986468 0.0 2 example/bdd/TokenRingFDDI/FDDI8.cta -16711936 false 20.323196 2.2022452 0.0 1 example/bdd/TokenRingFDDI/FDDI32.cta -16711936 false -3.374293 18.968796 0.0 4 example/bdd/TokenRingFDDI/FDDI.txt -16711936 false -27.304962 37.923206 0.0 2 example/kronos/Fischer/varK7.tg -16711936 false -27.345495 37.87048 0.0 2 example/kronos/Fischer/varK8.tg -16711936 false -8.445124 -17.755308 0.0 3 example/kronos/Fischer/varK9.tg -16711936 false 2.0188546 1.3628433 0.0 1 example/kronos/Fischer/Fischer7.tg -16711936 false 2.0143137 1.3480453 0.0 1 example/kronos/Fischer/Fischer8.tg -16711936 false 2.004443 1.3588907 0.0 1 example/kronos/Fischer/Fischer9.tg -16711936 false 14.407667 6.1460557 0.0 1 example/bdd/AND/inactiveClocks/AND4.cta -16711936 false 14.409855 6.1318884 0.0 1 example/bdd/AND/inactiveClocks/AND4Full.cta -16711936 false 14.39426 6.129007 0.0 1 example/bdd/AND/inactiveClocks/AND8.cta -16711936 false 14.391053 6.1405087 0.0 1 example/bdd/AND/inactiveClocks/AND8Full.cta -16711936 false 13.584313 6.529653 0.0 1 example/bdd/TwoState/TwoState4a.cta -16711936 false -9.292767 1.5198867 0.0 1 example/ddm/Fischer4_strict.cta -16711936 false 2.7628946 8.798855 0.0 2 example/kronos/Fischer/verificationTimes.txt -16711936 false -18.773424 -1.145198 0.0 1 example/Uppaal/CSMA-CD/genCSMA_CD.awk -16711936 false 9.469756 -2.588166 0.0 1 example/Uppaal/TokenRingFDDI/genHDDI.awk -16711936 false 6.282601 23.814163 0.0 2 example/Uppaal/TokenRingFDDI/verificationTimes.txt -16711936 false -17.55388 5.7304435 0.0 2 example/Uppaal/CSMA-CD/verificationTimes.txt -16711936 false 13.837215 6.6605372 0.0 1 example/bdd/TwoState/TwoState6aFull.cta -16711936 false 13.820749 6.662735 0.0 1 example/bdd/TwoState/TwoState4aFull.cta -16711936 false 13.836169 6.644123 0.0 1 example/bdd/TwoState/TwoState8aFull.cta -16711936 false 5.0503597 10.835957 0.0 1 example/bdd/TokenRingFDDI/FDDI10.cta -16711936 false 5.0337667 10.848191 0.0 1 example/bdd/TokenRingFDDI/FDDI12.cta -16711936 false 5.025594 10.833494 0.0 1 example/bdd/TokenRingFDDI/FDDI14.cta -16711936 false 5.035569 10.823849 0.0 1 example/bdd/TokenRingFDDI/FDDI6.cta -16711936 false 22.225765 -0.39625445 0.0 1 example/bdd/Fischer/Fischer96.cta -16711936 false 22.221577 -0.4190501 0.0 2 example/bdd/Fischer/Fischer96Full.cta -16711936 false 1.2423159 -25.409914 0.0 2 misc/bddSizeVisualize/beltSystem_pieceStore.dat -16711936 false -15.001427 -26.535822 0.0 2 misc/bddSizeVisualize/beltSystem_pieceStore_untimed.dat -16711936 false 7.8093743 10.9007635 0.0 2 example/Anlage/refine/refineTransportBelt.cta -16711936 false -6.391763 -8.934033 0.0 1 example/bdd/AND/verificationTimes.txt -16711936 false 1.1335338 -25.453117 0.0 1 misc/bddSizeVisualize/beltSystem_1Piece_ordered.dat -16711936 false 1.1557237 -25.448606 0.0 1 misc/bddSizeVisualize/beltSystem_1Piece_unordered.dat -16711936 false 1.1482407 -25.420748 0.0 1 misc/bddSizeVisualize/beltSystem_PieceTime.dat -16711936 false 1.0863212 -25.355696 0.0 2 misc/bddSizeVisualize/beltSystem_pieceStore_untimedTBelt.dat -16711936 false 7.379854 -5.1488547 0.0 1 misc/bddSizeVisualize/beltSystem_3Piece_untTBelt.dat -16711936 false 8.203697 -2.818385 0.0 1 example/Anlage/beltSystem_4Piece_untTBelt.cta -16711936 false 5.968752 3.6044438 0.0 11 example/Anlage/devModels/beltSystem_pushTable.cta -16711936 false -12.915088 -1.1901236 0.0 1 example/c-Mocha/Fischer/Fischer2.rm -16711936 false -12.924586 -1.2063226 0.0 1 example/c-Mocha/Fischer/Fischer2.spec -16711936 false -12.907543 -1.2045872 0.0 1 example/c-Mocha/Fischer/Fischer3.rm -16711936 false 26.979729 36.296703 0.0 1 example/bdd/Fischer/severalConst/Fischer32c16.cta -16711936 false 26.962763 36.302685 0.0 1 example/bdd/Fischer/severalConst/Fischer32c2.cta -16711936 false 26.991022 36.274864 0.0 1 example/bdd/Fischer/severalConst/Fischer32c32.cta -16711936 false 26.953133 36.274166 0.0 1 example/bdd/Fischer/severalConst/Fischer32c4.cta -16711936 false 26.948946 36.287735 0.0 1 example/bdd/Fischer/severalConst/Fischer32c8.cta -16711936 false 18.871902 3.4642758 0.0 2 example/Anlage/beltSystem_2Piece_untSens.cta -16711936 false 19.343712 -33.264935 0.0 2 example/ddm/Fischer5_Clock.cta -16711936 false 0.020284258 -1.2968364 0.0 2 example/ddm/Fischer5_withStart.cta -16711936 false 28.160994 -31.178299 0.0 1 example/ddm/NuclearReactor.cta -16711936 false 28.11651 -31.218903 0.0 1 example/ddm/NuclearReactor1.cta -16711936 false 28.103025 -31.213207 0.0 1 example/ddm/NuclearReactorMin.cta -16711936 false 9.957711 -1.6525072 0.0 1 example/Anlage/devModels/beltSystem.cta -16711936 false -5.929559 4.048254 0.0 1 example/Anlage/beltSystem_2Piece.cta -16711936 false 10.385614 -12.109099 0.0 2 example/Anlage/beltSystem_1Piece_RoundTime.cta -16711936 false 13.726759 -4.1909976 0.0 1 example/Anlage/devModels/4-8BeltsResults.txt -16711936 false 13.702631 -4.2119627 0.0 1 example/Anlage/devModels/4Belts.cta -16711936 false 13.71438 -4.1601887 0.0 1 example/Anlage/devModels/4TimedBelts.cta -16711936 false 13.667183 -4.2081237 0.0 1 example/Anlage/devModels/4UntimedBelts.cta -16711936 false 13.667729 -4.172397 0.0 1 example/Anlage/devModels/8Belts.cta -16711936 false 13.6729145 -4.195534 0.0 1 example/Anlage/devModels/8Belts1.cta -16711936 false 13.653896 -4.1698627 0.0 1 example/Anlage/devModels/8Belts2.cta -16711936 false 13.717183 -4.177265 0.0 1 example/Anlage/devModels/8BeltsNoClocks.cta -16711936 false 13.694432 -4.1590953 0.0 1 example/Anlage/devModels/errorStateCompletion.txt -16711936 false 11.880985 15.008201 0.0 1 example/c-Mocha/twostate/TwoState.txt -16711936 false 11.870959 14.997497 0.0 1 example/c-Mocha/twostate/script10 -16711936 false 11.862198 15.030941 0.0 1 example/c-Mocha/twostate/script2 -16711936 false 11.848742 15.022587 0.0 1 example/c-Mocha/twostate/script4 -16711936 false 11.83253 15.014895 0.0 1 example/c-Mocha/twostate/script6 -16711936 false 11.830566 15.000509 0.0 1 example/c-Mocha/twostate/script8 -16711936 false 8.382128 -2.918014 0.0 1 sim/winsock.h -16711936 false 31.983603 -30.756023 0.0 1 example/ddm/driftDeriv/Fischer5.cta -16711936 false 31.998411 -30.766031 0.0 1 example/ddm/driftDeriv/Fischer6.cta -16711936 false -3.5286865 -19.115526 0.0 1 example/bdd/Fischer/globalClock/Fischer16c16Full.cta -16711936 false -3.5178604 -19.158718 0.0 1 example/bdd/Fischer/globalClock/Fischer16c2Full.cta -16711936 false -3.6246579 -19.315321 0.0 1 example/bdd/Fischer/globalClock/Fischer16c4Full.cta -16711936 false -3.5889688 -19.306707 0.0 1 example/bdd/Fischer/globalClock/Fischer16c8Full.cta -16711936 false -3.6562464 -19.259134 0.0 1 example/bdd/Fischer/globalClock/Fischer32c2Full.cta -16711936 false -3.455631 -19.21305 0.0 1 example/bdd/Fischer/globalClock/Fischer32c4Full.cta -16711936 false -3.585076 -19.310722 0.0 1 example/bdd/Fischer/globalClock/Fischer32c8Full.cta -16711936 false -3.6166732 -19.434402 0.0 1 example/bdd/Fischer/globalClock/Fischer4c16.cta -16711936 false -3.6366367 -19.279463 0.0 1 example/bdd/Fischer/globalClock/Fischer4c16Full.cta -16711936 false -3.6732147 -19.232935 0.0 1 example/bdd/Fischer/globalClock/Fischer4c2.cta -16711936 false -3.6373234 -19.27344 0.0 1 example/bdd/Fischer/globalClock/Fischer4c2Full.cta -16711936 false -3.5504231 -19.120094 0.0 1 example/bdd/Fischer/globalClock/Fischer4c32.cta -16711936 false -3.4619493 -19.320078 0.0 1 example/bdd/Fischer/globalClock/Fischer4c32Full.cta -16711936 false -3.4517438 -19.27386 0.0 1 example/bdd/Fischer/globalClock/Fischer4c4.cta -16711936 false -3.523224 -19.17546 0.0 1 example/bdd/Fischer/globalClock/Fischer4c4Full.cta -16711936 false -3.6016784 -19.362211 0.0 1 example/bdd/Fischer/globalClock/Fischer4c8.cta -16711936 false -3.522529 -19.396397 0.0 1 example/bdd/Fischer/globalClock/Fischer4c8Full.cta -16711936 false -3.5154629 -19.155489 0.0 1 example/bdd/Fischer/globalClock/Fischer64c2Full.cta -16711936 false -3.520637 -19.441282 0.0 1 example/bdd/Fischer/globalClock/Fischer64c4Full.cta -16711936 false -3.556074 -19.412504 0.0 1 example/bdd/Fischer/globalClock/Fischer8c16.cta -16711936 false -3.5096285 -19.25643 0.0 1 example/bdd/Fischer/globalClock/Fischer8c16Full.cta -16711936 false -3.5631955 -19.279577 0.0 1 example/bdd/Fischer/globalClock/Fischer8c2.cta -16711936 false -3.645449 -19.17391 0.0 1 example/bdd/Fischer/globalClock/Fischer8c2Full.cta -16711936 false -3.5618157 -19.185097 0.0 1 example/bdd/Fischer/globalClock/Fischer8c32.cta -16711936 false -3.4630692 -19.305193 0.0 1 example/bdd/Fischer/globalClock/Fischer8c32Full.cta -16711936 false -3.5887191 -19.187819 0.0 1 example/bdd/Fischer/globalClock/Fischer8c4.cta -16711936 false -3.641798 -19.293123 0.0 1 example/bdd/Fischer/globalClock/Fischer8c4Full.cta -16711936 false -3.5595117 -19.337294 0.0 1 example/bdd/Fischer/globalClock/Fischer8c8.cta -16711936 false -3.561115 -19.337057 0.0 1 example/bdd/Fischer/globalClock/Fischer8c8Full.cta -16711936 false 9.865168 0.1284313 0.0 1 example/refine/ToolCheck/localSyncSignals.cta -16711936 false 2.3538575 -7.881501 0.0 1 misc/bddSizeVisualize/beltSystemVarOrdEstim.dat -16711936 false 5.5650506 6.5259223 0.0 1 example/refine/ToolCheck/test3.cta -16711936 false 5.5400033 6.5291324 0.0 1 example/refine/ToolCheck/test5.cta -16711936 false -16.832876 11.622097 0.0 1 example/bdd/Fischer/inactiveClocks/Fischer16.cta -16711936 false -16.818724 11.636494 0.0 1 example/bdd/Fischer/inactiveClocks/Fischer16Full.cta -16711936 false -16.820753 11.614281 0.0 1 example/bdd/Fischer/inactiveClocks/Fischer32.cta -16711936 false -16.80838 11.621321 0.0 1 example/bdd/Fischer/inactiveClocks/Fischer32Full.cta -16711936 false 4.127627 9.506897 0.0 2 doc/beltSystem.txt -16711936 false 0.45285144 -22.387323 0.0 1 example/bdd/Fischer/Fischer128Full.cta -16711936 false 0.42919388 -22.401077 0.0 1 example/bdd/Fischer/Fischer32Full.cta -16711936 false 0.41622344 -22.370943 0.0 1 example/bdd/Fischer/Fischer64Full.cta -16711936 false 0.31712505 2.8052657 0.0 1 example/Anlage/beltSystem_3Piece_untTBelt.cta -16711936 false 17.086712 -9.496411 0.0 1 example/bdd/Fischer/globalClock/globalClocks.txt -16711936 false 17.07607 -9.492402 0.0 1 example/bdd/Fischer/severalConst/severalConst.txt -16711936 false -4.2136335 2.8819954 0.0 1 example/bdd/Fischer/varOrder/varOrder.txt -16711936 false 1.152151 9.580748 0.0 1 example/bdd/Fischer/globalClock/Fischer16c16.cta -16711936 false 1.1310233 9.583142 0.0 1 example/bdd/Fischer/globalClock/Fischer16c2.cta -16711936 false 1.1162632 9.590055 0.0 1 example/bdd/Fischer/globalClock/Fischer16c32.cta -16711936 false 1.1575589 9.556409 0.0 1 example/bdd/Fischer/globalClock/Fischer16c4.cta -16711936 false 1.0920134 9.587727 0.0 1 example/bdd/Fischer/globalClock/Fischer16c8.cta -16711936 false 1.0999475 9.50551 0.0 1 example/bdd/Fischer/globalClock/Fischer32c16.cta -16711936 false 1.1589408 9.531699 0.0 1 example/bdd/Fischer/globalClock/Fischer32c2.cta -16711936 false 1.0774641 9.569239 0.0 1 example/bdd/Fischer/globalClock/Fischer32c32.cta -16711936 false 1.1469439 9.522658 0.0 1 example/bdd/Fischer/globalClock/Fischer32c4.cta -16711936 false 1.1445512 9.499944 0.0 1 example/bdd/Fischer/globalClock/Fischer32c8.cta -16711936 false 1.070407 9.537688 0.0 1 example/bdd/Fischer/globalClock/Fischer64c16.cta -16711936 false 1.0704126 9.515207 0.0 1 example/bdd/Fischer/globalClock/Fischer64c2.cta -16711936 false 1.0552942 9.562646 0.0 1 example/bdd/Fischer/globalClock/Fischer64c32.cta -16711936 false 1.1173546 9.485799 0.0 1 example/bdd/Fischer/globalClock/Fischer64c4.cta -16711936 false 1.0881473 9.489954 0.0 1 example/bdd/Fischer/globalClock/Fischer64c8.cta -16711936 false 25.912113 -20.257263 0.0 3 regression/createlogfiles -16711936 false 25.9586 -20.24868 0.0 3 regression/regressiontest -16711936 false -15.5725975 -7.333537 0.0 1 visual/cta_vcc.dsp -16711936 false -15.5678625 -7.327255 0.0 1 visual/cta_vcc.dsw -16711936 false -15.583168 -7.298035 0.0 2 visual/readme.txt -16711936 false 27.193375 -21.923761 0.0 1 regression/Cycletest1.cta -16711936 false 27.143389 -21.94342 0.0 1 regression/Cycletest2.cta -16711936 false 27.13804 -21.970148 0.0 1 regression/Cycletest3.cta -16711936 false 27.234243 -21.943659 0.0 1 regression/Railroad-dos.cta -16711936 false 27.142103 -21.995113 0.0 1 regression/Signaltest1.cta -16711936 false 27.232101 -21.95367 0.0 1 regression/Signaltest2.cta -16711936 false 27.13154 -21.955505 0.0 1 regression/Signaltest3.cta -16711936 false -9.524297 23.248974 0.0 1 regression/Fischer2False.cta -16711936 false -9.510361 23.29758 0.0 2 regression/Fischer2False.cta.log -16711936 false -9.517674 23.242775 0.0 1 regression/Fischer2True.cta -16711936 false -9.497118 23.280193 0.0 2 regression/Fischer2True.cta.log -16711936 false