Index of /

[ICO]NameLast modifiedSizeDescription
[ ]asp_weighted-sequence.tar.gz2017-05-02 08:42 1.5G 
[ ]instances.tar.gz2018-08-20 09:32 25G 
[ ]mip_BCOL-CLS.tar.gz2017-05-02 08:33 1.4M 
[ ]mip_COR-LAT.tar.gz2017-05-02 08:36 1.8M 
[ ]mip_RCW2.tar.gz2017-05-02 08:36 850M 
[ ]mip_Regions200.tar.gz2017-05-02 08:33 53M 
[ ]ml_abalone.tar.gz2017-05-02 08:36 55K 
[ ]ml_car.tar.gz2017-05-02 08:36 5.3K 
[ ]ml_covertype.tar.gz2017-05-02 08:36 41M 
[ ]ml_germancredit.tar.gz2017-05-02 08:36 16K 
[ ]ml_iris.tar.gz2017-05-02 08:36 1.1K 
[ ]ml_krvskp.tar.gz2017-05-02 08:36 16K 
[ ]ml_madelon.tar.gz2017-05-02 08:36 1.5M 
[ ]ml_mnist.tar.gz2017-05-02 08:36 15M 
[ ]ml_secom.tar.gz2017-05-02 08:36 1.9M 
[ ]ml_semeion.tar.gz2017-05-02 08:36 49K 
[ ]ml_shuttle.tar.gz2017-05-02 08:36 424K 
[ ]ml_waveform.tar.gz2017-05-02 08:36 336K 
[ ]ml_winequalitywhite.tar.gz2017-05-02 08:36 73K 
[ ]ml_yeast.tar.gz2017-05-02 08:36 12K 
[ ]planning_depots.tar.gz2018-10-30 10:11 1.0M 
[ ]planning_satellite.tar.gz2018-10-30 10:12 7.0M 
[ ]planning_zenotravel.tar.gz2017-05-02 08:36 1.8M 
[ ]sat_3CNF-V350-CSSC14.tar.gz2017-05-02 09:33 5.7M 
[ ]sat_3SAT1K-SAT-CSSC14.tar.gz2017-05-02 09:54 13M 
[ ]sat_5SAT500-SAT-CSSC14.tar.gz2017-05-02 09:33 43M 
[ ]sat_7SAT90-SAT-CSSC14.tar.gz2017-05-02 09:33 34M 
[ ]sat_7sat90.tar.gz2017-05-02 09:33 34M 
[ ]sat_BMC08-CSSC14.tar.gz2017-05-02 09:01 4.6G 
[ ]sat_CBMC.tar.gz2017-05-02 09:43 18M 
[ ]sat_CIRCUITFUZZ-CSSC14.tar.gz2017-05-02 09:49 50M 
[ ]sat_FACTORING.tar.gz2017-05-02 09:33 14M 
[ ]sat_GI-CSSC14.tar.gz2017-05-02 09:32 8.2G 
[ ]sat_IBM-CSSC14.tar.gz2017-05-02 09:49 1.5G 
[ ]sat_K3-CSSC14.tar.gz2017-05-02 09:33 3.1M 
[ ]sat_LABS-CSSC14.tar.gz2017-05-02 09:53 434M 
[ ]sat_QCP.tar.gz2017-05-02 09:02 109M 
[ ]sat_QUEENS-CSSC14.tar.gz2017-05-02 09:51 440M 
[ ]sat_SWGCP.tar.gz2017-05-02 09:42 746M 
[ ]sat_SWGCP_SAT.tar.gz2017-05-02 09:54 80M 
[ ]sat_SWV-Calysto.tar.gz2017-05-02 09:56 492M 
[ ]sat_UNSAT-UNIF-K5-CSSC14.tar.gz2017-05-02 09:54 3.2M 
[ ]sat_circuit_fuzz.tar.gz2017-05-02 09:34 81M 
[ ]sat_hgen2-small.tar.gz2017-05-02 09:34 12M 
[ ]sat_instances_satenstein.tar.gz.tar.gz2017-05-02 09:49 182M 
[ ]sat_k3-r4_26-v600.tar.gz2017-05-02 09:54 7.1M 
[ ]tsp-rue-1000-3000.tar.gz2019-11-20 13:57 5.1M