Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
-nojvm 2012-12-09 02:36 13K
Acc_asp.gp 2012-12-09 02:36 294
Time_asp.gp 2012-12-09 02:36 323
![[TXT]](/icons/text.gif){kind=icon}
all_accuracies.txt 2012-12-09 02:36 5.3K
all_times.txt 2012-12-09 02:36 5.7K
average_accuracy.m 2012-12-01 21:44 424
average_time.m 2012-12-01 21:44 413
completeB.lp 2012-11-29 14:24 1.1K
encoding.lp 2012-11-30 21:56 2.0K
encoding_deterministic.lp 2012-12-01 18:13 2.3K
encoding_deterministic_newNaming.lp 2012-12-07 19:37 2.4K
encoding_deterministic_newNaming_constrainIncorporated.lp 2012-12-08 09:50 2.2K
encoding_test.lp 2012-12-01 20:14 704
ex.lp 2012-12-09 02:36 6.2K
ex.pl 2012-06-19 09:30 2.4K
example_convertor.pl 2012-11-23 11:08 2.0K
![[DIR]](/icons/folder.gif){kind=icon}
experiments/ 2012-12-08 14:21 -
genH_fixNTbound.pl 2012-12-08 11:22 1.0K
hypothesis.pl 2012-12-09 02:36 247
hypothesis0.txt 2012-12-09 02:36 1.0K
oneAccuracy.txt 2012-12-09 02:36 6
oneTotalTime.txt 2012-12-09 02:36 6
pa_NLP.sh 2012-12-08 11:24 1.8K
pa_NLP_local.sh 2012-12-08 14:21 1.8K
partialBK.lp 2012-12-09 02:36 366
test.pl 2012-11-29 15:29 1.5K
test/ 2012-11-29 15:07 -
testing_result.txt 2012-12-09 02:36 33
trash/ 2012-11-29 15:21 -
version_note.txt 2012-11-29 15:11 155