temp.org

Internal Server Error
The server encountered an internal error and was unable to complete your request. Either the server is overloaded or there is an error in the application.

40a6364ffaa4d7508d9a4d0f37e91138 SAT_H_instances_childsnack_p13.hddl_2.cnf.xz
5b842f665e03a594a9cdda1e59e084ea SAT_MS_sat_nurikabe_p18.pddl_187.cnf.xz
6015e2ec69a4d96dd6ec79f0cc8b7975 UNSAT_H_instances_childsnack_p13.hddl_1.cnf.xz
706527b10093198a9d96578a2bbda6db UNSAT_H_instances_childsnack_p14.hddl_1.cnf.xz
3c14258767af734938a8f1b08088ba02 UNSAT_H_instances_childsnack_p15.hddl_1.cnf.xz
5930e00e791767f695dbe8db53658001 UNSAT_P_opt_snake_p11.pddl_35.cnf.xz

Die 6 sind hier runterzuladen.
https://e.pcloud.link/publink/show?code=kZ6Jx7ZxuKT80JlA2S1RwmQVmqJnVA6Bd4X