DateUserTestTCSummary
1779103638Jgilchristspsa8.0+0.08MODIFY
1779099246Jgilchristspsa8.0+0.08CREATE P=-1 TP=1000
1779099216Jgilchristspsa20.0+0.20DELETE
1779099212Jgilchristspsa20.0+0.20MODIFY
1779099208Jgilchristspsa20.0+0.20CREATE P=0 TP=1000
1779098007Jgilchristspsa-0518-470340.0+0.40CREATE P=0 TP=1000
1779097773Jgilchristspsa20.0+0.20STOP
1778870679Jgilchristqsearch-lmp8.0+0.08STOP
1778867262Jgilchristno-early-exact-in-qsearch8.0+0.08STOP
1778859327Jgilchristno-early-exact-in-qsearch8.0+0.08MODIFY
1778858733Jgilchristqsearch-lmp8.0+0.08MODIFY
1778858730Jgilchristno-early-exact-in-qsearch8.0+0.08MODIFY
1778858723Jgilchristno-early-exact-in-qsearch8.0+0.08CREATE P=0 TP=1000
1778799388Jgilchristdirect-check-futility-pruning8.0+0.08STOP
1778799363Jgilchristdirect-check-lmp8.0+0.08STOP
1778671502Jgilchristsimplify-killers8.0+0.08MODIFY
1778671458Jgilchristdirect-check-lmp8.0+0.08CREATE P=12 TP=1000
1778671450Jgilchristdirect-check-futility-pruning8.0+0.08CREATE P=11 TP=1000
1778671434Jgilchristsimplify-killers8.0+0.08MODIFY
1778667607Jgilchristqsearch-lmp8.0+0.08CREATE P=1 TP=1000
1778667598Jgilchristsimplify-killers8.0+0.08MODIFY
1778663141Jgilchristsimplify-killers8.0+0.08CREATE P=1 TP=1000
1778663121Jgilchristsimplify-killers8.0+0.08DELETE
1778663046Jgilchristsimplify-killers8.0+0.08DELETE
1778663043Jgilchristsimplify-killers8.0+0.08CREATE P=1 TP=1000