Index of /zip

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ABVFP.zip2017-06-07 21:14 2.0K 
[   ]ALIA.zip2017-06-07 21:14 31K 
[   ]AUFDTLIA.zip2017-06-07 21:14 1.2M 
[   ]AUFLIA.zip2017-06-07 21:14 2.8K 
[   ]AUFLIRA.zip2017-06-07 21:14 44M 
[   ]AUFNIRA.zip2017-06-07 21:15 4.6M 
[   ]BV.zip2017-06-07 21:15 7.5M 
[   ]BVFP.zip2017-06-07 21:15 33K 
[   ]FP.zip2017-06-07 21:15 80K 
[   ]LIA.zip2017-06-07 21:15 691K 
[   ]LRA.zip2017-06-07 21:15 4.8M 
[   ]NIA.zip2017-06-07 21:15 13K 
[   ]QF_ABV.zip2017-06-07 21:17 159M 
[   ]QF_ALIA.zip2017-06-07 21:18 562K 
[   ]QF_ANIA.zip2017-06-07 21:18 2.1M 
[   ]QF_AUFBV.zip2017-06-07 21:18 242K 
[   ]QF_AUFLIA.zip2017-06-07 21:18 1.6M 
[   ]QF_AUFNIA.zip2017-06-07 21:18 531K 
[   ]QF_AX.zip2017-06-07 21:18 960K 
[   ]QF_DT.zip2017-06-07 21:33 7.1M 
[   ]QF_FP.zip2017-06-07 21:35 31M 
[DIR]old-20170329/2017-06-07 21:39 -  
[   ]QF_LIA.zip2017-06-07 21:40 296M 
[   ]QF_LIRA.zip2017-06-07 21:40 286K 
[   ]QF_LRA.zip2017-06-07 21:41 159M 
[   ]QF_NIA.zip2017-06-07 21:44 281M 
[   ]QF_NIRA.zip2017-06-07 21:44 139K 
[   ]QF_NRA.zip2017-06-07 21:46 182M 
[   ]QF_RDL.zip2017-06-07 21:46 12M 
[   ]QF_UF.zip2017-06-07 21:47 72M 
[   ]QF_UFBV.zip2017-06-07 21:47 1.8M 
[   ]QF_UFIDL.zip2017-06-07 21:47 5.5M 
[   ]QF_UFLIA.zip2017-06-07 21:47 1.3M 
[   ]QF_UFLRA.zip2017-06-07 21:48 217M 
[   ]QF_UFNIA.zip2017-06-07 21:48 4.1K 
[   ]QF_UFNRA.zip2017-06-07 21:48 186K 
[   ]UFBV.zip2017-06-07 21:50 13M 
[   ]UFDTLIA.zip2017-06-07 21:50 344K 
[   ]UFIDL.zip2017-06-07 21:50 134K 
[   ]UFLIA.zip2017-06-07 21:51 70M 
[   ]UFLRA.zip2017-06-07 21:51 8.6K 
[   ]UFNIA.zip2017-06-07 21:52 95M 
[   ]Sage2.zip2017-06-07 22:47 475M 
[   ]ABVFP-inc.zip2017-06-07 22:51 62K 
[   ]ALIA-inc.zip2017-06-07 22:52 12M 
[   ]ANIA-inc.zip2017-06-07 22:52 751K 
[   ]AUFNIRA-inc.zip2017-06-07 22:52 2.0M 
[   ]BV-inc.zip2017-06-07 22:52 504K 
[   ]BVFP-inc.zip2017-06-07 22:52 110K 
[   ]LIA-inc.zip2017-06-07 22:52 274K 
[   ]LRA-inc.zip2017-06-07 22:52 1.4M 
[   ]QF_ABVFP-inc.zip2017-06-07 22:52 52K 
[   ]QF_ALIA-inc.zip2017-06-07 22:54 52M 
[   ]QF_ANIA-inc.zip2017-06-07 22:54 1.6M 
[   ]QF_AUFLIA-inc.zip2017-06-07 22:59 193M 
[   ]QF_BV-inc.zip2017-06-07 23:00 230M 
[   ]QF_BVFP-inc.zip2017-06-07 23:00 248K 
[   ]QF_FP-inc.zip2017-06-07 23:00 3.7K 
[   ]QF_LRA-inc.zip2017-06-07 23:05 218M 
[   ]QF_NIA-inc.zip2017-06-07 23:06 41M 
[   ]QF_UFLIA-inc.zip2017-06-07 23:07 31M 
[   ]QF_UFLRA-inc.zip2017-06-07 23:11 877M 
[   ]QF_UFNIA-inc.zip2017-06-07 23:11 1.8M 
[   ]UFLRA-inc.zip2017-06-07 23:12 5.1M 
[   ]QF_BV.zip2017-06-14 22:36 1.6G 
[   ]QF_IDL.zip2017-06-14 22:44 441M 
[   ]AUFBVDTLIA.zip2017-06-17 19:04 2.2M 
[   ]UF.zip2017-06-17 19:07 47M 
[   ]UFDT.zip2017-06-17 19:10 32M 
[   ]NRA.zip2017-06-17 19:11 4.2M 
[   ]QF_LIA-inc.zip2017-06-17 19:18 580M 
[   ]QF_ABVFP.zip2017-07-24 15:34 22M 
[   ]QF_BVFP.zip2017-07-24 15:35 16M 

Apache/2.4.10 (Debian) Server at smt-lib.loria.fr Port 80