1697118234 | Littleguineapig | 4ply-conthist | 8.0+0.08 | CREATE |
1697115096 | Zuppa | master | 8.0+0.08 | AUTOAPP P=0 TP=1000 |
1697115096 | Zuppa | master | 8.0+0.08 | CREATE |
1697112170 | Cj5716 | conthist_no_null | 8.0+0.08 | STOP P=0 TP=1000 RR=8 WS=32 |
1697092990 | Ciekce | lmr_refutations | 6.0+0.06 | STOP P=-1 TP=500 RR=8 WS=32 |
1697092987 | Ciekce | optimism | 6.0+0.06 | MODIFY P=-1 TP=500 RR=8 WS=32 |
1697092985 | Ciekce | lmr_refutations | 6.0+0.06 | MODIFY P=-1 TP=500 RR=8 WS=32 |
1697092979 | Ciekce | 6ply_conthist | 6.0+0.06 | APPROVE P=0 TP=1000 |
1697092979 | Ciekce | 6ply_conthist | 6.0+0.06 | CREATE |
1697092079 | Zuppa | conthist_no_null | 8.0+0.08 | MODIFY P=0 TP=1000 RR=8 WS=32 |
1697092059 | Zuppa | lmr_refutations | 6.0+0.06 | STOP P=0 TP=500 RR=16 WS=32 |
1697089521 | Cj5716 | lmr_refutations | 6.0+0.06 | MODIFY P=0 TP=500 RR=16 WS=32 |
1697089515 | Cj5716 | conthist_no_null | 8.0+0.08 | APPROVE P=0 TP=500 |
1697089515 | Cj5716 | conthist_no_null | 8.0+0.08 | CREATE |
1697072912 | Littleguineapig | 4ply-conthist | 8.0+0.08 | APPROVE P=0 TP=1000 |
1697072912 | Littleguineapig | 4ply-conthist | 8.0+0.08 | CREATE |
1697062715 | Cj5716 | lmr_refutations | 6.0+0.06 | MODIFY P=0 TP=1000 RR=16 WS=32 |
1697062709 | Cj5716 | conthist_no_null | 8.0+0.08 | STOP P=0 TP=500 RR=16 WS=32 |
1697057684 | Zuppa | lmr_refutations | 6.0+0.06 | AUTOAPP P=0 TP=500 |
1697057683 | Zuppa | lmr_refutations | 6.0+0.06 | CREATE |
1697057669 | Zuppa | lmr_refutations | 8.0+0.08 | DELETE P=0 TP=500 RR=16 WS=32 |
1697057667 | Zuppa | lmr_refutations | 8.0+0.08 | APPROVE P=0 TP=500 |
1697057666 | Zuppa | lmr_refutations | 8.0+0.08 | CREATE |
1697057656 | Zuppa | lmr_refutations | 5.0+0.05 | STOP P=0 TP=500 RR=16 WS=32 |
1697054554 | Ciekce | smp-test | 8.0+0.08 | DELETE P=0 TP=1000 RR=8 WS=32 |