Author: cas
Date: Tue Nov 1 21:15:30 2011
New Revision: 6938
URL: http://svn.gna.org/viewcvs/service-tech?rev=6938&view=rev
Log:
* added unfolded nets (data.lola, echo.lola) both in lola and pnml format
(dead nodes already removed by PNAPI reduction)
* added stats.txt for each set of unfolded nets
* added python scripts to generate a CTL formula for the unfolding parameters
of a net
Added:
trunk/meta/nets/challenge/sumo-contest-2011/data/ (with props)
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r1000w10.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r1000w10.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r1000w10.task
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r1000w1000.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r1000w1000.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r1000w1000.task
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r1000w700.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r1000w700.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r1000w700.task
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r100w10.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r100w10.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r100w10.task
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r100w100.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r100w100.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r100w100.task
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r10w10.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r10w10.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r10w10.task
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r10w100.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r10w100.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r10w100.task
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r10w1000.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r10w1000.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r10w1000.task
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r10w20.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r10w20.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r10w20.task
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r10w2000.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r10w2000.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r10w2000.task
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r10w50.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r10w50.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r10w50.task
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r10w500.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r10w500.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r10w500.task
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r2000w10.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r2000w10.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r2000w10.task
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r200w200.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r200w200.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r200w200.task
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r20w10.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r20w10.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r20w10.task
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r300w500.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r300w500.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r300w500.task
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r500w10.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r500w10.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r500w10.task
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r500w300.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r500w300.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r500w300.task
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r500w500.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r500w500.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r500w500.task
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r500w700.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r500w700.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r500w700.task
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r50w50.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r50w50.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r50w50.task
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r700w1000.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r700w1000.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r700w1000.task
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r700w500.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r700w500.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r700w500.task
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r700w700.lola
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r700w700.pnml
trunk/meta/nets/challenge/sumo-contest-2011/data/data.r700w700.task
trunk/meta/nets/challenge/sumo-contest-2011/data/gentasks.py
trunk/meta/nets/challenge/sumo-contest-2011/data/stats.txt
trunk/meta/nets/challenge/sumo-contest-2011/echo/ (with props)
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d2r11.lola
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d2r11.pnml
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d2r11.task
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d2r13.lola
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d2r13.pnml
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d2r13.task
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d2r15.lola
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d2r15.pnml
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d2r15.task
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d2r17.lola
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d2r17.pnml
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d2r17.task
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d2r19.lola
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d2r19.pnml
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d2r19.task
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d2r9.lola
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d2r9.pnml
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d2r9.task
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d3r3.lola
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d3r3.pnml
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d3r3.task
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d3r5.lola
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d3r5.pnml
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d3r5.task
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d3r7.lola
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d3r7.pnml
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d3r7.task
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d4r3.lola
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d4r3.pnml
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d4r3.task
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d5r3.lola
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d5r3.pnml
trunk/meta/nets/challenge/sumo-contest-2011/echo/echo.d5r3.task
trunk/meta/nets/challenge/sumo-contest-2011/echo/gentasks.py
trunk/meta/nets/challenge/sumo-contest-2011/echo/stats.txt
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
