Index of /smtlib/benchmarks/AUFLIA/piVC

 Name                       Last modified      Size  Description
 Parent Directory                                -   
 piVC_0df790.smt            25-Jul-2006 09:06  1.0K  
 piVC_0f7c6a.smt            18-Feb-2008 19:53  3.3K  
 piVC_030ee9.smt            18-Feb-2008 19:53  905   
 piVC_098a89.smt            18-Feb-2008 19:53  3.5K  
 piVC_5cee0c.smt            31-May-2008 22:55  4.5K  
 piVC_6c37d0.smt            25-Jul-2006 09:06  458   
 piVC_7f6962.smt            18-Feb-2008 19:53  1.0K  
 piVC_8a5f8d.smt            18-Feb-2008 19:53  891   
 piVC_8bed95.smt            25-Jul-2006 09:06  682   
 piVC_13de35.smt            18-Feb-2008 19:53  2.0K  
 piVC_67ff5c.smt            18-Feb-2008 19:53  670   
 piVC_600bf6.smt            25-Jul-2006 09:06  409   
 piVC_647bf6.smt            18-Feb-2008 19:53  2.3K  
 piVC_675f8a.smt            18-Feb-2008 19:53  2.6K  
 piVC_849b63.smt            18-Feb-2008 19:53  4.5K  
 piVC_2186b5.smt            31-May-2008 22:55  4.4K  
 piVC_2551d7.smt            18-Feb-2008 19:53  562   
 piVC_3240b6.smt            18-Feb-2008 19:53  1.7K  
 piVC_3937a0.smt            25-Jul-2006 09:06  845   
 piVC_5581bd.smt            18-Feb-2008 19:53  3.7K  
 piVC_8894c1.smt            25-Jul-2006 09:06  1.0K  
 piVC_14672f.smt            25-Jul-2006 09:06  2.5K  
 piVC_577945.smt            18-Feb-2008 19:53  1.2K  
 piVC_982830.sat.smt        25-Jul-2006 09:06  634   
 piVC_982830.smt            31-May-2008 22:55  638   
 piVC_a04477.smt            18-Feb-2008 19:53  3.8K  
 piVC_ac01b1.smt            18-Feb-2008 19:53  1.0K  
 piVC_b5f37c.smt            18-Feb-2008 19:53  1.1K  
 piVC_b124d6.smt            25-Jul-2006 09:06  906   
 piVC_bd0142.smt            18-Feb-2008 19:53  4.5K  
 piVC_bf055f.smt            18-Feb-2008 19:53  3.2K  
 piVC_c0b5f5.smt            18-Feb-2008 19:53  788   
 piVC_c5a79f.smt            18-Feb-2008 19:53  789   
 piVC_c7166c.smt            18-Feb-2008 19:53  1.2K  
 piVC_cdaaac.smt            18-Feb-2008 19:53  2.3K  
 piVC_cfcef5.smt            18-Feb-2008 19:53  1.4K  
 piVC_d9dcdb.smt            18-Feb-2008 19:53  1.7K  
 piVC_d91441.smt            18-Feb-2008 19:53  1.4K  
 piVC_dab5a0.smt            18-Feb-2008 19:53  3.7K  
 piVC_deabd0.smt            25-Jul-2006 09:06  727   
 piVC_f8964d.smt            18-Feb-2008 19:53  1.3K  
 piVC_ffb7db.smt            18-Feb-2008 19:53  3.8K