https://gitlab.lrde.epita.fr/akheireddine/bmctool
Tip revision: 37073044543a37346c2369f1d4f7c985724edd09 authored by akheireddine on 30 August 2021, 12:42:36 UTC
get minimum attempts script for edacc csv :
get minimum attempts script for edacc csv :
Tip revision: 3707304
| File | Mode | Size |
|---|---|---|
| autobench.cfg | -rw-r--r-- | 23 bytes |
| c-arbiter-xl.blif | -rw-r--r-- | 54.7 KB |
| c-arbiter-xl.cfg | -rw-r--r-- | 627 bytes |
| c-arbiter-xl.ord | -rw-r--r-- | 605 bytes |
| c-arbiter-xl.ord_vis | -rw-r--r-- | 2.8 KB |
| c-arbiter-xl.smv | -rw-r--r-- | 39.8 KB |
| c-arbiter-xl.ts | -rw-r--r-- | 12.9 KB |
| c-arbiter.blif | -rw-r--r-- | 40.7 KB |
| c-arbiter.cfg | -rw-r--r-- | 435 bytes |
| c-arbiter.ord | -rw-r--r-- | 413 bytes |
| c-arbiter.ord_vis | -rw-r--r-- | 2.1 KB |
| c-arbiter.smv | -rw-r--r-- | 30.0 KB |
| c-arbiter.ts | -rw-r--r-- | 9.1 KB |
| dijkstra-without-deadlock.smv | -rwxr-xr-x | 1.1 KB |
| dijkstra.smv | -rwxr-xr-x | 1.2 KB |
| gals.blif | -rw-r--r-- | 44.6 KB |
| gals.cfg | -rw-r--r-- | 488 bytes |
| gals.ord | -rw-r--r-- | 465 bytes |
| gals.ord_vis | -rw-r--r-- | 2.0 KB |
| gals.smv | -rw-r--r-- | 36.1 KB |
| gals.ts | -rw-r--r-- | 8.6 KB |
| muller_10.blif | -rw-r--r-- | 29.5 KB |
| muller_10.cfg | -rw-r--r-- | 299 bytes |
| muller_10.g | -rw-r--r-- | 613 bytes |
| muller_10.ord | -rw-r--r-- | 276 bytes |
| muller_10.ord_vis | -rw-r--r-- | 1.8 KB |
| muller_10.smv | -rw-r--r-- | 12.6 KB |
| muller_100.cfg | -rw-r--r-- | 3.2 KB |
| muller_100.g | -rw-r--r-- | 5.9 KB |
| muller_15.blif | -rw-r--r-- | 44.5 KB |
| muller_15.cfg | -rw-r--r-- | 446 bytes |
| muller_15.g | -rw-r--r-- | 916 bytes |
| muller_15.ord | -rw-r--r-- | 423 bytes |
| muller_15.ord_vis | -rw-r--r-- | 2.6 KB |
| muller_15.smv | -rw-r--r-- | 19.0 KB |
| muller_20.blif | -rw-r--r-- | 60.1 KB |
| muller_20.cfg | -rw-r--r-- | 594 bytes |
| muller_20.g | -rw-r--r-- | 1.2 KB |
| muller_20.ord | -rw-r--r-- | 571 bytes |
| muller_20.ord_vis | -rw-r--r-- | 3.4 KB |
| muller_20.smv | -rw-r--r-- | 25.4 KB |
| muller_25.blif | -rw-r--r-- | 75.3 KB |
| muller_25.cfg | -rw-r--r-- | 741 bytes |
| muller_25.g | -rw-r--r-- | 1.5 KB |
| muller_25.ord | -rw-r--r-- | 718 bytes |
| muller_25.ord_vis | -rw-r--r-- | 4.2 KB |
| muller_25.smv | -rw-r--r-- | 31.9 KB |
| muller_30.blif | -rw-r--r-- | 91.0 KB |
| muller_30.cfg | -rw-r--r-- | 910 bytes |
| muller_30.g | -rw-r--r-- | 1.8 KB |
| muller_30.ord | -rw-r--r-- | 886 bytes |
| muller_30.ord_vis | -rw-r--r-- | 5.0 KB |
| muller_30.smv | -rw-r--r-- | 38.7 KB |
| muller_40.blif | -rw-r--r-- | 123.5 KB |
| muller_40.cfg | -rw-r--r-- | 1.2 KB |
| muller_40.g | -rw-r--r-- | 2.4 KB |
| muller_40.ord | -rw-r--r-- | 1.2 KB |
| muller_40.ord_vis | -rw-r--r-- | 6.6 KB |
| muller_40.smv | -rw-r--r-- | 52.4 KB |
| muller_5.blif | -rw-r--r-- | 14.7 KB |
| muller_5.cfg | -rw-r--r-- | 156 bytes |
| muller_5.g | -rw-r--r-- | 358 bytes |
| muller_5.ord | -rw-r--r-- | 133 bytes |
| muller_5.ord_vis | -rw-r--r-- | 1.0 KB |
| muller_5.smv | -rw-r--r-- | 6.3 KB |
| muller_50.blif | -rw-r--r-- | 155.2 KB |
| muller_50.cfg | -rw-r--r-- | 1.5 KB |
| muller_50.g | -rw-r--r-- | 3.0 KB |
| muller_50.ord | -rw-r--r-- | 1.5 KB |
| muller_50.ord_vis | -rw-r--r-- | 8.2 KB |
| muller_50.smv | -rw-r--r-- | 66.1 KB |
| muller_60.blif | -rw-r--r-- | 186.9 KB |
| muller_60.cfg | -rw-r--r-- | 1.9 KB |
| muller_60.g | -rw-r--r-- | 3.6 KB |
| muller_60.ord | -rw-r--r-- | 1.8 KB |
| muller_60.smv | -rw-r--r-- | 79.8 KB |
| muller_70.blif | -rw-r--r-- | 220.5 KB |
| muller_70.cfg | -rw-r--r-- | 2.2 KB |
| muller_70.g | -rw-r--r-- | 4.2 KB |
| muller_70.ord_vis | -rw-r--r-- | 11.5 KB |
| muller_80.blif | -rw-r--r-- | 252.4 KB |
| muller_80.cfg | -rw-r--r-- | 2.5 KB |
| muller_80.g | -rw-r--r-- | 4.7 KB |
| muller_80.ord_vis | -rw-r--r-- | 13.1 KB |
| muller_90.blif | -rw-r--r-- | 284.4 KB |
| muller_90.cfg | -rw-r--r-- | 2.9 KB |
| muller_90.g | -rw-r--r-- | 5.3 KB |
| muller_90.ord_vis | -rw-r--r-- | 14.7 KB |
| pcc.blif | -rw-r--r-- | 25.4 KB |
| pcc.cfg | -rw-r--r-- | 310 bytes |
| pcc.ord | -rw-r--r-- | 288 bytes |
| pcc.ord_vis | -rw-r--r-- | 1.5 KB |
| pcc.smv | -rw-r--r-- | 20.4 KB |
| pcc.ts | -rw-r--r-- | 5.8 KB |
| pipeline1.blif | -rw-r--r-- | 12.2 KB |
| pipeline1.cfg | -rw-r--r-- | 182 bytes |
| pipeline1.ord | -rw-r--r-- | 160 bytes |
| pipeline1.ord_vis | -rw-r--r-- | 900 bytes |
| pipeline1.smv | -rw-r--r-- | 9.4 KB |
| pipeline1.ts | -rw-r--r-- | 3.2 KB |
| pipeline2.blif | -rw-r--r-- | 20.9 KB |
| pipeline2.cfg | -rw-r--r-- | 306 bytes |
| pipeline2.ord | -rw-r--r-- | 284 bytes |
| pipeline2.ord_vis | -rw-r--r-- | 1.3 KB |
| pipeline2.smv | -rw-r--r-- | 17.1 KB |
| pipeline2.ts | -rw-r--r-- | 5.5 KB |
| pipeline4.blif | -rw-r--r-- | 20.9 KB |
| pipeline4.cfg | -rw-r--r-- | 551 bytes |
| pipeline4.ord | -rw-r--r-- | 529 bytes |
| pipeline4.ord_vis | -rw-r--r-- | 1.3 KB |
| pipeline4.smv | -rw-r--r-- | 32.2 KB |
| pipeline4.ts | -rw-r--r-- | 10.1 KB |
| pipelineabs1.blif | -rw-r--r-- | 21.7 KB |
| pipelineabs1.cfg | -rw-r--r-- | 332 bytes |
| pipelineabs1.ord | -rw-r--r-- | 310 bytes |
| pipelineabs1.ord_vis | -rw-r--r-- | 1.4 KB |
| pipelineabs1.smv | -rw-r--r-- | 11.0 KB |
| pipelineabs1.ts | -rw-r--r-- | 3.5 KB |
| pipelineabs16.blif | -rw-r--r-- | 223.0 KB |
| pipelineabs16.cfg | -rw-r--r-- | 3.4 KB |
| pipelineabs16.ord | -rw-r--r-- | 3.4 KB |
| pipelineabs16.ord_vis | -rw-r--r-- | 11.7 KB |
| pipelineabs16.smv | -rw-r--r-- | 116.6 KB |
| pipelineabs16.ts | -rw-r--r-- | 35.5 KB |
| pipelineabs2.blif | -rw-r--r-- | 34.5 KB |
| pipelineabs2.cfg | -rw-r--r-- | 536 bytes |
| pipelineabs2.ord | -rw-r--r-- | 514 bytes |
| pipelineabs2.ord_vis | -rw-r--r-- | 2.1 KB |
| pipelineabs2.smv | -rw-r--r-- | 17.8 KB |
| pipelineabs2.ts | -rw-r--r-- | 5.6 KB |
| pipelineabs4.blif | -rw-r--r-- | 60.7 KB |
| pipelineabs4.cfg | -rw-r--r-- | 942 bytes |
| pipelineabs4.ord | -rw-r--r-- | 920 bytes |
| pipelineabs4.ord_vis | -rw-r--r-- | 3.5 KB |
| pipelineabs4.smv | -rw-r--r-- | 31.5 KB |
| pipelineabs4.ts | -rw-r--r-- | 9.7 KB |
| pipelineabs8.blif | -rw-r--r-- | 113.4 KB |
| pipelineabs8.cfg | -rw-r--r-- | 1.7 KB |
| pipelineabs8.ord | -rw-r--r-- | 1.7 KB |
| pipelineabs8.ord_vis | -rw-r--r-- | 6.2 KB |
| pipelineabs8.smv | -rw-r--r-- | 59.0 KB |
| pipelineabs8.ts | -rw-r--r-- | 18.1 KB |
| safety-demo.smv | -rwxr-xr-x | 791 bytes |
| script.cfg | -rw-r--r-- | 742 bytes |
| stari12.blif | -rw-r--r-- | 77.5 KB |
| stari12.cfg | -rw-r--r-- | 942 bytes |
| stari12.ord | -rw-r--r-- | 919 bytes |
| stari12.ord_vis | -rw-r--r-- | 3.7 KB |
| stari12.smv | -rw-r--r-- | 74.9 KB |
| stari12.ts | -rw-r--r-- | 22.4 KB |
| stari16.blif | -rw-r--r-- | 102.5 KB |
| stari16.cfg | -rw-r--r-- | 1.2 KB |
| stari16.ord | -rw-r--r-- | 1.2 KB |
| stari16.smv | -rw-r--r-- | 100.0 KB |
| stari16.ts | -rw-r--r-- | 29.7 KB |
| stari4.blif | -rw-r--r-- | 27.0 KB |
| stari4.cfg | -rw-r--r-- | 354 bytes |
| stari4.ord | -rw-r--r-- | 331 bytes |
| stari4.ord_vis | -rw-r--r-- | 1.5 KB |
| stari4.smv | -rw-r--r-- | 26.5 KB |
| stari4.ts | -rw-r--r-- | 8.1 KB |
| stari8.blif | -rw-r--r-- | 51.4 KB |
| stari8.cfg | -rw-r--r-- | 641 bytes |
| stari8.ord | -rw-r--r-- | 618 bytes |
| stari8.ord_vis | -rw-r--r-- | 2.6 KB |
| stari8.smv | -rw-r--r-- | 50.3 KB |
| stari8.ts | -rw-r--r-- | 15.1 KB |
| three-parallel-demo.smv | -rwxr-xr-x | 943 bytes |
| tree10.blif | -rw-r--r-- | 45.0 KB |
| tree10.cfg | -rw-r--r-- | 412 bytes |
| tree10.g | -rw-r--r-- | 1.2 KB |
| tree10.ord | -rw-r--r-- | 389 bytes |
| tree10.ord_vis | -rw-r--r-- | 2.4 KB |
| tree10.smv | -rw-r--r-- | 18.6 KB |
| tree15.blif | -rw-r--r-- | 67.5 KB |
| tree15.cfg | -rw-r--r-- | 611 bytes |
| tree15.g | -rw-r--r-- | 1.9 KB |
| tree15.ord | -rw-r--r-- | 588 bytes |
| tree15.ord_vis | -rw-r--r-- | 3.4 KB |
| tree15.smv | -rw-r--r-- | 27.5 KB |
| tree20.blif | -rw-r--r-- | 89.6 KB |
| tree20.cfg | -rw-r--r-- | 815 bytes |
| tree20.g | -rw-r--r-- | 2.6 KB |
| tree20.ord | -rw-r--r-- | 791 bytes |
| tree20.ord_vis | -rw-r--r-- | 4.4 KB |
| tree20.smv | -rw-r--r-- | 36.6 KB |
| tree30.blif | -rw-r--r-- | 133.9 KB |
| tree30.cfg | -rw-r--r-- | 1.2 KB |
| tree30.g | -rw-r--r-- | 3.8 KB |
| tree30.ord_vis | -rw-r--r-- | 6.3 KB |
| tree40.blif | -rw-r--r-- | 181.1 KB |
| tree40.cfg | -rw-r--r-- | 1.6 KB |
| tree40.g | -rw-r--r-- | 5.0 KB |
| tree40.ord_vis | -rw-r--r-- | 8.4 KB |
| tree5.blif | -rw-r--r-- | 24.1 KB |
| tree5.cfg | -rw-r--r-- | 229 bytes |
| tree5.g | -rw-r--r-- | 709 bytes |
| tree5.ord | -rw-r--r-- | 206 bytes |
| tree5.ord_vis | -rw-r--r-- | 1.4 KB |
| tree5.smv | -rw-r--r-- | 10.0 KB |
| tree50.blif | -rw-r--r-- | 226.9 KB |
| tree50.cfg | -rw-r--r-- | 2.0 KB |
| tree50.g | -rw-r--r-- | 6.2 KB |
| tree50.ord_vis | -rw-r--r-- | 10.3 KB |
| tree60.blif | -rw-r--r-- | 273.2 KB |
| tree60.cfg | -rw-r--r-- | 2.4 KB |
| tree60.g | -rw-r--r-- | 7.4 KB |
| tree60.ord_vis | -rw-r--r-- | 12.3 KB |
| tree70.blif | -rw-r--r-- | 323.7 KB |
| tree70.cfg | -rw-r--r-- | 2.9 KB |
| tree70.g | -rw-r--r-- | 8.6 KB |
| tree70.ord_vis | -rw-r--r-- | 14.4 KB |
