Index of /~klasm/Data/hardcnf

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]eulcbip-8-SAT.cnf2022-04-11 16:47 14K 
[   ]eulcbip-6-UNSAT.cnf2022-04-11 16:47 4.2K 
[   ]eulcbip-6-SAT.cnf2022-04-11 16:47 4.2K 
[   ]eulcbip-8-UNSAT.cnf2022-04-11 16:47 14K 
[   ]eulcbip-7-UNSAT.cnf2022-04-11 16:47 12K 
[   ]eulcbip-5-UNSAT.cnf2022-04-11 16:47 3.0K 
[   ]eulcbip-9-UNSAT.cnf2022-04-11 16:47 54K 
[   ]eulcbip-7-SAT.cnf2022-04-11 16:47 12K 
[   ]eulcbip-5-SAT.cnf2022-04-11 16:47 3.0K 
[   ]eulcbip-9-SAT.cnf2022-04-11 16:47 54K 

Apache/2.4.41 (Ubuntu) Server at abel.math.umu.se Port 80