In all the following tests university.db is empty.
Output:
Done Gibbs sampling. 20000 samples per pred per chain (didn't converge at total of 200000 samples per pred)
Time taken for Gibbs sampling = 1.87 secs
total time taken = 3.32 secs
Results in university.results (5 repetitions):
advisedBy(Gail,Glen) 0.00106489
inPhase(Hanna,Pre_Quals) 0.144456
inPhase(Hanna,Post_Quals) 0.855294
advisedBy(Gail,Glen) 0.0010499
inPhase(Hanna,Pre_Quals) 0.166708
inPhase(Hanna,Post_Quals) 0.833127
advisedBy(Gail,Glen) 0.000919908
inPhase(Hanna,Pre_Quals) 0.159254
inPhase(Hanna,Post_Quals) 0.840446
advisedBy(Gail,Glen) 0.0020498
inPhase(Hanna,Pre_Quals) 0.0030497
inPhase(Hanna,Post_Quals) 0.99995
advisedBy(Gail,Glen) 0.000964904
inPhase(Hanna,Pre_Quals) 0.163659
inPhase(Hanna,Post_Quals) 0.835736
Command (querying only advisedBy(Gail,Glen)):
infer -i university.mln -r university.results -e university.db -ow student,professor -q 'advisedBy(Gail,Glen)' -p -maxSteps 20000 -burnMaxSteps -1
Output:
Done Gibbs sampling. 2300 samples per pred per chain (converged at total of 23000 samples per pred)
Time taken for Gibbs sampling = 0.59 secs
total time taken = 1.6 secs
Results in university.results (5 repetitions):
advisedBy(Gail,Glen) 0.00357138
advisedBy(Gail,Glen) 0.00366075
advisedBy(Gail,Glen) 0.00292471
advisedBy(Gail,Glen) 0.0040496
advisedBy(Gail,Glen) 0.00408407
Command (querying only inPhase(Hanna,phase)):
infer -i university.mln -r university.results -e university.db -ow student,professor -q 'inPhase(Hanna,phase)' -p -maxSteps 20000 -burnMaxSteps -1
Output:
Done Gibbs sampling. 20000 samples per pred per chain (didn't converge at total of 200000 samples per pred)
Time taken for Gibbs sampling = 0.72 secs
total time taken = 2.02 secs
Results in university.results (5 repetitions):
inPhase(Hanna,Pre_Quals) 0.153965
inPhase(Hanna,Post_Quals) 0.845725
inPhase(Hanna,Pre_Quals) 0.0020498
inPhase(Hanna,Post_Quals) 0.99995
inPhase(Hanna,Pre_Quals) 0.0010499
inPhase(Hanna,Post_Quals) 0.99995
inPhase(Hanna,Pre_Quals) 0.163829
inPhase(Hanna,Post_Quals) 0.835436
inPhase(Hanna,Pre_Quals) 0.157064
inPhase(Hanna,Post_Quals) 0.841846
Command:
infer -i university.mln -r university.results -e university.db -ow student,professor -q 'advisedBy(Gail,Glen),inPhase(Hanna,phase)' -ms -tries 10 -numStepsEveryMCSat 50 -maxSteps 20000 -burnMaxSteps -1
Results in university.results (3 repetitions):
advisedBy(Gail,Glen) 0.489401
inPhase(Hanna,Pre_Quals) 0.338216
inPhase(Hanna,Post_Quals) 0.614689
advisedBy(Gail,Glen) 0.484102
inPhase(Hanna,Pre_Quals) 0.327167
inPhase(Hanna,Post_Quals) 0.629137
advisedBy(Gail,Glen) 0.473103
inPhase(Hanna,Pre_Quals) 0.324868
inPhase(Hanna,Post_Quals) 0.623838
Command (querying only advisedBy(Gail,Glen)):
infer -i university.mln -r university.results -e university.db -ow student,professor -q 'advisedBy(Gail,Glen)' -ms -tries 10 -numStepsEveryMCSat 50 -maxSteps 20000 -burnMaxSteps -1
Results in university.results (3 repetitions):
advisedBy(Gail,Glen) 0.385861
advisedBy(Gail,Glen) 0.40231
advisedBy(Gail,Glen) 0.394561
Command (querying only inPhase(Hanna,phase)):
infer -i university.mln -r university.results -e university.db -ow student,professor -q 'inPhase(Hanna,phase)' -ms -tries 10 -numStepsEveryMCSat 50 -maxSteps 20000 -burnMaxSteps -1
Results in university.results (3 repetitions):
inPhase(Hanna,Pre_Quals) 0.0905409
inPhase(Hanna,Post_Quals) 0.888611
inPhase(Hanna,Pre_Quals) 0.114039
inPhase(Hanna,Post_Quals) 0.866463
inPhase(Hanna,Pre_Quals) 0.136136
inPhase(Hanna,Post_Quals) 0.845115