Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
-nojvm 2012-12-09 23:52 29K
Acc_asp.gp 2012-12-09 23:52 392
Time1_asp.gp 2012-12-09 23:52 415
Time_asp.gp 2012-12-09 23:52 430
Time_asp2.gp 2012-12-09 23:52 402
acc_asp.gp 2012-11-16 23:03 400
![[TXT]](/icons/text.gif){kind=icon}
all.sh 2012-12-09 22:45 3.2K
all_accuracies.txt 2012-12-09 23:52 14K
all_bounds.txt 2012-12-09 23:52 2.9K
all_times.txt 2012-12-09 23:52 12K
all_times1.txt 2012-12-09 23:52 38K
all_times2.txt 2012-12-09 23:52 13K
average_accuracy.m 2012-11-23 11:56 486
average_time.m 2012-11-19 09:15 477
average_time1.m 2012-11-19 09:15 479
average_time2.m 2012-11-19 09:12 479
bound.txt 2012-12-09 23:52 1
bound1.txt 2012-11-12 19:52 1
clingoInputfile.lp 2012-12-14 17:14 678
clingoInputfile_unBound.lp 2012-11-12 19:52 1.7K
clingo_inputfile.lp 2012-09-13 21:52 2.8K
encoding.lp 2012-10-23 14:38 1.6K
encoding0.lp 2012-09-13 19:09 1.4K
encoding1.lp 2012-11-12 19:34 1.7K
encoding1_unBound.lp 2012-11-16 09:39 1.7K
encoding1_unBound_deterministic.lp 2012-12-06 22:51 2.0K
encoding_rg_optimised.lp 2012-12-14 17:18 871
ex.lp 2012-12-09 23:52 21K
ex_2-3_4_oneLineTime.txt 2012-11-19 09:31 4
ex_2-3_12_oneLineTime.txt 2012-11-19 09:19 4
ex_2-3_19_oneLineTime.txt 2012-11-19 09:27 4
ex_2-3_20_oneLineTime.txt 2012-11-19 09:30 4
ex_2-3_96_oneLineTime.txt 2012-11-19 09:31 4
ex_2-3_114_oneLineTime.txt 2012-11-19 09:19 4
ex_2-3_133_oneLineTime.txt 2012-11-19 09:22 4
ex_2-3_134_oneLineTime.txt 2012-11-19 09:23 4
ex_2-3_149_oneLineTime.txt 2012-11-19 09:23 4
ex_2-3_152_oneLineTime.txt 2012-11-19 09:24 4
ex_2-3_155_oneLineTime.txt 2012-11-19 09:25 4
ex_2-3_162_oneLineTime.txt 2012-11-19 09:25 4
ex_2-4_28_oneLineTime.txt 2012-11-19 09:34 4
ex_2-4_191_oneLineTime.txt 2012-11-19 09:32 4
ex_2-4_196_oneLineTime.txt 2012-11-19 09:33 4
ex_2a-b.lp 2012-11-12 19:03 596
ex_3-4_11_oneLineTime.txt 2012-11-19 09:36 4
ex_3-4_14_oneLineTime.txt 2012-11-19 09:39 4
ex_3-4_109_oneLineTime.txt 2012-11-19 09:35 4
ex_3-4_119_oneLineTime.txt 2012-11-19 09:36 4
ex_3-4_120_oneLineTime.txt 2012-11-19 09:37 4
ex_3-4_144_oneLineTime.txt 2012-11-19 09:38 4
ex_3-4_148_oneLineTime.txt 2012-11-19 09:39 4
ex_3-4_153_oneLineTime.txt 2012-11-19 09:41 4
ex_3-4_157_oneLineTime.txt 2012-11-19 09:42 4
ex_bracket.lp 2012-11-12 19:11 4.1K
example_convertor.pl 2012-11-18 21:10 3.9K
![[DIR]](/icons/folder.gif){kind=icon}
experiments/ 2012-12-09 22:45 -
genH_iterativeDeepening.pl 2012-11-12 18:53 1.8K
genH_iterativeDeepening_new.pl 2012-11-12 19:52 2.3K
genH_iterativeDeepening_new_unBoundRules.pl 2012-12-08 11:18 2.3K
genH_iterativeDeepening_new_unBoundRules0.pl 2012-11-16 09:48 1.9K
genH_iterativeDeepening_new_unBoundRules_newTimeRecorder.pl 2012-12-09 22:43 2.2K
hypothesis.pl 2012-12-09 23:52 157
hypothesis0.txt 2012-12-09 23:52 548
hypothesisGeneration_and_test.sh 2012-11-16 10:12 2.2K
hypothesis_convertor.pl 2012-09-13 21:01 1.1K
hypothesis_convertor1.pl 2012-11-14 10:14 1.1K
hypothesis_unBound.pl 2012-11-12 19:52 80
hypothesis_unBound.txt 2012-11-12 19:52 200
instance.lp 2012-12-09 23:52 30
instance.pl 2012-09-13 21:15 46
instance_unBound.lp 2012-11-12 19:52 30
ip.lp 2012-09-13 21:46 1.5K
oneAccuracy.txt 2012-12-15 10:02 5
oneDetailedTime.txt 2012-12-09 23:52 12
oneLineSolverTime.txt 2012-10-23 17:24 222K
oneSolverTime.txt 2012-11-16 10:12 6
oneSolverTime1.txt 2012-11-12 19:52 6
oneTotalTime.txt 2012-12-09 23:52 5
oneTotalTime1.txt 2012-11-12 19:52 6
pa.sh 2012-09-13 20:30 1.3K
pa0.sh 2012-09-11 14:04 1.3K
pa_output.sh 2012-11-12 20:05 1.7K
paraty_ex.lp 2012-12-14 18:13 255
parity_paper_encoding.lp 2012-12-14 18:13 871
rg_paper.lp 2012-12-14 16:52 48
test.pl 2012-12-08 08:29 1.5K
test.sh 2012-09-14 10:37 1.8K
test/ 2012-12-08 08:29 -
test1.pl 2012-11-12 21:56 1.5K
testExample_convertor.pl 2012-09-14 09:48 3.5K
time.txt 2012-12-08 17:12 15
time1.txt 2012-12-08 17:12 15
time2.txt 2012-12-08 17:12 5
time_asp.gp 2012-11-16 23:03 432
version_note.txt 2012-11-18 20:40 601