DateUserTestTCSummary
1717584717Dsekercioglulmr-hist-up40.0+0.40CREATE P=0 TP=1000
1717573422Kierenlmr_improving8.0+0.08CREATE P=0 TP=1000
1717573139Kierenfutility_improving8.0+0.08CREATE P=0 TP=1000
1717572656Kierensyzygy_before_tt8.0+0.08CREATE P=0 TP=1000
1717567946Kierentt_in_qs_28.0+0.08CREATE P=0 TP=1000
1717528106Rosenthjtune_history_weight16.0+0.16CREATE P=0 TP=1000
1717522877Dsekercioglulmr-hist-up8.0+0.08CREATE P=0 TP=1000
1717522463Dsekerciogluhp-marg-tweak8.0+0.08CREATE P=0 TP=1000
1717522233Dsekerciogluiir-depth8.0+0.08CREATE P=0 TP=1000
1717513337Dsekercioglusing-fail-lmr8.0+0.08CREATE P=0 TP=1000
1717510457Dsekerciogluqs-check-ext8.0+0.08DELETE
1717510448Dsekerciogluqs-check-ext-fix8.0+0.08CREATE P=0 TP=1000
1717510257Dsekerciogluqs-check-ext8.0+0.08CREATE P=0 TP=1000
1717509415Dsekerciogluno-qsN=16000CREATE P=0 TP=1000
1717509355Dsekerciogludatagen-no-qsN=16000DELETE
1717508282Dsekerciogludatagen-no-qsN=16000CREATE P=0 TP=1000
1717507347Dsekerciogluqs-gen-quiet8.0+0.08CREATE P=0 TP=1000
1717506617Dsekerciogluthreat-up-optN=50000CREATE P=0 TP=1000
1717498573Dsekercioglumain8.0+0.08CREATE P=0 TP=1000
1717493186Kierenmaster8.0+0.08CREATE P=0 TP=1000
1717493154Kierenmaster40.0+0.40CREATE P=0 TP=1000
1717493132Kierenmaster5.0+0.05CREATE P=0 TP=1000
1717493104Kierenmaster5.0+0.05DELETE
1717493102Kierenmaster40.0+0.40DELETE
1717493100Kierenmaster8.0+0.08DELETE