Index of /surynpav/research/pricai2014/pricai2014_experiments/source/reLOC-0.09-vegas_112/src
Name Last modified Size Description
Parent Directory -
multirobot.cpp 05-Oct-2014 21:46 396K
compress.cpp 05-Oct-2014 21:46 241K
cnf.cpp 05-Oct-2014 21:46 184K
search.cpp 05-Oct-2014 21:46 78K
cnf.h 05-Oct-2014 21:46 57K
multirobot_test.cpp 05-Oct-2014 21:46 41K
compress_test.cpp 05-Oct-2014 21:46 39K
compress.h 05-Oct-2014 21:46 26K
cnf_test.cpp 05-Oct-2014 21:46 22K
graph.cpp 05-Oct-2014 21:46 21K
multirobot.h 05-Oct-2014 21:46 21K
hierarch.cpp 05-Oct-2014 21:46 21K
reloc.cpp 05-Oct-2014 21:46 20K
solver_main.cpp 05-Oct-2014 21:46 18K
search.h 05-Oct-2014 21:46 18K
Makefile 05-Oct-2014 21:46 17K
resolver_main.cpp 05-Oct-2014 21:46 17K
graph.h 05-Oct-2014 21:46 15K
statistics.cpp 05-Oct-2014 21:46 14K
autooptim_main.cpp 05-Oct-2014 21:46 14K
optimizer_main.cpp 05-Oct-2014 21:46 13K
gridgen_main.cpp 05-Oct-2014 21:46 10K
simplify_main.cpp 05-Oct-2014 21:46 9.9K
alldiff_test.cpp 05-Oct-2014 21:46 9.1K
grid_16x16_r16.cpf 30-Jun-2014 13:03 9.1K
grid_16x16_r15.cpf 30-Jun-2014 13:03 9.1K
grid_16x16_r14.cpf 30-Jun-2014 13:03 9.1K
grid_16x16_r13.cpf 30-Jun-2014 13:02 9.1K
grid_16x16_r12.cpf 30-Jun-2014 13:02 9.1K
grid_16x16_r11.cpf 30-Jun-2014 13:02 9.1K
grid_16x16_r10.cpf 30-Jun-2014 13:02 9.1K
grid_16x16_r09.cpf 30-Jun-2014 13:01 9.1K
grid_16x16_r08.cpf 30-Jun-2014 12:52 9.1K
grid_16x16_r07.cpf 30-Jun-2014 12:52 9.1K
grid_16x16_r06.cpf 30-Jun-2014 12:52 9.1K
grid_16x16_r05.cpf 30-Jun-2014 12:51 9.1K
reloc_test.cpp 05-Oct-2014 21:46 7.1K
reloc.h 05-Oct-2014 21:46 6.1K
hierarch.h 05-Oct-2014 21:46 5.6K
result.h 05-Oct-2014 21:46 5.3K
types.cpp 05-Oct-2014 21:46 5.2K
grid_12x12_r08.cpf 30-Jun-2014 12:47 5.1K
grid_12x12_r06.cpf 30-Jun-2014 12:48 5.1K
grid_12x12_r05.cpf 30-Jun-2014 12:51 5.1K
hierarch_test.cpp 05-Oct-2014 21:46 5.0K
statistics.h 05-Oct-2014 21:46 4.9K
types.h 05-Oct-2014 21:46 4.1K
grid_10x10_r05.cpf 30-Jun-2014 12:50 3.3K
multirobot_test.h 05-Oct-2014 21:46 2.7K
simplify_main.h 05-Oct-2014 21:46 2.6K
autooptim_main.h 05-Oct-2014 21:46 2.5K
solver_main.h 05-Oct-2014 21:46 2.5K
optimizer_main.h 05-Oct-2014 21:46 2.5K
resolver_main.h 05-Oct-2014 21:46 2.3K
gridgen_main.h 05-Oct-2014 21:46 2.3K
defs.h 05-Oct-2014 21:46 2.2K
gecode_test.cpp 05-Oct-2014 21:46 2.0K
grid_08x08_r08.cpf 30-Jun-2014 12:47 2.0K
grid_08x08_r06.cpf 30-Jun-2014 12:49 2.0K
grid_08x08_r05.cpf 30-Jun-2014 12:50 2.0K
grid_08x08_r04.cpf 30-Jun-2014 12:50 2.0K
cnf_test.h 05-Oct-2014 21:46 2.0K
compress_test.h 05-Oct-2014 21:46 1.9K
gecode_test.h 05-Oct-2014 21:46 1.8K
reloc_test.h 05-Oct-2014 21:46 1.7K
alldiff_test.h 05-Oct-2014 21:46 1.6K
config.h 05-Oct-2014 21:46 1.6K
hierarch_test.h 05-Oct-2014 21:46 1.6K
version.h 05-Oct-2014 21:46 1.6K
compile.h 05-Oct-2014 21:46 1.4K
grid_06x06_r04.cpf 30-Jun-2014 12:46 1.2K
grid_06x06_r03.cpf 30-Jun-2014 12:46 1.2K
exp_gridsol.sh 22-Jun-2014 12:52 857
ext_gridgen.sh 08-Jun-2014 18:38 690
exp_gridgen.sh 08-Jun-2014 18:37 653
grid_04x04_r04.cpf 30-Jun-2014 12:26 519
grid_04x04_r03.cpf 30-Jun-2014 12:40 519
grid_04x04_r02.cpf 30-Jun-2014 12:40 519
ext_start_all_soluti..> 09-May-2014 15:56 393
ext_start_all_soluti..> 09-May-2014 15:56 375
ext_start_all_soluti..> 09-May-2014 15:56 369
ext_start_all_soluti..> 09-May-2014 15:56 369
ext_start_all_soluti..> 09-May-2014 15:56 369
ext_start_all_soluti..> 04-Jun-2014 21:30 357
ext_start_all_soluti..> 04-Jun-2014 21:30 357
ext_start_all_soluti..> 09-May-2014 15:50 350
ext_grid_makespan.sh 08-Jun-2014 18:38 321
ext_grid_time.sh 09-May-2014 22:39 317
exp_start_all_input_..> 08-Jun-2014 18:37 316
exp_start_all_input_..> 08-Jun-2014 14:45 316
exp_start_all_input_..> 08-Jun-2014 18:37 316
exp_start_all_input_..> 08-Jun-2014 14:33 316
ext_start_all_input.sh 09-May-2014 09:49 314
exp_start_all_input_..> 08-Jun-2014 14:18 314
exp_start_all_input_..> 08-Jun-2014 14:33 310
ext_grid_variables.sh 08-Jun-2014 18:38 299
ext_grid_literals.sh 08-Jun-2014 18:38 298
ext_grid_clauses.sh 08-Jun-2014 18:37 297
exp_start.sh 25-Apr-2014 13:32 238
exp_start_SAT.sh 22-Jun-2014 12:57 235
exp_start_all_Star.sh 22-Jun-2014 12:53 161
ext_start_input.sh 08-Jun-2014 18:38 159
exp_start_all_SAT.sh 22-Jun-2014 12:55 159
exp_start_all.sh 25-Apr-2014 20:18 129
exp_start_Star.sh 26-Apr-2014 21:57 125
ext_start_solution.sh 09-May-2014 15:49 91
preprocessor.dat 05-Oct-2014 15:54 81
seeds 26-Apr-2013 01:32 37
siege.status 06-Sep-2014 23:19 0
simplify/ 29-Aug-2018 15:52 -
compress/ 29-Aug-2018 15:51 -
Apache Server at users.fit.cvut.cz Port 443