Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/scpinvar

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]scpinvar__l6_scpinvar2025-09-11 18:57 241K 
[   ]scpinvar__l7_scpinvar2025-09-11 19:01 1.1M 
[   ]scpinvar__l8_scpinvar2025-09-11 19:04 1.1M 
[   ]scpinvar__l12_scpinvar2025-09-11 19:07 273K 
[   ]scpinvar__l13_scpinvar2025-09-11 19:10 167K 
[   ]scpinvar__l14_scpinvar2025-09-11 19:13 189K 
[   ]scpinvar__l18_scpinvar2025-09-11 19:16 122K 
[   ]scpinvar__l22_scpinvar2025-09-11 19:18 108K 
[   ]scpinvar__l27_scpinvar2025-09-11 19:21 112K 
[   ]scpinvar__l31_scpinvar2025-09-11 19:23 113K 
[   ]scpinvar__l32_scpinvar2025-09-11 19:26 158K 
[   ]scpinvar__l34_scpinvar2025-09-11 19:29 286K 
[   ]scpinvar__l35_scpinvar2025-09-11 19:32 1.3M 
[   ]scpinvar__l36_scpinvar2025-09-11 19:36 839K 
[   ]scpinvar__s1_scpinvar2025-09-11 17:53 128K 
[   ]scpinvar__s2_scpinvar2025-09-11 17:56 128K 
[   ]scpinvar__s3_scpinvar2025-09-11 18:00 1.1M 
[   ]scpinvar__s4_scpinvar2025-09-11 18:03 406K 
[   ]scpinvar__s5_scpinvar2025-09-11 18:06 172K 
[   ]scpinvar__t1_scpinvar2025-09-11 18:08 100K 
[   ]scpinvar__t2_scpinvar2025-09-11 18:11 98K 
[   ]scpinvar__t3_scpinvar2025-09-11 18:13 113K 
[   ]scpinvar__t4_scpinvar2025-09-11 18:16 253K 
[   ]scpinvar__t5_scpinvar2025-09-11 18:19 180K 
[   ]scpinvar__t6_scpinvar2025-09-11 18:22 241K 
[   ]scpinvar__t7_scpinvar2025-09-11 18:24 158K 
[   ]scpinvar__t8_scpinvar2025-09-11 18:27 107K 
[   ]scpinvar__t9_scpinvar2025-09-11 18:29 745K 
[   ]scpinvar__t10_scpinvar2025-09-11 18:31 120K 
[   ]scpinvar__t11_scpinvar2025-09-11 18:34 231K 
[   ]scpinvar__t12_scpinvar2025-09-11 18:37 371K 
[   ]scpinvar__t13_scpinvar2025-09-11 18:41 333K 
[   ]scpinvar__t14_scpinvar2025-09-11 18:43 141K 
[   ]scpinvar__t15_scpinvar2025-09-11 18:46 141K 
[   ]scpinvar__t16_scpinvar2025-09-11 18:49 312K 
[   ]scpinvar__t17_scpinvar2025-09-11 18:52 1.0M 
[   ]scpinvar__t18_scpinvar2025-09-11 18:54 154K 
[   ]scpinvar__t19_scpinvar2025-09-11 17:50 172K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80