DateUserTestTCSummary
1753043723Gioviokseeordering8.0+0.08CREATE P=0 TP=1000
1753043704Gioviokseeordering8.0+0.08DELETE
1753043433Cosmofutility8.0+0.08CREATE P=0 TP=1000
1753043413Cosmofutility8.0+0.08DELETE
1753043376Cosmofutility8.0+0.08CREATE P=0 TP=1000
1753043071Gioviokseeordering8.0+0.08CREATE P=0 TP=1000
1753043014Gioviokseeordering8.0+0.08DELETE
1753038421Gioviokseeordering8.0+0.08CREATE P=0 TP=1000
1753026229Lilyskip-quiets-qs-check8.0+0.08MODIFY
1753026086Cosmoskip-quiets-qs-check8.0+0.08CREATE P=0 TP=1000
1753024868Erenquadratic-noisy-margin8.0+0.08CREATE P=0 TP=1000
1753020796Erenpvs-see-pruning8.0+0.08CREATE P=0 TP=1000
1753004978Arandomnoobpost-lmr-history-reduction-28.0+0.08STOP
1752968056Erenpost-lmr-history-reduction-28.0+0.08RESTART
1752968054Erenpost-lmr-history-reduction-28.0+0.08MODIFY
1752967456Erenpost-lmr-history-reduction-28.0+0.08STOP
1752967452Erennmp-static-eval-beta8.0+0.08CREATE P=0 TP=1000
1752966188Erenpost-lmr-history-reduction-28.0+0.08CREATE P=0 TP=1000
1752524986Gioviokseeordering++8.0+0.08DELETE
1752524983Gioviokseeordering++8.0+0.08CREATE P=0 TP=1000
1752524969Gioviokseeordering++8.0+0.08DELETE
1752524965Gioviokseeordering++8.0+0.08CREATE P=0 TP=1000
1752524954Gioviokseeordering++8.0+0.08DELETE
1752524805Gioviokseeordering++8.0+0.08CREATE P=0 TP=1000
1752524775Gioviokseeordering++8.0+0.08STOP