Index of /metagol/experiment4_2/ASP_M_CF_shortSeq
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
-nojvm 2012-12-12 17:30 29K
Acc_asp.gp 2012-12-12 17:30 401
Time1_asp.gp 2012-12-12 17:30 137
Time_asp.gp 2012-12-12 17:30 402
Time_asp2.gp 2012-12-12 17:30 137
acc_asp.gp 2012-11-16 23:03 400
![[TXT]](/icons/text.gif)
all.sh 2012-12-12 17:00 3.3K
all_accuracies.txt 2012-12-12 17:29 13K
all_bounds.txt 2012-12-12 17:29 2.9K
all_localYAP.sh 2012-12-12 15:16 2.7K
all_times.txt 2012-12-12 17:29 11K
average_accuracy.m 2012-12-12 15:35 488
average_time.m 2012-12-12 15:36 475
average_time1.m 2012-11-19 09:15 479
average_time2.m 2012-11-19 09:12 479
bound.txt 2012-12-12 17:29 1
bound1.txt 2012-11-12 19:52 1
clingoInputfile.lp 2012-12-12 17:26 2.1K
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-12 16:59 2.1K
ex.lp 2012-12-12 17:26 5.7K
ex_2a-b.lp 2012-11-12 19:03 596
ex_bracket.lp 2012-11-12 19:11 4.1K
example_convertor.pl 2012-12-12 16:28 3.9K
![[DIR]](/icons/folder.gif)
experiments/ 2012-12-12 17:16 -
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-09 22:23 2.2K
genH_iterativeDeepening_new_unBoundRules0.pl 2012-11-16 09:48 1.9K
hypothesis.pl 2012-12-12 17:29 157
hypothesis0.txt 2012-12-12 17:29 570
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-12 17:26 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-12 17:29 5
oneDetailedTime.txt 2012-12-12 17:29 20
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-12 17:29 6
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
test.pl 2012-12-12 16:27 1.4K
test.sh 2012-09-14 10:37 1.8K
test/ 2012-12-08 08:35 -
test1.pl 2012-11-12 21:56 1.5K
testExample_convertor.pl 2012-09-14 09:48 3.5K
time.txt 2012-12-09 21:09 14
time1.txt 2012-12-09 21:09 14
time2.txt 2012-12-09 21:09 4
time_asp.gp 2012-11-16 23:03 432
version_note.txt 2012-11-18 20:40 601
Apache Server at ilp.doc.ic.ac.uk Port 80