| 1779981588 |
Dan |
feature/2-fast-2-killers |
8.0+0.08 |
CREATE P=0 TP=1000 |
| 1779961233 |
Dan |
main |
N=12000 |
RESTART |
| 1779960516 |
Dan |
main |
N=12000 |
STOP |
| 1779960026 |
Dan |
main |
N=12000 |
MODIFY |
| 1779960021 |
Dan |
feature/mega-spsa |
40.0+0.40 |
CREATE P=0 TP=1000 |
| 1779959574 |
Dan |
main |
N=12000 |
MODIFY |
| 1779955153 |
Dan |
main |
N=12000 |
MODIFY |
| 1779955147 |
Dan |
main |
N=12000 |
CREATE P=0 TP=1000 |
| 1779955112 |
Dan |
main |
N=12000 |
DELETE |
| 1779955089 |
Dan |
main |
N=12000 |
CREATE P=-1 TP=1000 |
| 1779955017 |
Dan |
main |
N=20000 |
STOP |
| 1779951273 |
Dan |
feature/mega-spsa |
40.0+0.40 |
MODIFY |
| 1779923137 |
Dan |
feature/pvs-see-quiet-incheck |
8.0+0.08 |
RESTART |
| 1779915495 |
Dan |
feature/proper-opp-worsening |
8.0+0.08 |
MODIFY |
| 1779909677 |
Dan |
feature/proper-opp-worsening |
8.0+0.08 |
MODIFY |
| 1779909641 |
Dan |
feature/mini-pc-before-nmp |
8.0+0.08 |
CREATE P=0 TP=1000 |
| 1779902849 |
Dan |
feature/pvs-see-quiet-incheck |
8.0+0.08 |
STOP |
| 1779902845 |
Dan |
feature/proper-opp-worsening |
8.0+0.08 |
CREATE P=0 TP=1000 |
| 1779899452 |
Dan |
feature/pvs-see-quiet-incheck |
8.0+0.08 |
MODIFY |
| 1779891969 |
Dan |
feature/mega-spsa |
40.0+0.40 |
MODIFY |
| 1779891964 |
Dan |
feature/qs-see-quiet-evasions |
8.0+0.08 |
CREATE P=0 TP=1000 |
| 1779883834 |
Dan |
feature/mega-spsa |
40.0+0.40 |
MODIFY |
| 1779883332 |
Dan |
feature/mega-spsa |
40.0+0.40 |
MODIFY |
| 1779846586 |
Tecci |
main |
N=5000 |
CREATE P=0 TP=1000 |
| 1779831378 |
Dan |
feature/mega-spsa |
40.0+0.40 |
MODIFY |