DateUserTestTCSummary
1764070826Jgilchristucioptionbuilder8.0+0.08CREATE P=0 TP=1000
1764065966Jgilchristsee-pruning8.0+0.08DELETE
1764065924Jgilchristpvs-score-l-beta8.0+0.08DELETE
1764065601Jgilchristpvs-score-l-beta8.0+0.08CREATE P=-6 TP=1000
1764065580Jgilchristsee-pruning8.0+0.08CREATE P=0 TP=1000
1764065373Jgilchristalternate-pin-calc8.0+0.08STOP
1764065363Jgilchristresearch-after-pvs-alpha-raise-with-reduction8.0+0.08MODIFY
1764065354Jgilchristalternate-pin-calc8.0+0.08MODIFY
1764065106Jgilchristalternate-pin-calc8.0+0.08MODIFY
1764065071Jgilchristresearch-after-pvs-alpha-raise-with-reduction8.0+0.08CREATE P=-4 TP=1000
1764064322Jgilchristnmp-depth-reduction-factor-38.0+0.08CREATE P=-4 TP=1000
1764063937Jgilchristsee-pruning8.0+0.08CREATE P=-2 TP=1000
1764063673Jgilchristalternate-pin-calc8.0+0.08MODIFY
1764063669Jgilchristalternate-pin-calc8.0+0.08CREATE P=0 TP=1000
1764062447Jgilchristnmp-improvements8.0+0.08CREATE P=0 TP=1000
1764026491Jgilchristnmp-improvements8.0+0.08DELETE
1764026485Jgilchristnmp-improvements8.0+0.08RESTORE
1764026463Jgilchristnmp-improvements8.0+0.08CREATE P=10 TP=1000
1764026438Jgilchristnmp-improvements8.0+0.08DELETE
1764026101Jgilchrist1024hl-experiment40.0+0.40DELETE
1764025600Jgilchrist1024hl-experiment40.0+0.40MODIFY
1764025114Jgilchristnmp-improvements8.0+0.08CREATE P=3 TP=1000
1764024957Jgilchristalternate-pin-calc8.0+0.08CREATE P=-2 TP=1000
1764024944Jgilchristmaster40.0+0.40CREATE P=-1 TP=1000
1764024925Jgilchristmaster8.0+0.08CREATE P=0 TP=1000