RektBench Testing Framework

DateUserTestTCSummary
1757891776Erenprev-lmr-reduction8.0+0.08CREATE P=0 TP=1000
1757889592Erenprev-lmr-reduction40.0+0.40CREATE P=0 TP=1000
1757888132Rektdiecorrplexity8.0+0.08STOP
1757888129Rektdie2ply-lmr-conthist8.0+0.08MODIFY
1757884847Rektdiecorrplexity8.0+0.08CREATE P=0 TP=1000
1757884842Rektdiecorrplexity8.0+0.08STOP
1757883533Rektdiecorrplexity8.0+0.08CREATE P=0 TP=1000
1757883529Rektdiecorrplexity8.0+0.08STOP
1757882611Rektdie2ply-lmr-conthist8.0+0.08MODIFY
1757882605Rektdiecorrplexity8.0+0.08CREATE P=0 TP=1000
1757878106Rektdie2ply-lmr-conthist8.0+0.08CREATE P=0 TP=1000
1757874364Erenprev-lmr-reduction8.0+0.08CREATE P=0 TP=1000
1757873915Erenprev-lmr-reduction40.0+0.40STOP
1757872275Erenprev-lmr-reduction40.0+0.40CREATE P=0 TP=1000
1757867795Rektdieqs-tt-store8.0+0.08STOP
1757867602Rektdieqs-tt-store8.0+0.08CREATE P=0 TP=1000
1757866076Erenprev-lmr-reduction8.0+0.08CREATE P=0 TP=1000
1757854272Rektdiedouble-negext8.0+0.08CREATE P=0 TP=1000
1757853151Erenlimit-corrext-340.0+0.40STOP
1757852715Erenlimit-corrext-340.0+0.40MODIFY
1757844231Rektdienode-tm8.0+0.08CREATE P=0 TP=1000
1757842836Rektdienode-tm8.0+0.08STOP
1757814832Erenquiet-history-threats-28.0+0.08MODIFY
1757814422Erenlimit-corrext-340.0+0.40MODIFY
1757814416Erenquiet-history-threats-28.0+0.08MODIFY