DateUserTestTCSummary
1717611588Rosenthjtune_history_weight45.0+0.45CREATE P=0 TP=1000
1717607155Rosenthjtune_history_weight8.0+0.08CREATE P=0 TP=1000
1717594770Dsekerciogluall-threat-hist-38.0+0.08CREATE P=0 TP=1000
1717594563Dsekerciogluall-threat-hist-28.0+0.08CREATE P=0 TP=1000
1717593566Dsekercioglulmr-hist-up40.0+0.40STOP
1717593560Dsekerciogluall-threat-hist8.0+0.08CREATE P=0 TP=1000
1717584985Kierenspsa_tune_140.0+0.40CREATE P=0 TP=1000
1717584975Kierenspsa_tune_140.0+0.40DELETE
1717584961Kierenspsa_tune_140.0+0.40CREATE P=0 TP=1000
1717584940Kierenspsa_tune_140.0+0.40DELETE
1717584849Kierenspsa_tune_140.0+0.40CREATE P=0 TP=1000
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