Index of /trunk/examples/Automata/benchmarks/pn/difference-small-reach-only

 Name                                                                     Last modified      Size  Description
 Parent Directory                                                                              -   
 SimpleParallelProgram.bpl_AllErrorsAtOnce_Difference_1_2.ats             2018-08-14 09:00  2.8K  
 SimpleIncorrectTwoContextSwitches.bpl_AllErrorsAtOnce_Difference_1_2.ats 2018-08-14 09:00  2.8K  
 SimpleParallelProgram.bpl_AllErrorsAtOnce_Difference_2_3.ats             2018-08-14 09:00  3.1K  
 SAS09.bpl_AllErrorsAtOnce_Difference_4_5.ats                             2018-08-14 09:00  4.0K  
 SAS09.bpl_AllErrorsAtOnce_Difference_3_4.ats                             2018-08-14 09:00  4.4K  
 SAS09.bpl_AllErrorsAtOnce_Difference_2_3.ats                             2018-08-14 09:00  4.7K  
 SAS09.bpl_AllErrorsAtOnce_Difference_1_2.ats                             2018-08-14 09:00  5.1K  
 Peterson.bpl_AllErrorsAtOnce_Difference_1_2.ats                          2018-08-14 09:00  6.3K  
 Bakery.bpl_AllErrorsAtOnce_Difference_1_2.ats                            2018-08-14 09:00  6.4K  
 Peterson.bpl_AllErrorsAtOnce_Difference_2_3.ats                          2018-08-14 09:00  7.2K  
 Bakery.bpl_AllErrorsAtOnce_Difference_2_3.ats                            2018-08-14 09:00  8.6K  
 Fischer2safe.bpl_AllErrorsAtOnce_Difference_1_2.ats                      2018-08-14 09:00  9.4K  
 Fischer2unsafe.bpl_AllErrorsAtOnce_Difference_1_2.ats                    2018-08-14 09:00  9.4K  
 Fischer2safe.bpl_AllErrorsAtOnce_Difference_2_3.ats                      2018-08-14 09:00   10K  
 Fischer2unsafe.bpl_AllErrorsAtOnce_Difference_2_3.ats                    2018-08-14 09:00   10K  
 Bakery.bpl_AllErrorsAtOnce_Difference_3_4.ats                            2018-08-14 09:00   11K  
 Fischer2safe.bpl_AllErrorsAtOnce_Difference_3_4.ats                      2018-08-14 09:00   11K  
 Fischer2unsafe.bpl_AllErrorsAtOnce_Difference_3_4.ats                    2018-08-14 09:00   11K  
 Fischer2safe.bpl_AllErrorsAtOnce_Difference_4_5.ats                      2018-08-14 09:00   13K  
 Fischer2unsafe.bpl_AllErrorsAtOnce_Difference_4_5.ats                    2018-08-14 09:00   13K  
 Bakery.bpl_AllErrorsAtOnce_Difference_4_5.ats                            2018-08-14 09:00   13K  
 Fischer2safe.bpl_AllErrorsAtOnce_Difference_5_6.ats                      2018-08-14 09:00   14K  
 Fischer2unsafe.bpl_AllErrorsAtOnce_Difference_5_6.ats                    2018-08-14 09:00   14K  
 Fischer2unsafe.bpl_AllErrorsAtOnce_Difference_6_7.ats                    2018-08-14 09:00   15K  
 Bakery.bpl_AllErrorsAtOnce_Difference_5_6.ats                            2018-08-14 09:00   18K  
 Bakery.bpl_AllErrorsAtOnce_Difference_6_7.ats                            2018-08-14 09:00   22K  
 Fischer2safe.bpl_AllErrorsAtOnce_Difference_7_8.ats                      2018-08-14 09:00   22K  
 Bakery.bpl_AllErrorsAtOnce_Difference_7_8.ats                            2018-08-14 09:00   25K  
 Fischer2safe.bpl_AllErrorsAtOnce_Difference_6_7.ats                      2018-08-14 09:00   26K  
 Fischer2safe.bpl_AllErrorsAtOnce_Difference_8_9.ats                      2018-08-14 09:00   34K