-5.3814783 -1.7207336 0.0 1.0 misc/cta.el 16776960 false -3.465687 -1.1544646 0.0 3.0 misc/hilit19.el 16776960 false -0.8679603 -0.74427146 0.0 41.0 ddm/dependencies 16711935 false 0.5567373 -1.8098629 0.0 242.0 doc/todo.txt 65535 false -0.5252701 0.6229393 0.0 14.0 bdd/bddBdd.cpp 255 false -0.5725746 1.0400851 0.0 10.0 bdd/bddBdd.h 255 false -0.7447337 0.7799798 0.0 16.0 bdd/bddConfig.cpp 255 false 0.55609286 0.19806352 0.0 14.0 ana/anaRegInputErrorState.h 65280 false 0.027880896 1.0071466 0.0 7.0 ana/anaRegInstrPrintBddEstim.h 65280 false -0.35816985 0.09008601 0.0 28.0 ana/anaRegState.h 65280 false -0.73689395 0.9750621 0.0 34.0 bdd/bddAutomaton.h 255 false 0.035107046 1.6466383 0.0 16.0 bdd/bddCommunicationGraph.h 255 false 0.100259185 1.2180203 0.0 8.0 bdd/bddCommunicationGraphNode.h 255 false 0.47211346 1.5511461 0.0 37.0 cta/ctaModule.cpp 16711680 false 0.6397809 1.4060074 0.0 10.0 cta/ctaModule.h 16711680 false 0.089536026 1.465631 0.0 26.0 cta/ctaYacc.y 16711680 false -0.64433473 0.45752257 0.0 19.0 cta/reprAutomaton.h 16711680 false -0.56021 -0.09445322 0.0 36.0 ddm/ddmAutomaton.h 16711935 false 2.3814962 0.46523106 0.0 24.0 example/bdd/ManufacturingPlant.cta 8421504 false 0.6299306 1.7923703 0.0 13.0 cta/rabbit.cpp 16711680 false 0.33180097 2.012116 0.0 27.0 cta/utilCmdLineOptions.cpp 16711680 false 0.42613795 1.8965584 0.0 12.0 cta/utilCmdLineOptions.h 16711680 false -0.5525247 1.268016 0.0 77.0 bdd/bddAutomaton.cpp 255 false -0.72923577 1.2977893 0.0 15.0 bdd/bddSymTab.h 255 false -0.74283254 1.0546455 0.0 27.0 bdd/dependencies 255 false -0.35872206 0.84630316 0.0 21.0 cta/dependencies 16711680 false -0.81945616 -0.1109409 0.0 24.0 ana/anaRegReachForward.h 65280 false -1.5323915 1.3791255 0.0 5.0 bdd/Makefile 255 false -0.1893249 1.4028689 0.0 8.0 cta/Makefile 16711680 false -0.46871588 1.8964083 0.0 4.0 cta/utilTime.cpp 16711680 false -1.5439657 3.179089 0.0 2.0 cta/utilTime.h 16711680 false 0.2112318 -0.03617554 0.0 38.0 Makefile 16776960 false -1.5890083 0.53182924 0.0 15.0 ana/anaObject.h 65280 false 0.2251875 1.6820505 0.0 19.0 ana/anaSecReachability.h 65280 false 1.3624593 0.7304175 0.0 15.0 cta/ctaAutomaton.cpp 16711680 false 0.73617285 0.91744685 0.0 3.0 cta/ctaAutomaton.h 16711680 false 0.8999825 1.0358151 0.0 6.0 cta/ctaRestNot.h 16711680 false 1.056436 0.90719014 0.0 8.0 cta/ctaState.cpp 16711680 false 1.0265448 0.8376979 0.0 5.0 cta/ctaState.h 16711680 false 1.0135167 1.1191922 0.0 3.0 cta/ctaSynchronisation.cpp 16711680 false 1.4973272 1.1588016 0.0 2.0 cta/ctaSynchronisation.h 16711680 false 0.7290452 1.8073739 0.0 12.0 cta/ctaSystem.cpp 16711680 false 1.6309026 0.23114434 0.0 13.0 example/bdd/RailRoad.cta 8421504 false -0.7003159 -0.15618774 0.0 13.0 ana/anaRegInstr.h 65280 false 1.098722 1.1950054 0.0 5.0 cta/ctaConfigState.cpp 16711680 false 0.87539285 0.9084496 0.0 6.0 cta/ctaConfigState.h 16711680 false -0.3298402 0.39763555 0.0 16.0 cta/reprConfig.h 16711680 false 2.061919 1.4147323 0.0 2.0 cta/ctaRestFalse.h 16711680 false -0.81526065 -0.69425446 0.0 12.0 ana/anaBool.h 65280 false -0.9491934 -0.7166043 0.0 15.0 ana/anaBoolEmpty.h 65280 false -0.794717 -0.8226126 0.0 14.0 ana/anaBoolEqual.h 65280 false -0.88694483 -0.82303804 0.0 14.0 ana/anaBoolInclusion.h 65280 false -0.6510477 -0.14835018 0.0 19.0 ana/anaRegion.h 65280 false 0.9291532 1.3655553 0.0 2.0 cta/ctaRestRel.h 16711680 false 0.9876795 1.305918 0.0 2.0 cta/ctaRestriction.cpp 16711680 false 1.0859009 0.9746166 0.0 3.0 cta/ctaSet.h 16711680 false 0.5579923 0.87255245 0.0 5.0 cta/ctaTransition.h 16711680 false 1.2786897 0.9759217 0.0 3.0 cta/ctaConfiguration.h 16711680 false 0.9178958 0.7135116 0.0 4.0 cta/ctaHyTechPrinter.cpp 16711680 false 1.5176762 0.94589204 0.0 2.0 cta/ctaString.h 16711680 false -0.81132585 0.063159 0.0 26.0 ana/anaRegNot.h 65280 false 4.5120206 0.42941892 0.0 1.0 doc/codeerzeugung.txt 65535 false -0.45401615 0.5110179 0.0 27.0 bdd/bddConfig.h 255 false 2.1956112 2.221633 0.0 5.0 example/ddm/GasBurner.cta 8421504 false -1.058398 -0.63361514 0.0 12.0 ana/anaRegDifference.h 65280 false -1.0537891 -0.45873278 0.0 14.0 ana/anaRegInstrAssign.h 65280 false -0.717811 -0.6763596 0.0 15.0 ana/anaRegInstrIf.h 65280 false -0.6793092 -0.18917163 0.0 16.0 ana/anaRegInstrPrint.h 65280 false -0.7667762 -0.6304745 0.0 13.0 ana/anaRegInstrWhile.h 65280 false -0.816105 -0.5279151 0.0 18.0 ana/anaRegIntersect.h 65280 false -0.80612314 -0.18251166 0.0 21.0 ana/anaRegLinConstraint.h 65280 false -0.9350748 -0.3801825 0.0 20.0 ana/anaRegPost.h 65280 false -0.9560607 -0.40541536 0.0 20.0 ana/anaRegPre.h 65280 false -0.7510502 -0.13882141 0.0 22.0 ana/anaRegReachBackward.h 65280 false -1.0253931 -0.38715613 0.0 18.0 ana/anaRegSymbol.h 65280 false -0.9611678 -0.3456905 0.0 17.0 ana/anaRegUnion.h 65280 false -1.6918929 3.7172575 0.0 2.0 ana/anaSecSimulation.h 65280 false -0.24291553 1.7784109 0.0 10.0 cta/ctaLex.l 16711680 false 1.680342 -4.840919 0.0 3.0 doc/CodingStandard.txt 65535 false -0.48832995 -0.28863397 0.0 40.0 ddm/ddmAutomaton.cpp 16711935 false -2.9507809 2.9646258 0.0 11.0 sim/fertanl.h 16776960 false -3.2370477 2.7963178 0.0 1.0 sim/io.h 16776960 false -4.0345693 3.1798294 0.0 3.0 sim/pcdriver.h 16776960 false -5.977469 4.2263007 0.0 1.0 sim/libwsock32.a 16776960 false -6.4087505 4.417117 0.0 3.0 sim/server.cpp 16776960 false -2.3162796 -1.6984341 0.0 26.0 ddm/Makefile 16711935 false -2.4189749 -1.0612823 0.0 10.0 1readme.txt 16776960 false -2.614511 -2.3925314 0.0 2.0 cta-db/chkstyle 16776960 false -2.5511107 -2.4503782 0.0 2.0 cta-db/emacs-config-file 16776960 false -2.684508 -2.357753 0.0 2.0 ddm/bzero.c 16711935 false -2.8439817 -2.6051247 0.0 3.0 ddm/ddm.proj 16711935 false -2.5075796 -2.527725 0.0 2.0 ddm/ideas 16711935 false -2.591036 -2.5193412 0.0 2.0 ddm/mrk/Makefile 16711935 false -2.659229 -2.4601572 0.0 2.0 ddm/mrk/dependencies 16711935 false -1.7178124 -2.4601479 0.0 3.0 doc/doku.txt 65535 false 0.99538493 0.42065907 0.0 6.0 example/refine/RefineSimple.cta 8421504 false 1.644132 2.192735 0.0 1.0 cta/cta-db.proj 16711680 false 1.2998503 2.1372416 0.0 2.0 cta/ctaComponent.cpp 16711680 false 1.2281973 2.2354848 0.0 2.0 cta/ctaComponent.h 16711680 false 1.385251 1.2926476 0.0 2.0 cta/ctaConfigAnd.h 16711680 false 1.2890553 1.5047199 0.0 3.0 cta/ctaConfigLinRest.h 16711680 false 1.32031 1.3801671 0.0 2.0 cta/ctaConfigOr.h 16711680 false 1.7884218 2.0181284 0.0 1.0 cta/ctaConfiguration.cpp 16711680 false 1.8549004 2.087899 0.0 1.0 cta/ctaErrMsg.h 16711680 false 1.7183754 2.1209862 0.0 1.0 cta/ctaExprConst.h 16711680 false 2.0525918 1.8683207 0.0 1.0 cta/ctaExprNegation.h 16711680 false 1.9991819 1.7833277 0.0 1.0 cta/ctaExprPlus.h 16711680 false 1.556925 2.3221943 0.0 1.0 cta/ctaExprVar.cpp 16711680 false 1.3703355 1.443014 0.0 2.0 cta/ctaExprVar.h 16711680 false 1.4247998 1.3581063 0.0 2.0 cta/ctaExpression.h 16711680 false 1.8040313 2.1681414 0.0 1.0 cta/ctaGrammar.l 16711680 false 2.3236725 1.9924064 0.0 4.0 cta/ctaGrammar.txt 16711680 false 1.6686324 2.2778997 0.0 1.0 cta/ctaHyTechPrinter.h 16711680 false 2.1681526 2.9103696 0.0 4.0 cta/ctaInstantiation.cpp 16711680 false 1.8561115 1.9580872 0.0 1.0 cta/ctaInstantiation.h 16711680 false 1.6048082 2.4248738 0.0 1.0 cta/ctaMap.h 16711680 false 1.647182 2.3711398 0.0 1.0 cta/ctaObject.cpp 16711680 false 1.9093758 1.86276 0.0 1.0 cta/ctaObject.h 16711680 false 1.2946532 2.2085025 0.0 2.0 cta/ctaParser.h 16711680 false 2.2653847 2.2554867 0.0 2.0 cta/ctaRelOp.h 16711680 false 2.0896633 1.7809116 0.0 1.0 cta/ctaRestAnd.h 16711680 false 1.9686408 1.9384639 0.0 1.0 cta/ctaRestOr.h 16711680 false 1.9130087 2.177103 0.0 1.0 cta/ctaRestRel.cpp 16711680 false 1.9285563 2.0400376 0.0 1.0 cta/ctaRestTrue.h 16711680 false 1.7338022 2.3723598 0.0 1.0 cta/ctaRestriction.h 16711680 false 1.7447367 2.2578359 0.0 1.0 cta/ctaScanner.h 16711680 false 1.8068128 2.3239071 0.0 1.0 cta/ctaSetPointer.h 16711680 false 2.0262508 2.0257142 0.0 1.0 cta/ctaString.cpp 16711680 false 1.872788 2.2495248 0.0 1.0 cta/ctaStringGNU.h 16711680 false 1.9696577 2.1253846 0.0 1.0 cta/ctaStringSTL.h 16711680 false 0.7733465 1.5826713 0.0 2.0 cta/ctaSystem.h 16711680 false 0.89668494 0.7810761 0.0 2.0 cta/ctaTransition.cpp 16711680 false 2.06594 1.9494618 0.0 1.0 cta/ctaVectorOfPointer.h 16711680 false -1.2948468 -0.32603908 0.0 9.0 ddm/ddmXPoly.h 16711935 false -0.88655895 -0.30820423 0.0 12.0 ddm/ddmConfigPair.cpp 16711935 false -0.85845065 -0.2802962 0.0 15.0 ddm/ddmConfigPairList.cpp 16711935 false -0.606988 0.09749495 0.0 7.0 ddm/ddmRegion.h 16711935 false -1.1901373 -0.20248534 0.0 11.0 ddm/ddmXPoly.cpp 16711935 false -1.6883774 -0.64249295 0.0 6.0 ddm/ddmPoly.cpp 16711935 false -0.7297322 -0.4345777 0.0 22.0 ddm/ddmConfig.cpp 16711935 false -0.18535714 -0.1191651 0.0 24.0 ddm/ddmConfig.h 16711935 false -0.1953757 -1.2078781 0.0 39.0 doc/done.txt 65535 false -0.9069171 -0.58993375 0.0 9.0 ana/anaRegInstrSeq.h 65280 false -2.1287751 -4.9298973 0.0 1.0 ddm/main/main1.cc 16711935 false -2.2894456 -4.9828944 0.0 1.0 ddm/main/main10.cc 16711935 false -2.0001516 -5.0613127 0.0 1.0 ddm/main/main11.cc 16711935 false -2.215021 -5.0024667 0.0 1.0 ddm/main/main12.cc 16711935 false -2.2526147 -5.0900826 0.0 1.0 ddm/main/main2.cc 16711935 false -1.9563211 -5.136049 0.0 1.0 ddm/main/main3.cc 16711935 false -1.9453435 -5.020706 0.0 1.0 ddm/main/main4.cc 16711935 false -1.8445765 -5.0970025 0.0 1.0 ddm/main/main5.cc 16711935 false -2.15949 -5.0977836 0.0 1.0 ddm/main/main6.cc 16711935 false -2.1860123 -5.183147 0.0 1.0 ddm/main/main7.cc 16711935 false -2.0943398 -5.179988 0.0 1.0 ddm/main/main8.cc 16711935 false -1.8051475 -5.1407795 0.0 1.0 ddm/main/main9.cc 16711935 false -1.7438297 -5.0848355 0.0 1.0 ddm/tst/tst1 16711935 false -2.0172734 -5.2456355 0.0 1.0 ddm/tst/tst2 16711935 false -1.7919518 -5.2082634 0.0 1.0 ddm/tst/tst3 16711935 false -1.9311974 -5.251686 0.0 1.0 ddm/tst/tst3_1 16711935 false -1.8440688 -5.2773166 0.0 1.0 ddm/tst/tst3_2 16711935 false -1.7073159 -5.2204623 0.0 1.0 ddm/tst/tst4 16711935 false -1.6573243 -5.1574397 0.0 1.0 ddm/tst/tst5 16711935 false -2.038564 -5.0873823 0.0 1.0 ddm/tst/tst6 16711935 false -0.70424414 -0.865094 0.0 8.0 ddm/ddmRegion.cpp 16711935 false -1.0300759 -0.8212971 0.0 5.0 ddm/ddmState.cpp 16711935 false -2.9561577 -3.5821743 0.0 4.0 regression/Railroad-dos.cta.log 16776960 false -2.973263 -3.5459661 0.0 4.0 regression/Signaltest1.cta.log 16776960 false -2.9965665 -3.4992309 0.0 4.0 regression/Signaltest2.cta.log 16776960 false -3.017918 -3.5393226 0.0 4.0 regression/Signaltest3.cta.log 16776960 false -1.7661843 -0.39633533 0.0 7.0 ddm/ddmAutomatonOstream.cpp 16711935 false -1.8718603 -0.34816495 0.0 6.0 ddm/ddmAutomatonOstream.h 16711935 false -0.77174956 -0.8753796 0.0 7.0 ana/anaRegInitial.h 65280 false -1.2218487 -0.6979099 0.0 4.0 ddm/ddmConfigPairList.h 16711935 false -3.549579 -0.67579454 0.0 1.0 cta/reprNUMBER.h 16711680 false -1.8384123 -0.4385507 0.0 6.0 ddm/ddmConstraints.cpp 16711935 false -1.9033878 -0.60818017 0.0 4.0 ddm/ddmDualVec.cpp 16711935 false -2.1073065 -0.5383315 0.0 3.0 ddm/ddmDualVec.h 16711935 false -1.7644638 -0.53881717 0.0 5.0 ddm/ddmRays.cpp 16711935 false -3.9807842 -0.61133486 0.0 4.0 ddm/ddmVecPlain.cpp 16711935 false -3.808262 -0.59762573 0.0 3.0 ddm/ddmVecPlain.h 16711935 false -4.2745767 -0.7293789 0.0 6.0 ddm/ddmVecSTL.cpp 16711935 false -3.687874 -0.8149179 0.0 6.0 ddm/ddmVecSTL.h 16711935 false -1.8667425 0.34285182 0.0 3.0 cta/reprAutomatonOstream.h 16711680 false -1.4842677 -1.0572915 0.0 5.0 ddm/ddmConstraints.h 16711935 false -1.9010441 0.16464168 0.0 2.0 cta/ctaIntSet.h 16711680 false -1.6406848 -0.28423333 0.0 4.0 ddm/ddmTraces.h 16711935 false 0.5014811 0.40040746 0.0 2.0 cta/reprObject.h 16711680 false -0.8505829 -1.230557 0.0 7.0 ana/anaBoolIsReachable.h 65280 false -1.2074604 -0.5835476 0.0 7.0 ddm/ddmConfigPair.h 16711935 false 1.891412 -0.14128211 0.0 4.0 example/bdd/ProductionCell.cta 8421504 false 2.1607857 -0.24215738 0.0 5.0 example/bdd/XOR10.cta 8421504 false 3.1237235 -0.15824448 0.0 4.0 example/bdd/XOR2.cta 8421504 false 3.0895543 -0.2328138 0.0 4.0 example/bdd/XOR3.cta 8421504 false 3.1446514 -0.22129449 0.0 4.0 example/bdd/XOR5.cta 8421504 false 0.6517139 -0.34774294 0.0 2.0 example/refine/RefineFischer2.cta 8421504 false 0.5714787 0.04320499 0.0 8.0 example/refine/RefineTest.cta 8421504 false 0.5132832 -0.5169862 0.0 3.0 example/refine/FischerX.cta 8421504 false 0.19485801 -0.16824062 0.0 9.0 example/refine/MutexSync.cta 8421504 false -0.96942735 -0.618306 0.0 6.0 ddm/ddmTransition.cpp 16711935 false 0.28298676 -0.5425792 0.0 3.0 example/refine/RefineTestSync.cta 8421504 false -0.95174795 0.14636914 0.0 4.0 ana/anaRegHide.h 65280 false 0.6139942 0.7975855 0.0 4.0 ana/anaRegInstrPrintAuto.h 65280 false 3.3921562E-5 0.3718363 0.0 2.0 ana/anaRegInstrPrintFlatModule.h 65280 false 0.6468699 -0.6466379 0.0 3.0 example/refine/RefineVar.cta 8421504 false -1.6452914 1.0452015 0.0 7.0 bdd/bddTransition.h 255 false 2.666159 1.0103897 0.0 5.0 example/refine/ToolCheck/missingSyncProblem.cta 8421504 false -0.3190885 0.54664886 0.0 3.0 ana/anaRegInstrPrintBddGraph.h 65280 false -2.2883334 2.7294135 0.0 1.0 ana/anaSection.h 65280 false 1.3415514 4.2790275 0.0 1.0 cta/cvrt2unix.sh 16711680 false 1.5268468 4.2143135 0.0 1.0 cta/testrun 16711680 false 1.4307052 4.259207 0.0 1.0 cta/unistd.h 16711680 false 0.94687575 0.2986428 0.0 6.0 ana/anaSecRefinement.h 65280 false -0.12532958 0.9277647 0.0 4.0 cta/utilProgress.h 16711680 false 2.0996253 2.3759742 0.0 11.0 example/ddm/Fischer2.cta 8421504 false 3.4059987 3.8784103 0.0 6.0 example/ddm/Fischer3.cta 8421504 false 3.3322423 3.8673139 0.0 5.0 example/ddm/Fischer4.cta 8421504 false 2.407741 2.5770392 0.0 8.0 example/ddm/Fischer5.cta 8421504 false 3.8169463 3.6703212 0.0 2.0 example/ddm/Fischer5_1.cta 8421504 false 3.6997128 3.8896859 0.0 2.0 example/ddm/RailRoad.cta 8421504 false 3.9379873 4.0208874 0.0 2.0 example/ddm/SteamBoiler.cta 8421504 false 3.4884691 3.7234488 0.0 3.0 example/ddm/WaterLevel.cta 8421504 false 3.728261 3.750098 0.0 1.0 example/ddm/ray-understanding.cta 8421504 false 0.5905647 1.697094 0.0 2.0 ana/anaRegInstrPrintCompletedModule.h 65280 false -3.8655639 -4.1942844 0.0 3.0 regression/Cycletest1.cta.log 16776960 false -3.9153152 -4.227175 0.0 3.0 regression/Cycletest2.cta.log 16776960 false -3.9288135 -4.1395016 0.0 3.0 regression/Cycletest3.cta.log 16776960 false -3.9888992 -4.1526484 0.0 3.0 regression/ErrorState.cta.log 16776960 false 3.5988328 4.042284 0.0 7.0 example/ddm/Fischer6.cta 8421504 false -1.32253 0.0902165 0.0 2.0 cta/FlexLexer.h 16711680 false -2.1353705 0.12102176 0.0 1.0 cta/Regex.h 16711680 false -2.1560566 -0.06373547 0.0 1.0 cta/String.h.orig 16711680 false -2.163425 0.023706373 0.0 1.0 cta/ctaIntSet.cpp 16711680 false -1.540156 -0.4407699 0.0 4.0 ddm/ddmTransition.h 16711935 false -0.03422236 2.8948429 0.0 1.0 cta/utilGetOpt.c 16711680 false 0.07169937 2.9021685 0.0 1.0 cta/utilGetOpt.h 16711680 false -0.920976 -1.7325566 0.0 2.0 example/refine/FischerImplCheck.cta 8421504 false -0.8294686 0.8013603 0.0 2.0 ana/anaRegInstrPrintRepr.h 65280 false -0.8143314 3.1140554 0.0 3.0 ana/anaRegInstrPrintReprSize.h 65280 false -0.6526523 0.16288011 0.0 4.0 ddm/ddmState.h 16711935 false -0.9978133 1.1769053 0.0 10.0 bdd/bddSymTab.cpp 255 false -2.5745325 8.51154 0.0 4.0 example/bdd/AND/AND8.cta 8421504 false -2.7619905 -1.644535 0.0 2.0 regression/ErrorState.cta 16776960 false -1.4002327 1.1711171 0.0 3.0 bdd/bddExpression.cpp 255 false -1.3963346 0.9075859 0.0 3.0 bdd/bddExpression.h 255 false -1.6306722 -0.83199525 0.0 3.0 ddm/ddmIncidences.cpp 16711935 false -1.6723243 -0.74047375 0.0 3.0 ddm/ddmIncidences.h 16711935 false -1.9680653 -0.51494116 0.0 2.0 ddm/ddmMat.cpp 16711935 false -1.8729081 -0.8405783 0.0 2.0 ddm/ddmMat.h 16711935 false -2.2218132 -0.8558278 0.0 1.0 ddm/ddmObject.h 16711935 false -2.0036907 -0.6867113 0.0 3.0 ddm/ddmPoly.h 16711935 false -1.9162325 -0.7820542 0.0 2.0 ddm/ddmRCIPtr.h 16711935 false -1.989756 -0.4562482 0.0 2.0 ddm/ddmRCObject.h 16711935 false -1.9205499 -0.7080339 0.0 2.0 ddm/ddmRCRegion.h 16711935 false -1.9729697 -0.5886227 0.0 2.0 ddm/ddmRays.h 16711935 false -1.6849781 -0.8031998 0.0 3.0 ddm/ddmTraces.cpp 16711935 false -2.5040681 -0.54503685 0.0 4.0 ddm/ddmVec.h 16711935 false 4.9442873 4.1775565 0.0 2.0 example/ddm/Fischer5_woReset.cta 8421504 false -3.1858203 10.576754 0.0 3.0 example/bdd/AND/AND16series.cta 8421504 false -3.1499953 10.632534 0.0 3.0 example/bdd/AND/AND2.cta 8421504 false -3.455139 11.466798 0.0 1.0 example/bdd/AND/AND2rand1.cta 8421504 false -3.9544637 11.221629 0.0 1.0 example/bdd/AND/AND2rand2.cta 8421504 false -3.1110039 10.775981 0.0 4.0 example/bdd/AND/AND2series.cta 8421504 false -3.373837 11.566968 0.0 1.0 example/bdd/AND/AND3.cta 8421504 false -3.6279929 11.419092 0.0 1.0 example/bdd/AND/AND3b.cta 8421504 false -3.7443197 11.422912 0.0 1.0 example/bdd/AND/AND3bcount.cta 8421504 false -3.9793768 11.344886 0.0 1.0 example/bdd/AND/AND3count.cta 8421504 false -4.014272 11.446466 0.0 1.0 example/bdd/AND/AND3flat.cta 8421504 false -3.471855 10.561815 0.0 2.0 example/bdd/AND/AND4.cta 8421504 false -3.5413635 11.539899 0.0 1.0 example/bdd/AND/AND4b.cta 8421504 false -3.4534285 11.635881 0.0 1.0 example/bdd/AND/AND4bcount.cta 8421504 false -3.5379817 11.670826 0.0 1.0 example/bdd/AND/AND4count.cta 8421504 false -3.9594007 11.512299 0.0 1.0 example/bdd/AND/AND4flat.cta 8421504 false -3.3932428 10.570566 0.0 2.0 example/bdd/AND/AND4series.cta 8421504 false -3.8384845 11.297932 0.0 1.0 example/bdd/AND/AND5.cta 8421504 false -3.7706106 11.530888 0.0 1.0 example/bdd/AND/AND5bcount.cta 8421504 false -3.6393278 11.544754 0.0 1.0 example/bdd/AND/AND5cCount.cta 8421504 false -3.8842504 11.576481 0.0 1.0 example/bdd/AND/AND5count.cta 8421504 false -3.8676085 11.43836 0.0 1.0 example/bdd/AND/AND6.cta 8421504 false -3.8201468 11.66251 0.0 1.0 example/bdd/AND/AND6count.cta 8421504 false -4.061726 11.276962 0.0 1.0 example/bdd/AND/AND7.cta 8421504 false -3.6872325 11.62795 0.0 1.0 example/bdd/AND/AND7count.cta 8421504 false -3.656432 11.694185 0.0 1.0 example/bdd/AND/AND8count.cta 8421504 false -3.3544407 10.637149 0.0 2.0 example/bdd/AND/AND8series.cta 8421504 false 6.1591654 9.911087 0.0 1.0 example/bdd/TwoState/TwoState10a.cta 8421504 false 5.999253 10.035123 0.0 1.0 example/bdd/TwoState/TwoState10b.cta 8421504 false 6.264468 9.970728 0.0 1.0 example/bdd/TwoState/TwoState11a.cta 8421504 false 6.204073 10.177168 0.0 1.0 example/bdd/TwoState/TwoState11b.cta 8421504 false 5.7769322 10.151856 0.0 1.0 example/bdd/TwoState/TwoState12a.cta 8421504 false 6.197697 10.875295 0.0 3.0 example/bdd/TwoState/TwoState16a.cta 8421504 false 6.128689 10.04423 0.0 1.0 example/bdd/TwoState/TwoState32a.cta 8421504 false 6.048526 10.163641 0.0 1.0 example/bdd/TwoState/TwoState5a.cta 8421504 false 6.2596645 10.084634 0.0 1.0 example/bdd/TwoState/TwoState5b.cta 8421504 false 6.130661 10.228312 0.0 1.0 example/bdd/TwoState/TwoState64a.cta 8421504 false 6.0758886 10.750424 0.0 2.0 example/bdd/TwoState/TwoState6a.cta 8421504 false 5.9262505 10.217032 0.0 1.0 example/bdd/TwoState/TwoState6b.cta 8421504 false 6.0516925 10.308449 0.0 1.0 example/bdd/TwoState/TwoState7a.cta 8421504 false 5.9583044 10.31406 0.0 1.0 example/bdd/TwoState/TwoState7b.cta 8421504 false 4.601469 7.2314043 0.0 3.0 example/bdd/TwoState/TwoState8a.cta 8421504 false 5.528731 9.139517 0.0 2.0 example/bdd/TwoState/TwoState8b.cta 8421504 false 5.833286 10.269586 0.0 1.0 example/bdd/TwoState/TwoState9a.cta 8421504 false 5.6968994 10.276615 0.0 1.0 example/bdd/TwoState/TwoState9b.cta 8421504 false 5.8069515 10.358487 0.0 1.0 example/bdd/TwoState/TwoStateTest.txt 8421504 false -5.955782 6.024615 0.0 4.0 example/bdd/CSMA-CD/CSMA.txt 8421504 false 9.112355 0.99101293 0.0 2.0 example/refine/ToolCheck/test2.cta 8421504 false 9.123665 1.0761728 0.0 2.0 example/refine/ToolCheck/test4.cta 8421504 false 5.9496946 1.1421075 0.0 2.0 example/refine/ToolCheck/sharedVarProblem.cta 8421504 false 6.6907988 1.0410023 0.0 2.0 example/refine/ToolCheck/test1.cta 8421504 false -2.9244142 5.881632 0.0 20.0 example/Anlage/devModels/beltSystem2.cta 8421504 false 4.268157 5.014549 0.0 1.0 example/ddm/Fischer5_NotTrans.cta 8421504 false 6.2622137 5.0439534 0.0 2.0 example/ddm/driftDeriv/Fischer2.cta 8421504 false 5.174639 4.41224 0.0 3.0 example/ddm/driftDeriv/Fischer3.cta 8421504 false 5.198785 4.365151 0.0 3.0 example/ddm/driftDeriv/Fischer4.cta 8421504 false 5.5850296 8.746661 0.0 1.0 example/bdd/TwoState/TwoState128.cta 8421504 false 5.475012 8.833235 0.0 1.0 example/bdd/TwoState/TwoState256.cta 8421504 false -2.5970702 10.902262 0.0 1.0 example/bdd/AND/AND16.cta 8421504 false -2.8715038 10.934508 0.0 1.0 example/bdd/AND/AND16Full.cta 8421504 false -2.746961 10.888021 0.0 1.0 example/bdd/AND/AND16seriesFull.cta 8421504 false -2.9291337 11.067874 0.0 2.0 example/bdd/AND/AND2Full.cta 8421504 false -2.4724233 10.930416 0.0 1.0 example/bdd/AND/AND2min.cta 8421504 false -2.8443575 11.11263 0.0 2.0 example/bdd/AND/AND2seriesFull.cta 8421504 false -2.697915 10.992716 0.0 1.0 example/bdd/AND/AND4Full.cta 8421504 false -2.5214517 11.024701 0.0 1.0 example/bdd/AND/AND4seriesFull.cta 8421504 false -2.7130115 11.106115 0.0 1.0 example/bdd/AND/AND8Full.cta 8421504 false -2.597653 11.0881605 0.0 1.0 example/bdd/AND/AND8seriesFull.cta 8421504 false -5.8061886 6.252103 0.0 4.0 example/bdd/TokenRingFDDI/FDDI.txt 8421504 false 6.9693875 11.957319 0.0 1.0 example/bdd/TwoState/TwoState4a.cta 8421504 false -3.0774198 4.459383 0.0 2.0 example/Uppaal/TokenRingFDDI/verificationTimes.txt 8421504 false 6.6044383 12.040205 0.0 1.0 example/bdd/TwoState/TwoState4aFull.cta 8421504 false 6.7076735 12.017661 0.0 1.0 example/bdd/TwoState/TwoState6aFull.cta 8421504 false 6.525296 12.117649 0.0 1.0 example/bdd/TwoState/TwoState8aFull.cta 8421504 false 4.8689847 4.2896223 0.0 2.0 example/ddm/Fischer5_Clock.cta 8421504 false 4.7898693 4.3892474 0.0 2.0 example/ddm/Fischer5_withStart.cta 8421504 false 4.5604997 4.1529512 0.0 1.0 example/ddm/NuclearReactor.cta 8421504 false 4.676885 3.9750342 0.0 1.0 example/ddm/NuclearReactor1.cta 8421504 false 4.6329226 4.0734134 0.0 1.0 example/ddm/NuclearReactorMin.cta 8421504 false 6.4792743 5.2831454 0.0 1.0 example/ddm/driftDeriv/Fischer5.cta 8421504 false 6.5584455 5.1918654 0.0 1.0 example/ddm/driftDeriv/Fischer6.cta 8421504 false 8.907187 0.98898983 0.0 1.0 example/refine/ToolCheck/test3.cta 8421504 false 8.890453 1.1382538 0.0 1.0 example/refine/ToolCheck/test5.cta 8421504 false -4.7786264 -4.4419317 0.0 3.0 regression/createlogfiles 16776960 false -4.830636 -4.3964367 0.0 3.0 regression/regressiontest 16776960 false -4.3516965 -4.363418 0.0 1.0 regression/Cycletest1.cta 16776960 false -4.498522 -4.1181974 0.0 1.0 regression/Cycletest2.cta 16776960 false -4.6031876 -4.0804873 0.0 1.0 regression/Cycletest3.cta 16776960 false -4.4196453 -4.2381926 0.0 1.0 regression/Railroad-dos.cta 16776960 false -4.4430017 -4.3472047 0.0 1.0 regression/Signaltest1.cta 16776960 false -4.5150056 -4.2734466 0.0 1.0 regression/Signaltest2.cta 16776960 false -4.578124 -4.1924186 0.0 1.0 regression/Signaltest3.cta 16776960 false